不完备模型下的离散事件系统诊断方法

摘要：

提出不完备模型的两种不完备性:模型定义不完备和因果关系不完备.在模型定义不完备条件下,用在线观测与模型共同约束的方法处理观测乱序及未定义事件,得到可行的诊断轨迹.相对于基于完备模型假设下不能诊断的结论,该方法扩展了诊断方法的适用范围,放松了对模型的约束要求,在因果不完备条件下,提出用因果图联系部件,解决分布式诊断中由于部件独立建模而导致的不彻底诊断,提高了诊断的精确性.通过实验验证,两种条件下的诊断方法均能在相应的不完备模型中得到预期诊断结果,并对模型进行局部修订,提高模型的完备性.

关键词：动态诊断、不完备模型

所属期刊栏目：23

分类号：TP181(自动化基础理论)

资助基金：国家自然科学基金60973089, 60873148,60773097, 61003101;吉林省科技发展计划项目基金20101501,20100185,20090108,20080107;教育部博士点专项基金20100061110031;浙江省自然科学基金Y1100191;欧盟合作项目155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12;吉林大学符号计算与知识工程教育部重点实验室开放项目93K-17-2009-K05

在线出版日期：2012-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：465-475