基于模型的诊断专家系统 被引量：3

1

作者 张秀斌 郭波 谭跃进 《计算机工程》 CAS CSCD 北大核心 2003年第12期88-89,107,共3页

比较了基于规则的诊断方法与基于模型的诊断方法的不同，介绍了构成基于模型的诊断专家系统的基本要素，通过一个实例介绍了基于模型的诊断方法的应用过程。

关键词 基于模型的诊断 故障诊断 推理

在线阅读 下载PDF 职称材料

基于模型诊断的分步求解 被引量：11

2

作者 张学农 姜云飞 +1 位作者 陈蔼祥 张立成 《软件学报》 EI CSCD 北大核心 2008年第3期584-593,共10页

对诊断问题的分解进行研究,给出了候选诊断的分解与组合定理.在此基础上,提出了利用分步求解方法实现诊断分解的算法,并对算法的正确性、完备性和复杂性进行了证明.实验结果表明,分步求解方法明显提高了包含多个输出的系统的诊断效率.... 对诊断问题的分解进行研究,给出了候选诊断的分解与组合定理.在此基础上,提出了利用分步求解方法实现诊断分解的算法,并对算法的正确性、完备性和复杂性进行了证明.实验结果表明,分步求解方法明显提高了包含多个输出的系统的诊断效率.与利用变量假定例化值分解诊断问题的方法相比,该算法能提高了效率并且扩大了适用范围. 展开更多

关键词 基于模型的诊断 诊断分解 分步推理

在线阅读 下载PDF 职称材料

基于模型诊断中结合问题特征的新方法 被引量：6

3

作者 欧阳丹彤 周建华 +1 位作者 刘伯文 张立明 《计算机研究与发展》 EI CSCD 北大核心 2017年第3期502-513,共12页

基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深入研究基础上,结合诊断问题和SAT求解过程的特征,给出先对包... 基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深入研究基础上,结合诊断问题和SAT求解过程的特征,给出先对包含组件个数较多的候选诊断进行求解的方法,进而减小SAT求解问题的规模;在对极小诊断解和非极小诊断解剪枝方法的基础上,首次提出非诊断解定理及非诊断解空间的剪枝方法,有效地实现了对诊断的无解空间进行剪枝.根据组件个数较多的候选诊断先求解及有解无解剪枝方法特征,构建基于反向搜索的LLBRS-tree方法.实验结果表明:与CSSE-tree算法相比,LLBRS-tree算法减少了SAT求解次数、减小了求解问题规模,效率较好,尤其是求解多诊断时效率提高更为显著. 展开更多

关键词 基于模型的诊断 无解空间剪枝 合取范式 SAT求解器 枚举树

在线阅读 下载PDF 职称材料

利用标志传播求解基于模型的故障诊断 被引量：6

4

作者 欧阳丹彤 张立明 +1 位作者 赵剑 白洪涛 《仪器仪表学报》 EI CAS CSCD 北大核心 2011年第12期2857-2862,共6页

基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程... 基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程,逐步生成当前系统对应的所有极小诊断。此方法不求解冲突集和碰集,直接求出所有的极小诊断,与Reiter的模型诊断方法有着本质的不同,极大地减小了诊断求解的复杂度。实验结果表明,该算法具有较好的效率,并且适用于复杂的对象的诊断问题。 展开更多

关键词 基于模型的诊断 极小诊断 SE-Tree 输出标志

在线阅读 下载PDF 职称材料

基于模型诊断中计算碰集的方法 被引量：8

5

作者 欧阳丹彤 欧阳继红 +1 位作者 程晓春 刘杰 《仪器仪表学报》 EI CAS CSCD 北大核心 2004年第z3期605-608,共4页

基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术。人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系。这里论证了极小碰集与本原蕴涵/蕴涵式的关系。提出了碰集计算方法—NEWHS- tree,指出:该算... 基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术。人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系。这里论证了极小碰集与本原蕴涵/蕴涵式的关系。提出了碰集计算方法—NEWHS- tree,指出:该算法需要搜索的结点数比Greiner的HS- DAG算法需要搜索的结点数大大减少,而且能够处理多故障诊断问题,而Slagle等学者提出的算法不能处理多故障诊断问题。 展开更多

关键词 基于模型的诊断 碰集 本原蕴涵/蕴涵式

在线阅读 下载PDF 职称材料

基于模型诊断的抽象分层过程 被引量：4

6

作者 王楠 欧阳丹彤 孙善武 《计算机学报》 EI CSCD 北大核心 2011年第2期383-394,共12页

分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成... 分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成系统的分层表示方法也没有形式化的分析.KRA(Knowledge Reformulationand Abstraction)模型从构造化的角度定义了表示抽象的一般框架,文中在KRA模型框架下建立系统模型,给出了抽象算子在系统的基本框架Rg上进行的非独立的运算过程,使得不会在抽象过程中生成重复的部件类型,不仅降低了存储空间,还增加了在进一步的抽象运算中算子重用的概率,提高了整个抽象运算的效率.同时描述了基于模型诊断中的抽象分层过程,提出了动态和静态构造算子库两种方法,并对其优缺点进行分析,给出了一个应用抽象算子集合自动生成待诊断系统分层表示的一般算法. 展开更多

关键词 基于模型的诊断 分层诊断 KRA模型 算子库 自动分层

在线阅读 下载PDF 职称材料

基于故障行为的模型诊断方法 被引量：4

7

作者 张立明 欧阳丹彤 赵相福 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1845-1849,共5页

提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断。该方法不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用基于假设的真值维护系... 提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断。该方法不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用基于假设的真值维护系统时的组合爆炸而引起的NP-完全问题。在集合枚举树中添加了终止节点,从而避免了非极小诊断的产生,且不会因剪枝而丢失正确的解。实验结果表明,该算法程序容易编制,且效率较好,可以满足复杂的被诊断对象的实时性要求。 展开更多

关键词 故障分析 故障行为 基于模型的诊断 极小诊断 集合枚举树

在线阅读 下载PDF 职称材料

动态系统基于模型诊断的研究进展与展望 被引量：7

8

作者 赵相福 欧阳丹彤 《仪器仪表学报》 EI CAS CSCD 北大核心 2005年第z2期599-602,共4页

基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术,其应用也越来越广泛。介绍了动态系统基于模型诊断的诊断过程,综述了建模诊断方法、时序基于模型诊断方法。通过与静态诊断的比较,指出动态系统基于模型... 基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术,其应用也越来越广泛。介绍了动态系统基于模型诊断的诊断过程,综述了建模诊断方法、时序基于模型诊断方法。通过与静态诊断的比较,指出动态系统基于模型诊断的各种定义及其研究意义,并指出有待解决的问题。 展开更多

关键词 基于模型的诊断 动态系统 时序诊断

在线阅读 下载PDF 职称材料

关于智能诊断中模型的构建和应用 被引量：6

9

作者 姜云飞 范昭赋 《计算机科学》 CSCD 北大核心 2006年第2期193-196,共4页

在基于模型的诊断中,模型起着关键性的作用,模型的质量直接影响诊断的准确度和诊断的效率.因此诊断模型也成为人工智能研究青普遍关注的热点问题。长文对基于模型的诊断方法和该领域的最新研究成果做了全面的综述,重点介绍了构建诊断模... 在基于模型的诊断中,模型起着关键性的作用,模型的质量直接影响诊断的准确度和诊断的效率.因此诊断模型也成为人工智能研究青普遍关注的热点问题。长文对基于模型的诊断方法和该领域的最新研究成果做了全面的综述,重点介绍了构建诊断模型方面的研究成果,其中包括分级结构抽象方法、基于状态转换的历程重构方法、依赖于任务的定量抽象方法以及利用过程代数的描述方法等。此外,本文还对诊断模型的构建的研究提出了自己的观点和建议。 展开更多

关键词 智能诊断 基于模型的诊断 模型构建

在线阅读 下载PDF 职称材料

离散事件系统基于模型诊断的研究进展 被引量：4

10

作者 赵相福 欧阳丹彤 《计算机科学与探索》 CSCD 2011年第2期114-127,共14页

近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建... 近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建模的各种主要诊断方法进行了评析与比较;讨论了系统可诊断性判定方法的研究进展。从系统建模、分布式在线诊断、不完备模型下的诊断以及系统实现等方面,展望了针对离散事件系统的基于模型诊断领域中有待解决的问题。 展开更多

关键词 基于模型的诊断 离散事件系统 可诊断性

在线阅读 下载PDF 职称材料

基于模型的动态分层诊断技术 被引量：1

11

作者 欧阳丹彤 才殿波 李占山 《仪器仪表学报》 EI CAS CSCD 北大核心 2004年第z3期609-612,共4页

基于模型的诊断是一项新型的智能推理技术,它可克服传统诊断方法的缺点。分层诊断是减少基于模型诊断计算复杂性的重要方法。以往的分层诊断方法局限于使用单一、固定的分层描述,而同一个分层描述有时能提高诊断的效率,但有时会与非分... 基于模型的诊断是一项新型的智能推理技术,它可克服传统诊断方法的缺点。分层诊断是减少基于模型诊断计算复杂性的重要方法。以往的分层诊断方法局限于使用单一、固定的分层描述,而同一个分层描述有时能提高诊断的效率,但有时会与非分层诊断效率相同。这里通过使用相应结构抽象树重新安排各层给定的分层描述来创建一个新的分层描述,提出一项新的动态分层诊断技术来提高诊断效率。 展开更多

关键词 基于模型的诊断 基于一致性诊断 分层诊断 结构抽象

在线阅读 下载PDF 职称材料

基于约束的故障诊断模型及可诊断性分析

12

作者 蔡永铭 张学农 张立成 《小型微型计算机系统》 CSCD 北大核心 2014年第8期1865-1868,共4页

诊断问题的复杂性限制了基于模型诊断技术的实际应用,近年出现了不少高效的约束求解器,为充分利用约束求解技术完成诊断,提出一种基于约束的诊断模型,采用约束描述系统结构和功能,重新定义诊断问题并证明了基于约束的诊断和基于一致性... 诊断问题的复杂性限制了基于模型诊断技术的实际应用,近年出现了不少高效的约束求解器,为充分利用约束求解技术完成诊断,提出一种基于约束的诊断模型,采用约束描述系统结构和功能,重新定义诊断问题并证明了基于约束的诊断和基于一致性的诊断是等价的,在保证诊断完备性的前提下将基于模型的诊断问题转换为通用的约束求解问题;在此基础上,分析了系统的可诊断性,给出了诊断假设可判定、不可判定和部分可判定的充分必要条件,并建立了诊断假设空间关于可诊断性的半序关系,为诊断假设的判定提供理论依据. 展开更多

关键词 基于模型的诊断 基于约束的模型 可诊断性

在线阅读 下载PDF 职称材料

基于结构的弱诊断模型

13

作者 张学农 姜云飞 陈蔼祥 《计算机科学》 CSCD 北大核心 2007年第9期273-276,292,共5页

本文首先给出一种弱诊断模型,利用系统的结构信息,快速得到系统的弱诊断,在不丢失解的情况下缩小诊断空间,以提高诊断效率。对仅知道系统的整体功能和物理结构系统,无法进行一致性诊断或更强的诊断,我们仍然可以对其进行弱诊断。其次,... 本文首先给出一种弱诊断模型,利用系统的结构信息,快速得到系统的弱诊断,在不丢失解的情况下缩小诊断空间,以提高诊断效率。对仅知道系统的整体功能和物理结构系统,无法进行一致性诊断或更强的诊断,我们仍然可以对其进行弱诊断。其次,我们给出了弱诊断、一致诊断、溯因诊断间的关系。最后,根据诊断和真正故障元件集合间的关系,定义了诊断的可采纳性,并证明了弱诊断、一致诊断是可采纳的。 展开更多

关键词 基于模型的诊断 弱诊断 可采纳性

在线阅读 下载PDF 职称材料

基于模型诊断的候选空间单调性研究

14

作者 王肖 赵相福 《计算机集成制造系统》 EI CSCD 北大核心 2013年第12期3043-3048,共6页

为了通过增加测量点、从候选诊断空间中找出真正的故障元件集,深入研究了测量点的选择优化问题,通过逻辑推理与验证的方法,分析了候选诊断空间大小随新测量点的单调性变化的关系,并给出了可以导致候选诊断空间单调递增或单调递减的测量... 为了通过增加测量点、从候选诊断空间中找出真正的故障元件集,深入研究了测量点的选择优化问题,通过逻辑推理与验证的方法,分析了候选诊断空间大小随新测量点的单调性变化的关系,并给出了可以导致候选诊断空间单调递增或单调递减的测量点特征。同时证明了增加相关测量点可导致诊断空间单调递减,为进一步选择优化的测量点提供了基本理论依据。 展开更多

关键词 基于模型的诊断 候选空间 单调性 测量点 故障诊断

在线阅读 下载PDF 职称材料

一种模型不完备条件下的诊断方法

15

作者 林海 孙吉贵 《广西师范大学学报（自然科学版）》 CAS 2003年第A01期79-82,共4页

基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,... 基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,在此基础上提出了一种针对模型不完备条件下的诊断方法,使得经典的诊断方法对于模型的依赖程度有所降低,从而解决了模型不完备给诊断问题所带来的困难.最后将这种方法和模型完备时的诊断效果做了比较. 展开更多

关键词 基于模型的诊断 不完备模型 诊断方法

在线阅读 下载PDF 职称材料

电网故障最优诊断的查询方法 被引量：23

16

作者 江雪晨 王大志 +1 位作者 宁一 张翠玲 《高电压技术》 EI CAS CSCD 北大核心 2017年第4期1311-1316,共6页

针对传统专家系统在电网故障诊断应用中的局限性,提出一种基于模型诊断的电网故障最优诊断的查询方法。该方法按照基于因果关系的诊断思想,得到预设故障输出对应的预备候选诊断,然后根据故障后的电气信息从匹配的预设故障输出中确定候... 针对传统专家系统在电网故障诊断应用中的局限性,提出一种基于模型诊断的电网故障最优诊断的查询方法。该方法按照基于因果关系的诊断思想,得到预设故障输出对应的预备候选诊断,然后根据故障后的电气信息从匹配的预设故障输出中确定候选诊断,最后,运用贝叶斯理论计算候选诊断的故障概率,并查询最大概率的候选诊断作为电网故障的最优诊断。该方法通过离线获得预备候选诊断,在线确认候选诊断的手段,缩减了诊断的时间,在利用贝叶斯定理处理诊断的不确定性时,将告警信息引入到模型诊断逻辑框架内计算元件的实际故障概率,提高了诊断的准确性。算例分析结果验证了所提方法的有效性和可行性。 展开更多

关键词 基于模型的诊断 电网故障诊断 最优诊断 因果关系 电气信息 告警信息 贝叶斯理论

在线阅读 下载PDF 职称材料

一种求解极小诊断的遗传模拟退火算法 被引量：23

17

作者 黄杰 陈琳 邹鹏 《软件学报》 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 职称材料

通过诊断图分析的快速诊断算法 被引量：4

18

作者 陈蔼祥 陈清亮 +2 位作者 潘久辉 姜云飞 杨晋吉 《计算机学报》 EI CSCD 北大核心 2009年第8期1470-1485,共16页

基于模型诊断的主要思想是:根据系统的逻辑模型以及系统的输入,通过逻辑的推理理论能推导出系统在正常情况下的预期行为,如果观测到的系统实际行为与系统预期行为有差异,则说明系统存在故障.当系统故障时,可通过逻辑的推理理论来确定引... 基于模型诊断的主要思想是:根据系统的逻辑模型以及系统的输入,通过逻辑的推理理论能推导出系统在正常情况下的预期行为,如果观测到的系统实际行为与系统预期行为有差异,则说明系统存在故障.当系统故障时,可通过逻辑的推理理论来确定引发故障的元件集合.由于经典的基于模型诊断采用的是逻辑推理的手段来产生诊断集合,这导致了传统的基于模型诊断算法的效率非常低下.文中在原有模型诊断基础上,重新定义了诊断,并提出了一种用于诊断的诊断图的数据结构.在此基础上给出了一种基于诊断图分析的快速诊断算法.由于文中的诊断方法是一种过程化的方法,与Reiter的模型诊断的基于逻辑的方法有着本质的不同.因此,文中的方法能很好地克服经典模型诊断效率过低的问题,为诊断问题的求解带来新的前景.实验结果证明了这种新的诊断方法的高效性. 展开更多

关键词 诊断 诊断图 基于模型的诊断 溯因推理 自动规划

在线阅读 下载PDF 职称材料

值传递诊断过程的抽象和重用 被引量：3

19

作者 张学农 姜云飞 +1 位作者 陈蔼祥 张立成 《计算机学报》 EI CSCD 北大核心 2009年第7期1264-1279,共16页

提出了一种基于值传递的系统模型,重新定义了诊断,并给出了快速找到一个极小诊断的算法.在此基础上,提出了独立于系统输入输出的值传递路径的概念,实现了值传递诊断过程的抽象,并根据等价路径对系统值传递路径空间进行约简.以约简的值... 提出了一种基于值传递的系统模型,重新定义了诊断,并给出了快速找到一个极小诊断的算法.在此基础上,提出了独立于系统输入输出的值传递路径的概念,实现了值传递诊断过程的抽象,并根据等价路径对系统值传递路径空间进行约简.以约简的值传递路径空间为基础,给出了一种故障诊断算法,在一定条件下多项式时间结束. 展开更多

关键词 基于模型的诊断 值传递 过程抽象 过程重用

在线阅读 下载PDF 职称材料

利用元件替换测试求诊断 被引量：2

20

作者 李占山 王涛 +2 位作者 孙吉贵 林海 冯果忱 《软件学报》 EI CSCD 北大核心 2005年第9期1599-1605,共7页

主要填补了对系统参量不可观测或观测成本高的诊断测试研究这一空白,提出了替换测试作为诊断测试一种新的可选择方法.在提出相关替换测试概念的基础上,利用元件替换对系统观测值的影响刻画了诊断的判定、新冲突的生成.在此基础上,提出... 主要填补了对系统参量不可观测或观测成本高的诊断测试研究这一空白,提出了替换测试作为诊断测试一种新的可选择方法.在提出相关替换测试概念的基础上,利用元件替换对系统观测值的影响刻画了诊断的判定、新冲突的生成.在此基础上,提出了替换分解诊断问题的概念;刻画了诊断问题的替换分解等相关问题;研究了直接利用正常元件替换几个子系统交集元件分解待诊断系统的方法.其结果能够改善诊断与测试的效率、降低诊断成本,并为研究诊断问题分解提供理论依据. 展开更多

关键词 基于模型的诊断 测试 替换测试 问诊断题的替换分解

在线阅读 下载PDF 职称材料