轨道交通信号系统仿真测试与验证技术研究与应用
| 致谢 | 第1-5页 |
| 摘要 | 第5-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-11页 |
| 1. 绪论 | 第11-16页 |
| ·研究背景与意义 | 第11-12页 |
| ·国内外研究综述 | 第12-14页 |
| ·论文研究内容和组织结构 | 第14-16页 |
| 2. 轨道交通信号系统分析 | 第16-23页 |
| ·CBTC信号系统定义 | 第16-17页 |
| ·CBTC子系统功能分析 | 第17-19页 |
| ·测试与验证需求分析 | 第19-23页 |
| 3. 仿真测试与验证的策略研究 | 第23-29页 |
| ·需求同步管理 | 第24-25页 |
| ·数据配置管理 | 第25页 |
| ·自动测试策略 | 第25-27页 |
| ·信息反馈策略 | 第27-29页 |
| 4. 基于信息系统的仿真测试与验证技术研究 | 第29-46页 |
| ·测试与验证工作流分析 | 第29-31页 |
| ·仿真测试平台开发工作流分析 | 第31-33页 |
| ·数据模型研究 | 第33-40页 |
| ·输入输出参数模型 | 第33-35页 |
| ·通信参数模型 | 第35-37页 |
| ·轨道地图数据模型 | 第37-40页 |
| ·逻辑模型研究 | 第40-42页 |
| ·应用数据交互技术实现 | 第42-46页 |
| 5. 基于图论的联锁验证技术 | 第46-67页 |
| ·联锁系统及进路相关知识介绍 | 第46-47页 |
| ·常见进路信息获取的方法 | 第47-48页 |
| ·站场平面布置的模型化表示 | 第48-51页 |
| ·基于组件的拓扑结构模型 | 第48-51页 |
| ·组件数据结构设计 | 第51页 |
| ·站场图拓扑结构简化 | 第51-53页 |
| ·直股区段的简化 | 第52页 |
| ·道岔区段的简化 | 第52-53页 |
| ·基于图论的简单路径搜索算法 | 第53-54页 |
| ·用于进路信息获取的算法优化 | 第54-62页 |
| ·道岔连通性分析 | 第55-56页 |
| ·优化的路径算法 | 第56-59页 |
| ·进路信息的获取 | 第59-61页 |
| ·算法效率分析 | 第61-62页 |
| ·进路开放校验 | 第62-67页 |
| ·中突进路检测 | 第63-65页 |
| ·道岔位置检测 | 第65-67页 |
| 6. 其他关键技术研究 | 第67-75页 |
| ·列车动力学仿真的设计 | 第67-69页 |
| ·自动测试技术 | 第69-75页 |
| ·测试脚本的设计 | 第71-72页 |
| ·测试脚本的执行 | 第72-75页 |
| 7. 仿真测试平台的设计与实现 | 第75-92页 |
| ·平台的功能定义 | 第75-76页 |
| ·平台架构设计 | 第76-85页 |
| ·轨旁设备仿真架构 | 第78-80页 |
| ·轨旁设备仿真输入输出参数 | 第80-81页 |
| ·列车仿真架构 | 第81-82页 |
| ·列车仿真输入输出参数 | 第82-83页 |
| ·测试诊断模块架构 | 第83-85页 |
| ·实现与应用 | 第85-92页 |
| 8. 总结与展望 | 第92-94页 |
| 参考文献 | 第94-100页 |
| 作者简介 | 第100-101页 |
