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

摘要：

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

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

分类号：TP393;U283(计算技术、计算机技术)

在线出版日期：2012-09-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：73-80