基于 Markov 决策过程的列控系统定量安全分析方法

• 作者: 周果 赵会兵
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 列控系统 定量安全分析 Markov决策过程 概率模型检验
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 74-81
• 页数: 8页
• 分类号: TP302.1|U283.2
• 字数: 7243字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2016.02.010

摘要

为了在列控系统的设计阶段和安全评估阶段对系统隐患进行把握，对系统的设计进行定量安全分析是至关重要的。定量分析的结果可以用来判断和比较设计的优劣，也可用来评估隐患的风险，并根据分析结果判断所采取的隐患控制措施是否使隐患的风险被控制在可接受的范围内。本文应用以Markov决策过程为基础的建模方法，对列控系统中的双车追踪场景进行系统行为建模，集成系统正常行为和失效行为，提出综合系统行为模型CBM ，并通过概率模型检验工具 PRISM对危险失效概率进行准确计算，提出列控系统定量安全分析方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周果	北京交通大学电子信息工程学院	6	39	4.0	6.0
2	赵会兵	北京交通大学电子信息工程学院	35	337	10.0	16.0