期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
Experts' Knowledge Fusion in Model-Based Diagnosis Based on Bayes Networks 被引量:5
1
作者 Deng Yong & Shi Wenkang School of Electronics & Information Technology, Shanghai Jiaotong University, Shanghai 200030, P. R. China 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2003年第2期25-30,共6页
In previous researches on a model-based diagnostic system, the components are assumed mutually independent. Howerver , the assumption is not always the case because the information about whether a component is faulty ... In previous researches on a model-based diagnostic system, the components are assumed mutually independent. Howerver , the assumption is not always the case because the information about whether a component is faulty or not usually influences our knowledge about other components. Some experts may draw such a conclusion that 'if component m 1 is faulty, then component m 2 may be faulty too'. How can we use this experts' knowledge to aid the diagnosis? Based on Kohlas's probabilistic assumption-based reasoning method, we use Bayes networks to solve this problem. We calculate the posterior fault probability of the components in the observation state. The result is reasonable and reflects the effectiveness of the experts' knowledge. 展开更多
关键词 model-based diagnosis Experts' knowledge Probabilistic assumption-based reasoning Bayes networks.
下载PDF
基于模型诊断的一种新编码方法
2
作者 周慧思 欧阳丹彤 +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
基于模型诊断的研究进展 被引量:10
3
作者 韩旭 史忠植 林芬 《高技术通讯》 EI CAS CSCD 北大核心 2009年第5期543-550,共8页
通过对诊断对象模型、主要诊断方法和聚焦策略的分析和阐述,系统地总结和综述了近年来基于模型诊断的主要研究内容和方法,介绍和比较了3组诊断对象模型,即定性与定量模型、静态与动态模型、确定与概率模型,并针对近几年的研究热点,重点... 通过对诊断对象模型、主要诊断方法和聚焦策略的分析和阐述,系统地总结和综述了近年来基于模型诊断的主要研究内容和方法,介绍和比较了3组诊断对象模型,即定性与定量模型、静态与动态模型、确定与概率模型,并针对近几年的研究热点,重点阐述了分布式系统和2类动态系统——时间驱动型系统和事件驱动型系统的相应诊断方法,同时分析了基于优先序的策略、基于删剪条件的策略、基于层次的策略和基于分治的策略这4类聚焦策略,最后对今后的主要研究方向进行了总结和展望。 展开更多
关键词 基于模型诊断(mbd) 反绎诊断 分布式诊断 离散事件系统 聚焦策略
下载PDF
结合Craig插值分析的软件错误诊断方法 被引量:2
4
作者 徐勇 毋国庆 袁梦霆 《电子学报》 EI CAS CSCD 北大核心 2016年第10期2514-2521,共8页
基于模型诊断(MBD)的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位方法进行了改进,提出了冲突中元件的冗... 基于模型诊断(MBD)的理论应用到软件错误定位中取得了一定的效果.但是经典MBD理论基于元件间独立地发生故障这一假设,导致软件错误定位的结果中存在假阳性的诊断.论文对现有基于MBD的软件错误定位方法进行了改进,提出了冲突中元件的冗余分析方法.该方法既包括了基于Craig插值的元件冗余分析机制,同时利用条件语句取值的二元性(真或假)的特点,对冲突中的条件语句元件进行软件错误的无相关分析.实验结果表明:冲突中的元件冗余分析方法可以有效地减少诊断的假阳性率,将诊断结果数减少了48.4%,碰集树生成的结点数减少了47.6%. 展开更多
关键词 基于模型诊断 软件错误定位 冗余分析 Craig插值
下载PDF
具有学习能力的智能诊断系统研究 被引量:2
5
作者 陈蔼祥 伍丽华 姜云飞 《计算机工程与应用》 CSCD 北大核心 2008年第22期31-34,38,共5页
随着电子设备系统的日益复杂化,依靠单一的推理技术的故障系统已难以满足复杂系统的诊断要求,将多种不同的推理技术结合起来的集成诊断系统,能够充分利用各自的优点,从而提高系统诊断的正确性和效率,是目前智能诊断研究的一个发展趋势... 随着电子设备系统的日益复杂化,依靠单一的推理技术的故障系统已难以满足复杂系统的诊断要求,将多种不同的推理技术结合起来的集成诊断系统,能够充分利用各自的优点,从而提高系统诊断的正确性和效率,是目前智能诊断研究的一个发展趋势。将研究复合系统的智能诊断问题,提出在一个复合系统的诊断过程中,通过机器学习,使基于规则的诊断和基于模型的诊断两种诊断技术相互结合,在诊断的不同阶段发挥出各自的作用,从而建立一个融合了RBD和MBD技术优点的、具有一定学习能力的智能诊断系统。 展开更多
关键词 RBD mbd 复合系统 机器学习 决策树
下载PDF
离散事件系统基于模型诊断的研究进展 被引量:3
6
作者 赵相福 欧阳丹彤 《计算机科学与探索》 CSCD 2011年第2期114-127,共14页
近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建... 近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建模的各种主要诊断方法进行了评析与比较;讨论了系统可诊断性判定方法的研究进展。从系统建模、分布式在线诊断、不完备模型下的诊断以及系统实现等方面,展望了针对离散事件系统的基于模型诊断领域中有待解决的问题。 展开更多
关键词 基于模型的诊断 离散事件系统 可诊断性
下载PDF
基于伪故障度生成枚举树的极小诊断求解方法 被引量:1
7
作者 欧阳丹彤 智华云 +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
利用CSP求解极小碰集的方法 被引量:8
8
作者 王艺源 欧阳丹彤 +1 位作者 张立明 张永刚 《计算机研究与发展》 EI CSCD 北大核心 2015年第3期588-595,共8页
基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心... 基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心问题之一.提出一种将极小碰集问题转换为约束满足问题的方法,该方法调用成熟的CSP求解器进行求解,扩展了约束可满足问题的应用领域.首次提出hard-冲突集和soft-冲突集的概念,并给出利用所提的方法分别求解具有一些特征的极小碰集:小于固定长度、不含特定元素及包含hard-冲突集和soft-冲突集.实验结果表明,提出的方法易于实现、扩展性强,对于特定类型极小碰集问题的求解效率较高. 展开更多
关键词 极小碰集 约束可满足问题 基于模型诊断 hard-冲突集 soft-冲突集
下载PDF
基于动态极大元素覆盖值的极小碰集求解算法 被引量:5
9
作者 邓召勇 欧阳丹彤 +1 位作者 耿雪娜 刘杰 《计算机研究与发展》 EI CSCD 北大核心 2018年第4期791-801,共11页
在基于模型诊断(model-based diagnosis,MBD)中,因为所有极小冲突集的极小碰集就是待诊断系统的诊断结果,所以利用所有极小冲突集构造极小冲突集合簇,并基于极小冲突集合簇计算极小碰集是诊断的关键步骤.提出一种基于动态极大元素覆盖... 在基于模型诊断(model-based diagnosis,MBD)中,因为所有极小冲突集的极小碰集就是待诊断系统的诊断结果,所以利用所有极小冲突集构造极小冲突集合簇,并基于极小冲突集合簇计算极小碰集是诊断的关键步骤.提出一种基于动态极大元素覆盖值求解极小碰集的新算法.该算法按照元素的元素覆盖值从大到小的顺序依次处理元素,并在求解碰集的过程中加入启发式策略和剪枝策略,使得搜索空间极大减少;利用邻接链表存储输入的极小冲突集合簇,邻接链表相对于用矩阵作为存储结构有较好的空间开销且通过邻接指向能快速地找到元素可以覆盖的集合簇中的元素;每得到一个碰集便使用极小碰集判定规则进行筛选,因此算法结束时可以产生而且仅产生所有的极小碰集.实验结果表明该算法有较高的计算效率. 展开更多
关键词 基于模型诊断 极小冲突集 极小碰集 动态极大元素覆盖值 启发式策略 剪枝策略
下载PDF
Fault diagnosis of an intelligent hydraulic pump based on a nonlinear unknown input observer 被引量:15
10
作者 Zhonghai MA Shaoping WANG +2 位作者 Jian SHI Tongyang LI Xingjian WANG 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2018年第2期385-394,共10页
Hydraulic piston pumps are commonly used in aircraft. In order to improve the viability of aircraft and energy efficiency, intelligent variable pressure pump systems have been used in aircraft hydraulic systems more a... Hydraulic piston pumps are commonly used in aircraft. In order to improve the viability of aircraft and energy efficiency, intelligent variable pressure pump systems have been used in aircraft hydraulic systems more and more widely. Efficient fault diagnosis plays an important role in improving the reliability and performance of hydraulic systems. In this paper, a fault diagnosis method of an intelligent hydraulic pump system(IHPS) based on a nonlinear unknown input observer(NUIO) is proposed. Different from factors of a full-order Luenberger-type unknown input observer, nonlinear factors of the IHPS are considered in the NUIO. Firstly, a new type of intelligent pump is presented, the mathematical model of which is established to describe the IHPS. Taking into account the real-time requirements of the IHPS and the special structure of the pump, the mechanism of the intelligent pump and failure modes are analyzed and two typical failure modes are obtained. Furthermore, a NUIO of the IHPS is performed based on the output pressure and swashplate angle signals. With the residual error signals produced by the NUIO, online intelligent pump failure occurring in real-time can be detected. Lastly, through analysis and simulation, it is confirmed that this diagnostic method could accurately diagnose and isolate those typical failure modes of the nonlinear IHPS. The method proposed in this paper is of great significance in improving the reliability of the IHPS. 展开更多
关键词 Fault diagnosis Hydraulic piston pump model-based Nonlinear unknown input observer (NUIO) Residual error
原文传递
全状态数字化建模及其在水电机组维护中的应用(英文) 被引量:2
11
作者 陈陈陈 李朝晖 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第2期499-505,共7页
为了减少停机时间和维修费用,水电厂正在逐步从计划检修向状态检修过渡。为了满足状态检修的需要,在三维动态建模技术和分布式物理图网建模技术的基础上提出了水电机组全状态数字化建模的概念并分析了其建模基础、建模步骤、关键技术及... 为了减少停机时间和维修费用,水电厂正在逐步从计划检修向状态检修过渡。为了满足状态检修的需要,在三维动态建模技术和分布式物理图网建模技术的基础上提出了水电机组全状态数字化建模的概念并分析了其建模基础、建模步骤、关键技术及建模目标。以水轮机调速系统摇摆式主接力器为例详细描述了全状态数字化建模的实现方法及其在水电机组维护域中的应用情况。全状态数字化模型的实现和应用将促进水电设备运行-维护-管理自动化水平的发展和提高。 展开更多
关键词 水电机组 状态检修 全状态数字化建模 模型参考故障诊断
下载PDF
Variable selection-based SPC procedures for high-dimensional multistage processes 被引量:2
12
作者 KIM Sangahn 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2019年第1期144-153,共10页
Monitoring high-dimensional multistage processes becomes crucial to ensure the quality of the final product in modern industry environments. Few statistical process monitoring(SPC) approaches for monitoring and contro... Monitoring high-dimensional multistage processes becomes crucial to ensure the quality of the final product in modern industry environments. Few statistical process monitoring(SPC) approaches for monitoring and controlling quality in highdimensional multistage processes are studied. We propose a deviance residual-based multivariate exponentially weighted moving average(MEWMA) control chart with a variable selection procedure. We demonstrate that it outperforms the existing multivariate SPC charts in terms of out-of-control average run length(ARL) for the detection of process mean shift. 展开更多
关键词 diagnosis procedure deviance RESIDUAL fault identification model-based control CHART MULTISTAGE process monitoring variable selection.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部