声明
致谢
摘要
1.绪论
1.1 研究背景与意义
1.2 国内外研究综述
1.3 论文研究内容和组织结构
2.轨道交通信号系统分析
2.1 CBTC信号系统定义
2.2 CBTC子系统功能分析
2.3 测试与验证需求分析
3.仿真测试与验证的策略研究
3.1 需求同步管理
3.2 数据配置管理
3.3 自动测试策略
3.4 信息反馈策略
4.基于信息系统的仿真测试与验证技术研究
4.1 测试与验证工作流分析
4.2 仿真测试平台开发工作流分析
4.3 数据模型研究
4.3.1 输入输出参数模型
4.3.2 通信参数模型
4.3.3 轨道地图数据模型
4.4 逻辑模型研究
4.5 应用数据交互技术实现
5.基于图论的联锁验证技术
5.1 联锁系统及进路相关知识介绍
5.2 常见进路信息获取的方法
5.3 站场平面布置的模型化表示
5.3.1 基于组件的拓扑结构模型
5.3.2 组件数据结构设计
5.4 站场图拓扑结构简化
5.4.1 直股区段的简化
5.4.2 道岔区段的简化
5.5 基于图论的简单路径搜索算法
5.6 用于进路信息获取的算法优化
5.6.1 道岔连通性分析
5.6.2 优化的路径算法
5.6.3 进路信息的获取
5.6.4 算法效率分析
5.7 进路开放校验
5.7.1 冲突进路检测
5.7.2 道岔位置检测
6.其他关键技术研究
6.1 列车动力学仿真的设计
6.2 自动测试技术
6.2.1 测试脚本的设计
6.2.2 测试脚本的执行
7.仿真测试平台的设计与实现
7.1 平台的功能定义
7.2 平台架构设计
7.2.1 轨旁设备仿真架构
7.2.2 轨旁设备仿真输入输出参数
7.2.3 列车仿真架构
7.2.4 列车仿真输入输出参数
7.2.5 测试诊断模块架构
7.3 实现与应用
8.总结与展望
参考文献
作者简介