周 果,赵会兵

(北京交通大学 电子信息工程学院，北京 100044)

列车占用检查一直以来主要依靠轨道电路来完成，但轨道电路在特殊环境下会出现故障。如天气潮湿时发生“低道床”现象，使得轨道电路发生故障占用，在CTC中显示为故障“红光带”；而当钢轨表面生锈或列车较轻时，轮轨接触电阻过大，使得轨道电路发生分路不良，在CTC中没有显示即发生故障“飞车”。以上两种故障都不能真实反映区间中列车的占用情况，而传统的列控中心设计中并没有逻辑检查功能，使得出现紧急情况时由调度员自行决策处理，带来严重的安全隐患[1,2]。

以上问题的关键是CTC仅对区间轨道占用情况进行被动的显示，对空闲、正常占用、故障占用和失去分路4种真实占用状态无法区别所导致的，使得正常占用和故障占用都显示为红色，而空闲和失去分路都显示为白色，由此也带来了信号专业中“红光带”和“飞车”两形象化术语的语义模糊问题，无法区分正常还是故障。解决列车占用检查错误问题的关键是对不可信的轨道电路继电器状态信息进行预处理，以不同的颜色来显示不同的逻辑占用状态，设计区间占用逻辑检查层，生成明确区分逻辑状态的区间列车占用信息，提高CTC被动显示的可信程度。列控中心软件是典型的安全苛求软件，需通过安全性分析证明其安全性要求满足安全完整性等级SIL4[3]。然而传统安全分析方法，如故障树FTA和故障模式及影响分析FMEA，只……