摘要
在铁路运输中,为消除自闭线路区间轨道区段分路不良状态对列车运行的安全影响,通过修改列控中心软件来实现对区间占用的逻辑检查,进一步提高运输安全及行车效率。国内对动态冗余结构系统进行可用性分析主要采用马尔科夫模型,对于状态空间规模较大的系统,建模过程较为繁琐,计算过程也十分复杂。基于动态故障树对软件式区间占用检查系统进行建模,采用基于线性搜索的算法对模型进行计算求解,引入故障可用率与故障修复率对系统的可靠性进行仿真分析。通过拟合可靠性及安全性曲线与继电式系统的相关性能进行比较,得出软件式区间占用检查系统具有更高的可用性,性能更为优良,适宜在既有线大力推广。
In railway transportation,in order to eliminate the influence of bad state of track section division on the safety of train operation,the software of train control center is modified to realize the logical inspection of section occupancy to further improve transport safety and operation efficiency.Markov model is mainly used to analyze the availability of dynamic redundant structural systems in China.For large-scale systems in state space,the modeling process is complicated and the calculation process is very complex.In this paper,a software interval occupancy checking system was modeled based on dynamic fault tree,and we solved the model by linear search algorithm.We also introduced the fault availability and repair rate to simulate the reliability of the system.By comparing the fitting reliability and safety curve with the relay system,it is concluded that the software interval occupancy checking system has higher availability and better performance,and is suitable for popularization on existing lines.
作者
海宁
张彩珍
孙国营
于洋
Hai Ning;Zhang Caizhen;Sun Guoying;Yu Yang(School of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, Gansu, China;Beijing National Railway Research and Design Institute of Signal and Communication Ltd., Beijing 100071, China)
出处
《计算机应用与软件》
北大核心
2019年第6期47-53,共7页
Computer Applications and Software
基金
国家自然科学基金项目(61761027)
中国铁路总公司科技研究开发计划课题(2016X003-H)
