【摘 要】
：
故障诊断是离散事件系统中一项重要的研究内容,对于保障系统安全具有积极意义。基于Petri网的故障诊断相关研究主要分为故障可诊断性研究以及故障诊断器的构造理论研究,故障
【基金项目】
：
本文受国家自然科学基金项目（61073102,61272153,61340003）资助.
论文部分内容阅读
故障诊断是离散事件系统中一项重要的研究内容,对于保障系统安全具有积极意义。基于Petri网的故障诊断相关研究主要分为故障可诊断性研究以及故障诊断器的构造理论研究,故障可诊断性又可以进一步分为一般可诊断性与K-可诊断性,而故障诊断器的设计方法又可以按照适用系统类型进一步分类。综述了故障诊断理论中可诊断性、K可诊断性的各类研究方法和研究结论,介绍了离散Petri网系统、连续Petri网系统和分布式Petri网系统中故障诊断器的设计方法,并对各类方法的特点进行了重点分析。最后,给出了基于Petri网的故障诊断进一步研究的方向与应用难点,其对今后研究有一定的指导意义。
其他文献
介绍了在岩石海岸采用控制爆破和预裂爆破技术形成码头岸壁的施工技术。比通常的方块码头和沉箱码头减少了工序，施工简便、缩短了工期、节约了经费，为今后类似工程提供了经验。
对于很多自然语言处理任务，如机器翻译、信息检索等，使用词义来进行相关表征其效果要比单纯使用词语的好得多。由于词义消歧需要大量标注语料、存在词义缺失等问题，词义归纳受到
抗蛇行减振器故障、横向减振器故障、空气弹簧故障是高铁的3种典型故障。针对高铁的3种常见故障的非线性、非平稳特性，本次研究中将近似熵和经验模态分解应用到高铁故障诊断中
在大量的医学图像处理过程中,由于现有的硬件设备和成像技术的限制,还不能够获取满足高要求的清晰图像。因此,在现有的硬件设备和成像技术下获取的医学图像需要进行超分辨率的重建处理。在基于稀疏表示单帧图像超分辨的基础上,针对医学图像具有明显的重复结构等特点,提出了一种基于组稀疏的单帧医学图像超分辨算法。并且结合Group Lasso算法和K-SVD算法,提出了一种新的字典训练算法。实验结果分析和比较证实提
针对当前无线传感器网络时间同步算法无法满足物联网对于网络实时性的要求，提出了一种基于区域扩散的无线传感器网络时间同步算法。该算法分为两个阶段进行：第一阶段根据生物觅
针对经典的时钟同步算法在大规模无线传感器网络中存在的同步精度低与能量消耗高等问题,提出一种基于簇-树结构的无线传感器网络时钟同步算法。首先,建立一棵以网关为根节点
提出了一种基于双层码本的语音驱动视觉语音合成系统，该系统以矢量量化的思想为基础，建立语音特征空间到视觉语音特征空间的粗耦合映射关系。为加强语音和视觉语音的关联性，系统
针对Android存在的特权提升攻击问题,提出了基于动态权限集的Android强制访问控制模型DP_Man-Droid.该模型首先分析强连通分支的权限分布特性,构建动态的权限集划分;然后在信
表格语言具有可读性和可理解性的优点,它能非常精确地表示软件系统需求.在过去的30多年间,表格语言已经成功地应用于多个安全关键嵌入式软件的开发中.准确了解这些表格语言的