车车通信列车运行控制系统中移动授权的生成对城市轨道交通运营效率有着较大的影响。通过分析车车通信列车运行控制系统中移动授权的生成过程及性能,建立基于有色Petri网(colored Petri net,CPN)的车车通信移动授权信息交互的模型,进行...车车通信列车运行控制系统中移动授权的生成对城市轨道交通运营效率有着较大的影响。通过分析车车通信列车运行控制系统中移动授权的生成过程及性能,建立基于有色Petri网(colored Petri net,CPN)的车车通信移动授权信息交互的模型,进行性能分析。研究移动授权生成过程中端对端通信传输时延的延时概率,根据不同信道质量下统计传输时延的平均值,计算移动授权完成的成功率。分析结果表明,基于车车通信的列车运行控制系统移动授权的生成过程,符合地铁长期演进(long term evolution for metro,LTE-M)系统端到端延时时间不大于150 ms的概率不小于98%,时延随着信道质量的下降而增加。展开更多
基于通信的列车运行控制(communication based train control,CBTC)系统采用车地通信方式使得地面设备极其复杂。随着通信技术的快速发展,以车载为核心的列车运行控制(train-centric communication based train control,TcCBTC)系统采...基于通信的列车运行控制(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系统开发设计提供理论参考。展开更多
文摘车车通信列车运行控制系统中移动授权的生成对城市轨道交通运营效率有着较大的影响。通过分析车车通信列车运行控制系统中移动授权的生成过程及性能,建立基于有色Petri网(colored Petri net,CPN)的车车通信移动授权信息交互的模型,进行性能分析。研究移动授权生成过程中端对端通信传输时延的延时概率,根据不同信道质量下统计传输时延的平均值,计算移动授权完成的成功率。分析结果表明,基于车车通信的列车运行控制系统移动授权的生成过程,符合地铁长期演进(long term evolution for metro,LTE-M)系统端到端延时时间不大于150 ms的概率不小于98%,时延随着信道质量的下降而增加。
文摘基于通信的列车运行控制(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系统开发设计提供理论参考。
