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

作     者：周果 赵会兵 ZHOU Guo;ZHAO Huibing

作者机构：北京交通大学电子信息工程学院北京100044 

基　　金：国家自然科学基金(U1434209) 

出 版 物：《铁道学报》 (Journal of the China Railway Society)

年 卷 期：2016年第38卷第2期

页      码：74-81页

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

主 题 词：列控系统 定量安全分析 Markov决策过程 概率模型检验 

学科分类：08[工学] 0802[工学-机械学] 081201[081201] 082302[082302] 0801[工学-力学类] 0812[工学-测绘类] 0823[工学-农业工程类] 

核心收录：

D　O　I：10.3969/j.issn.1001-8360.2016.02.010

馆 藏 号：203105358...