[1] 杨 光,唐祯敏.几种典型轨道交通运行控制系统的比较研究[J].铁道学报,2009,31(1):82-87. YANG Guang, TANG Zhen-min. Analysis of similarities and differences of operation control systems among several typical modes of rail traffic[J]. Journal of the China Railway Society, 2009, 31(1): 82-87.(in Chinese)
[2] HOSSEINI M S, VAEZ-ZADEH S. Modeling and analysis of linear synchronous motors in high-speed maglev vehicles[J]. IEEE Transactions on Magnetics, 2010, 46(7): 2656-2664.
[3] ZHENG Wei, XU Hong-ze. Safety requirements parameter derivation for maglev train propulsion and protection systems based on stochastic Petri nets[C]∥IEEE. 2009 International Conference on Measuring Technology and Mechatronics Automation. Zhangjiajie: IEEE, 2009: 507-510.
[4] ZHU L, YU F R, NING B, et al. Handoff management in communication-based train control networks using stream control transmission protocol and IEEE 802.11p WLANs[J]. EURASIP Journal on Wireless Communications and Networking, 2012, 211: 1-16.
[5] 陈黎洁,唐 涛,吕继东.CBTC越区切换中断时间分析[J].中国铁道科学,2010,31(5):125-129. CHEN Li-jie, TANG Tao, LU Ji-dong. Analysis on the interruption time for CBTC handover[J]. China Railway Science, 2010, 31(5): 125-129.(in Chinese)
[6] XU Tian-hua, TANG Tao, GAO Chun-hai, et al. Dependability analysis of the data communication system in train control system[J]. Science in China Series E: Technological Sciences, 2009, 52(9): 2605-2618.
[7] DUTTA A, LYLES B, SCHULZRINNE H, et al. Generalized modeling framework for handoff analysis[C]∥IEEE. The 18th Annual International Symposium on Personal, Indoor and Mobile Radio Communications. Athens: IEEE, 2007: 1-5.
[8] THOMSEN J M. Analysis of GSM handover using colored Petri nets[D]. Aarhus: University of Aarhus, 2003.
[9] 张友兵,张 波,唐 涛.列控数据传输与GSM-R越区切换发生碰撞的建模与分析[J].铁道学报,2013,35(5):47-53. ZHANG You-bing, ZHANG Bo, TANG Tao. Modeling and analyzing of data transmission colliding with GSM-R handover in train control system[J]. Journal of the China Railway Society, 2013, 35(5): 47-53.(in Chinese)
[10] 曹 源,牛 儒,唐 涛,等.基于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.(in Chinese)
[11] LUO Wan-tuan, ZHANG Rui-qiang, FANG Xu-ming. A COMP soft handover scheme for LTE systems in high speed railway[J]. EURASIP Journal on Wireless Communications and Networking, 2012, 211: 17-25.
[12] 张仿琪.毫米波无线通信系统在高速磁浮交通中的应用[D].上海:复旦大学,2011. ZHANG Fang-qi. The application of millimeter communication system in high-speed maglev[D]. Shanghai: Fudan University, 2011.(in Chinese)
[13] PLATTNER A. A millimeterwave communication system for maglev application[C]∥IEEE. 1994 IEEE MTT-S International Microwave Symposium Digest. San Diego: IEEE, 1994: 745-748.
[14] YANG Yu-sheng, ZHANG Chun-xi, QIU Hai-tao. Modeling and performance evaluation of IEEE-1394b isochronous data transfer with DSPN[C]∥IEEE. 2010 2nd International Conference on Advanced Computer Control. Shenyang: IEEE, 2010: 152-156.
[15] 郑 伟.磁悬浮列车跨系统运行Petri网模型[J].交通运输工程学报,2012,12(2):112-118. ZHENG Wei. Petri net model of maglev train running across different control systems[J]. Journal of Traffic and Transportation Engineering, 2012, 12(2): 112-118.(in Chinese)
[16] 李 伟.基于有色Petri网的无线闭塞中心子系统切换建模与验证[D].北京:北京交通大学,2009. LI Wei. The modeling and verification of RBC handover based on colored Petri nets[D]. Beijing: Beijing Jiaotong University, 2009.(in Chinese)
[17] 徐田华,唐 涛.列车控制系统中数据通信子系统的帧丢失概率[J].中国铁道科学,2008,29(3):110-114. XU Tian-hua, TANG Tao. Frame loss probability of data communication subsystem in train control system[J].China Railway Science, 2008, 29(3): 110-114.(in Chinese)
[18] ZIMMERMANN A, HOMMEL G. A train control system case study in model-based real time system design[C]∥IEEE. Proceedings of the International Parallel and Distributed Processing Symposium. Nice: IEEE, 2003: 1-8.
[19] LONG Zhi-qiang, LU Zhi-guo, HUAN Shang, et al. Analysis and design in safeties and reliabilities of the suspension system of maglev train[C]∥IEEE. Proceedings of the 5th World Congress on Intelligent Control and Automation. Hangzhou: IEEE, 2004: 1819-1823.