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

作     者：王晓宇 欧阳丹彤 赵剑 WANG Xiao-Yu;OUYANG Dan-Tong;ZHAO Jian

作者机构：吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2012年第23卷第3期

页      面：465-475页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

主　　题：动态诊断:不完备模型 

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