基于随机petri网的CTCS-3级RBC系统控车流程建模与分析
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 综述 | 第11-19页 |
| ·研究背景 | 第11-14页 |
| ·国外列控系统 | 第11-13页 |
| ·国内列控系统 | 第13-14页 |
| ·CTCS-3级列控系统 | 第14-15页 |
| ·论文研究的意义 | 第15-16页 |
| ·系统性能分析方法 | 第16-18页 |
| ·仿真分析法 | 第16-17页 |
| ·数学分析法 | 第17页 |
| ·形式化建模技术 | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 2 无线闭塞中心系统性能分析理论 | 第19-32页 |
| ·排队理论性能分析 | 第19-22页 |
| ·排队系统的表示法 | 第20-21页 |
| ·排队论M/M/1模型分析 | 第21-22页 |
| ·Petri网理论性能分析 | 第22-28页 |
| ·Petri网的描述能力 | 第22-23页 |
| ·Petri网的形式化定义 | 第23页 |
| ·随机Petri网 | 第23-26页 |
| ·模型等效化简技术 | 第26-28页 |
| ·无线闭塞中心性能分析中SPN和排队论的比较 | 第28-29页 |
| ·基于SPN模型无线闭塞中心性能分析方法 | 第29-31页 |
| ·随机过程理论 | 第29-30页 |
| ·连续时间马尔可夫链及分析方法 | 第30-31页 |
| ·随机Petri网建模分析软件SPNP | 第31页 |
| ·本章小结 | 第31-32页 |
| 3 无线闭塞中心SPN建模 | 第32-57页 |
| ·无线闭塞中心总体设计 | 第32-33页 |
| ·GSM-R故障模型 | 第33-35页 |
| ·无线闭塞中心消息模型 | 第35-38页 |
| ·无线闭塞中心注销场景模型 | 第38-42页 |
| ·无线闭塞中心注销场景设计 | 第38-40页 |
| ·注销场景原始模型 | 第40页 |
| ·注销场景简化模型 | 第40-42页 |
| ·无线闭塞中心目视行车场景模型 | 第42-45页 |
| ·无线闭塞中心目视行车场景设计 | 第42-43页 |
| ·目视行车场景模型 | 第43-45页 |
| ·无线闭塞中心正常控车场景模型 | 第45-47页 |
| ·无线闭塞中心正常控车场景设计 | 第45-46页 |
| ·正常控车场景模型 | 第46-47页 |
| ·无线闭塞中心调车场景模型 | 第47-51页 |
| ·无线闭塞中心调车场景设计 | 第47-49页 |
| ·调车场景原始模型 | 第49页 |
| ·调车场景简化模型 | 第49-51页 |
| ·无线闭塞中心注册与启动场景模型 | 第51-56页 |
| ·无线闭塞中心注册与启动场景设计 | 第51-53页 |
| ·注册与启动场景原始模型 | 第53-54页 |
| ·注册与启动场景简化模型 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 4 无线闭塞中心SPN模型性能分析 | 第57-69页 |
| ·周期性消息模型系统延时分析 | 第57-58页 |
| ·非周期性消息模型系统延时分析 | 第58-60页 |
| ·注销模型完成成功率分析 | 第60-61页 |
| ·目视行车模型完成成功率分析 | 第61-63页 |
| ·正常控车模型完成成功率分析 | 第63-64页 |
| ·调车模型完成成功率分析 | 第64-66页 |
| ·注册与启动模型完成成功率分析 | 第66-67页 |
| ·本章小结 | 第67-69页 |
| 5 结论与展望 | 第69-70页 |
| 参考文献 | 第70-72页 |
| 图索引 | 第72-73页 |
| 表索引 | 第73-74页 |
| 作者简历 | 第74-76页 |
| 学位论文数据集 | 第76页 |
