基于模型的诊断中产生所有极小冲突集的新方法

• 作者: 欧阳丹彤 赵相福
• 来源期刊: 吉林大学学报(工学版)
• 学科: 工学
• 关键词: 计算机应用 基于模型的诊断 冲突集 碰集 集合枚举树
• 年，卷（期）: 2007,（2）
• 页码范围: 413-418
• 页数: 6页
• 分类号: TP306
• 字数: 4809字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5497.2007.02.033

摘要

首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree).然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree).最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选产生阶段,即产生所有的极小冲突集的极小碰集,还可用于计算本原蕴涵/蕴涵式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧阳丹彤	吉林大学计算机科学与技术学院	108	781	15.0	23.0
5	赵相福	吉林大学计算机科学与技术学院	13	95	7.0	9.0