| 基于模型诊断中计算碰集的方法 |
| |
| 引用本文： | 欧阳丹彤,欧阳继红,程晓春,刘杰. 基于模型诊断中计算碰集的方法[J]. 仪器仪表学报, 2004, 25(Z3): 605-608 |
| |
| 作者姓名： | 欧阳丹彤 欧阳继红 程晓春 刘杰 |
| |
| 作者单位： | 1. 吉林大学计算机科学与技术学院,长春,130012;吉林大学符号计算与知识工程教育部重点实验室,长春,130012
2. Department of Computer Science, University of Reading, RG6 6AY, Reading, England |
| |
| 基金项目： | 国家自然科学基金(69903005)、国家高技术研究发展计划(2003AA118020)经费资助项目. |
| |
| 摘 要： | 基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术.人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系.这里论证了极小碰集与本原蕴涵/蕴涵式的关系.提出了碰集计算方法-NEWHS-tree,指出该算法需要搜索的结点数比Greiner的HS-DAG算法需要搜索的结点数大大减少,而且能够处理多故障诊断问题,而Slagle等学者提出的算法不能处理多故障诊断问题.
|
| 关 键 词： | 基于模型的诊断 碰集 本原蕴涵/蕴涵式 |
A Method of Computing Hitting Set in Model-based Diagnosis |
| |
| Ou yang Dantong,Ou Yang Jihong,Cheng Xiaochun,Liu Jie. A Method of Computing Hitting Set in Model-based Diagnosis[J]. Chinese Journal of Scientific Instrument, 2004, 25(Z3): 605-608 |
| |
| Authors: | Ou yang Dantong Ou Yang Jihong Cheng Xiaochun Liu Jie |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
