Malek故障模型的方程诊断算法设计

首先给出Malek模型的方程组定义形式,然后在不以“t-可诊断性”和“相信大多数”作前提假设的情况下,通过引入“集团”的概念给出了求其全体相容故障模式的具体方法—方程诊断算法,丰富了Malek模型的故障诊断方式。     

Chwa & Hakimi故障模型方程诊断的理论基础

针对基于对称比较的系统级故障模型———Chwa&Hakimi模型 ,建立起“方程诊断”的有关概念 ,把该模型等价地转换为一个方程 (或方程组 )。对于一类特殊的Chwa&Hakimi模型找到了求全体相容故障模式的具体算法 ,该算法为寻求一般情形下Chwa&Hakimi模型的全体相容故障模式奠定了理论基础和算法基础。     

一种Malek模型下的系统故障诊断算法

在多机系统中,各个结点（处理器）在通信过程中极易发生故障,因此选择有效的诊断算法,快速、准确地判断出系统故障集十分重要。传统的PMC模型以结点相互测试的结果为基础,而故障结点的测试结果不唯一,导致该模型诊断结果相对不稳定。针对这种情况,采用Malek诊断模型代替传统的PMC模型,借助遗传算法特性,将复杂的网络拓扑图简化为二进制编码,并按照适应度函数值确定种群搜索方向,提高搜索效率。该算法根据Malek模型设计约束方程,提出新的适应度函数,优化变异算子。实验表明,算法改进后,缩短了判断故障集所需的CPU时间,同时,算法根据故障症候判断出目标故障集的概率更高,从而证明了用Malek模型代替PMC模型的高效性。     

基于比较的非对称模型下的系统级故障诊断

本文首次把基于比较的非对称系统级故障模型等价地转换为一个方程(或方程组)。这将使此类故障模型易于得到诊断。     

Chwa ＆ Hakimi故障模型的方程表示

把基于对称比较的系统级故障模型-Chwa＆Hakimi模型等价地转换为一个方程(或方程组),这将给此类故障模型的诊断带来极大便利     

三值社会诊断模型的方程诊断问题

首次建立起三值社会诊断方程模型的定义（即三值社会诊断模型的方程描述）。针对传统的二值社会诊断模型离不开“t-可诊断性”和绝对区分人类为两种（一种好人,一种坏人）的特点,建立一种新的社会诊断模型,并根据此模型,引入“t/x可诊断性”等概念,并在此基础上,找到了求三值社会诊断模型相容故障模式的具体方法——方程诊断算法。     

线性逻辑方程组的解

软件设计和硬件设计中经常遇见用逻辑方程或逻辑方程组表示的数学模型,讨论这类数学模型的求解问题是非常必要的.给出了AX=0,AX=1,AX=B,AY=1(X中不含逻辑非变量,Y中含逻辑非变量)等类型的线性逻辑方程组有解,有惟一解的充分必要条件,讨论了解的个数并给出了求解公式或解集表示式,阐明了任何形式的逻辑方程或逻辑方程组都可转化为线性逻辑方程组求解,采用置换矩阵和极大项两种方法,系统全面地解决了线性逻辑方程组、一般逻辑方程和一般逻辑方程组的求解问题.     

基于Chwa＆Hakimi故障模型的系统级故障诊断方程解决方案

提出了基于Chwa&Hakimi故障模型的系统级故障诊断的方程解决方案，根据实际系统中存在大可靠块的实事，在方程解决中定义了集团的概念，给出了集团的许多性质，由此能找到所有基于Chwa&Hakimi故障模型的相容故障模式。     

多故障的奇偶方程-参数估计诊断方法

提出一种将奇偶方程与参数估计相结合的多故障诊断方法。构造了一种新的奇俩方程，其产生的残差仅对一个传感器故障和一个执行器故障敏感。将传感器和执行器故障模型表示成刘度因子和偏差的形式，应用卡尔曼滤没方法对各故障模型参数进行估计。某型号飞机控制系统的仿真结果表明，新方法能对传感器故障和执行器故障同时存在的线性系统进行诊断，有效地估计出各故障的模型参数。     

基于D-S证据理论的故障综合诊断方法

针对单个诊断方法故障信息的模糊性和分散性，建立了基于证据理论的综合诊断方法。其中融合策略灵活多变，且模型已由单故障模式推广到多重故障模式，使之更适应实际工程诊断需要。最后应用其对某转子系统故障进行了诊断，结果表明方法行之有效。     

基于布尔方程的系统级故障诊断表示及应用

With the popularization of multiprocessor systems and network applications,the study ot ctepenaaomty of systems has become an important research area of computer science.A “Boolean equation diagnosis” method is firstly presented for test model of system-level fault diagnosis,and the correctness of the equations has been proven.The Boolean equation is more concise than the graph method in test model representation.Based on the equations,the methods to compute optimal diagnosis,the set of consistent fault pattern,absolute good processors and bad processors are presented.And some theorems about the relationship among different test models on the set of consistent fault pattern and diagnosibility are proved.It is a useful attempt in theory and practice of system-level fault diagnosis.     

基于再生核神经网络的断层面模型重构

为了提高勘探精度及采油效率,需要更深入地了解地质构造,因此断层面模型的重构有着重要的意义,为此提出了基于再生核神经网络的断层面重构方法。再生核源于不同学科分支,目前已成为函数逼近的重要工具。将再生核与神经网络有机地结合起来,提出一种新型的神经网络———再生核神经网络,且将网络的训练归结为求解线性方程组问题,为了建立既具有足够精度又能表现系统行为的简单模型,考虑线性方程组的稀疏解是必要的,稀疏解就是具有大量零元素的近似解。虽然稀疏解整体误差较小,但可能在一些点上的误差较大,为此提出对稀疏解的误差修正方法。将再生核神经网络应用于大庆地区的断层面模型重构,实验结果表明,本文重构的断层面与传统方法重构的断层面相比,更符合大庆地区的地质情况。     

Adaptive fault‐tolerant control for a nonlinear flexible aircraft wing system

Fault‐tolerant control problems have been extensively studied in all kinds of control systems. However, there is little work on fault‐tolerant control for distributed parameter systems. In this paper, a novel adaptive fault‐tolerant boundary control scheme is proposed for a nonlinear flexible aircraft wing system against actuator faults. The whole system is regarded as a distributed parameter system, and the dynamic model of the flexible wing system is described by a set of partial differential equations (PDEs) and ordinary differential equations (ODEs). The proposed controller is designed by using the Lyapunov's direct method and adaptive control strategies. Based on the online estimation of actuator faults, the adaptive controller parameters can update automatically to compensate the actuator faults of the system. Besides, a fault‐tolerant controller is also developed for this system in the presence of external disturbances. Differing from existing works about adaptive fault‐tolerant control, the adaptive controller presented in this paper is designed for a distributed parameter system. Finally, numerical simulations are carried out to illustrate the effectiveness of the proposed control scheme.     

针对动态系统的多故障诊断模型与优化算法

一般的静态故障诊断模型无法描述状态随时间变化的系统,为此用隐马尔可夫模型对动态变化的系统状态进行建模,给出了动态多故障诊断问题的形式化描述;该问题的目标函数是典型的集合覆盖问题,属于NP难解问题。通过将原始目标函数转化为若干个独立的子问题,并分别用动态规划算法进行求解,有效实现了动态系统的多故障诊断;与现有的方法相比,该方法在不影响检测率和隔离率的前提下,执行时间短,计算复杂度低,优化效果明显。     

路由器故障测试模型的研究

本文针对路由器的硬件体系结构,详细分析了路由器系统中的故障形式,建立了相应的故障模型,并着重进行了故障模型的化简.通过合理的论证,将故障形式进行了有效的规整和缩减.     

基于通用比较模型的t-可诊断系统的特征化及并行诊断算法

文中介绍了一种系统级故障诊断模型－－通用比较模型,该模型处理器作为自身的比较器,综合经典的ＰＭＣ模型和Ｍａｅｎｇ／Ｍａｌｅｋ模型的优点,基于该报多处理器系统的ｔ＿可诊断性问题,给出了ｔ＿可诊断系统的特征化,证明了一个系统成为ｔ－可诊断系统的新的充分必要条件,其次,证明在通用比较模型中,确定故障顺集的问题等价于求解一个超图的最小横切集（Ｍｉｎｉｍｕｍ ｔｒａｖｅｒｓａｌ）,该超图是根据多处理器的通信     

PSO优化算法飞机操纵面故障辨识研究

针对飞机复杂的非线性操纵面故障系统,建立故障模型,提取各种故障数据,并将粒子群优化算法应用于BP网络系统,提出了一种基于粒子群优化神经网络的故障诊断方法;该方法分阶段实施神经网络的训练,有效地加强了算法的全局搜索能力,采用PSO算法优化了传播中的权值和阈值,弥补了BP算法收敛速度慢和易陷入局部极小点的不足,提高了故障模式识别的能力;实验结果表明该方法加快了神经网络的学习收敛速度,提高了故障模式的识别正确率,对飞机操纵面的各种典型故障都能有效加以辨识。