中文摘要：

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

英文摘要：

When right side failures and wrong side failures of the track circuits occur,the train control center cannot judge the exact states of track occupancy in sections according to the states of track circuit relays,causing the so-called＂red light strip＂and＂train occupancy loss＂on the screen of the train control center,posing potential safety risks..In order to reduce the operation risks,four logic states of track occupancy were proposed first,and an occupancy checking logic layer was added into the software design of the train control center,to deal with the unsafe state information of track circuit relays,and to transfer the safety track occupancy logic states to the centralized train control center.Markov Decision Processes were used to formally present the logic state processing models,and four colors were employed to present the track occupation states.This research enhanced the inapplicable situations of the restrictions in the design specifications.Finally,through quantitative calculation,the derived dangerous failure probability of single trip was 2.120×10-10,which proved the acceptable range of the hazard risks of the design.