GSM-R高级语音呼叫业务在铁路调度通信中应用的建模与仿真研究

摘要	第1-7页
Abstract	第7-11页
第一章 绪论	第11-14页
·概述	第11页
·国内外发展现状	第11-12页
·本论文研究的意义	第12-13页
·论文的主要工作	第13-14页
第二章 GSM-R高级语音呼叫	第14-23页
·GSM-R系统概述	第14-16页
·GSM-R系统结构	第14-15页
·GSM-R业务模型	第15-16页
·VGCS和VBS比较	第16-17页
·在铁路无线调度通信中的应用	第17-19页
·eMLPP介绍	第19页
·编号方案	第19-22页
·GSM-R网络用户号码的结构	第19-21页
·移动用户号码及固定用户号码	第21页
·位置区识别码	第21-22页
·全球小区识别码	第22页
·本章小结	第22-23页
第三章 高级语音呼叫业务流程分析	第23-36页
·业务用户发起呼叫	第23-27页
·在主控MSC区发起呼叫流程	第23-26页
·在中继MSC区发起呼叫流程	第26-27页
·业务用户发起上行信道接入	第27-29页
·在主控MSC发起上行信道接入流程	第28页
·在中继MSC发起上行信道接入流程	第28-29页
·移动用户发起越区切换	第29-32页
·主叫用户在组呼区内小区间切换流程	第29-30页
·主叫用户离开组呼区切换流程	第30-31页
·聆听用户在组呼区内小区间切换流程	第31页
·聆听用户离开组呼区流程	第31-32页
·组呼释放	第32-35页
·主叫用户发起释放组呼上行信道流程	第32-33页
·网络发起释放组呼上行信道流程	第33-34页
·用户发起组呼释放流程	第34-35页
·本章小结	第35-36页
第四章 高级语音呼叫的时间自动机模型	第36-59页
·模型设计思想	第36页
·语音呼叫的功能实体以及状态标示	第36-40页
·呼叫过程涉及的各个功能实体	第37-39页
·呼叫控制过程状态描述	第39-40页
·时间自动机模型及UPPAAL	第40-43页
·形式化方法概述	第40页
·时间自动机	第40-42页
·UPPAAL简介	第42-43页
·基于UPPAAL的高级语音呼叫业务建模	第43-51页
·网络侧组呼建立流程建模	第43-45页
·上行信道控制流程建模	第45-46页
·上行信道抢占流程建模	第46-47页
·越区切换流程建模	第47-48页
·VLR模块控制流程建模	第48-49页
·GCR模块控制流程建模	第49-50页
·移动用户组呼建立流程建模	第50-51页
·高级语音呼叫流程模型功能验证	第51-58页
·构造时间自动机的积	第51-52页
·模型仿真	第52-56页
·模型仿真结果验证	第56-58页
·本章小结	第58-59页
第五章 高级语音呼叫方案仿真设计	第59-73页
·线路区段划分	第59-62页
·列车运行线路及区段划分	第59-61页
·小区ID的分配	第61-62页
·数据库设计	第62-63页
·位置数据存储	第62-63页
·号码转换表数据存储	第63页
·号码映射	第63-66页
·调度员与车站值班员号码编制	第64-65页
·列车移动台号码编制	第65-66页
·无线列调语音通信仿真实例	第66-67页
·实例设计	第66-67页
·优先级设置	第67页
·仿真系统程序设计	第67-70页
·列车运行模拟程序	第68-69页
·呼叫建立程序设计	第69页
·呼叫控制状态显示	第69-70页
·系统仿真	第70-72页
·本章小结	第72-73页
结论	第73-75页
致谢	第75-76页
参考文献	第76-79页
攻读硕士学位期间发表的论文	第79-80页