声明
致谢
摘要
1 引言
1.1 选题背景及意义
1.2 国内外研究现状
1.2.1 列控系统地面目标控制器国外研究现状
1.2.2 列控系统地面目标控制器国内研究现状
1.3 课题主要内容及章节安排
2 列控系统地面目标控制器功能要求与设计分析
2.1 列控系统地面目标控制器简介
2.2 列控系统地面目标控制器需求分析
2.2.1 地面目标控制器运营需求
2.2.2 地面目标控制器功能需求
2.2.3 地面目标控制器设计要求
2.3 地面目标控制器设计分析
2.3.1 道岔控制电路逻辑分析
2.3.2 道岔控制电路逻辑提取
2.3.3 信号机点灯电路逻辑分析
2.3.4 进站信号机点灯电路逻辑提取
2.4 基于Event-B的地面目标控制器控制过程建模
2.4.1 Event-B形式化建模和验证方法
2.4.2 地面目标控制器道岔控制模块Event-B建模与验证
2.4.3 地面目标控制器信号点灯模块Event-B建模与验证
2.5 本章小结
3 列控系统地面目标控制器硬件实现
3.1 列控系统地面目标控制器整体方案设计
3.2 地面目标控制器硬件结构
3.3 元器件选型
3.3.1 微处理器选型
3.3.2 主控开关选型
3.4 信号机主控回路设计
3.5 道岔动作电路设计
3.5.1 五线制道岔动作电路
3.5.2 四线制道岔动作电路
3.6 道岔表示电路设计
3.6.1 五线制道岔表示电路
3.6.2 四线制道岔表示电路
3.7 检测电路设计
3.7.1 电压检测电路
3.7.2 电流检测电路
3.7.3 防混线检测电路
3.8 通信电路设计
3.9 电源电路
3.10 地面目标控制器PCB
3.11 本章小结
4 列控系统地面目标控制器软件实现与功能测试
4.1 地面目标控制器软件功能需求分析
4.2 地面目标控制器软件流程设计
4.2.1 初始化子模块
4.2.2 调度子模块
4.2.3 通信子模块
4.2.4 信号机控制子模块
4.2.5 道岔驱动子模块
4.2.6 道岔表示检测子模块
4.3 地面目标控制器安全性设计分析
4.4 地面目标控制器功能测试
4.5 本章小结
5 地面目标控制器可靠性与安全性分析
5.1 地面目标控制器可靠性分析
5.1.1 可靠性框图
5.1.2 可靠性计算
5.1.3 可修复时间
5.2 地面目标控制器安全性
5.2.1 故障树分析
5.2.2 安全性计算
5.3 本章小结
结论
参考文献
图索引
表索引
作者简历及攻读硕士学位期间取得的研究成果
学位论文数据集