| 基于故障行为的模型诊断方法 |
| |
| 引用本文： | 张立明,欧阳丹彤,赵相福.基于故障行为的模型诊断方法[J].计算机集成制造系统,2008,14(9). |
| |
| 作者姓名： | 张立明 欧阳丹彤 赵相福 |
| |
| 作者单位： | 吉林大学,计算机科学与技术学院,吉林,长春,130012;吉林大学,符号计算与知识工程教育部重点实验室,吉林,长春,130012 |
| |
| 基金项目： | 国家自然科学基金，教育部跨世纪优秀人才培养计划，吉林省科技发展计划，欧盟项目资助项目 |
| |
| 摘 要： | 提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断.该方法不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用基于假设的真值维护系统时的组合爆炸而引起的NP-完全问题.在集合枚举树中添加了终止节点,从而避免了非极小诊断的产生,且不会因剪枝而丢失正确的解.实验结果表明,该算法程序容易编制,且效率较好,可以满足复杂的被诊断对象的实时性要求.
|
| 关 键 词： | 故障分析 故障行为 基于模型的诊断 极小诊断 集合枚举树 |
Model diagnosis based on failure behavior |
| |
| ZHANG Li-ming,OUYANG Dan-tong,ZHAO Xiang-fu.Model diagnosis based on failure behavior[J].Computer Integrated Manufacturing Systems,2008,14(9). |
| |
| Authors: | ZHANG Li-ming OUYANG Dan-tong ZHAO Xiang-fu |
| |
| Affiliation: | ZHANG Li-ming1,2,OUYANG Dan-tong1,2 ,ZHAO Xiang-fu1,2(1.School of Computer Science & Technology,Jilin University,Changchun 130012,China,2.Ministry of Education Key Lab of Symbolic Computation , Knowledge Engineering,China) |
| |
| Abstract: | A new method using failure behavior to resolve all minimal diagnoses,and the computation procedure was formalized by combining revised Set Enumeration tree(SE-tree) with closed nodes to produce all the resolutions gradually.It could directly compute all the minimal diagnoses without computing all the conflict sets and therefore the hitting sets of the collection of the corresponding conflict sets like the classical methods.And then the combinatorial explosion caused by calling Assumption-based Truth Mainten... |
| |
| Keywords: | failure analysis failure behavior model-based diagnosis minimal diagnosis set enumeration tree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
