冲突集

作品数：40被引量：187H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：欧阳丹彤林笠赵相福张立明姜云飞更多>>
相关机构：吉林大学暨南大学北京航空航天大学西南交通大学更多>>
相关期刊：《科技资讯》《计算机工程与设计》《四川电力技术》《北京航空航天大学学报》更多>>
相关基金：国家自然科学基金教育部“新世纪优秀人才支持计划”广东省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种求解极小诊断的遗传模拟退火算法被引量：22
《软件学报》2004年第9期1345-1350,共6页黄杰 陈琳 邹鹏 
国家自然科学基金;国家高技术研究发展计划(863);国家重点基础研究发展规划(973)~~
基于模型的诊断方法是人工智能领域发展起来的一个十分活跃的分支.在该方法中,由极小冲突集求解极小击中集的过程是一个NP-Hard问题.尽管人们提出了不少算法,但是各种算法的效率仍然不是十分理想.通过将该问题映射到0/1整数规划问题,提...
关键词：基于模型的诊断 极小诊断 冲突集 击中集 遗传算法 模拟退火 
用对分HS-树计算最小碰集被引量：37
《软件学报》2002年第12期2267-2274,共8页姜云飞 林笠 
国家自然科学基金资助项目(69873047;60173039);广东省自然科学基金资助项目(980260)
在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断.在Reiter的方法中,要用HS-树(图)来计算最小冲突集的最小碰集.HS-树的计算量比较大,且又会因为剪枝的问题而剪掉真实解.提出...
关键词：模型诊断 最小冲突集 最小碰集 对分HS-树 人工智能 推理理论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部