用对分HS-树计算最小碰集

姜云飞; 林笠

首页> 中文期刊> 《软件学报》 >用对分HS-树计算最小碰集

用对分HS-树计算最小碰集

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出了用对分HS-树(binary hitting set-树,简称BHS-树)计算最小碰集的方法.这种方法的优点是:(1)产生的树的节点数明显少于HS-树,因而效率较高;(2)解决了因为剪枝而产生的最小碰集丢失的问题;(3)在新增加冲突集时不必完全重新计算,只需在原BHS-树的基础上增加新的分支即可,这种性质对实际诊断问题是特别有用的.对利用BHS-树的算法从理论上进行了分析和论证,并通过实际编写程序进行了检验.

著录项

来源
《软件学报》 |2002年第12期|2267-2274|共8页
作者
姜云飞; 林笠;
展开▼
作者单位

中山大学软件研究所;

广东;

广州;

510275;

中山大学软件研究所;

广东;

广州;

510275;

暨南大学数学系;

广东广州510632;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
基于模型诊断; 最小冲突集; 最小碰集; 对分HS-树;

相似文献

中文文献
外文文献
专利

1. 递归建立HS-树计算最小碰集 [J] . 林笠 . 微电子学与计算机 . 2002,第2期
2. 基于模型诊断的集合逻辑运算法计算最小碰集 [J] . 朱亚雄 ,李星新 ,郝建平 . 火力与指挥控制 . 2016,第8期
3. 用布尔代数方法计算最小碰集 [J] . 姜云飞 ,林笠 . 计算机学报 . 2003,第008期
4. 在基于模型诊断中计算最小碰集算法 [J] . 林笠 . 计算机应用研究 . 2002,第009期
5. 基于模型诊断中用逻辑数组计算最小碰集 [J] . 林笠 . 暨南大学学报（自然科学与医学版） . 2002,第001期
6. 求事故树最小割（径）集程序MOCUS＋的编制和在安全生产管理中应用 [C] . 李入元 . 中国金属学会安全系统工程研讨会 . 1989
7. 一种基于最小生成树法的集电线路优化设计 [A] . 廖阳宇 . 2020

用对分HS-树计算最小碰集

摘要

著录项

相似文献

相关主题

期刊订阅