基于模型诊断中计算碰集的方法

被引：26

作者：

欧阳丹彤

欧阳继红

程晓春

刘杰

机构：

[1] 吉林大学计算机科学与技术学院,吉林大学计算机科学与技术学院,DepartmentofComputerScience,UniversityofReading,RGAY,Reading,England,吉林大学计算机科学与技术学院长春吉林大学符号计算与知识工程教育部重点实验室长春,长春吉林大学符号计算与知识工程教育部重点实验室长春,长春吉林大学符号计算与知识工程教育部重点实验室长春

来源：

仪器仪表学报 | 2004年 / S2期

关键词：

基于模型的诊断; 碰集; 本原蕴涵/蕴涵式;

D O I：

10.19650/j.cnki.cjsi.2004.s2.186

中图分类号：

TP277 [监视、报警、故障诊断系统];

学科分类号：

140102 [集成电路设计与设计自动化];

摘要：

基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术。人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系。这里论证了极小碰集与本原蕴涵/蕴涵式的关系。提出了碰集计算方法—NEWHS- tree,指出:该算法需要搜索的结点数比Greiner的HS- DAG算法需要搜索的结点数大大减少,而且能够处理多故障诊断问题,而Slagle等学者提出的算法不能处理多故障诊断问题。

引用

页码：605 / 608

页数：4