-
题名列控临时限速场景风险耦合路径自动搜索方法研究
被引量：2
- 1
-
-
作者
高僮
张亚东
郭进
王建
-
机构
西南交通大学信息科学与技术学院
-
出处
《铁道标准设计》
北大核心
2021年第12期146-151,167,共7页
-
基金
国家自然科学基金青年基金项目(61703349)
中央高校基本科研业务费专项资金资助(2682017CX101)
+1 种基金
中国铁路总公司科技研究开发计划课题(N2018G062,K2018G011)
四川省科技计划项目(2021YJ0070)。
-
文摘
针对列控系统的复杂交互行为导致的风险耦合问题,提出一种基于STPA与时间自动机的列控运营场景风险耦合路径自动搜索方法。利用STPA对列控运营场景进行危险分析,将危险致因因素注入到列控运营场景时间自动机模型中,再基于深度优先搜索算法,对含有危险致因因素的列控运营场景时间自动机模型进行系统位置迁移路径自动搜索,得到风险耦合路径。以列控临时限速场景为例,验证该方法的可行性和有效性。该方法可为风险预警及安全管控提供科学支撑,对于提高列控系统的运营安全性、保障高速铁路行车安全具有重要的理论意义和应用价值。
-
关键词
临时限速
危险致因
风险耦合路径
STPA
时间自动机
深度优先搜索
-
Keywords
TSR
risk causes
risk coupling paths
STPA
timed automata
DFS
-
分类号
U284
[交通运输工程—交通信息工程及控制]
TP273
[交通运输工程—道路与铁道工程]
-
