可用于诊断产生的计算碰集的新方法

赵相福　欧阳丹彤

摘要：提出一种利用与元素相关联的冲突集个数计算碰集的新方法，并结合带有终止节点的集合枚举树SE-tree形式化地表达计算过程，逐步生成所有的极小碰集．由于在SE-tree中添加了终止节点，因而能够较大提高搜索效率．实验结果表明，该算法程序容易编制，且效率较好，对于复杂的被诊断对象系统可以满足实时性．

关键词：基于模型诊断；冲突集；极小碰集；集合枚举树

中图分类号：TP306

文献标识码：A

文章编号：1671-5489(2006)03-0385-06