基于组件的旋转机械故障诊断系统开发模型

针对当前软件开发中存在的需求变化大和可重用性差等问题，提出了一种基于COM技术的旋转机械状态监测与故障诊断系统软件开发方法。从领域分析的角度抽象出了系统的体系结构，提出了系统的组件化模型，并给出了组件的实现方法。     

模型故障诊断中对广义约束传播技术的改进

在模型故障诊断中，不管采用那一种诊断方式，均首先需要根据测量结果和领域知识产生出最小冲突集合，广义约束传播技术是最有效的产生最小冲突集合的方法之一．本文使用测点元件影响集的概念，对广义约束传播技术进行了改进，改进后的广义约束传播技术可提高诊断的效率．     

基于约束的授权代理模型

在对授权代理模型深入分析的基础上,提出了一种基于约束的用户-用户授权代理模型,给出了该模型的构成要素和体系结构,并且详细描述了该模型的职责分离约束以及代理判定关系,并在判定关系中描述了角色基数约束、用户基数约束和权限基数约束,最后给出了代理实施策略.     

基于一致性的中心诊断及中心溯因诊断

本文对溯因诊断的过程和中心溯因诊断的过程进行了刻画。将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤。不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系，而且论证了中心溯因诊断与本原蕴含／蕴含式的直接关系。显示出基于一致性的中心诊断空间和中心溯因诊断空间不仅可同时计算，而且可用ＡＴＭＳ这类算法来计算，从而将我们的理论结果与实现联系起来。     

对基于模型的诊断过程的形式化

本文对基于模型诊断的过程进行了形式化,论证了它与本原蕴涵/蕴涵式的直接关系,从而将该理论结果与实现联系起来.进一步指出该结果具有一般性,不仅能够计算已知部件的部分故障行为方式时的基于模型的诊断,还能够计算已知每个部件的各种故障行为方式下的基于模型的诊断.以往对基于一致性的中心诊断过程、中心溯因诊断过程的形式化仅仅是文中所给出的形式化的特殊情形.     

用辩论刻画含约束的诊断空间

在含约束的极小诊断故障部件的每个超集并非总能构成一个含约束的诊断。作者把基于模型的含约束的诊断比喻成一个辩论过程;一些部件可以指责某些部件出了故障;反过来这些部件也可以为自己辩护。在作者所建立的辩论框架下含约束的诊断空间得到了紧致的刻画。与相关工作相比,这种方法具有计算上的优势,它也可以解决极小诊断假设问题。     

基于限定的溯因问题求解

溯因问题是人工智能中的一个重要研究方向，它在许多领域中有着广泛的应用，但在很多情形下，溯因解释的求取是非常困难的．本文提供一种基于限定理论的溯因解释求法，对于满足完备性公理和正原因假设的理论，可以证明其限定中的相容解释就是溯因解释，并且对Ｈｏｒｎ子句集给出具体的求解算法.     

基于约束区域的BSB联想记忆模型

提出一种根据联想记忆点设计基于约束区域的ＢＳＢ（Ｂｒａｉｎ－Ｓｔａｔｅ－ｉｎｍ－ａ－Ｂｏｘ）神经网络模型,它保证了渐近稳定的平衡点集与样本点集相同,不渐近稳定的平衡点恰为实际的拒识状态,并且吸引域分布合理,从而将ＥＳＢ完善为理想的联想记忆器。     

基于半定量概率图模型的溯因分析方法

复杂工业系统的故障原因定位可协助操作人员快速调整设备运行参数,保障生产高效稳定地运行.铝电解过程机理复杂且外部因素干扰多,信息具有不确定性特征,难以建立精确的定量模型,而定性分析的准确度不高.为此,本文针对铝电解溯因过程的层次性、相关性、不确定性的特点,构建了一种基于半定量概率图模型的溯因分析框架,将定量和定性分析相结合,通过不确定理论对信息进行处理和描述,采用图形符号可视化知识变量间的因果关系,再基于概率图模型的推理方法实现不确定性条件下的溯因诊断,为实现铝电解异常槽况的原因分析与定位提供了理论支撑.     

过程控制系统中多条件约束的多传感器故障检测与诊断

针对工业过程控制系统中的故障具有类型多样、时空独立和非线性等特点,使得检测与诊断效率降低,系统性能下降等问题,提出了一种基于自定义多条件约束的多传感器故障检测与诊断机制;该机制,首先考虑了系统的稳态和时空特征建立了非线性过程控制系统多故障模型,并给出了满足条件判定法则;然后对于系统中的单故障,并发故障和通信故障等类型给出了多条件约束法则及独立特性判断;最后提出了通过自定义多条件约束的多传感器故障检测与诊断机制;实验结果表明,在平均检测概率、稳态特征保持能力和系统功耗等方面明显优于无条件约束的机制,可以显著改善过程控制系统性能.     

A Formal Model for Experience–Aided Diagnosis

This paper presents a novel approach to model–based diagnosis. The approach addresses the two main problems that have prevented model–based diagnostic techniques from being widely used: computational complexity of abduction and inadequacies of device models. A model for automated diagnosis is defined that combines (1) deduction to rule out hypotheses, (2) abduction to generate hypotheses, and (3) induction to recall past experiences and account for potential errors in the device models. A review of the three forms of inference is provided, as well as a detailed analysis of the relationship between case–based reasoning and induction. The proposed model for diagnosis is used to characterize diagnostic errors and relate them to different types of errors in the device models. Experimental results are then described and used to assert the practicality and the usefulness of the approach. The model presented in this paper yields a practical method for solving hard diagnostic problems at a reasonable computational cost and provides a theoretical basis for overcoming the problem of partially incorrect device models.     

A Model-Based Method for an Online Diagnostic Knowledge-Based System

Fault diagnosis is very important for modern production technology and has received increasing theoretical and practical attention during the last few years. This paper presents a model-based diagnostic method for industrial systems. An online, real-time, deep knowledge based fault detection system has been developed by combining different development environments and tools. The system diagnoses, predicts and compensates faults by coupling symbolic and numerical data in a new environment suitable for the interaction of different sources of knowledge and has been successfully implemented and tested on a real hydraulic system.     

基于模型诊断的抽象分层过程

分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成系统的分层表示方法也没有形式化的分析.KRA(Knowledge Reformulation and...     

基于模型的机载燃油系统故障诊断研究

针对某型号飞机的燃油系统进行故障诊断,应用基于模型的故障诊断算法,采用离散的状态变量描述系统行为和功能,基于一致性算法判定系统当前行为是否正常以及冲突搜索算法对异常进行诊断.诊断过程引入故障可能性概率的函数Rank,避免了传统穷举方法,有效提高了算法的效率.诊断结果能够很好地涵盖单故障以及多故障组合,同时也能满足系统进行实时故障诊断的要求.     

基于模型诊断的分步求解

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

基于模型的飞机燃油系统故障诊断系统的设计与实现

燃油系统作为飞机不可或缺的功能和保障系统,对飞机的飞行安全有着重大影响.传统故障诊断方法已经不能满足日益复杂的燃油系统诊断和维护需求.基于模型诊断是为了克服传统诊断方法的缺点而兴起的一项新型的智能推理诊断技术.研究了基于模型的飞机燃油系统故障诊断方法,建立了故障诊断模型,给出了基于模型的燃油系统故障诊断推理策略.设计并...     

Model-Based Diagnosis and Conditional Logic

The model-based diagnostic approach was first introduced to overcome the limitations of heuristic systems. However, research on model-based systems showed that the model-based diagnosis approaches resort to assumptions that can be viewed as the return, though controlled, of heuristics into diagnostic reasoning. In this paper we focus on diagnosis with component-oriented device models. We argue for the need to represent and reason with these assumptions. We present a conditional logic, DL, That is suitable for diagnostic reasoning and allows us to represent and reason with assumptions.     

带有空间特性角色约束

空间数据库系统和基于移动用户位置的信息服务系统对访问控制模型具有特殊要求--用户地理位置的变化通常会引起用户权限的动态变化.提出一个支持空间特性的角色访问控制模型Spatial-RBAC,详细讨论了在空间环境下的空间区域约束、空间职责分离约束和空间角色激活基数约束.这些约束分别用来控制角色分配、角色状态改变、角色权限分配和角色激活等操作,给传统的基于角色的访问控制模型增加了空间安全描述能力.在安全空间数据库应用中,为了有效地标识用户地理位置的变化,避免不必要的计算,还给出了判断用户当前扮演的角色集的有效作用域的算法,提高了Spatial-RBAC模型的实用性.