文档名：CIMHS基于优化增量策略求解极小碰集的方法
摘要：在基于模型的诊断推理过程中,极小碰集求解效率是决定诊断快慢的关键一步.本文在原有极小冲突集合簇与极小碰集簇的基础上,充分考虑它们与新增冲突集中元素的关系,提出一种新型的优化增量策略.在原有极小冲突集簇中,首先通过启发式策略抽取部分集合进行极小化,从而大幅度缩短求解时间;然后通过优化的增量策略快速补全并更新解集,进而提高整体求解效率.为进一步提高算法的效率,提出按冲突集的势从小到大增量排序,利用新型优化的增量策略依次递归计算,并最终求得原始问题集合簇所有解集的全增量算法CIMHS(CompleteIncre-mentMinimalHittingSet).实验结果表明,在许多情形下,CIMHS算法较其他经典的极小碰集求解算法,可减少1至3个数量级的运行时间.
作者：魏霞 赵相福 黄森 Author：WEIXia ZHAOXiang-fu HUANGSen
作者单位：烟台大学计算机与控制工程学院,山东烟台264005浙江师范大学计算机系,浙江金华321000
刊名：电子学报 ISTICEIPKU
Journal：ActaElectronicaSinica
年，卷(期)：2023, 51(5)
分类号：TP306
关键词：基于模型诊断 极小冲突集 极小碰集 增量策略 启发式策略 全增量
Keywords：model-baseddiagnosis minimalconflictset minimalhittingset incrementalstrategy heuristicstrate-gy completeincrement
机标分类号：TP302SO211.61
在线出版日期：2023年7月27日
基金项目：CIMHS:基于优化增量策略求解极小碰集的方法[
期刊论文] 电子学报--2023, 51(5)魏霞 赵相福 黄森在基于模型的诊断推理过程中,极小碰集求解效率是决定诊断快慢的关键一步.本文在原有极小冲突集合簇与极小碰集簇的基础上,充分考虑它们与新增冲突集中元素的关系,提出一种新型的优化增量策略.在原有极小冲突集簇中,首先...参考文献和引证文献
参考文献
引证文献
本文读者也读过
相似文献
相关博文
CIMHS:基于优化增量策略求解极小碰集的方法 CIMHS:A Method of Computing all Minimal Hitting Sets for Minimal Conflict Sets Based on an Optimized Incremental Strategy
CIMHS:基于优化增量策略求解极小碰集的方法.pdf
- 文件大小:
- 1.41 MB
- 下载次数:
- 60
-
高速下载
|
|
