基于规则的CBTC系统数据分析与验证的研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-9页 |
| 目录 | 第9-11页 |
| 1 引言 | 第11-18页 |
| ·研究背景及意义 | 第11-12页 |
| ·CBTC系统介绍 | 第12-14页 |
| ·数据验证研究现状 | 第14-15页 |
| ·国内外数据验证研究现状 | 第14-15页 |
| ·轨道交通领域数据验证研究现状 | 第15页 |
| ·研究框架与内容 | 第15-17页 |
| ·研究框架 | 第16页 |
| ·研究内容 | 第16-17页 |
| ·论文组织结构 | 第17-18页 |
| 2 CBTC数据概述 | 第18-34页 |
| ·数据分析 | 第18-26页 |
| ·数据开发周期 | 第18-20页 |
| ·数据需求分析 | 第20-23页 |
| ·数据组织方式 | 第23-25页 |
| ·数据特征 | 第25-26页 |
| ·数据规则 | 第26-33页 |
| ·数据规则的提出 | 第26-27页 |
| ·数据规则的表现形式 | 第27-33页 |
| ·小结 | 第33-34页 |
| 3 数据验证的方法 | 第34-52页 |
| ·时间自动机理论 | 第34-36页 |
| ·模型验证工具UPPAAL | 第36-39页 |
| ·UPPAAL的系统结构 | 第36-38页 |
| ·UPPAAL的理论模型 | 第38-39页 |
| ·验证方法 | 第39-50页 |
| ·流程设计 | 第40-41页 |
| ·属性域值模型 | 第41-43页 |
| ·关联关系模型 | 第43-45页 |
| ·拓扑关系模型 | 第45-50页 |
| ·小结 | 第50-52页 |
| 4 数据验证的应用研究 | 第52-69页 |
| ·应用场景 | 第52-53页 |
| ·构建验证网络 | 第53-54页 |
| ·基础数据验证 | 第54-60页 |
| ·查询函数数据验证 | 第60-68页 |
| ·列车位置初始化验证与分析 | 第61-64页 |
| ·静态限速查询验证与分析 | 第64-68页 |
| ·小结 | 第68-69页 |
| 5 结论与展望 | 第69-71页 |
| ·结论 | 第69页 |
| ·展望 | 第69-71页 |
| 参考文献 | 第71-73页 |
| 图索引 | 第73-75页 |
| 表索引 | 第75-76页 |
| 作者简历 | 第76-78页 |
| 学位论文数据集 | 第78页 |
