基于UML的区域控制中心列车追踪建模研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 缩略语表 | 第7-10页 |
| 1 绪论 | 第10-14页 |
| ·选题的目的及意义 | 第10-11页 |
| ·国内外研究现状 | 第11-12页 |
| ·论文研究内容 | 第12-14页 |
| 2 研究背景 | 第14-23页 |
| ·CBTC 系统简介 | 第14-18页 |
| ·系统的基本结构 | 第14-15页 |
| ·系统的行车管理方式 | 第15-16页 |
| ·移动授权简介 | 第16-18页 |
| ·ZC 子系统概述 | 第18-21页 |
| ·系统功能需求 | 第18-20页 |
| ·与其他系统的信息交互 | 第20-21页 |
| ·UML 建模概述 | 第21-23页 |
| ·统一建模语言 UML 概述 | 第21-22页 |
| ·Rhapsody 开发环境简介 | 第22-23页 |
| 3 区域控制中心列车追踪的原理 | 第23-43页 |
| ·列车追踪概述 | 第23-24页 |
| ·区域控制中心列车追踪功能需求分析 | 第24-28页 |
| ·列车位置信息的处理 | 第24-25页 |
| ·区段状态的处理 | 第25-26页 |
| ·位置报告列车的筛选处理 | 第26-27页 |
| ·列车的追踪处理 | 第27-28页 |
| ·列车追踪功能具体实现 | 第28-43页 |
| ·数据结构设计 | 第28-29页 |
| ·总体设计思路 | 第29-30页 |
| ·列车筛选处理 | 第30-33页 |
| ·列车追踪处理 | 第33-41页 |
| ·追踪结果输出 | 第41-43页 |
| 4 列车追踪模型建立 | 第43-61页 |
| ·列车追踪模型 | 第43-50页 |
| ·用例图的建立 | 第43-45页 |
| ·类图的建立 | 第45-46页 |
| ·顺序图的建立 | 第46-48页 |
| ·活动图的建立 | 第48-50页 |
| ·列车追踪子功能模型 | 第50-61页 |
| ·列车筛选处理模型 | 第50-55页 |
| ·列车追踪处理模型 | 第55-61页 |
| 5 列车追踪模型验证 | 第61-71页 |
| ·常用验证方法 | 第61页 |
| ·Rhapsody 模型验证的原理 | 第61-62页 |
| ·列车追踪功能模型验证 | 第62-70页 |
| ·模型模拟验证 | 第62-69页 |
| ·模型自动验证概述 | 第69-70页 |
| ·列车追踪模型验证结果 | 第70-71页 |
| 6 研究工作总结与展望 | 第71-73页 |
| 参考文献 | 第73-75页 |
| 致谢 | 第75-76页 |
| 作者简历 | 第76-77页 |
| 详细摘要 | 第77-89页 |
