城轨CBTC系统数据的安全处理与验证方法研究
| 致谢 | 第1-5页 |
| 摘要 | 第5-7页 |
| ABSTRACT | 第7-9页 |
| 目录 | 第9-11页 |
| 术语表 | 第11-12页 |
| 1 引言 | 第12-24页 |
| ·研究背景及意义 | 第12-20页 |
| ·列控系统技术发展特点分析 | 第12-14页 |
| ·CBTC系统数据组成 | 第14-16页 |
| ·基于数据驱动的CBTC系统模型 | 第16页 |
| ·CBTC系统中数据作用及特点分析 | 第16-20页 |
| ·列控系统数据安全研究现状综述 | 第20-22页 |
| ·主要研究内容和篇章结构 | 第22-24页 |
| 2 数据处理和验证方法综述 | 第24-30页 |
| ·数据处理方法 | 第24-26页 |
| ·静态数据处理方法 | 第24-26页 |
| ·动态数据处理方法 | 第26页 |
| ·数据验证方法 | 第26-29页 |
| ·静态数据验证方法 | 第27页 |
| ·动态数据验证方法 | 第27-29页 |
| ·本章小结 | 第29-30页 |
| 3 基于SAT的静态数据安全处理方法 | 第30-52页 |
| ·CBTC系统静态数据特点 | 第30-34页 |
| ·CBTC系统静态数据分析 | 第34-39页 |
| ·基于有向图的线路描述方法研究 | 第34-36页 |
| ·基于UML的轨旁设备和区段数据描述方法 | 第36-39页 |
| ·基于SAT的数据安全处理及实例分析 | 第39-42页 |
| ·基于有约束条件的线路拓扑搜索算法及实例分析 | 第42-50页 |
| ·本章小结 | 第50-52页 |
| 4 基于LTL的动态数据安全处理方法 | 第52-66页 |
| ·CBTC系统动态数据特点 | 第52-54页 |
| ·CBTC系统列车追踪运行模型 | 第54-55页 |
| ·动态数据分析 | 第55-66页 |
| ·列车安全位置数据处理 | 第56-58页 |
| ·基于LTL的移动授权数据处理 | 第58-66页 |
| 5 基于形式化模型的数据安全验证方法 | 第66-100页 |
| ·基于CSP模型的静态数据安全验证方法 | 第66-79页 |
| ·静态数据验证方法 | 第66-71页 |
| ·静态数据模型转换规则 | 第71-77页 |
| ·静态数据模型转换实例 | 第77-79页 |
| ·基于TA模型的动态数据验证方法 | 第79-97页 |
| ·动态数据验证方法 | 第79-89页 |
| ·动态数据模型转换规则 | 第89-94页 |
| ·动态数据模型转换实例 | 第94-97页 |
| ·本章小结 | 第97-100页 |
| 6 基于形式化模型的数据安全验证实例分析 | 第100-110页 |
| ·线路基本情况 | 第100-101页 |
| ·静态数据验证实例分析 | 第101-105页 |
| ·动态数据验证实例分析 | 第105-109页 |
| ·本章小结 | 第109-110页 |
| 7 结论与展望 | 第110-114页 |
| ·研究成果 | 第110页 |
| ·论文创新点 | 第110-111页 |
| ·展望 | 第111-114页 |
| 参考文献 | 第114-120页 |
| 图索引 | 第120-124页 |
| 表索引 | 第124-126页 |
| 作者简历及攻读博士学位期间取得的研究成果 | 第126-130页 |
| 学位论文数据集 | 第130页 |
