分布式离散事件系统的模式故障预测研究

针对分布式离散事件系统, 提出了一种模式故障预测方法。首先对分布式离散事件系统的模式故障可预测性进行形式化。通过构造一个模式故障识别器, 从系统所有行为中识别出所发生的模式故障, 并针对分布式系统的不同观测点构造不可观测闭包。在此基础上, 联合各站点观测到的事件序列构造出模式故障预测验证器, 解决了分布式离散事件系统的模式故障预测问题。得出了一个判定分布式离散事件系统模式故障可预测性的充分必要条件, 并提出了相应的模式故障预测算法, 实现了对分布式离散事件系统的模式故障预测。最后, 对分布式模式故障预测验证器的构建和模式故障预测算法进行了复杂度分析。     

融合高光谱影像三维空谱特征的子空间聚类算法

为提高高光谱遥感影像的聚类精度,将三维空谱特征和子空间聚类算法相结合,提出一种新的稀疏子空间聚类模型,在关注高光谱影像光谱信息的同时也关注了空间上下文信息。首先提取高光谱影像像素点的三种三维空谱特征,然后通过特征对子空间聚类模型的系数矩阵进行加权,使得像素点可被与它最为相似的像素点稀疏表示,从而获得更好的系数矩阵,最后由系数矩阵通过谱聚类获得更好的聚类结果。算法对四个经典高光谱数据集进行实验,并将实验结果与六种聚类算法进行比较,结果表明,所提出的3DF-SSC算法在四个数据集上获得的聚类精度都比其他算法要高,对于同样是利用三维空谱特征的M3DF3△、3DF-SSC算法最高能提高8.62%的精度,而与同样是利用空间上下文信息对子空间聚类算法进行改进的L2-SSC和SS-LRSC算法相比,最高能提高25.18%的精度。     

离散事件系统基于模式的安全故障诊断

基于模式的故障诊断方法能将触发系统故障的事件串诊断出来,但在诊断期间系统仍然可能执行被禁止的不安全操作.为此,提出了一种离散事件系统基于S型和T型模式的安全诊断方法.先对离散事件系统基于模式的安全可诊断性进行形式化,再通过构造非法语言识别器和安全诊断器对系统发生的故障模式实施安全诊断,最后分别得到了一个关于S型和T型模式的系统安全可诊断性的充分必要条件,实现了离散事件系统基于模式的安全故障诊断.     

粒子群优化算法在点模式匹配中的应用

点模式匹配技术是计算机视觉和模式识别领域中的一个重要课题.将每个点模式编码为一个称为粒子的实值向量,并利用两幅图像的灰度矩阵来构造粒子的适应度函数,提出一种基于粒子群优化算法的点模式匹配新算法.系统初始化为一组随机解,通过迭代使粒子在解空间中追随当前较优的粒子进行搜索,从而找到最优解.仿真实验结果证明算法的有效性.     

基于状态估计的分布式离散事件系统可诊断性研究

针对分布式离散事件系统,提出了一种验证基于状态估计的分布式离散事件系统可诊断性的方法。首先对离散事件系统的可诊断性进行形式化定义,然后提出一种基于状态估计的分布式离散事件系统的可诊断性验证算法,进而推导出分布式离散事件系统可诊断的充分必要条件,最后结合实际算例对该算法的可行性进行验证分析。相比现有算法,本文提出的算法无需各站点进行实时同步,仅要求在有限时延内各站点间能进行通信即可,且算法的时间复杂度也明显降低。     

基于ZigBee的多点温度监控系统

针对传统温度监控系统存在布线困难、线路容易老化等缺点,开发了一种以CC2430为核心的多点无线温度监控系统。该系统采用ZigBee协议组成树状网络实现各节点之间的数据传输,采用单线数字温度传感器DS18B20采集现场温度数据。在给出系统总体结构的基础上,阐述了系统硬件电路的设计和软件的实现方法。系统具有界面友好、组网灵活、成本低等优点。经测试,该系统取得了较为满意的监控效果。稍加修改,还可广泛应用于各领域的环境参数自动监控。     

论客家饮食文化旅游资源的开发

介绍了我国客家饮食文化旅游资源的特点,分析了客家饮食文化旅游资源开发过程中存在的问题。就进一步合理开发客家饮食文化旅游资源,提出了将客家饮食文化旅游分别层次和闽粤赣各个客家地区加强联动,共同维护和提升客家饮食文化旅游品牌等建议。     

基于Petri网诊断器的离散事件系统模式故障的在线诊断

本文研究基于Petri网诊断器的离散事件系统模式故障的在线诊断问题. 先构建一种用于模式故障在线诊 断的自动机, 给出了基于这种自动机的在线诊断方法. 然后将自动机转换为Petri网并进一步构造了可用于S型模式 故障或T型模式故障在线诊断的Petri网诊断器, 提出了基于Petri网诊断器的模式故障在线诊断算法. 通过分析算法 的复杂性, 得到了该算法具有多项式空间复杂性的结论.     

基于改进的遗传算法的数独谜题求解

针对数独谜题的特点,对遗传算法的选择算子、交叉算子和变异算子进行了大胆的创新性改进,提出了一个能够有效求解数独谜题的改进的遗传算法.模拟实验结果表明,改进后的遗传算法使得数独谜题的求解具有更高的可靠性、更好的稳定性以及更快的收敛速度.