一种基于ATMS的求解所有极小冲突集的新方法

• 作者: 张立明 欧阳丹彤 赵相福
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 基于模型的诊断 极小冲突集 ATMS
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 研究与实现
• 页码范围: 127-130
• 页数: 4页
• 分类号: TP302
• 字数: 4970字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.11.038

摘要

在Reiter算法的基础上,本文提出一种基于ATMS的求解所有极小冲突集的新方法.其中,对每个元件模型最多调用一次就可求出所有的极小冲突集,防止了ATMS的多次调用,因而能够提高效率.本文提出了极小依赖集的概念,并据此对ATMS求得的极小冲突集进行了分类;分析了算法的复杂度,并将新方法与相关工作进行了比较.该算法程序容易编制,而且效率高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧阳丹彤	吉林大学符号计算与知识工程教育部重点实验室	108	781	15.0	23.0
2	张立明	吉林大学计算机科学与技术学院	27	139	7.0	10.0
3	赵相福	吉林大学计算机科学与技术学院	13	95	7.0	9.0