基于矩阵计算极小碰集的启发式算法
在基于模型诊断中，极小碰集的计算是表达最后诊断结果的重要步骤。本文提出了一种基于矩阵模型计算极小碰集的新方法，通过在矩阵中存储冲突集合簇的相关信息，并且引入集合簇中元素的频率作为启发信息，从而完成对极小碰集的计算。 该算法的数据结构简单，程序易于实现，同时启发信息的引入减少了节点的生成。该算法可以产生而且仅产生所有的极小碰集。实验结果表明该算法有较高的计算效率。
基于模型诊断 冲突集 极小碰集 矩阵 启发式算法
欧阳丹彤 耿雪娜 郭劲松 王晓宇
吉林大学 符号计算与知识工程教育部重点实验室,长春 130012; 吉林大学 计算机科学与技术学院 长春 130012
国内会议
长春
中文
1-6
2012-08-04（万方平台首次上网日期，不代表论文的发表时间）