| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 目录 | 第7-10页 |
| Contents | 第10-13页 |
| 第一章 绪论 | 第13-18页 |
| 1.1 课题的背景及意义 | 第13-14页 |
| 1.2 课题研国内外动态 | 第14-15页 |
| 1.2.1 信息物理融合系统发展状况 | 第14页 |
| 1.2.2 列车控制系统发展状况 | 第14-15页 |
| 1.3 课题研究主要内容及组织形式 | 第15-18页 |
| 1.3.1 课题研究主要内容 | 第15-16页 |
| 1.3.2 课题研究组织形式 | 第16-18页 |
| 第二章 相关知识及技术 | 第18-26页 |
| 2.1 信息物理融合系统(CPS) | 第18-22页 |
| 2.1.1 CPS的结构 | 第18-20页 |
| 2.1.2 CPS的特性 | 第20-21页 |
| 2.1.3 CPS的技术支撑 | 第21-22页 |
| 2.1.4 CPS面临的挑战 | 第22页 |
| 2.2 基于通信的列车控制系统(CBTC) | 第22-25页 |
| 2.2.1 CBTC系统的体系结构 | 第23页 |
| 2.2.2 CBTC系统的主要功能 | 第23-24页 |
| 2.2.3 CBTC系统的基本特征及优点 | 第24-25页 |
| 2.3 本章小结 | 第25-26页 |
| 第三章 AADL建模语言 | 第26-36页 |
| 3.1 AADL概述 | 第26-27页 |
| 3.2 AADL语言元素 | 第27-31页 |
| 3.3 AADL特性 | 第31-32页 |
| 3.4 AADL建模过程 | 第32-33页 |
| 3.5 AADL工具集 | 第33-35页 |
| 3.5.1 OSATE工具 | 第33-34页 |
| 3.5.2 其他常见工具 | 第34-35页 |
| 3.6 本章小结 | 第35-36页 |
| 第四章 基于铁路信息物理融合系统的AADL扩展 | 第36-44页 |
| 4.1 AADL对物理世界建模的扩展 | 第36-38页 |
| 4.1.1 Modelica语言 | 第36-37页 |
| 4.1.2 AADL关于Modelica的扩展方法 | 第37-38页 |
| 4.2 AADL对空间方面建模的扩展 | 第38-41页 |
| 4.2.1 元胞自动机和一维NS模型 | 第38-39页 |
| 4.2.2 AADL关于元胞自动机模型的扩展 | 第39-41页 |
| 4.3 AADL对动态连续性建模的扩展 | 第41-43页 |
| 4.4 本章小结 | 第43-44页 |
| 第五章 铁路信息物理融合系统的分析与建模 | 第44-77页 |
| 5.1 CBTC系统概述 | 第44-45页 |
| 5.2 CBTC系统碰撞分析 | 第45-49页 |
| 5.2.1 简单的铁路线 | 第45-46页 |
| 5.2.2 列车的碰撞分析 | 第46-48页 |
| 5.2.3 安全性需求与功能性需求 | 第48-49页 |
| 5.3 移动授权的分析与计算 | 第49-53页 |
| 5.3.1 移动授权概述 | 第49-50页 |
| 5.3.2 移动授权的生成过程 | 第50-51页 |
| 5.3.3 移动授权的计算 | 第51-53页 |
| 5.4 CBTC系统的分析与建模 | 第53-75页 |
| 5.4.1 CBTC系统的整体分析与建模 | 第53-56页 |
| 5.4.2 ATS子系统的分析与建模 | 第56-59页 |
| 5.4.3 区域控制子系统的分析与建模 | 第59-61页 |
| 5.4.4 车载子系统的分析与建模 | 第61-64页 |
| 5.4.5 数据通信子系统的分析与建模 | 第64-65页 |
| 5.4.6 对列车运行的分析与建模 | 第65-68页 |
| 5.4.7 对空间方面的分析与建模 | 第68-70页 |
| 5.4.8 各子系统中端对端流的分析 | 第70-75页 |
| 5.5 本章小节 | 第75-77页 |
| 总结与展望 | 第77-79页 |
| 参考文献 | 第79-85页 |
| 攻读学位期间发表的论文 | 第85-87页 |
| 致谢 | 第87页 |