基于DSPN的高速磁浮车地通信系统可靠性及时延

马连川; 张玉琢; 孙雅晴; 穆建成; 曹源

doi:10.3969/j.issn.0258-2724.2014.06.013

基于DSPN的高速磁浮车地通信系统可靠性及时延

doi: 10.3969/j.issn.0258-2724.2014.06.013

马连川^1,2,
张玉琢²,
孙雅晴³,
穆建成⁴,
曹源^1,2, ,

基金项目:

国家自然科学基金资助项目(51305021,U1334211)

国家863计划资助项目(2012AA112001)

中国铁路总公司科技开发计划资助项目(2013X013-D)

详细信息

通讯作者:
曹源(1982-),男,副教授,博士,研究方向为高速铁路运行控制,E-mail:ycao@bjtu.edu.cn

计量
- 文章访问数: 1022
- HTML全文浏览量: 53
- PDF下载量: 444
- 被引次数: 0
出版历程
- 收稿日期: 2013-05-07
- 刊出日期: 2014-12-25

Reliability and Delay of DSPN-Based Ground Communication System in High-Speed Maglev Vehicles

摘要

摘要: 为满足磁浮运行控制系统对于列车高速运行条件下通信实时、大容量的需求,基于确定与随机Petri网(deterministic and stochastic Petri nets, DSPN),根据38 GHz毫米波的影响因素,建立了其通信故障模型;按照信息帧的发送、冗余结构处理、双通道传输以及选择表决的整个传输过程,建立了车地下行链路数据传输模型.对磁浮车地通信系统的可靠性及系统延时进行了形式化分析,结果说明,磁浮38 GHz毫米波无线通信网络无故障概率达99.452%,故障平均修复时间达373.80 ms,满足高速磁浮车地通信的需求.
- 通信系统 /
- 磁浮列车 /
- Petri网
Abstract: To achieve the real-time and large-capacity communication of maglev operation control system when the train runs at high speeds, a DSPN-based (deterministic and stochastic Petri nets) model was built according to the communication failure modes of 38 GHz millimeter wave. Further, a vehicle-ground downlink transmission model was established to cover the entire transmission process of sending information frame, processing redundant structure, transmitting in dual channel, electing and voting. Finally, the reliability and time delay of the maglev vehicle-ground communication system were verified by formal method. The results of formal verification show that fault-free probability of the 38 GHz millimeter communication system is 99.452%, and mean time for repairing fault is 373.80 ms, which satisfy the vehicle-ground communication requirement of high-speed maglevs.
- communication systems /
- maglev vehicles /
- Petri nets

HTML全文

参考文献(15)

吴祥明. 磁浮列车[M]. 上海:上海科学技术出版社,2003: 2-13.

周民立. 上海磁浮线车地无线通信技术特点分析[J]. 城市轨道交通研究,2010,13(12): 2-3. ZHOU Minli. Analysis on characteristics of shanghai maglev train radio communication technology[J]. Urban Mass Transit, 2010,13(12): 2-3.

西门子公司. 上海磁浮高速列车项目-运行控制系统-无线电系统子系统规范[S]. 乌尔姆:西门子公司,2002.

ZHENG Wei, XU Hongze. Safety requirements parameter derivation for maglev train propulsion and protection systems based on stochastic petri nets[C]//International Conference on Measuring Technology and Mechatronics Automation.[S.L.]: IEEE, 2009: 507-510.

徐田华,唐涛. 列车控制系统中数据通信子系统的帧丢失概率[J]. 中国铁道科学,2008,29(3): 110-114. XU Tianhua, TANG Tao. Frame loss probability of data communication subsystem in train control system[J]. China Railway Science, 2008, 29(3): 110-114.

PLATTNER A. A millimetrewave communication system for MAGLEV application[C]//Microwave Symposium Digest, IEEE MTT-S International.[S.L.]: IEEE, 1994: 745-748.

曹源,唐涛,徐田华,等. 形式化方法在列车运行控制系统中的应用[J]. 交通运输工程学报,2010,10(1): 112-126. CAO Yuan, TANG Tao, XU Tianhua, et al. Application of formal methods in train control system[J]. Journal of Traffic and Transportation Engineering, 2010, 10(1): 112-126.

张仿琪. 毫米波无线通信系统在高速磁浮交通中的应用. 上海:复旦大学,2011: 62.

牛儒,曹源,唐涛. ETCS-2级列控系统RBC交接协议的形式化分析[J]. 铁道学报,2009,31(4): 52-58. NIU Ru, CAO Yuan, TANG Tao. Formal modeling and analysis of RBC handover protocol for ETCS level 2 using stochastic petri nets[J]. Journal of the China Railway Society, 2009, 31(4): 52-58.

LONG Zhiqiang, LU Zhiquo, SHUAN Huan, et al. Analysis and design in safeties and reliabilities of the suspension system of maglev train[C]//Fifth World Congress on Intelligent Control and Automation. Hangzhou: IEEE, 2004, 2: 1819-1823.

CAO Yuan, CAI Baigen, TANG Tao, et al. Reliability analysis of CTCS based on two GSM-R double layers networks structures[C]//2009 International Conference on Communications and Mobile Computing.[S.L.]: IEEE, 2009: 242-246.

ZIMMERMANN A, HOMMEL G. A train control system case study in model-based real time system design[C]//Proceedings of the International Parallel and Distributed Processing Symposium. Nice: IEEE, 2003: 118-126.

曹源,牛儒,唐涛,等. 基于SPN的越区切换模型分析[J]. 铁道学报,2009,31(4): 3-4. CAO Yuan, NIU Ru, TANG Tao, et al. Analysis of handover model based on stochastic petri net[J]. Journal of the China Railway Society, 2009, 31(4): 3-4.

YUN H S, LEE K S. A study on the development of the train control system data transmission technology using a wireless mesh[C]// Third International Conference on Multimedia Information Networking and Security (MINES). Shanghai: IEEE, 2011: 196-200.

林闯. 随机Petri网和系统性能评价[M]. 2版. 北京:清华大学出版社,2005: 25-28.

施引文献

附加材料(0)

访问统计

点击查看大图

计量

文章访问数: 1022
HTML全文浏览量: 53
PDF下载量: 444
被引次数: 0

基于DSPN的高速磁浮车地通信系统可靠性及时延

doi: 10.3969/j.issn.0258-2724.2014.06.013

通讯作者: 曹源(1982-),男,副教授,博士,研究方向为高速铁路运行控制,E-mail:ycao@bjtu.edu.cn

计量

出版历程

Reliability and Delay of DSPN-Based Ground Communication System in High-Speed Maglev Vehicles

计量

出版历程

目录

通讯作者:
曹源(1982-),男,副教授,博士,研究方向为高速铁路运行控制,E-mail:ycao@bjtu.edu.cn