| 利用标志传播求解基于模型的故障诊断 |
| |
| 引用本文： | 欧阳丹形,张立明,赵剑,白洪涛.利用标志传播求解基于模型的故障诊断[J].仪器仪表学报,2011,32(12). |
| |
| 作者姓名： | 欧阳丹形 张立明 赵剑 白洪涛 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院 长春130012;吉林大学符号计算与知识工程教育部重点实验室 长春130012 |
| |
| 基金项目： | 国家自然科学基金，吉林省科技发展计划项目基金，国家教育部博士点专项基金，浙江省自然科学基金，浙江师范大学计算机软件与理论重中之重学科开放基金 |
| |
| 摘 要： | 基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支.提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断.使用SE-Tree( set enumeration tree)形式化地描述整个计算过程,逐步生成当前系统对应的所有极小诊断.此方法不求解冲突集和碰集,直接求出所有的极小诊断,与Reiter的模型诊断方法有着本质的不同,极大地减小了诊断求解的复杂度.实验结果表明,该算法具有较好的效率,并且适用于复杂的对象的诊断问题.
|
| 关 键 词： | 基于模型的诊断 极小诊断 SE-Tree 输出标志 |
Solving model-based fault diagnosis with flag propagation |
| |
| Ouyang Dantong,Zhang Liming,Zhao Jian,Bai Hongtao.Solving model-based fault diagnosis with flag propagation[J].Chinese Journal of Scientific Instrument,2011,32(12). |
| |
| Authors: | Ouyang Dantong Zhang Liming Zhao Jian Bai Hongtao |
| |
| Affiliation: | Ouyang Dantong1,2,Zhang Liming1,Zhao Jian1,Bai Hongtao1,2(1 School of Computer Science and Technology,Jilin University,Changchun 130012,China,2 Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education,China) |
| |
| Abstract: | Model-based diagnosis is one of the active branches in artificial intelligence,which is a type of intelligent reasoning technology and it overcomes the shortcomings of traditional fault-diagnosis methods.This paper presents the concept of component output flag,then whether a component set is a diagnosis in the system or not can be driven through the propagation of the output flag.The method can compute all the minimal diagnoses directly without computing all the conflict sets and the hitting sets of the col... |
| |
| Keywords: | model-based diagnosis minimal diagnosis SE-Tree output flag |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
