CAJ | 학술논문

机车调度的故障检测与诊断是保障行车安全的必要条件。为了实现故障的检测和准确诊断，以仅有部分库所可见的部分可观Petri网为建模工具，研究机车调度系统中传感器监控节点数目和位置的确定方法。首先，给出了加权Petri网系统中故障准确诊断方法，提出故障定位表和监控库所集的确定算法（ FLT＆MPD），并进一步证明所提出的算法是正确的、有解的且具有多项式级时间复杂度。进一步，基于FLT＆MPD算法，给出了保证故障准确诊断下的部分可观系统设计方法，并且证明利用FLT＆MPD可以实现监控节点数目最少的最优监控。最后，以机车调度系统中的两类典型故障为例，通过构造对应的层次颜色Petri网模型，给出机车调度系统中传感器监控节点的安放位置，为工业应用奠定了理论基础。
궤차조도적고장검측여진단시보장행차안전적필요조건。위료실현고장적검측화준학진단，이부유부분고소가견적부분가관Petri망위건모공구，연구궤차조도계통중전감기감공절점수목화위치적학정방법。수선，급출료가권Petri망계통중고장준학진단방법，제출고장정위표화감공고소집적학정산법（ FLT＆MPD），병진일보증명소제출적산법시정학적、유해적차구유다항식급시간복잡도。진일보，기우FLT＆MPD산법，급출료보증고장준학진단하적부분가관계통설계방법，병차증명이용FLT＆MPD가이실현감공절점수목최소적최우감공。최후，이궤차조도계통중적량류전형고장위례，통과구조대응적층차안색Petri망모형，급출궤차조도계통중전감기감공절점적안방위치，위공업응용전정료이론기출。
The fault detection and diagnosis is the necessity of ensuring the safety of locomotives.In order to realizing the fault detection and unambiguous diagnosis, partially observed Petri Nets are used to research the positions deter-mination method of monitoring sensors, in which only partial place can be observed and all transitions can’t be ob-served.First of all, the fault unambiguous diagnosis methods of weighted Petri Nets are proposed.Then the fault lo-cation table and monitoring places determination algorithm ( FLT& MPD) is given.It is proved that the proposed FLT& MPD algorithm is correct, solvability and behaves polynomial complexity.Furthermore, based on the FLT&MPD algorithm, the constructing method of partially observed system is given.And it is proved that this constructing method realizes the optimum monitoring with the minimum number of monitoring sensors.Finally, two kinds of faults of locomotives dispatching system are considered.Through corresponding hierarchical colored Petri Nets model, the monitoring sensors positions are determined, which provide profound theoretical foundation for industrial application.