可用于诊断产生的计算碰集的新方法
2006-04-29 00:44:03赵相福欧阳丹彤
吉林大学学报(理学版) 2006年3期
赵相福 欧阳丹彤
摘要：提出一种利用与元素相关联的冲突集个数计算碰集的新方法，并结合带有终止节点的集合枚举树SE-tree形式化地表达计算过程，逐步生成所有的极小碰集．由于在SE-tree中添加了终止节点，因而能够较大提高搜索效率．实验结果表明，该算法程序容易编制，且效率较好，对于复杂的被诊断对象系统可以满足实时性．
关键词：基于模型诊断；冲突集；极小碰集；集合枚举树
中图分类号：TP306
文献标识码：A
文章编号：1671-5489(2006)03-0385-06
