区域控制器移动授权的UML模型与验证
| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第一章 绪论 | 第11-15页 |
| ·研究背景与意义 | 第11-12页 |
| ·国内外研究与应用现状 | 第12-13页 |
| ·形式化方法应用现状 | 第12-13页 |
| ·ZC系统开发现状 | 第13页 |
| ·论文主要研究内容 | 第13-15页 |
| 第二章 区域控制器的建模方法 | 第15-22页 |
| ·区域控制器模型建立的必要性 | 第15-16页 |
| ·ZC建模与形式化方法 | 第16-17页 |
| ·统一建模语言 | 第17-21页 |
| ·UML建模机制 | 第17-20页 |
| ·ZC的UML模型代码化 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 区域控制器及其子系统设计 | 第22-35页 |
| ·区域控制器系统构成 | 第22-26页 |
| ·区域控制器结构分析 | 第22-23页 |
| ·区域控制器主要功能 | 第23-24页 |
| ·区域控制器子系统及相互关系 | 第24-26页 |
| ·移动授权数据准备 | 第26-29页 |
| ·移动授权的定义及作用 | 第26-27页 |
| ·移动授权的组成 | 第27-28页 |
| ·数据结构存储的设计 | 第28-29页 |
| ·不同场景移动授权计算 | 第29-34页 |
| ·列车运营场景 | 第29-30页 |
| ·列车追踪场景下的移动授权 | 第30页 |
| ·ZC切换场景下的移动授权 | 第30-31页 |
| ·列车无人折返的移动授权 | 第31-33页 |
| ·系统失效情况的移动授权处理 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第四章 基于UML的移动授权生成建模 | 第35-51页 |
| ·区域控制器MA功能的UML模型 | 第35-40页 |
| ·ZC系统用例图 | 第35-37页 |
| ·ZC的MA计算功能类图 | 第37-38页 |
| ·MA生成顺序图 | 第38-39页 |
| ·MA计算功能活动图 | 第39-40页 |
| ·主要运营场景分析及授权生成模型 | 第40-47页 |
| ·列车追踪顺序图 | 第40-42页 |
| ·折返活动图 | 第42-43页 |
| ·ZC切换状态图 | 第43-45页 |
| ·系统失效场景 | 第45-47页 |
| ·模型代码化设计 | 第47-50页 |
| ·类图转化规范设计 | 第47-48页 |
| ·顺序图转化规范设计 | 第48-49页 |
| ·活动图转化规范设计 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 第五章 基于MA生成模型的功能验证 | 第51-61页 |
| ·MA生成验证系统总体设计 | 第51页 |
| ·仿真验证数据结构设计 | 第51-53页 |
| ·MA生成场景设计 | 第53-55页 |
| ·模型验证结果 | 第55-60页 |
| ·仿真界面分析 | 第55-56页 |
| ·仿真场景分析 | 第56-60页 |
| ·本章小结 | 第60-61页 |
| 论文结论与展望 | 第61-63页 |
| 致谢 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 攻读硕士学位期间发表论文 | 第67页 |
