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

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

方程诊断算法在Malek故障模型中的应用

采用方程模式来描述Malek故障模型，把求该模型全体相容故障模式的问题转换为求方程组的解集，并通过实例讲解如何求解方程组的解集和以此得到Malek模型的诊断结果，为系统研究这类模型的方程诊断算法提供了典型示范和奠定了理论基础。     

基于Chwa&Hakimi故障模型的集团诊断

提出了基于Chwa＆Hakimi故障模型的集团诊断,定义了绝对故障集和最终诊断图,由此能找到所有的基于Chwa＆Hakimi故障模型的相容故障模式。从仿真结果看大大减少了系统级故障诊断的复杂度,特别是对强t-可诊断系统,具有较大的实际意义。     

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

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

基于Chwa & Hakimi故障模型的二分诊断算法

在对Chwa &; Hakimi故障模型的诊断中,目前相对成熟的算法有t-可诊断性算法和方程诊断算法两大类。然而,上述两类算法各有其优缺：前者要求故障处理机的数目小于处理机总数的一半;后者则希望故障处理机的数目多多亦善。不仅指出何时采用t-可诊断性算法或方程诊断算法,而且建立了所谓的二分诊断算法,即当故障处理机数量占处理机总数一半左右时将原测试系统拆分为两部分：相对正常机集合和相对故障机集合,从而对各个处理机集合采用各自适合的算法去诊断。     

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

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

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

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

基于互测BGM的系统级故障诊断集团算法

本文提出了基于互测BGM故障模型的系统级故障诊断集团算法的理论,定义了绝对故障和最终诊断图,由此能找到所有基于互测BGM故障模型的相容故障模式,即使不满足t 可诊断性,也大大减少了系统级故障诊断的复杂度,尤其是对强t 可诊断系统。     

面向系统级故障诊断的高效遗传算法

Elhadef和Ayeb首次提出采用遗传算法来进行系统级故障诊断,其适应度函数通过比较实际症候与当前猜测故障集产生的症候得到.上述算法的一个缺点是其适应度函数只考虑了故障集随机生成的一个症候,因而会漏掉绝大多数有效的故障集.对此首先针对PMC模型提出结点状态与诊断图中一定症候相容时结点状态应满足的方程,然后通过设计基于该方程的适应度函数,提出针对t-可诊断系统的遗传算法.理论分析和模拟实验均表明文中算法在迭代步数上大大地优于原算法.此外,还确认了Elhadef提出的产生初始种群的方法的高效性.     

改进的基于互测PMC模型的系统级故障诊断集团算法

该文改进了基于互测PMC模型的系统级故障诊断集团算法的理论，通过定义集团测试边和绝对故障集，简化了集团诊断图，由此能较易地找到所有的基于互测PMC模型的相容故障模式(即使不满足t—可诊断性)，从而大大减少了系统级故障诊断的复杂度，尤其是对强t—可诊断系统。     

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

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.     

基于蝙蝠算法的系统级故障诊断研究

首次将蝙蝠算法用于解决系统级故障诊断问题,从而提出了一种高效的诊断算法——蝙蝠故障诊断算法。在初始化阶段,种群被分成大、小两类,并采用不同的处理方式;根据系统级故障模型的特点,设计出了具有方程约束的适应度函数;为了平衡全局搜索与局部搜索,在速度更新公式中增加一个变系数;为实现寻址的离散化,对蝙蝠速度进行了二进制映射。仿真实验结果表明,蝙蝠故障诊断算法在迭代次数、诊断正确率和最优解的适应度等方面明显优于现有的具有代表性群智能诊断算法——FAFD算法。     

基于扩展滤波器的非线性系统迭代学习故障诊断算法

针对一类存在执行器和传感器故障的非线性系统,提出基于滤波器的故障重构方法。为了使算法同时适用于状态和输出端,通过由系统方程构造新状态方程对系统作扩展变换,将原系统输出端非线性和故障转换到扩展系统的状态方程,在此基础上设计故障诊断滤波器,采用迭代学习调节算法更新虚拟故障使之逼近实际故障。该算法可以检测和估计系统故障,并且对不同类型故障具有一定的适应性。在单关节机器人模型上进行仿真实验,实验结果验证了所提出算法的可行性和有效性。