基于有色Petri网的无线闭塞中心子系统切换建模与验证
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 综述 | 第11-18页 |
| ·RBC系统研究现状 | 第11-13页 |
| ·Petri网建模语言应用现状 | 第13-15页 |
| ·有色 Petri网概述 | 第13-14页 |
| ·Petri网在铁路系统中的应用现状 | 第14-15页 |
| ·选题目的和意义 | 第15-16页 |
| ·研究内容与组织结构 | 第16-18页 |
| 2 RBC切换应用软件设计 | 第18-28页 |
| ·RBC切换设计框架 | 第18-19页 |
| ·RBC切换功能需求分析 | 第19-22页 |
| ·RBC切换安全性需求 | 第19-21页 |
| ·RBC切换功能需求 | 第21-22页 |
| ·RBC切换软件设计 | 第22-27页 |
| ·RBC切换流程设计 | 第22-23页 |
| ·RBC切换功能模块划分 | 第23-26页 |
| ·RBC切换过程重要信息 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 3 基于 CPN的RBC切换建模 | 第28-50页 |
| ·RBC切换层次化建模方法 | 第28-29页 |
| ·建模工具 | 第28-29页 |
| ·层次化建模方法 | 第29页 |
| ·RBC系统模型 | 第29-31页 |
| ·RBC切换顶层模型 | 第31-39页 |
| ·车载装备1部车载电台的RBC切换模型 | 第31-33页 |
| ·车载装备2部车载电台的RBC切换模型 | 第33-34页 |
| ·顶层模型的细化 | 第34-39页 |
| ·RBC切换功能模块建模 | 第39-46页 |
| ·移交 RBC列车管理模型 | 第40-42页 |
| ·接管 RBC列车管理模型 | 第42-44页 |
| ·相邻 RBC交互模型 | 第44-46页 |
| ·RBC切换赋时模型 | 第46-49页 |
| ·本章小结 | 第49-50页 |
| 4 基于 CPN的RBC切换功能验证与分析 | 第50-67页 |
| ·CPN的动态属性和分析方法 | 第50-52页 |
| ·CPN的动态属性 | 第50-51页 |
| ·CPN的分析方法 | 第51-52页 |
| ·模型功能验证与分析 | 第52-63页 |
| ·模型功能验证 | 第53-58页 |
| ·模型性质验证 | 第58-63页 |
| ·RBC切换仿真性能分析 | 第63-66页 |
| ·网络质量对切换成功率的影响 | 第63-64页 |
| ·通信延时对切换策略的影响 | 第64-66页 |
| ·本章小结 | 第66-67页 |
| 5 研究工作总结与展望 | 第67-69页 |
| 参考文献 | 第69-71页 |
| 图索引 | 第71-72页 |
| 表索引 | 第72-73页 |
| 作者简历 | 第73-75页 |
| 学位论文数据集 | 第75页 |
