文档名：CTCS1级列控系统无线广播通信场景建模与验证
摘要：在高铁线路故障情况下,为了支持高铁动车组在普速线路上运行,国铁集团组织研究了高铁动车组利用普速线迂回运行系统.该系统车地间无线通信拟采用的无线单向广播方案,在现有的列控系统中从未使用过,对其进行建模与验证研究具有重要意义.通过分析CTCS-1级列控系统的总体技术规范,对无线广播通信场景进行详细设计和完善,采用SysML语言对场景建模,通过设计SysML-PRISM模型的转换规则将场景的SysML模型转换为概率模型,得到由信道模块、车站数据服务器(StationDataServer,SDS)模块、列车模块构成的无线广播通信场景概率模型,采用概率模型检验工具PRISM对场景的概率模型进行描述和验证.结果表明:场景设计合理、无线单向广播通信方式可行、SDS规定的优先发送报文的次数应该为2次或3次.本文中对无线广播通信场景的研究能提早发现系统技术方案中可能存在的问题,为相关研究提供参考.
作者：刘中田 张茜 赵焕 Author：LIUZhongtian ZHANGXi ZHAOHuan
作者单位：北京交通大学电子信息工程学院,北京100044北京和利时系统工程有限公司,北京100176
刊名：北京交通大学学报 ISTICPKU
Journal：JournalofBeijingJiaotongUniversity
年，卷(期)：2023, 47(2)
分类号：U238.2TP301
关键词：列控系统 无线广播通信场景 概率模型检验 SysML 车站数据服务器
机标分类号：TP311.52TN92P457.6
在线出版日期：2023年6月30日
基金项目：国家自然科学基金CTCS-1级列控系统无线广播通信场景建模与验证[
期刊论文] 北京交通大学学报--2023, 47(2)刘中田 张茜 赵焕在高铁线路故障情况下,为了支持高铁动车组在普速线路上运行,国铁集团组织研究了高铁动车组利用普速线迂回运行系统.该系统车地间无线通信拟采用的无线单向广播方案,在现有的列控系统中从未使用过,对其进行建模与验证研...参考文献和引证文献
参考文献
引证文献
本文读者也读过
相似文献
相关博文
CTCS-1级列控系统无线广播通信场景建模与验证 Modeling and verification of radio broadcast communication scenario for CTCS-1 train control system
CTCS-1级列控系统无线广播通信场景建模与验证.pdf
- 文件大小:
- 1.96 MB
- 下载次数:
- 60
-
高速下载
|
|
