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

摘要：

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

关键词：区间信号、轨道占用、分路不良、定量安全分析、概率模型检验

所属期刊栏目：38

分类号：TP302;U283(计算技术、计算机技术)

资助基金：国家自然科学基金U1434209

在线出版日期：2016-05-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：66-73