基于资源自主调配的联锁子系统在车车通信系统中的应用
| 致谢 | 第5-6页 |
| 摘要 | 第6-8页 |
| ABSTRACT | 第8-9页 |
| 1 引言 | 第13-27页 |
| 1.1 选题背景及意义 | 第13-14页 |
| 1.1.1 课题的研究背景 | 第13页 |
| 1.1.2 本文的研究意义 | 第13-14页 |
| 1.2 国内外研究现状 | 第14-18页 |
| 1.3 CBTC系统概况 | 第18-20页 |
| 1.3.1 CBTC系统特征、组成和基本功能 | 第18-20页 |
| 1.3.2 CBTC系统存在的主要问题 | 第20页 |
| 1.4 车车通信系统 | 第20-26页 |
| 1.4.1 系统概述 | 第20-21页 |
| 1.4.2 车车通信系统的组成和功能 | 第21-23页 |
| 1.4.3 车车通信系统关键技术 | 第23-26页 |
| 1.5 论文研究内容和组织结构 | 第26-27页 |
| 2 形式化建模方法及时间自动机理论 | 第27-32页 |
| 2.1 线路资源管理子系统建模方法分析 | 第27-28页 |
| 2.2 时间自动机理论 | 第28-29页 |
| 2.2.1 时间自动机定义 | 第28页 |
| 2.2.2 时间自动机的积 | 第28-29页 |
| 2.3 建模与验证工具UPPAAL | 第29-31页 |
| 2.4 本章小结 | 第31-32页 |
| 3 线路资源管理子系统的设计 | 第32-53页 |
| 3.1 从进路控制到资源管理 | 第32-34页 |
| 3.1.1 传统进路机制的革新 | 第32-33页 |
| 3.1.2 线路资源分级 | 第33-34页 |
| 3.2 系统架构和功能分配 | 第34-40页 |
| 3.2.1 车载路径锁定模块 | 第35-37页 |
| 3.2.2 对象控制器 | 第37-38页 |
| 3.2.3 中心线路资源管理模块 | 第38-40页 |
| 3.3 线路资源管理软件设计与实现 | 第40-52页 |
| 3.3.1 软件设计开发的框架 | 第40-41页 |
| 3.3.2 软件需求分析 | 第41-44页 |
| 3.3.3 软件模块化设计与控制流程分析 | 第44-49页 |
| 3.3.4 软件接口与数据定义 | 第49-52页 |
| 3.4 本章小结 | 第52-53页 |
| 4 线路资源管理子系统场景建模与验证 | 第53-78页 |
| 4.1 线路资源管理子系统场景与VV&A原则 | 第53-54页 |
| 4.2 典型场景分析与描述 | 第54-59页 |
| 4.2.1 道岔资源控制与释放正常场景 | 第54-57页 |
| 4.2.2 道岔资源控制与释放异常场景 | 第57-59页 |
| 4.3 建立典型场景系统行为自动机模型 | 第59-68页 |
| 4.3.1 建模过程描述 | 第59-61页 |
| 4.3.2 自动机网络模型 | 第61-68页 |
| 4.4 基于VV&A的系统模型验证 | 第68-74页 |
| 4.4.1 模型与运营场景一致性分析 | 第68-69页 |
| 4.4.2 模型仿真验证 | 第69-74页 |
| 4.5 优化的资源配置方案建模与求解 | 第74-77页 |
| 4.5.1 资源竞争场景描述 | 第74-75页 |
| 4.5.2 动态规划模型 | 第75-76页 |
| 4.5.3 仿真求解 | 第76-77页 |
| 4.6 本章小结 | 第77-78页 |
| 5 工作总结和展望 | 第78-80页 |
| 5.1 本文主要工作总结 | 第78-79页 |
| 5.2 展望 | 第79-80页 |
| 参考文献 | 第80-83页 |
| 附录A | 第83-84页 |
| 图索引 | 第84-86页 |
| 表索引 | 第86-87页 |
| 作者简历及攻读硕士学位期间取得的研究成果 | 第87-89页 |
| 学位论文数据集 | 第89页 |
