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

吉林大学学报(工学版)

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

赵相福^1,2，欧阳丹彤^1,2

1.吉林大学计算机科学与技术学院，长春 130012； 2.吉林大学符号计算与知识工程教育部重点实验室，长春 130012

收稿日期:2006-06-02 修回日期:2006-08-24 出版日期:2007-03-01 发布日期:2007-03-01
通讯作者: 欧阳丹彤

New methods for deriving all minimal conflict sets in modelbased diagnosis

Zhao Xiang-fu^1,2，Ouyang Dan-tong^1,2

1.College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2.Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun 130012, China

Received:2006-06-02 Revised:2006-08-24 Online:2007-03-01 Published:2007-03-01
Contact: Ouyang Dan-tong

摘要/Abstract

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

关键词: 计算机应用, 基于模型的诊断, 冲突集, 碰集, 集合枚举树

Abstract: Firstly, an SEtree based method (CSSEtree) for deriving all minimal conflict sets (MCSs) was proposed. Then the concept of inverse SEtree (ISEtree) was put forward, and an ISEtree based method (CSISEtree) for deriving all MCSs was presented as well. Finally, several methods proposed in this paper were compared, and they can all be used to generate all minimal hitting sets, and compute both prime implicants and prime implicates.

Key words: computer application, modelbased diagnosis, conflict set, hitting set, SEtree (set enumeration tree)

中图分类号:

TP306

赵相福，欧阳丹彤 . 基于模型的诊断中产生所有极小冲突集的新方法[J]. 吉林大学学报(工学版), 2007, 37(02): 413-0418.

Zhao Xiang-fu，Ouyang Dan-tong . New methods for deriving all minimal conflict sets in modelbased diagnosis[J]. 吉林大学学报(工学版), 2007, 37(02): 413-0418.

参考文献

相关文章 15

[1]	刘富,宗宇轩,康冰,张益萌,林彩霞,赵宏伟. 基于优化纹理特征的手背静脉识别系统[J]. 吉林大学学报(工学版), 2018, 48(6): 1844-1850.
[2]	王利民,刘洋,孙铭会,李美慧. 基于Markov blanket的无约束型K阶贝叶斯集成分类模型[J]. 吉林大学学报(工学版), 2018, 48(6): 1851-1858.
[3]	金顺福,王宝帅,郝闪闪,贾晓光,霍占强. 基于备用虚拟机同步休眠的云数据中心节能策略及性能[J]. 吉林大学学报(工学版), 2018, 48(6): 1859-1866.
[4]	赵东,孙明玉,朱金龙,于繁华,刘光洁,陈慧灵. 结合粒子群和单纯形的改进飞蛾优化算法[J]. 吉林大学学报(工学版), 2018, 48(6): 1867-1872.
[5]	刘恩泽,吴文福. 基于机器视觉的农作物表面多特征决策融合病变判断算法[J]. 吉林大学学报(工学版), 2018, 48(6): 1873-1878.
[6]	欧阳丹彤, 范琪. 子句级别语境感知的开放信息抽取方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1563-1570.
[7]	刘富, 兰旭腾, 侯涛, 康冰, 刘云, 林彩霞. 基于优化k-mer频率的宏基因组聚类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1593-1599.
[8]	桂春, 黄旺星. 基于改进的标签传播算法的网络聚类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1600-1605.
[9]	刘元宁, 刘帅, 朱晓冬, 陈一浩, 郑少阁, 沈椿壮. 基于高斯拉普拉斯算子与自适应优化伽柏滤波的虹膜识别[J]. 吉林大学学报(工学版), 2018, 48(5): 1606-1613.
[10]	车翔玖, 王利, 郭晓新. 基于多尺度特征融合的边界检测算法[J]. 吉林大学学报(工学版), 2018, 48(5): 1621-1628.
[11]	赵宏伟, 刘宇琦, 董立岩, 王玉, 刘陪. 智能交通混合动态路径优化算法[J]. 吉林大学学报(工学版), 2018, 48(4): 1214-1223.
[12]	黄辉, 冯西安, 魏燕, 许驰, 陈慧灵. 基于增强核极限学习机的专业选择智能系统[J]. 吉林大学学报(工学版), 2018, 48(4): 1224-1230.
[13]	傅文博, 张杰, 陈永乐. 物联网环境下抵抗路由欺骗攻击的网络拓扑发现算法[J]. 吉林大学学报(工学版), 2018, 48(4): 1231-1236.
[14]	曹洁, 苏哲, 李晓旭. 基于Corr-LDA模型的图像标注方法[J]. 吉林大学学报(工学版), 2018, 48(4): 1237-1243.
[15]	侯永宏, 王利伟, 邢家明. 基于HTTP的动态自适应流媒体传输算法[J]. 吉林大学学报(工学版), 2018, 48(4): 1244-1253.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed