期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到9篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种求解极小诊断的遗传模拟退火算法 被引量：22
1
作者 黄杰 陈琳 邹鹏 《软件学报》 EI CSCD 北大核心 2004年第9期1345-1350,共6页
基于模型的诊断方法是人工智能领域发展起来的一个十分活跃的分支.在该方法中,由极小冲突集求解极小击中集的过程是一个NP-Hard问题.尽管人们提出了不少算法,但是各种算法的效率仍然不是十分理想.通过将该问题映射到0/1整数规划问题,提... 基于模型的诊断方法是人工智能领域发展起来的一个十分活跃的分支.在该方法中,由极小冲突集求解极小击中集的过程是一个NP-Hard问题.尽管人们提出了不少算法,但是各种算法的效率仍然不是十分理想.通过将该问题映射到0/1整数规划问题,提出了将遗传算法与模拟退火算法相结合的问题求解思想.在给出遗传模拟退火(genetic simulated anncaling,简称GSA)算法和算法各个参数的同时,对算法的性能和求解精度进行了测试.GSA算法不仅比传统的算法效率有很大的提高,而且在冲突集基数大于35的情况下,较单独使用GA的算法在效率上提高约1/3～1/2.在求解精度上,GSA算法在大多数情况下能够求出98%～100%的极小诊断. 展开更多
关键词 基于模型的诊断 极小诊断 冲突集 击中集 遗传算法 模拟退火
下载PDF
基于因果关系的模型诊断 被引量：9
2
作者 张立明 赵剑 +2 位作者 赵相福 欧阳丹彤 白岩 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2009年第4期1052-1056,共5页
提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的... 提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的思想提出了极小诊断组成原理和极小诊断元件个数原理,可直接求出所有的极小诊断,避免了非极小诊断的产生,提高了诊断效率,并且不会丢失正确的解。该算法程序容易编制,且效率较好,可以满足复杂被诊断对象的实时性要求。 展开更多
关键词 人工智能 基于模型的诊断 极小诊断 因果关系
下载PDF
利用标志传播求解基于模型的故障诊断 被引量：6
3
作者 欧阳丹彤 张立明 +1 位作者 赵剑 白洪涛 《仪器仪表学报》 EI CAS CSCD 北大核心 2011年第12期2857-2862,共6页
基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程... 基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程,逐步生成当前系统对应的所有极小诊断。此方法不求解冲突集和碰集,直接求出所有的极小诊断,与Reiter的模型诊断方法有着本质的不同,极大地减小了诊断求解的复杂度。实验结果表明,该算法具有较好的效率,并且适用于复杂的对象的诊断问题。 展开更多
关键词 基于模型的诊断 极小诊断 SE-Tree 输出标志
下载PDF
基于模型的故障诊断专家系统测点优选策略 被引量：5
4
作者 潘宇雄 李清东 任章 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2013年第A01期98-101,共4页
为了解决模型系统的测点有限时所产生的极小诊断的组合爆炸问题,提出了增加系统测点,获取观测信息,从而减少极小诊断的智能方法.首先,采用带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小碰集(即极小诊断).然后,通过... 为了解决模型系统的测点有限时所产生的极小诊断的组合爆炸问题,提出了增加系统测点,获取观测信息,从而减少极小诊断的智能方法.首先,采用带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小碰集(即极小诊断).然后,通过故障诊断综合信息量和相关性矩阵的引入,并逐步分解矩阵,找出测点优选策略.最后,利用新增观测信息和极小诊断去除规则,可以自主实现极小诊断的逐步减少,直至唯一的极小诊断的产生,即实现故障定位.实验结果表明,该专家系统程序容易编制,且效率较好,可以满足复杂被诊断对象的快速性和准确性的要求. 展开更多
关键词 基于模型的故障诊断 极小诊断 测点优选 专家系统
下载PDF
基于故障行为的模型诊断方法 被引量：4
5
作者 张立明 欧阳丹彤 赵相福 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1845-1849,共5页
提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断。该方法不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用基于假设的真值维护系... 提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断。该方法不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用基于假设的真值维护系统时的组合爆炸而引起的NP-完全问题。在集合枚举树中添加了终止节点,从而避免了非极小诊断的产生,且不会因剪枝而丢失正确的解。实验结果表明,该算法程序容易编制,且效率较好,可以满足复杂的被诊断对象的实时性要求。 展开更多
关键词 故障分析 故障行为 基于模型的诊断 极小诊断 集合枚举树
下载PDF
基于值传递的快速故障诊断 被引量：1
6
作者 张学农 姜云飞 蔡永铭 《计算机科学》 CSCD 北大核心 2007年第4期282-286,共5页
本文提出了一种基于值传递的系统模型,重新定义了诊断,该定义与Reiter经典的诊断定义等价。在此基础上,给出了一种线性时间找到一个极小诊断的算法,该方法不需要计算极小冲突而直接得到极小诊断。该算法在给出诊断的同时,还给出了系统... 本文提出了一种基于值传递的系统模型,重新定义了诊断,该定义与Reiter经典的诊断定义等价。在此基础上,给出了一种线性时间找到一个极小诊断的算法,该方法不需要计算极小冲突而直接得到极小诊断。该算法在给出诊断的同时,还给出了系统与该诊断对应的当前行为的一种合理解释。最后,给出了该方法与诊断测试结合实现系统修复的方法。 展开更多
关键词 值传递 基于模型诊断 极小诊断
下载PDF
用辩论刻画含约束的诊断空间 被引量：1
7
作者 陈荣 姜云飞 《计算机学报》 EI CSCD 北大核心 2001年第3期303-307,共5页
在含约束的极小诊断中故障部件的每个超集并非总能构成一个含约束的诊断 .作者把基于模型的含约束的诊断比喻成一个辩论过程 :一些部件可以指责某些部件出了故障 ;反过来这些部件也可以为自己辩护 .在作者所建立的辩论框架下含约束的诊... 在含约束的极小诊断中故障部件的每个超集并非总能构成一个含约束的诊断 .作者把基于模型的含约束的诊断比喻成一个辩论过程 :一些部件可以指责某些部件出了故障 ;反过来这些部件也可以为自己辩护 .在作者所建立的辩论框架下含约束的诊断空间得到了紧致的刻画 .与相关工作相比 ,这种方法具有计算上的优势 ,它也可以解决极小诊断假设问题 . 展开更多
关键词 辩论理论 极小诊断假设 约束 故障诊断空间
下载PDF
基于伪故障度生成枚举树的极小诊断求解方法 被引量：1
8
作者 欧阳丹彤 智华云 +2 位作者 刘伯文 张立明 张永刚 《计算机研究与发展》 EI CSCD 北大核心 2018年第4期782-790,共9页
基于模型诊断(model-based diagnosis,MBD)是人工智能领域一个极富有挑战性的问题.近年来,SAT求解器发展十分迅速,且已被应用于求解基于模型诊断问题并取得了显著成果.在对基于模型诊断问题求解方法 LLBRS-Tree深入研究的基础上,根据电... 基于模型诊断(model-based diagnosis,MBD)是人工智能领域一个极富有挑战性的问题.近年来,SAT求解器发展十分迅速,且已被应用于求解基于模型诊断问题并取得了显著成果.在对基于模型诊断问题求解方法 LLBRS-Tree深入研究的基础上,根据电路组件的拓扑结构信息、系统的观测行为和预期行为之间的差异以及集合枚举树的特点,首次提出了组件静态伪故障度和动态伪故障度的概念.计算所有组件的静态伪故障度,并根据静态伪故障度从大到小对组件重新排序,生成新的枚举树;并且在遍历到新的极小诊断解时,更新相关组件的动态伪故障度,动态建立新的枚举树,从而能较快地搜索到极小诊断解,删除大量冗余解,较大程度地减少SAT求解器的调用次数.实验结果表明:随着诊断系统中组件个数的增多以及极小诊断解长度的增加,提出的方法较LLBRS-Tree方法效率提升明显. 展开更多
关键词 基于模型诊断 静态伪故障度 动态伪故障度 枚举树 极小诊断解
下载PDF
基于模型诊断的一种新编码方法
9
作者 周慧思 欧阳丹彤 +1 位作者 田新亮 张立明 《计算机研究与发展》 EI CSCD 北大核心 2023年第1期95-102,共8页
基于模型诊断(model-based diagnosis,MBD)是人工智能诊断领域中著名的诊断求解方法之一,旨在识别诊断问题的根本原因.由于求解诊断解在计算上具有挑战性,一些MBD算法提出通过修改模型的编码来提高诊断效率,如面向统治者的编码(dominato... 基于模型诊断(model-based diagnosis,MBD)是人工智能诊断领域中著名的诊断求解方法之一,旨在识别诊断问题的根本原因.由于求解诊断解在计算上具有挑战性,一些MBD算法提出通过修改模型的编码来提高诊断效率,如面向统治者的编码(dominator-oriented encoding,DOE)方法.面向观察的编码(observation-oriented encoding,OOE)方法使用2种方法对MBD模型进行约简.首先,利用系统观测和统治组件输出的一些过滤边来约简系统描述和观测.其次,通过查找基于观测的过滤节点来过滤更多的组件,进而有效约简组件的编码规模.此外,在ISCAS85和ITC99基准测试用例上的实验结果表明,与目前最新的MBD编码方法DOE和传统的基础编码(basic encoding,BE)相比,上述2种约简方法有效减少了MBD实例的编码子句数量比,降低MaxSAT求解器求解诊断的难度,进而能在更短的时间内返回一个诊断解. 展开更多
关键词 基于模型诊断 最大可满足性问题 基于统治关系的编码 顶层诊断 极小势诊断
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部