极小碰集相关论文
二叉判定图这种数据结构主要用来表示逻辑表达式,而现在人们已经研制了一些表示方法:比如二叉判定树、真值表、卡诺图等等,但是对......
基于模型诊断是一项新型智能诊断推理技术,旨在解决第一代专家系统中知识不易获取、对领域专家依赖性过强等严重缺陷。基于模型诊......
故障测试在芯片开发中是十分重要的部分,分布于开发的各个环节中。每个芯片在发布前都需要进行故障测试,以确保有缺陷的芯片不会流......
基于模型的诊断(Model-Based Diagnosis)是人工智能领域重要的研究分支,这种诊断方式克服了传统诊断的问题,不需要借助专家的经验,......
本文所提出的计算极小碰集的方法非常易于理解且编程实现简单，虽然以树的形式描述，实际中并不需用构造树，更不会因剪枝而丢失正确解。......
基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术.人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的......
为降低空间复杂度和减少搜索时间,结合极小碰集的特点和生物学中蜘蛛捕食思想,提出了一种搜索极小碰集的蛛网算法。该方法考虑集合......
采用改进的遗传算法求解极小碰集问题。在标准遗传算法的基础上，引入了精英策略以提高算法的搜索效率；在进化过程中加入了极小化操作......
针对用单故障策略诊断多故障时可能出错的原因，提出一种确定性的，效率较高的求解掩盖故障的算法；首先通过定义寻找系统中可能存在的隐......
在基于模型的故障诊断理论中,为了根据所有冲突部件集计算全体极小碰集,提出基于集合势的方法,每次选择当前集合簇中势最小的集合......
基于模型诊断中的极小碰集问题是人工智能领域的一个重要课题,现实中很多实际问题都可以转化为极小碰集问题,如老师与课程问题,极......
提出一种利用与元素相关联的冲突集个数计算碰集的新方法，并结合带有终止节点的集合枚举树SE-tree形式化地表达计算过程，逐步生成所......
极小碰集问题是人工智能中的重要问题,应用广泛.碰集极小性判定,作为极小碰集求解过程中的关键步骤,效率的高低会对极小碰集求解算......
产生待诊断设备冲突集的所有极小碰集是基于模型诊断的一个重要步骤,极小碰集即为该设备的候 选诊断.HS-tree算法产生的节点数目较......
基于模型的故障诊断作为一项新型智能诊断技术,克服了传统故障诊断方法依赖专家经验等缺陷,求解极小碰集是模型故障诊断中的重要步......
在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比......
在基于模型诊断中,诊断解通常是根据极小冲突集合簇进行相应的计算得到所有的极小碰集,所以提高极小碰集的求解效率是模型诊断的核......
基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在......
在基于模型诊断(model-based diagnosis,MBD)中,因为所有极小冲突集的极小碰集就是待诊断系统的诊断结果,所以利用所有极小冲突集......
在计算集合簇的碰集时,结合SE-Tree（set enumeration tree）形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止......
提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息，引入集合簇中元素的频率作为启发信息，完成对......
从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT (Satisfiability)问题是自动推理最重要的......
根据冲突集簇计算极小碰集是基于模型诊断的关键步骤,提出一种基于矩阵运算求解极小碰集的方法,在考虑集合之间联系的基础上,通过......
溯因推理为归纳与演绎推理之外的另一种重要的推理形式，在人工智能等领域有着广泛的应用．通俗地讲，溯因推理是从观察（结果）去推断原因的......
