区间占用检查逻辑的建模与安全分析

在轨道电路发生故障或分路不良时,列控中心无法根据轨道电路继电器的状态准确判断区间列车占用情况,进而使得调度中心屏幕上出现所谓故障"红光带"和故障"飞车"现象,带来安全隐患。为降低运行风险,首先明确指出了轨道占用的4种逻辑状态,并在列控中心软件设计中加入占用检查逻辑层,对轨道电路继电器状态及状态转换进行处理,将安全的区间占用逻辑状态发送给调度中心。运用Markov决策过程方法描绘逻辑状态处理过程,并以四色准确显示占用情况,强化了规范中限制条件的不适用情况,并通过定量计算得出单程危险失效概率为2.120×10-10,证明了设计的隐患风险在可接受范围之内。