基于SPN的RBC行车许可数据完备性建模和分析
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-17页 |
| ·论文研究的目的和意义 | 第10页 |
| ·CTCS-3级列控系统概述 | 第10-13页 |
| ·列控数据完备性 | 第13-14页 |
| ·国内外研究现状 | 第14-15页 |
| ·国外研究现状 | 第14-15页 |
| ·国内研究现状 | 第15页 |
| ·论文结构及所做工作 | 第15-17页 |
| 2 随机Petri网模型理论及建模工具 | 第17-27页 |
| ·随机过程和马尔科夫链 | 第17-18页 |
| ·Petri网介绍 | 第18-20页 |
| ·随机Petri网定义 | 第20-21页 |
| ·随机Petri网性质 | 第21-23页 |
| ·基于SPN模型研究列控数据完备性的方法 | 第23页 |
| ·模型完成的成功率分析 | 第23页 |
| ·利用延时分析列控数据时效性 | 第23页 |
| ·建模验证工具TimeNET4.0 | 第23-26页 |
| ·TimeNET4.0介绍 | 第23-24页 |
| ·TimeNET4.0使用方法 | 第24-26页 |
| ·本章小结 | 第26-27页 |
| 3 基于SPN的行车许可数据完备性建模 | 第27-49页 |
| ·行车许可(MA)总体模型概述 | 第27-31页 |
| ·行车许可(MA)相关定义介绍 | 第27页 |
| ·行车许可(MA)功能介绍 | 第27-28页 |
| ·行车许可(MA)流程介绍 | 第28-29页 |
| ·基于SPN的行车许可(MA)模型概述 | 第29-31页 |
| ·MA数据准备模块模型 | 第31-37页 |
| ·底层通信模型 | 第31-33页 |
| ·TrainPath建立模型 | 第33-35页 |
| ·列车信息获取模型 | 第35-36页 |
| ·线路信息获取模型 | 第36-37页 |
| ·MA计算模块模型 | 第37-46页 |
| ·MA计算底层模型 | 第37-39页 |
| ·引导模式下的MA计算模型 | 第39-40页 |
| ·RBC交接场景下的MA计算模型 | 第40-42页 |
| ·等级转换场景下MA计算模型 | 第42-43页 |
| ·临时限速场景下MA计算模型 | 第43-45页 |
| ·自动过分相信息模型 | 第45-46页 |
| ·MA发送模块模型 | 第46-48页 |
| ·本章小结 | 第48-49页 |
| 4 行车许可数据完备性模型分析 | 第49-67页 |
| ·MA数据准备模块模型完备性分析 | 第49-56页 |
| ·底层通信模型 | 第49-50页 |
| ·TrainPath建立模型 | 第50-52页 |
| ·列车信息获取模型 | 第52-54页 |
| ·线路信息获取模型 | 第54-56页 |
| ·MA计算模块模型完备性分析 | 第56-64页 |
| ·引导模型下MA计算模型 | 第56-58页 |
| ·RBC交接场景下MA计算模型 | 第58-59页 |
| ·等级转换场景下MA计算模型 | 第59-61页 |
| ·临时限速场景下MA计算模型 | 第61-62页 |
| ·自动过分相信息模型 | 第62-64页 |
| ·MA发送模块模型完备性分析 | 第64-66页 |
| ·本章小结 | 第66-67页 |
| 5 结论和展望 | 第67-68页 |
| 参考文献 | 第68-71页 |
| 图索引 | 第71-73页 |
| 表索引 | 第73-74页 |
| 作者简历 | 第74-76页 |
| 学位论文数据集 | 第76页 |
