碰集相关论文
在软件研制过程中,缺陷定位是一个重要的研究课题。但是,实际软件中的缺陷数量无法被预先判定,且已有的单缺陷定位方法不易使用,已......
基于模型的诊断为人工智能领域中一个重要的研究分支,极小碰集即候选诊断的求解过程极大影响最终的诊断效率.本文关注当前主要的极......
在图书馆采购图书决策问题中,一方面为了更好地满足读者的要求,另一方面经费又有限.所以,如何决定订购图书的策略,就成为图书馆一......
大宗订单的集体用户在报刊征订时应尽可能满足“人多优先、推荐面广、多推优先、少推亦订”的原则，本文以集合中的碰集理论设计出一......
针对武器装备发生多故障的实际情况,提出了一种新的多故障的测试序列优化方法。用实例阐明了单故障诊断策略隔离多故障可能会出现......
基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术.人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的......
基于模型诊断的 HS-DAG算法,提出一个网络通信模型的诊断系统.当局域网出现故障时,能够根据观察结果判断故障出现的位置,不会因为......
首先提出一个基于SE-tree产生所有极小冲突集的方法（CSSE-tree）.然后给出翻转的SE-tree（ISE-tree）的概念,并提出基于ISE-tree产生所有......
从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT (Satisfiability)问题是自动推理最重要的......
本论文在对比分析常用最小碰集搜索方法性能优劣的基础上,提出了一种改进的离散二进制粒子群算法,并给出了该算法应用于最小碰集搜......
期刊
基于模型的诊断对于靶场装设备的保障具有重大的意义,碰集的计算则是基于模型诊断中最为关键的技术,本文通过对碰集计算方法的研究......
软件运行失效时,需要进行软件缺陷定位,它是软件开发过程中代价较为昂贵的开发活动之一。寻找高效的软件缺陷定位技术,是一个具有......
