文档介绍：第卷第期
13 1 技术平台
2011年1月 Jan. 2011
doi:.1563-
MBD在数字电路故障诊断中的应用研究*
胡非1, 刘志刚1, 钟炜2, 邢智3, 肖朝明3
(1. 西南交通大学电气工程学院, 四川成都 610031;
2. 四川省电力公司资阳公司, 四川资阳 641300;
3. 黄石供电公司电能计量中心, 湖北黄石 435000)
摘要: 提出了一个将MBD (基于模型的诊断) 方法用于数字电路故障诊断的应用方案, 并
对该方案所涉及的最小冲突集候选搜索算法、冲突识别策略以及最小碰集算法的选择等进行
了讨论。最后, 以一个经典的数字电路故障诊断为例, 同时结合数字电路的一组故障观测数
据, 对该数字电路发生的故障做了故障诊断实验。
关键词: 基于模型诊断; 最小碰集; 最小冲突集候选
后来又进一步地发展和完善了其中的一些理论
0 引言。
下面简单地介绍一下该理论中所用到的几个基本
早期的数字电路故障诊断主要是依靠工程技概念
:
术人员自己的丰富经验和理论知识并借助一些定义一个待诊断系统是用一个三元组
, :
常规的工具来完成的随着系统日趋复杂以及计来表示其中为系统的模
。(SD, OBS, COMP) , SD
算机的迅速发展人工测试方法越来越不适用型描述一阶语句为系统的观测值一阶语
, , , OBS
于是人们开始采用人工智能算法来进行数字电路句为组成系统的元件集合
, COMP 。
故障诊断目前数字电路故障诊断的方法有布
。, 定义给定两个元件集和定义
: , D
尔差分支持向量机神经元网络网矩阵
、、、 Petri 为析取式
(Cp, Cn) :
法专家系统法等实际上得到的应用还是以故
、。[ ∧ AB (c)] ∧[ ∧┐AB (c)]
障诊断专家系统为多即专家系统法虽然专家 c∈Cp
, 。其中是一元谓词表示对象有故
系统法能够较好的诊断出电路的故障但它也存, AB (·) ,
, 障
在许多缺点如经验知识的获得不容易开发。
, : 、定义系统的一个
周期长移植性差不能诊断经验之外的故障 : (SD, OBS, COMP)
、、。冲突集是一个元件集它
因此为了克服专家系统法的上述缺点部分国{c1, …, Ck} 哿COMP,
, , 将使是
外学者提出用方法来开发故障诊断系统本 SD∪OBS∪{┐AB (c1), …, ┐AB (ck)}
MBD 。不可满足的一个冲突集是最小冲突集当且仅当
文就是将应用于数字电路的故障诊断。
MBD 。 MBD 它的任何一个子集都不是冲突集
方法的优点是推理过程与系统模型分开容易模块。
定义设是一个集合簇的碰集是一
化移植性好理论上能够诊断所有故障等 : C , C
、、。个集合满足两个条件其一其
H, H : : H哿∪S;
S∈C
的基本理论简介二一个碰集是最小碰集当
1 MBD : 坌S∈C, H∩S≠覫。
且仅当它的任何一个子集都不是碰集
年用一阶语言描述了理论。