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

作     者：林俊亭 闵晓琴 LIN Jun-ting;MIN Xiao-qin

作者机构：兰州交通大学自动化与电气工程学院甘肃兰州730070 

基　　金：国家自然科学基金资助项目(52162050,61763025) 甘肃省自然科学基金资助项目(20JR5RA375) 

出 版 物：《控制工程》 (Control Engineering of China)

年 卷 期：2023年第30卷第5期

页      码：803-809,821页

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

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

学科分类：08[工学] 080203[080203] 0802[工学-机械学] 082302[082302] 0823[工学-农业工程类] 

D　O　I：10.14107/j.cnki.kzgc.20210119

馆 藏 号：203122270...