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

摘要

首先建立了基于随机Petri网的GSM-R越区切换模型，在模型中综合考虑了信道故障、信道占用和越区切换参数配置不合理等影响越区切换成功率的因素。其次，说明了随机Petri网与马尔可夫链的关系，以及使用马尔可夫链分析“GSM-R越区切换的随机Petri网模型”的方法。最后，利用SPNP工具分析了影响GSM-R越区切换成功率的因素，发现GSM-R小区预留信道越多，越区切换成功率越高；列车运行速度越高，越区切换成功率越低；在一定范围内，列车追踪间隔越大，越区切换成功率就越高