复杂信道环境下GSMR形式化建模分析与研究-兰州交通大学.PDF

第29 卷　第 4 期 兰 州 交 通 大 学 学 报 Vol.29 No.4 2010 年8 月 Journal of Lanzhou Jiaotong University Aug.2010 　　文章编号:1001 4373(2010)04 0024 04 复杂信道环境下G M R 形式化建模分析与 究＊ 陈　永, 　胡晓辉, 　王晓明 (兰州交通大学 电子与信息工程学院, 甘肃 兰州　730070) 摘　要:G M R 无线通信系统是影响CTC 级中国列车运行控制系统可靠性和安全性的主要因素之一.本文主要 考虑在复杂信道环境下G M R 无线通信的形式化建模和可靠性分析, 提出了一种基于随机 Petri 网(PN)表示的 复杂信道环境下G M R 无线通信形式化建模方法, 并对G M R 无线通信的越区切换可靠性进行分析得出相应结 论.分析结果表明:列车在500 km/h 的速度下, 越区切换成功概率为99.711%.最后, 将分析结果与G M R 的技术 标准进行了比较, 说明其可靠性满足规范要求. 关键词:铁路无线通信;随机Petri 网;复杂信道;仿真 中图分类号:TP393;U283　　　　　文献标志码:A 小区切换进行讨论, 所建立的模型之间孤立分析, 系 0　引言 统可靠性未作综合考虑.上述文献模型建立时均未 对无线信道的复杂性和多变性对G M R 通信系统 G M R 是铁路数字移动通信系统的简称, 是在 的影响综合考虑, 也未对 G M R 越区切换流程及 全球移动通信系统(Global ystem for Mobile 系统端到端延时行为进行系统建模分析. Communication)的基础上增加了调度通信和适合 本文主要 究高速列车在复杂信道环境下 铁路高速环境下使用的要素, 能满足国际铁路联盟 G M R 通信系统的形式化建模与可靠性分析, 在 提出的铁路专用调度通信要求的移动通信系统.基 A .Zimmerand 等人建立的基本G M R 通信故障恢 于G M R 无线传输信息的列车运行控制系统, 面 复模型基础上, 综合考虑无线信道对通信系统的影 向高速新线或特殊线路, 以无线通信传输为平台, 可 响因素, 给出了一种基于随机Petri 网表示的复杂 实现虚拟闭塞或移动闭塞, 并且在区间控制方面采 [ 1] 信道环境下G M R 形式化建模方法, 并结合G M 用移动闭塞区间以达到最大行车量 . R 越区切换流程及系统端到端延时行为进行系统建 近年来, 国内外学者已经开展了一些有关G M R 的形式建模 究.2003 年, A .Zimmerand 等人采 模分析, 实现了对通信信道、通信故障引发因素的形 式化描述, 并对G M R 无线通信的可靠性进行分 用D PN 对ETC 实时通信系统进行了可靠性分 析得出相应结论. 析, 综合通信连接