首先建立了基于随机Petri网的GSM-R越区切换模型,在模型中综合考虑了信道故障、信道占用和越区切换参数配置不合理等影响越区切换成功率的因素。其次,说明了随机Petri网与马尔可夫链的关系,以及使用马尔可夫链分析"GSM-R越区切换的随机Petri网模型"的方法。最后,利用SPNP工具分析了影响GSM-R越区切换成功率的因素,发现GSM-R小区预留信道越多,越区切换成功率越高;列车运行速度越高,越区切换成功率越低;在一定范围内,列车追踪间隔越大,越区切换成功率就越高。
张友兵; 刘岭; 何祖涛.基于随机Petri网的GSM-R越区切换成功率的形式化分析[J].华东交通大学学报,2012,29(4):73-80..[J]. JOURNAL OF EAST CHINA JIAOTONG UNIVERSTTY,2012,29(4):73-80