基于模型诊断中计算碰集的方法
基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术.人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系.这里论证了极小碰集与本原蕴涵/蕴涵式的关系.提出了碰集计算方法—NEWHS-tree,指出;该算法需要搜索的结点数比Greiner的HS-DAG算法需要搜索的结点数大大减少,而且能够处理多故障诊断问题,而Slagle等学者提出的算法不能处理多故障诊断问题.
模型诊断 故障诊断 智能推理 碰集
欧阳丹彤 欧阳继红 程晓春 刘杰
吉林大学计算机科学与技术学院(长春);吉林大学符号计算与知识工程教育部重点实验室(长春) Department of Computer Science,University of Reading,RG66AY,Reading(England)
国内会议
重庆
中文
605-608
2004-08-01(万方平台首次上网日期,不代表论文的发表时间)