利用标志传播求解基于模型的故障诊断

被引:12
作者
欧阳丹彤 [1 ,2 ]
张立明 [1 ,2 ]
赵剑 [1 ,2 ]
白洪涛 [1 ,2 ]
机构
[1] 吉林大学计算机科学与技术学院
[2] 吉林大学符号计算与知识工程教育部重点实验室
基金
浙江省自然科学基金;
关键词
基于模型的诊断; 极小诊断; SE-Tree; 输出标志;
D O I
10.19650/j.cnki.cjsi.2011.12.034
中图分类号
TP18 [人工智能理论];
学科分类号
140502 [人工智能];
摘要
基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程,逐步生成当前系统对应的所有极小诊断。此方法不求解冲突集和碰集,直接求出所有的极小诊断,与Reiter的模型诊断方法有着本质的不同,极大地减小了诊断求解的复杂度。实验结果表明,该算法具有较好的效率,并且适用于复杂的对象的诊断问题。
引用
收藏
页码:2857 / 2862
页数:6
相关论文
共 11 条
[1]
An improved model-based method to test circuit faults.[J].Xiaochun Cheng;Dantong Ouyang;Jiang Yunfei;Chengqi Zhang.Theoretical Computer Science.2005, 1
[2]
基于混沌特征的航空发动机故障诊断研究 [J].
高瑞乾 ;
甘新年 ;
闫源江 .
国外电子测量技术, 2011, 30 (03) :24-28
[3]
基于提升小波变换和SVM的模拟电路故障诊断 [J].
宋国明 ;
王厚军 ;
刘红 ;
姜书艳 .
电子测量与仪器学报, 2010, 24 (01) :17-22
[4]
Deriving all minimal consistency-based diagnosis sets using SAT solvers.[J]..Progress in Natural Science.2009, 04
[5]
基于多值测试的诊断策略优化生成 [J].
杨鹏 ;
邱静 ;
刘冠军 .
仪器仪表学报, 2008, (08) :1675-1678
[6]
基于模型诊断的分步求解 [J].
张学农 ;
姜云飞 ;
陈蔼祥 ;
张立成 .
软件学报, 2008, (03) :584-593
[7]
故障诊断中基于神经网络的特征提取方法研究 [J].
袁海英 ;
陈光 ;
谢永乐 .
仪器仪表学报, 2007, (01) :90-94
[8]
动态系统基于模型诊断的研究进展与展望 [J].
赵相福 ;
欧阳丹彤 .
仪器仪表学报, 2005, (S2) :599-602
[9]
基于主元分析与神经网络的模拟电路故障诊断 [J].
王承 ;
陈光 ;
谢永乐 .
电子测量与仪器学报, 2005, 19 (05) :14-17
[10]
基于模型的诊断问题分解及其算法 [J].
李占山 ;
姜云飞 ;
王涛 .
计算机学报, 2003, (09) :1171-1176