基于动态故障树的新型区间占检系统可用性分析

在铁路运输中,为消除自闭线路区间轨道区段分路不良状态对列车运行的安全影响,通过修改列控中心软件来实现对区间占用的逻辑检查,进一步提高运输安全及行车效率。国内对动态冗余结构系统进行可用性分析主要采用马尔科夫模型,对于状态空间规模较大的系统,建模过程较为繁琐,计算过程也十分复杂。基于动态故障树对软件式区间占用检查系统进行建模,采用基于线性搜索的算法对模型进行计算求解,引入故障可用率与故障修复率对系统的可靠性进行仿真分析。通过拟合可靠性及安全性曲线与继电式系统的相关性能进行比较,得出软件式区间占用检查系统具有更高的可用性,性能更为优良,适宜在既有线大力推广。