基于高可信无线通信的列车流形式化建模与仿真
| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 1 绪论 | 第11-23页 |
| 1.1 论文的研究背景及意义 | 第11-12页 |
| 1.2 基于无线通信的列车运行控制系统 | 第12-18页 |
| 1.2.1 列车运行控制系统构成与分类 | 第13-15页 |
| 1.2.2 CTCS列控系统 | 第15-18页 |
| 1.2.3 GSM-R铁路无线通信系统 | 第18页 |
| 1.3 国内外研究现状 | 第18-20页 |
| 1.4 论文的研究内容与结构 | 第20-22页 |
| 1.5 论文的主要创新性 | 第22-23页 |
| 2 形式化理论与交通系统建模 | 第23-32页 |
| 2.1 形式化理论 | 第23-25页 |
| 2.1.1 形式化概念 | 第23-24页 |
| 2.1.2 形式化分类 | 第24-25页 |
| 2.2 复杂系统建模理论 | 第25-28页 |
| 2.2.1 复杂系统 | 第25页 |
| 2.2.2 复杂适应系统理论 | 第25-28页 |
| 2.3 交通系统仿真 | 第28-31页 |
| 2.3.1 交通系统仿真基本概念 | 第28页 |
| 2.3.2 系统分类与系统模型 | 第28-29页 |
| 2.3.3 交通流理论 | 第29-31页 |
| 2.4 本章小结 | 第31-32页 |
| 3 基于SPN的高可信无线通信形式化建模与分析 | 第32-53页 |
| 3.1 Petri网形式化方法 | 第32-37页 |
| 3.1.1 Petri网的数学定义 | 第34-35页 |
| 3.1.2 Petri网建模事件类型 | 第35-37页 |
| 3.2 无线通信系统 | 第37-40页 |
| 3.2.1GSM-R描述 | 第37-38页 |
| 3.2.2 列车控制数据传输业务QoS指标 | 第38-40页 |
| 3.3 高可信无线通信SPN模型 | 第40-41页 |
| 3.4 通信机制SPN模型 | 第41-42页 |
| 3.5 通信故障恢复SPN模型 | 第42-46页 |
| 3.6 仿真分析 | 第46-52页 |
| 3.6.1 MOSEL编程语法 | 第48页 |
| 3.6.2 仿真分析 | 第48-52页 |
| 3.7 本章小结 | 第52-53页 |
| 4 基于新型膜计算的无线通信并行形式化建模 | 第53-68页 |
| 4.1 细胞膜的化学组成和结构 | 第53-57页 |
| 4.1.1 细胞膜组成结构 | 第53-55页 |
| 4.1.2 物质的跨膜运输 | 第55-57页 |
| 4.2 膜计算基本概念与基础知识 | 第57-59页 |
| 4.2.1 细胞膜计算方法 | 第57-58页 |
| 4.2.2 马尔科夫过程 | 第58-59页 |
| 4.3 一种基于生化反应速率的膜计算方法 | 第59-60页 |
| 4.4 新型膜计算方法在无线通信系统中的仿真应用 | 第60-63页 |
| 4.4.1 ETCS无线通信系统 | 第60-61页 |
| 4.4.2 ETCS无线通信系统膜计算模型建立 | 第61-63页 |
| 4.5 仿真分析 | 第63-67页 |
| 4.6 本章小结 | 第67-68页 |
| 5 高可信无线通信下平直线路列车交通流特性研究 | 第68-89页 |
| 5.1 多智能体及MAS基础理论 | 第68-70页 |
| 5.2 平直线路下列车追踪MAS交通流仿真 | 第70-78页 |
| 5.2.1 模型结构 | 第70-72页 |
| 5.2.2 列车追踪运行MAS形式化定义 | 第72-74页 |
| 5.2.3 数值仿真与模拟 | 第74-78页 |
| 5.3 基于快照系统的列车追踪交通流能耗分析 | 第78-88页 |
| 5.3.1 铁路能耗基本构成 | 第78页 |
| 5.3.2 单列车受力与能耗构成 | 第78-80页 |
| 5.3.3 快照系统概念及定义 | 第80-83页 |
| 5.3.4 模型建立 | 第83-87页 |
| 5.3.5 数值模拟与仿真分析 | 第87-88页 |
| 5.4 本章小结 | 第88-89页 |
| 6 线路弯道环境下列车交通流特性形式化建模 | 第89-107页 |
| 6.1 元胞自动机理论基础 | 第90-92页 |
| 6.2 弯道线路模型 | 第92页 |
| 6.3 线路弯道安全速度 | 第92-94页 |
| 6.4 模型建立 | 第94-99页 |
| 6.4.1 模型结构 | 第96-97页 |
| 6.4.2 演化规则 | 第97-99页 |
| 6.5 数值模拟与仿真分析 | 第99-106页 |
| 6.5.1 线路曲线半径对交通流的影响 | 第100-105页 |
| 6.5.2 线路曲线外轨超高对交通流的影响 | 第105-106页 |
| 6.5.3 线路弯道长度对交通流的影响 | 第106页 |
| 6.6 本章小结 | 第106-107页 |
| 结论与展望 | 第107-109页 |
| 致谢 | 第109-110页 |
| 参考文献 | 第110-118页 |
| 攻读学位期间的研究成果 | 第118-119页 |
