沈碧波,佘 维,叶阳东,贾利民

(1.郑州大学 信息工程学院，河南 郑州 450001；2.郑州大学 软件学院，河南 郑州 450002；3.北京交通大学 轨道交通控制与安全国家重点实验室，北京 100044)

城市轨道交通作为支撑城市正常运行的大动脉，发展迅速。车门作为城轨列车的重要部件，既是乘客进出列车的通道，同时也是保障列车运行特别是乘客安全的关键，针对车门的故障诊断与隐患挖掘的研究具有重要意义。故障诊断是根据检测量所获得的故障表征以及系统故障源与其表征之间的映射关系，分析和定位故障源的过程。溯因推理[1]是一种对观测所得进行溯源的推理解释方法，主要研究形成观测现象的系统演化发展过程，在系统控制理论、自然语言解释以及运筹学等领域得到了非常广泛的应用。回溯推理不仅用于追溯状态产生的原因，还能对系统行为和事件发展过程进行解释。当系统处于某种稳定状态时，分析该状态的成因，对其进行回溯推理是许多实际应用中的必然需求[2-5]。通常可利用数据采集与监控系统(SCADA)获取系统的状态信息，并记录事件动作、顺序及时间特征[6]。状态信息的分析方法很多，如专家系统、人工神经网络、粗糙集、贝叶斯网络、遗传算法等，但也存在一定局限性。Petri网因其具有直观的图形化模型表达，严格的数学描述和推理证明，适合分析离散事件动态系统DEDS (Discrete Event Dynamic Systems)的行为，因而被广泛应用于交通、电力等领域的建模分析和故障诊断[7-9]。

自控网[10]系统中弧的权值可随某一库所内托肯数目动态变化，这也决定了自控网的非线性特性[11]，使得自控系统无法直接套用其他网系统的分析技术。……