| 摘要 | 第1-7页 |
| Abstract | 第7-8页 |
| 目录 | 第8-10页 |
| 第1章 绪论 | 第10-14页 |
| ·研究背景及意义 | 第10-11页 |
| ·国内外研究现状 | 第11-13页 |
| ·本文的研究目标及主要内容 | 第13-14页 |
| ·研究目标 | 第13页 |
| ·主要研究内容 | 第13-14页 |
| 第2章 有色Petri网 | 第14-22页 |
| ·有色Petri网 | 第14-17页 |
| ·有色Petri网 | 第14-15页 |
| ·层次有色Petri网 | 第15-16页 |
| ·层次有色Petri网建模可行性分析 | 第16-17页 |
| ·有色Petri网验证方法 | 第17-20页 |
| ·状态空间 | 第18页 |
| ·动态属性 | 第18-20页 |
| ·有色Petri网建模工具CPN Tools | 第20-22页 |
| 第3章 无线闭塞中心需求分析 | 第22-32页 |
| ·CTCS-3级列控系统 | 第22-24页 |
| ·RBC系统结构 | 第24-26页 |
| ·RBC系统配置 | 第24页 |
| ·RBC系统与外部接口 | 第24-26页 |
| ·RBC系统主要功能 | 第26-32页 |
| ·列车的注册启动及注销 | 第26-28页 |
| ·行车许可的生成及发送 | 第28-29页 |
| ·RBC切换 | 第29-32页 |
| 第4章 有色Petri网的RBC系统功能建模与分析 | 第32-54页 |
| ·简单有色Petri网建模及分析实例 | 第32-35页 |
| ·RBC主要功能建模与分析 | 第35-54页 |
| ·列车注册启动与注销功能建模与分析 | 第35-44页 |
| ·列车注册启动与注销功能建模 | 第35-39页 |
| ·列车注册启动与注销功能模型分析 | 第39-44页 |
| ·行车许可生成与发送功能建模与分析 | 第44-47页 |
| ·行车许可生成及发送功能建模 | 第44-45页 |
| ·行车许可生成及发送功能模型分析 | 第45-47页 |
| ·只有一部电台正常的RBC切换功能建模与分析 | 第47-54页 |
| ·只有一部电台正常的RBC切换功能建模 | 第47-49页 |
| ·只有一部电台正常的RBC切换功能模型分析 | 第49-54页 |
| 第5章 RBC系统VC++软件仿真实现 | 第54-65页 |
| ·基础数据 | 第54-55页 |
| ·仿真功能 | 第55-62页 |
| ·MA生成与发送算法 | 第56-58页 |
| ·MA生成与发送主要流程图 | 第58-62页 |
| ·仿真实现及测试分析 | 第62-65页 |
| 结论 | 第65-66页 |
| 致谢 | 第66-67页 |
| 参考文献 | 第67-70页 |
| 攻读硕士学位期间发表的论文 | 第70-71页 |
| 附录一 时序图中消息说明 | 第71-72页 |
| 附录二 列车位置未知转入C2运行分析报告 | 第72-75页 |
| 附录三 列车不在RBC控制范围内分析报告 | 第75-77页 |