复杂信道环境下GSM-R形式化建模分析与研究.pdfVIP

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