利用结构信息的故障诊断方法

被引:53
作者
栾尚敏
戴国忠
机构
[1] 中国科学院软件研究所
[2] 中国科学院软件研究所 北京
关键词
故障诊断; 诊断集; 极小冲突集; 算法; 时间复杂性;
D O I
暂无
中图分类号
TP277 [监视、报警、故障诊断系统];
学科分类号
140102 [集成电路设计与设计自动化];
摘要
基于模型的故障诊断方法是重要的故障诊断方法之一,该方法主要的问题就是如何求得所有的诊断.该文利用系统的结构信息,给出了求极小冲突集的一个算法,证明了算法的正确性,分析了算法的复杂性;然后介绍了如何由极小冲突求得诊断.其次,还给出了利用结构信息直接求诊断的一个算法,证明了其正确性.最后与相关工作进行了比较.该文给出的算法,对于一些特殊结构的系统可在多项式时间内结束.
引用
收藏
页码:801 / 808
页数:8
相关论文
共 4 条
[1]
基于模型的诊断问题分解及其算法 [J].
李占山 ;
姜云飞 ;
王涛 .
计算机学报, 2003, (09) :1171-1176
[2]
基于模型诊断的元件替换与替换测试 [J].
姜云飞 ;
李占山 .
计算机学报, 2001, (06) :666-672
[3]
用辩论刻画含约束的诊断空间 [J].
陈荣 ;
姜云飞 .
计算机学报, 2001, (03) :303-307
[4]
含约束的基于模型的诊断系统 [J].
陈荣 ;
姜云飞 .
计算机学报, 2001, (02) :127-135