基于模型的诊断相关论文
极小模型的计算在人工智能推理系统中是一项必不可少的任务。然而,即使是正CNF（Conjunctive Normal Form）公式,其极小模型的计算和验......
基于模型的诊断(MBD)是人工智能领域中一个重要的分支,而软件排错是软件工程中的一项基本技术.该文改进了MBD模型,并将之应用到软......
传统的故障诊断方法需要依靠专家的经验知识,但遗憾的是,专家的经验获取不易,且更新慢,一旦系统发生改变,专家经验就显得不足。而......
基于模型的诊断(Model-Based Diagnosis)是人工智能领域重要的研究分支,这种诊断方式克服了传统诊断的问题,不需要借助专家的经验,......
在模型故障诊断中，不管采用那一种诊断方式，均首先需要根据测量结果和领域知识产生出最小冲突集合，广义约束传播技术是最有效的产生最......
诊断问题的复杂性限制了基于模型诊断技术的实际应用,近年出现了不少高效的约束求解器,为充分利用约束求解技术完成诊断,提出一种......
本文对基于模型诊断的过程进行了形式化,论证了它与本原蕴涵/蕴涵式的直接关系,从而将该理论结果与实现联系起来.进一步指出该结果......
提出了一种基于值传递的系统模型，重新定义了诊断，并给出了快速找到一个极小诊断的算法．在此基础上，提出了独立于系统输入输出的值传递......
在基于模型的诊断中，模型起着关键性的作用，模型的质量直接影响诊断的准确度和诊断的效率，因此诊断模型也成为人工智能研究者普遍关注......
本文首先给出一种弱诊断模型，利用系统的结构信息，快速得到系统的弱诊断，在不丢失解的情况下缩小诊断空间，以提高诊断效率。对仅知道系......
研究了在全局时钟、线性观测、串行事件触发的主动系统的故障诊断，在原有主动系统的自动机建模的基础上，引入时间区间代数表达更为详......
为基于模型的诊断系统设计建立了一个基本理论框架。以系统模型为基础，生成一组诊断测试，并以之代替系统模型而建立了一个基于测试的......
提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断。......
为了通过增加测量点、从候选诊断空间中找出真正的故障元件集,深入研究了测量点的选择优化问题,通过逻辑推理与验证的方法,分析了......
在基于模型的故障诊断理论中,为了根据所有冲突部件集计算全体极小碰集,提出基于集合势的方法,每次选择当前集合簇中势最小的集合......
产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式（CNF）形式的文件描述......
模型诊断方法是人工智能领域重要的系统故障自动检测方法,被广泛应用于软件故障检测和硬件诊断.近年来由于电路规模和复杂度不断增......
基于模型的诊断为人工智能领域中一个重要的研究分支,极小碰集即候选诊断的求解过程极大影响最终的诊断效率.本文关注当前主要的极......
基于模型诊断的主要思想是：根据系统的逻辑模型以及系统的输入，通过逻辑的推理理论能推导出系统在正常情况下的预期行为，如果观测到的......
分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建......
提出一种利用组件逻辑结构关系直接求解所有最小诊断的方法。该方法将系统的最小诊断求解分解为离线建立规则和在线确定诊断两个步......
基于模型的诊断方法是人工智能领域发展起来的一个十分活跃的分支.在该方法中,由极小冲突集求解极小击中集的过程是一个NP-Hard问......
主要填补了对系统参量不可观测或观没成本高的诊断测试研究这一空白,提出了替换测试荼为诊断测试一种新的可选择方法.在提出相关替......
在Reiter算法的基础上，本文提出一种基于ATMS的求解所有极小冲突集的新方法。其中，对每个元件模型最多调用一次就可求出所有的极小冲......
比较了基于规则的诊断方法与基于模型的诊断方法的不同,介绍了构成基于模型的诊断专家系统的基本要素,通过一个实例介绍了基于模型......
基于模型的诊断是一项新型的智能推理技术,它可克服传统诊断方法的缺点.分层诊断是减少基于模型诊断计算复杂性的重要方法.以往的......
在基于模型的故障诊断与测试中，计算全体最小碰集是其关键的步骤．本文将分支定界法BNB与集合枚举法HSSE相结合，提出了一种基于BNB—HS......
基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行......
基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术.人们已经建立了基于模型诊断与本原蕴涵/蕴涵式的......
目前许多故障诊断推荐使用基于模型的方法，但对于复杂系统.没有单一的方法能满足所有的故障诊断需求。本文讨论了在一个公共的框架......
基于模型的诊断是人工智能领域一个活跃的研究方向.基于值传递的诊断是一种高效的故障诊断方法,但在一般情况下不完备,且系统模型......
在计算集合簇的碰集时,结合SE-Tree（set enumeration tree）形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止......
首先提出一个基于SE-tree产生所有极小冲突集的方法（CSSE-tree）.然后给出翻转的SE-tree（ISE-tree）的概念,并提出基于ISE-tree产生所有......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
本文致力于将基于模型的诊断方法应用在程序诊断上,以一种简单的命令式程序语言IMP编写的程序为诊断对象,提出了一种以算子分量矩......
最近十多年来,离散事件系统基于模型的诊断受到越来越多研究和工程人员的关注,成为人工智能和控制工程领域的一个热点研究课题。基......
对诊断问题的分解进行研究,给出了候选诊断的分解与组合定理.在此基础上,提出了利用分步求解方法实现诊断分解的算法,并对算法的正......
在综合大量智能故障诊断技术和方法文献的基础上，对目前国内、外智能故障诊断技术的发展和应用进行了总结，并指出了不同的智能故障诊......
根据冲突集簇计算极小碰集是基于模型诊断的关键步骤,提出一种基于矩阵运算求解极小碰集的方法,在考虑集合之间联系的基础上,通过......
本文给出了基于一致性的最小正常诊断的概念，并将它与基于一致性的最小反常诊断加以区别．证明了老将系统描述限制在故障理论或在故障......
基于模型的诊断对于靶场装设备的保障具有重大的意义,碰集的计算则是基于模型诊断中最为关键的技术,本文通过对碰集计算方法的研究......
双离合器变速器(Dual Clutch Ttransmission,DCT)在换档时无需中断动力传递,具有良好的舒适性、燃油经济性、低排放性,已逐步应用......
基于模型的诊断方法是重要的故障诊断方法之一,本文首先分析了现有的基于模型的故障诊断的优缺点,指出了这些方法的不足之处,然后......
提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的......
随着电子技术的快速发展，混合电路系统的集成度和复杂度也不断提高，这给电路的故障诊断带来了全新的挑战。近二十年来，一些关键性的大......
本文是依据基于模型诊断的思想开发出的一套电路故障诊断系统,所以首先介绍了基于模型诊断的基本概念,基本思想,以及其基本过程。......
