实现故障无二义诊断的部分可观系统设计方法  

Partially Observed System Design Method Realizing Unambiguous Fault Diagnosis

作　　者：方欢[1,2] 陆阳[1,3] 岳峰[1] 官骏鸣[3] 

机构地区：[1]合肥工业大学计算机与信息学院,合肥230009 [2]安徽理工大学理学院,淮南232001 [3]安徽省矿山物联网与安全监控技术重点实验室,合肥230088

出　　处：《系统仿真学报》2015年第3期470-479,共10页Journal of System Simulation

基　　金：国家自然科学基金项目(61070220;61472003;61272153;61340003;61402011);国家"863"计划项目(2011AA060406);安徽省高等学校自然科学研究重点项目(KJ2014A067)

摘　　要：针对故障无二义性诊断下的部分可观系统设计方法进行分析和研究,提出系统可见库所集SO的确定算法OPD,给出算法OPD解存在的充要条件,证明系统在SO可见的情况下,系统所有变迁都是可区分的,并指出该算法满足多项式级的时间复杂度。在OPD算法的基础上,提出系统运行状态诊断算法SOSD,SOSD是SO的一步前向标识计算方法,不需要已知系统的初始状态M0就可以进行系统状态诊断。证明所提出的部分可观系统设计方法满足最优监控条件,达到了优化监控的目的。The construction methodology of partially observed system realizing unambiguous fault diagnosis was studied. The observable places determination algorithm OPD was proposed, and the necessary and sufficient condition for solution existence of the algorithm with polynomial time complexity was presented, then it is proved that all transitions in the modeled system could be distinguished by setting SO. The system operating state determination algorithm SOSD was presented based on the OPD algorithm. The proposed SOSD algorithm was realized by 1-step forward marking computation of observable places setOS, it doesn't rely on the initial marking 0M of the controlled system while judging system status. It is proved that the proposed construction method for partially observed system satisfies the optimum supervisory condition, which achieves the optimal supervisory purpose.

关 键 词：部分可观系统 系统设计方法 故障诊断 PETRI网 事件驱动系统 

分 类 号：TP277[自动化与计算机技术—检测技术与自动化装置]