基于模型的诊断相关论文
极小模型的计算在人工智能推理系统中是一项必不可少的任务。然而,即使是正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;- __._——————》 砧叫]们......
