基于动态故障树的新型区间占检系统可用性分析-计算机应用与软件.PDFVIP

第３６卷第６期　　　 计算机应用与软件 Ｖｏｌ３６Ｎｏ．６ ２０１９年６月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｊｕｎ．２０１９ 基于动态故障树的新型区间占检系统可用性分析 １，２ １ ２ １ 海　宁 　张彩珍　孙国营 　于　洋 １（兰州交通大学电子与信息工程学院　甘肃兰州７３００７０） ２（北京全路通信信号研究设计院集团有限公司　北京 １０００７１） 摘　要　　在铁路运输中，为消除自闭线路区间轨道区段分路不良状态对列车运行的安全影响，通过修改列控中 心软件来实现对区间占用的逻辑检查，进一步提高运输安全及行车效率。国内对动态冗余结构系统进行可用性 分析主要采用马尔科夫模型，对于状态空间规模较大的系统，建模过程较为繁琐，计算过程也十分复杂。基于动 态故障树对软件式区间占用检查系统进行建模，