基于统计模型检测的TcCBTC移动授权建模与分析

摘要：

基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂.随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采用车车通信方式减少了 控制信息的传递环节,将成为城市轨道交通领域的发展方向.移动授权(movement authority,MA)是决定列车能否以安全间隔运行的直接因素,因此对MA生成过程进行形式化建模与分析,对避免列车碰撞具有重要意义.根据TcCBTC系统架构分析MA生成流程,确定参与功能实现的子系统,并计算出不确定性参数;通过UPPAAL-SMC建立对应的随机混成自动机网络模型;最后采用统计模型检测方法对模型进行定量分析.分析结果表明:置信度为99.95％的情况下,系统在300 ms内成功计算出MA的概率为0.997 412 474 8,为后续TcCBTC系统开发设计提供理论参考.

关键词：随机混成自动机、统计模型检测、以车载为核心的列车运行控制、移动授权

所属期刊栏目：30

分类号：TP391.9;U284.48(计算技术、计算机技术)

资助基金：国家自然科学基金;国家自然科学基金;甘肃省自然科学基金资助项目

在线出版日期：2023-06-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：803-809,821