| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 通过诊断图分析的快速诊断算法 |
| 作者 | 陈蔼祥1) 陈清亮2) 潘久辉2) 姜云飞3) 杨晋吉4) |
| 作者单位 | 1)(广东商学院数学与计算科学学院 广州 510320) 2)(暨南大学计算机系 广州 510632) 3)(中山大学软件研究所 广州 510275) 4)(华南师范大学计算机学院 广州 510631) |
| 发表年份 | 2009 |
| 发表月份 | 8期(1470—1485) |
| 文章摘要 | 摘要 基于模型诊断的主要思想是：根据系统的逻辑模型以及系统的输入，通过逻辑的推理理论能推导出系统在正常情况下的预期行为，如果观测到的系统实际行为与系统预期行为有差异，则说明系统存在故障.当系统故障时，可通过逻辑的推理理论来确定引发故障的元件集合.由于经典的基于模型诊断采用的是逻辑推理的手段来产生诊断集合，这导致了传统的基于模型诊断算法的效率非常低下.文中在原有模型诊断基础上，重新定义了诊断,并提出了一种用于诊断的诊断图的数据结构.在此基础上给出了一种基于诊断图分析的快速诊断算法.由于文中的诊断方法是一种过程化的方法，与Reiter的模型诊断的基于逻辑的方法有着本质的不同.因此，文中的方法能很好地克服经典模型诊断效率过低的问题，为诊断问题的求解带来新的前景.实验结果证明了这种新的诊断方法的高效性. 关键词：诊断；诊断图；基于模型的诊断；溯因推理；自动规划 中图法分类号：TP18 DOI号: 10.3724/SP.J.1016.2009.01470 |