模糊Petri网在航站楼电子系统故障诊断中的应用
扫描二维码
随时随地手机看文章
引言
随着电子技术的发展,机场航站楼内的电子系统日趋复杂,一方面设备数量越来越多,另一方面复杂程度越来越高,这使得系统故障诊断变得异常困难。面对越来越严格的安全管理要求,传统查找设备手册的方法时间过于漫长,急需一种快速诊断的方法,以最快的速度定位故障点。本文将Perti网系统模糊化,建立故障诊断的模糊Petri网模型(FPN),用模糊Petri网(FPN)的模糊产生规则和变迁激活的可信度,分析异常行为过程之间的因果关联,并推理出故障的原因及可信度。
1原理描述
1.1模糊&Petr网模型
模糊Petri网(FPN)模型[1-3]可以用一个8元组表示,FPN=(P,7,D,I,0,f,a,8),其中P=(P1,P2,···,Pn)是一个有限的库所集;7=(l1,l2,···,lm)是一个有限的变迁集;D=(d1,d2,···,dn);I:P×7二(0,1)表示输入函数,若I(p,l)=1,则表示p与l之间有联系,此时p为l的输入库所,l的所有库所集合表示为·l或I(l);若I(p,l)=0,则p与l之间无联系;0:7×P二(0,1)表示输出函数,若0(p,l)=1,则表示l与p之间有联系,此时p为l的输出库所,l的所有库所集合表示为l·或I(l);若0(p,l)=0,则l与p之间无联系;f:7二[0,1]为7的一个关联函数,表示从7至一个0到1之间的实数的映射;a:P二[0,1],表示从P至一个0到1之间的实数映射;8:P二D为P的一个关联函数,表示从P至命题集合的双向映射。
该8元组满足以下条件:
(1)Pu7≠0;
(2)Pn7=0;
(3)n>0,m?0。
1.2故障模糊规则的2&F描述
故障传播是一种状态逐步触发的过程,一个故障状态的出现会导致一系列故障状态的发生。如交换机故障可能性为0.4,而交换机故障可能会导致整个网络瘫痪,其可能性为0.8,则这一系列故障发生的综合可能性为0.4×0.8=0.32。由此可见,可以由模糊产生式规则描述故障传递关系。
简单的模糊产生式规则有以下3种,如图1所示:
类型一:如果故障P1为真,则P2为真,即IFP1THENP2,可信度为CF。
类型二:如果故障P1,P2,···,Pn同时为真,则Pn+1为真,即IF(P1andP2and···andPn)THENPn+1,可信度为CF。
类型三:只要故障P1,P2···,Pn有一个或多个为真,则Pn+1为真,即IF(P1orP2or···orPn)THENPn+1,可信度为CF。
2模糊&Petr网故障诊断实例应用
机场航班信息显示系统(简称FIDs)是机场航站楼面对旅客的主要系统,负责为旅客及送接站人员提供全方位的信息服务。系统主要包括服务器、客户端、网络、显示系统。以大连机场某型航班显示系统为例,根据系统组成、专家经验和现场采集的数据,构成如下知识库规则:
R0:IF(IMF消息平台故障)THEN(服务器故障),CF=0.75;R1:IF(数据库软件故障)THEN(服务器故障),CF=0.7;R2:IF(磁盘阵列故障)THEN(服务器故障),CF=0.6;
R3:IF(HA心跳检测故障)THEN(服务器故障),CF=0.65;
R4:IF(小型机操作系统故障)THEN(服务器故障),CF=0.55;
R5:IF(软件BUG)THEN(客户端软件故障),CF=0.75;
R6:IF(客户端故障)THEN(客户端软件故障),CF=0.9;
R7:IF(输入性错误)THEN(客户端软件故障),CF=0.95;
R8:IF(网线故障)THEN(网络故障),CF=0.95;
R9:IF(接入层交换机故障)THEN(网络故障),CF=0.65;
R10:IF(光纤链路故障)THEN(网络故障),CF=0.7;
R11:IF(核心交换机故障)THEN(网络故障),CF=0.6;
R12:IF(离港信息显示器)THEN(显示故障),CF=0.5;
R13:IF(值机信息显示器)THEN(显示故障),CF=0.9;
R14:IF(登机信息显示器)THEN(显示故障),CF=0.85;
R15:IF(行李转盘信息显示器)THEN(显示故障),CF=0.75;
R16:IF(进港信息显示器)THEN(显示故障),CF=0.55;
R17:IF(服务器故障)THEN(航班显示系统故障),CF=0.75;
R18:IF(客户端软件故障)THEN(航班显示系统故障),CF=0.9;
R19:IF(网络故障)THEN(航班显示系统故障),CF=0.6;R20:IF(显示故障)THEN(航班显示系统故障),CF=0.85。将以上规则用模糊佩特里网表示,如图2所示。
由图2可以确定能到达性集合Rs和立即到达性集合IRs如表1所示。
由已知"航班信息显示系统故障"对应的位置P21,反向推理可导致目标库所表示故障现象的起始库所步骤如下:
(1)参照图1,建立Rs、IRs表,设系统阈值A为0.7。
(2)由已知故障位置为P21,只有P17、P18、P19、P20能引发P21的发生,其中CF18较大,因此首先经过P18反向推理,并在P18位置上做出标记,避免重复查询。
(3)针对P18,重复进行(2)步骤,得到P7最大并标记,提示系统维护人员对输入性错误进行检查,P7的可信度为0.9×0.95=0.855,大于阈值0.7,推理成功。
(4)如果维护人员发现无输入性错误,应选择另一条位置P18二P6,并标记P6,其可信度为0.9×0.9=0.81,大于阈值0.7。
(5)如P6仍未发生故障,排除掉可信度小于0.7的P5,继续选择路径P20二P13,并标记P13,其可信度为0.9x0.85=0.765,大于阈值0.7。以次类推,继续查找故障原因。
3模型算法仿真
依据上述步骤,使用MATLAB编写自动诊断和提示软件,其流程图如图3所示,使用MATLABGUI制作界面,如图4所示。
4结语
利用模糊Perti网模型能较好地描述和分析模糊知识,推断航站楼设备故障的逻辑关系,理清故障传递路径,与传统的按序查找设备手册方法相比,该方法故障定位速度快,逻辑关系更加清楚。通过航班显示系统的故障案例仿真结果,说明使用模糊Perti网建立故障诊断体系是行之有效的,具有很强的实用价值