IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法

赵相福; 黄森; 童向荣; 欧阳丹彤; 张立明; 章星林

首页> 中文期刊> 《电子学报》 >IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法

IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

基于模型的诊断推理是人工智能领域的一个重要分支.其中由冲突部件集产生所有极小碰集是基于模型诊断推理的重要一步.根据布尔算法的特征,所有的冲突集可以划分为左右两个子集合簇,且左分支集合簇恰好为右分支集合簇的子集,这为由左分支增量产生右分支极小碰集提供了理论基础;另外,在自底向上增量归并元素的过程中,结合局部独立覆盖策略可以直接增量产生所有的极小碰集,从而避免非极小碰集和相同极小碰集的冗余产生.理论上,右分支解集可由左分支解集增量方法产生,避免了碰集中大量元素的重复计算.大量实验结果表明:本文提出的算法比之前的布尔算法及相关改进算法都具有显著的效率提升,最高可达约5倍.

著录项

来源
《电子学报》 |2022年第11期|2722-2729|共8页
作者
赵相福; 黄森; 童向荣; 欧阳丹彤; 张立明; 章星林;
展开▼
作者单位

烟台大学计算机与控制工程学院;

浙江师范大学计算机系;

吉林大学计算机科学与技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类调整、测试、校验;
关键词
基于模型诊断; 诊断推理; 极小碰集; 布尔算法; 冲突集; 增量方法;

相似文献

中文文献
外文文献
专利

1. 结合DOEC极小化策略的SAT求解极小碰集方法 [J] . 王荣全 ,欧阳丹彤 ,王艺源 . 计算机研究与发展 . 2018,第6期
2. 基于动态极大元素覆盖值的极小碰集求解算法 [J] . 邓召勇 ,欧阳丹彤 ,耿雪娜 . 计算机研究与发展 . 2018,第4期
3. 结合SE-Tree结构特征的极小碰集求解算法 [J] . 刘思光 ,欧阳丹彤 ,王艺源 . 计算机研究与发展 . 2016,第011期
4. 结合特征学习的粒子群求解极小碰集方法 [J] . 刘娟 ,欧阳丹彤 ,王艺源 . 电子学报 . 2015,第005期
5. 极小碰集求解算法的性能分析与比较 [J] . 何嫱君 ,赵相福 ,欧阳丹彤 . 电子学报 . 2019,第005期
6. 一种结合SE-tree计算所有极小碰集的方法 [C] . 赵相福 ,欧阳丹彤 . 第五届中国Rough集与软计算学术研讨会 . 2005
7. 结合改进萤火虫算法和MaxSAT技术的极小碰集求解方法研究 [A] . 周丽雪 . 2020

IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法

摘要

著录项

相似文献

相关主题

期刊订阅