基于随机Petri网的GSM-R越区切换成功率的形式化分析  

Formal Analysis of GSM-R Handover Success Rate Based on the Stochastic Petri Net

作　　者：张友兵[1] 刘岭[1] 何祖涛[1] 

机构地区：[1]北京全路通信信号研究设计院有限公司运行控制研究设计院,北京100073

出　　处：《华东交通大学学报》2012年第4期73-80,共8页Journal of East China Jiaotong University

基　　金：科学技术部国家科技支撑计划项目(2009BAG12A08)

摘　　要：首先建立了基于随机Petri网的GSM-R越区切换模型,在模型中综合考虑了信道故障、信道占用和越区切换参数配置不合理等影响越区切换成功率的因素。其次,说明了随机Petri网与马尔可夫链的关系,以及使用马尔可夫链分析"GSM-R越区切换的随机Petri网模型"的方法。最后,利用SPNP工具分析了影响GSM-R越区切换成功率的因素,发现GSM-R小区预留信道越多,越区切换成功率越高;列车运行速度越高,越区切换成功率越低;在一定范围内,列车追踪间隔越大,越区切换成功率就越高。Firstly, GSM-R handover model is established based on the Stochastic Petri Net （SPN）. The factors which affect the handover success rate are considered in the model, such as channel fault, channel occupancy and unreasonable handover parameters. Secondly, this paper illustrates the relationship between the Stochastic Petri Net and Markov Chain （MC）, discussing the method of Markov Chain in analyzing the GSM-R handover model. Finally, the factors which affect the GSM-R handover success rate are analyzed with the SPNP tool. The result shows that the more GSM-R cell reserved channels are, the higher the handover success rate is. The result also shows that the higher the train speed is, the lower the handover success rate is. Within a certain range, the greater the train track interval is, the higher the handover success rate is.

关 键 词：随机PETRI网 CTCS GSM-R 越区切换 马尔可夫链 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] U283[自动化与计算机技术—计算机科学与技术]