论文部分内容阅读
机车调度的故障检测与诊断是保障行车安全的必要条件。为了实现故障的检测和准确诊断，以仅有部分库所可见的部分可观Petri网为建模工具，研究机车调度系统中传感器监控节点数目和位置的确定方法。首先，给出了加权Petri网系统中故障准确诊断方法，提出故障定位表和监控库所集的确定算法（FLT＆MPD），并进一步证明所提出的算法是正确的、有解的且具有多项式级时间复杂度。进一步，基于FLT＆MPD算法，给出了保证故障准确诊断下的部分可观系统设计方法，并且证明利用FLT＆MPD可以实现监控节点数目最少的最优监控。最后，以