基于模型故障诊断中的冲突求解

《基于模型故障诊断中的冲突求解》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、维普资讯http://www.cqvip.com第20卷第4期控制理论与应用v01．20No．42003年8月ControlTheory＆ApplicationsAug．2003文章编号：1000—8152(20o3)o4—0630—03基于模型故障诊断中的冲突求解代树武，孙辉先(中国科学院空间科学与应用研究中心，北京10O080)摘要：基于模型的故障诊断是一种重要的诊断方法，但它的计算量较大．在Reiter算法的基础上，论证了每次求解冲突集时，每个元件的模型知识仅需调用一次．同时指出了在某些情况下可以利用元件参数矩阵来指导冲突

2、的求解过程，有效减少了调用元件模型的次数．关键词：故障诊断；模型；冲突集中图分类号：TP270．6文献标识码：AComputingconflictsetsformodel-baseddiagnosis‘DAJShu—WU．SUNHui—xian((hl懈forSpaceScienceandAppaedResearch，The(~aeseAcademyofSciences，B嘶iIIg100080，CDa)Ahst耐：Model-baseddiagnosiswasccm'~tationallyexpensivebecauseito

3、ftenusedcomponentmodelsinreasom~pro-teSS．Reiter’8hillingsetstreealgorithm。whichdidnotrequiretheconfictsetstobeminimal，Was0∞ofthebestmodel-baseddiagnosismethod．ItWasIxovedthattofindanonminimalconflictset，everyc~~mentmodelneededtobeealodan,datmost0nce．InSC~llesituation

4、s．acomponent-paramedermatrixcanbeusedtodirectthecomputingofconflictsets．Allthesemethodsreducethetimesofcalculatingc(舡lp啦忙I缱models．Keywords：diagnosis；model；conflictsetsl引言(Introduction)仍然适用．HS树算法不需要对系统元件集合进行遍当工程系统的实际表现和系统模型的预期值不历，诊断时它首先产生一个冲突，然后按宽度优先方一致时，表明系统没有正常工作，至少

5、有一个元件出式生成I-IS树，仅在需要的时候才调用系统模型，产现了故障，此时需要进行故障诊断．在各种故障诊断生新的冲突集，而且这些冲突集不需要最小，这是一方法中，由于基于模型的故障诊断方式具有能够克个很大的优点．然而他没有叙述如何求解冲突集，本服专家系统的知识获取瓶颈，能够诊断未预测的故文讨论如何求解冲突集．障等特点，受到了广泛重视．2冲突集求解(Computingconflictsets)1987年，deraed和ReiterC2j同时提出了较完按照Reiter的定义，对系统(SD，COMPO—善的基于模型的故障诊断理论．de

6、Kleer提出的故障NENTS，OBS)，如果集合{C1，⋯，C}CCOMPO—诊断方法分两步完成．首先利用广义约束传播等方NENTS使SDUOBSU{-3AB(C1)，⋯，]仙(c)}不法找出系统的最小冲突集，然后利用这些冲突集产一致，则集合{C一，}被称为系统的冲突集．其中生最小候选集．在求解最小冲突集时，deKleer从系SD为系统的模型描述，COMPONENTS为系统的元统元件的空集开始向全集方向扩展，以保证冲突集件集合，OBS为系统的观察值．Reiter的算法不需要为最小．由于求解冲突时需要使用元件的物理模型冲突集最小

7、．下面讨论如何求解冲突集．知识，所以这种遍历方式计算量很大，这是它的一个假设系统中任意一个元件有n个参数，当缺点．而Reiter从严格的理论出发建立了基于模型其中的m个参数已知时(m

8、—07一O1维普资讯http://www.cqvip.com第4期代树武等：基于模型故障诊断中的冲突求解631门不是这样一个元件，因为当它的一个输入参数为对应的参数，当没有1时表明所有的参数都已知，此0时，仅需要这一个参数就可以确定元件的输出，而时可以选择任意一