通过诊断图分析的快速诊断算法  

Fast Diagnosing Through Diagnostic Graph Analysis

作　　者：陈蔼祥[1] 陈清亮[2] 潘久辉[2] 姜云飞[3] 杨晋吉[4] 

机构地区：[1]广东商学院数学与计算科学学院,广州510320 [2]暨南大学计算机系,广州510632 [3]中山大学软件研究所,广州510275 [4]华南师范大学计算机学院,广州510631

出　　处：《计算机学报》2009年第8期1470-1485,共16页Chinese Journal of Computers

基　　金：国家"九七三"重点基础研究发展规划项目基金(2005CB321902);国家自然科学基金(60773201);国家自然科学基金国际合作项目(60911130005);暨南大学引进人才启动基金;广东高校优秀青年创新人才培育项目(LYM08017);广东省科技计划项目(2007B010400068);广东省产学研结合项目(2007B090400095)支持~~

摘　　要：基于模型诊断的主要思想是:根据系统的逻辑模型以及系统的输入,通过逻辑的推理理论能推导出系统在正常情况下的预期行为,如果观测到的系统实际行为与系统预期行为有差异,则说明系统存在故障.当系统故障时,可通过逻辑的推理理论来确定引发故障的元件集合.由于经典的基于模型诊断采用的是逻辑推理的手段来产生诊断集合,这导致了传统的基于模型诊断算法的效率非常低下.文中在原有模型诊断基础上,重新定义了诊断,并提出了一种用于诊断的诊断图的数据结构.在此基础上给出了一种基于诊断图分析的快速诊断算法.由于文中的诊断方法是一种过程化的方法,与Reiter的模型诊断的基于逻辑的方法有着本质的不同.因此,文中的方法能很好地克服经典模型诊断效率过低的问题,为诊断问题的求解带来新的前景.实验结果证明了这种新的诊断方法的高效性.Given the logical model of system and its input, when an observation of system＇s be havior conflicts with the way the system meant to behave, we can determine those components of the system which, when assumed to be functioning abnormally, will explain the discrepancy between the observed and correct system behavior. That is the main idea of model-based diagnosis. The classic diagnosis method is very inefficient because its diagnosis procedure is based on logical reasoning. In this paper, the authors redefine the diagnosis, and introduce a new procedure-based rather than logic-based approach to compute diagnosis based on constructing and analyzing a compact structure which we call a diagnostic graph. It is shown that it is a better choice since the search made by this approach is fundamentally different from the search of classic model-based one. So the approach in this paper can provide a new perspective on the diagnosis problem. Finally, the effectiveness of this methodology is demonstrated by the experimental results.

关 键 词：诊断 诊断图 基于模型的诊断 溯因推理 自动规划 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]