基于部分可观Petri网的机车故障诊断方法的研究.pdfVIP

330 计算机技术与应用进展·2014 基于部分可观Petri网的机车故障诊断方法研究 方欢1 陆阳2 方贤文1 王丽丽1 1安徽理工大学理学院淮南232001 2合肥工业大学计算机与信息学院合肥230009 摘要：机车调度的故障检测与诊断是保障行车安全的敛要条件。为了实现故障的检测和准确诊断， 本文以仅有部分库所可见的部分可观Petri网为建模工具，研究机车调度系统中传感器监控节点数目 和位置的确定方法。首先，给出了加权Petri网系统中故障准确诊断方法，提出故障定位表和监控库 所集的确定算法(FLTM阳)，并进一步证明所提出的算法是正确的、有解的且具有多项式级时间复杂 度。进一步，基于FLTMPD算法，给出了保证故障准确诊断下的部分可观系统设计方法，并且证明利 用FLTNPD可以实现监控节点数目最少的最优监控。最后，以机车调度系统中的两类典型故障为例， 通过构造对应的层次颜色Petri网模型。给出机车调度系统中传感器监控节点的安放位置，为工业应 用奠定了理论基础。 i网传感器监控机车调度 关键字：部分可观系统故障诊断Petr 1引 言 基于铁路运输类别的企业机车调度系统具有铁路运输的共性：运输系统是由机车车辆、铁道路线及站 场基础设施组成的庞大系统，在这个系统中必须设有指挥列车运行的铁路信号系统来保证列车按照计划进 行安全高效的运行[11。为了确保系统的安全运行，对调度系统的故障进行监控是机车调度系统中一项重要的 研究内容。 在实际的工业应用中，通常由传感器来完成事件的监控动作，在企业机车调度系统中也是如此，因此， 在保证系统的可靠性和安全性的基础上，确定系统中传感器节点的安放位置和数目，可以以最少数目的传 感器完成监控任务，从而实现最优监控方法。 矿井机车调度系统由于其本身工作环境的局限性，只能根据当前部分信息来判断当前系统的工作状态， Observed 因此是一个典型的部分可观系统(PartiallySystem，POS)。在已有的部分可观系统故障检测与诊断 的研究成果中，一般都将故障事件视为不可见事件，相应的研究目标一般都是针对这些故障事件设计故障 检测器或故障诊断器，而研究方法有很多种：代数编码方法郾】(Algebraiccodingtechniques)、【网展开方法 Petri网方法[9-241等等。 在基于Petri网的故障检测与诊断研究中，一般都是针对不可见的故障事件，通过相应的设计方法，来检 “863”计划项目(2011AA060406)。 作者简介：方欢(1982．)，女，副教授，博士，主要研究方向：Petri网理论及应用，离散事件动态系统的建模与分析，智能 感器网络，Email：luyang．hf@126．Gom。 基于部分可观Petri网的机车故障诊断方法研究 33l 测故障的发生或者诊断故障的类型，尤其是在部分可观测的条件下，如何根据已经观测到的信息来推知系 统当前的状态瞄彩l：是正常运行、有故障发生、不确定状态，或者是进一步给出每种状态的可信值Iz6J等等。 这些研究方法大都使用Petri网的动态运行性质，即使用可达标识图来进行相关计算，还未有文献使用Petd 网的结构性质来研究故障检测与诊断。 如果将已有的部分可观条件下故障检测与诊断理论直接运用到机车调度系统中，则会产生如下的问题： (1)首先，从已有的故障检测与诊断算法上看，相关文献主要是通过变迁可见的算法来实现系统状态 的判定。而在机车调度系统中，事件的发生数量十分庞大，不便于监控，而便于监控的是某些静态信息， 如某一路口的机车数目、当前路段的机车数目、当前可供分配的剩余资源等等，这类静态的可观测信息一 般在建立的Petd网模型中都是以库所表示的。因此，如何在保证故障都能检测的前提下，来设置机车调度系 统的可见库所集(监控库所集)是值得探讨的问题； (2)其次，从模型的复杂度上看，现有文献考虑的网系统均为一般加权Petn网系统，而机车调度系统 由于错误描述的复杂性