| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-15页 |
| ·课题的研究背景与意义 | 第11-13页 |
| ·微机子监测系统的现状及发展趋势 | 第13页 |
| ·论文研究目标及主要研究内容 | 第13-15页 |
| ·研究目标 | 第13-14页 |
| ·主要研究内容 | 第14-15页 |
| 第2章 ZPW-2000A微机监测子系统概述 | 第15-20页 |
| ·ZPW-2000A轨道电路概述 | 第15-17页 |
| ·微机监测子系统中需要监测的ZPW-2000A数据量信息 | 第17页 |
| ·微机监测子系统构成 | 第17-19页 |
| ·本章小结及论文的主要工作 | 第19-20页 |
| 第3章 微机监测子系统数据通信协议规范 | 第20-29页 |
| ·采集终端与采集处理机的通信协议 | 第20-23页 |
| ·CAN总线性能简介 | 第21页 |
| ·CAN数据帧格式定义 | 第21-23页 |
| ·采集终端的数据发送形式 | 第23页 |
| ·微机监测站机与采集处理机之间的通信协议分析 | 第23-28页 |
| ·电气及物理接口 | 第23-24页 |
| ·串口通讯的数据帧类型 | 第24页 |
| ·采集处理机向监测站机发送数据的数据帧格式 | 第24-26页 |
| ·采集处理机从监测站机接收数据的数据帧格式 | 第26-27页 |
| ·通信流程分析 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第4章 基于时间自动机的子系统通信流程建模 | 第29-47页 |
| ·使用形式化方法对通信流程建模的重要作用 | 第29-30页 |
| ·形式化方法概述 | 第29页 |
| ·形式化模型验证 | 第29-30页 |
| ·使用UPPAAL对通信流程建模的重要作用 | 第30页 |
| ·时间自动机及实时系统验证软件UPPAAL | 第30-35页 |
| ·时间自动机概述 | 第30-32页 |
| ·实时系统验证软件UPPAAL简介 | 第32页 |
| ·UPPAAL中系统模型的基本组成 | 第32-33页 |
| ·UPPAAL的模型验证功能简介 | 第33-35页 |
| ·微机监测子系统通信流程建模 | 第35-40页 |
| ·微机监测站机通信功能的建模 | 第36-38页 |
| ·采集处理机通信功能的建模 | 第38-40页 |
| ·通信模型的仿真及验证 | 第40-46页 |
| ·模型间通信流程的功能时序仿真 | 第41-44页 |
| ·通信模型功能的验证 | 第44-46页 |
| ·本章小结 | 第46-47页 |
| 第5章 采集处理机软件系统的设计与实现 | 第47-75页 |
| ·软件研发的背景及操作平台介绍 | 第47-48页 |
| ·采集处理机软件的功能需求分析 | 第48-50页 |
| ·接收采集终端数据需求分析 | 第48页 |
| ·与监测站机之间的数据通信需求分析 | 第48-49页 |
| ·电务维修辅助功能的需求分析 | 第49-50页 |
| ·程序设计的功能模块划分 | 第50-51页 |
| ·采集终端数据处理的设计与实现 | 第51-55页 |
| ·串口参数的读取及配置 | 第51-52页 |
| ·采集终端数据接收及处理 | 第52-55页 |
| ·与微机监测站机通讯功能的设计及实现 | 第55-62页 |
| ·指令接收与数据帧分析 | 第55-57页 |
| ·时间校正帧的接收与处理 | 第57-58页 |
| ·请求重发帧的接收与处理 | 第58-60页 |
| ·报警信息的范围及处理 | 第60-61页 |
| ·站内及区间轨道电路数据的发送 | 第61-62页 |
| ·电务维修辅助功能的设计与实现 | 第62-74页 |
| ·数据库查询功能的设计与实现 | 第63-66页 |
| ·系统通信状态的判定与实现 | 第66-69页 |
| ·数据统计分析功能的设计与实现 | 第69-72页 |
| ·实时数据动态显示功能设计与实现 | 第72-74页 |
| ·本章小结 | 第74-75页 |
| 结论 | 第75-77页 |
| 1.论文的主要工作及成果 | 第75页 |
| 2.研究展望 | 第75-77页 |
| 致谢 | 第77-78页 |
| 参考文献 | 第78-82页 |
| 攻读硕士学期间发表的学术论文及科学实践 | 第82页 |