不完备离散事件系统的可诊断性

来源：软件学报杂志2015年第6期北京时间：

作者：王晓宇,欧阳丹彤,赵相福

单位：王晓宇，吉林大学 计算机科学与技术学院, 吉林 长春 130012;重庆理工大学 会计学院, 重庆 40005011,欧阳丹彤，吉林大学 计算机科学与技术学院, 吉林 长春 13001202,赵相福，浙江师范大学 数理信息学院, 浙江 金华 32100403

摘要：在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.

关键词：不完备模型;离散事件系统;基于模型诊断;可诊断性

基金资助：国家自然科学基金(61272208, 61133011, 61003101, 61170092); 国家教育部博士点专项基金(20100061110031); 吉林省科技发展计划(20101501, 20100185, 201101039); 浙江师范大学计算机软件与理论省级重中之重学科开放基金(ZSDZZZZXK12); 浙江省自然科学基金(Y1100191)