| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 绪论 | 第11-19页 |
| ·国内外列控系统概况 | 第11-14页 |
| ·国外列控系统概况 | 第11-13页 |
| ·国内列控系统概况 | 第13-14页 |
| ·TCR测试系统研究现状 | 第14-17页 |
| ·机车信号系统概述 | 第14-15页 |
| ·机车信号及TCR测试系统简介 | 第15-17页 |
| ·本课题研究背景和意义 | 第17-18页 |
| ·论文主要工作 | 第18-19页 |
| 2 时间自动机理论简介及机车信号相关信息说明简述 | 第19-30页 |
| ·形式化方法 | 第19-20页 |
| ·形式化方法简介及其优点 | 第19页 |
| ·利用形式化方法开发软件的过程 | 第19-20页 |
| ·时间自动机理论 | 第20-22页 |
| ·时间自动机理论概述 | 第20-21页 |
| ·选用时间自动机的原因 | 第21-22页 |
| ·模型建立及验证工具UPPAAL介绍 | 第22-24页 |
| ·UPPAAL简介 | 第22页 |
| ·UPPAAL内部结构 | 第22-23页 |
| ·UPPAAL理论模型以及基本概念 | 第23-24页 |
| ·UPPAAL验证语法BNF(Backus-Naur Form)简介 | 第24页 |
| ·机车信号信息说明及典型使用 | 第24-29页 |
| ·机车信号信息定义 | 第25-26页 |
| ·机车信号低频信息分配 | 第26-27页 |
| ·机车信号信息典型使用 | 第27-29页 |
| ·本章小结 | 第29-30页 |
| 3 TCR测试流程分析与设计 | 第30-49页 |
| ·提取TCR技术指标 | 第30-34页 |
| ·功能指标分析 | 第30-33页 |
| ·性能指标分析 | 第33-34页 |
| ·TCR测试系统需求分析 | 第34-36页 |
| ·TCR测试平台 | 第34-35页 |
| ·TCR测试序列生成的需求研究 | 第35-36页 |
| ·TCR测试流程分析设计 | 第36-48页 |
| ·设备上电通信接口测试流程 | 第37-40页 |
| ·载频自动切换流程 | 第40-43页 |
| ·应变时间测试流程 | 第43-44页 |
| ·制式、绝缘节应变时间测试流程 | 第44-47页 |
| ·灵敏度测试流程 | 第47-48页 |
| ·本章小结 | 第48-49页 |
| 4 基于时间自动机的TCR测试流程建模与验证 | 第49-70页 |
| ·基于时间自动机理论的建模及验证方法概述 | 第49-50页 |
| ·设备上电通信接口测试模型 | 第50-55页 |
| ·通信测试流程建模 | 第50-54页 |
| ·通信测试模型验证与分析 | 第54-55页 |
| ·载频自动切换测试模型 | 第55-60页 |
| ·载频自动切换流程建模 | 第55-59页 |
| ·载频自动切换模型验证与分析 | 第59-60页 |
| ·低频应变时间测试模型 | 第60-64页 |
| ·低频应变时间测试流程建模 | 第60-64页 |
| ·低频应变时间模型验证与分析 | 第64页 |
| ·绝缘节应变时间与制式转换时间测试模型 | 第64-69页 |
| ·绝缘节/制式应变时间测试流程建模 | 第64-68页 |
| ·绝缘节/制式应变时间模型验证与分析 | 第68-69页 |
| ·本章小结 | 第69-70页 |
| 5 TCR测试模型仿真及测试序列的生成 | 第70-85页 |
| ·TCR测试模型的仿真 | 第70-78页 |
| ·设备上电通信接口测试模型仿真 | 第70-73页 |
| ·载频自动切换模型仿真 | 第73-75页 |
| ·低频应变时间测试模型仿真 | 第75-76页 |
| ·绝缘节应变时间与制式转换时间测试模型仿真 | 第76-78页 |
| ·TCR测试系统测试序列的生成 | 第78-82页 |
| ·测试序列的必要性 | 第78页 |
| ·测试序列的设计 | 第78-79页 |
| ·测试序列的生成 | 第79-81页 |
| ·测试序列的生成界面 | 第81-82页 |
| ·XML格式进行测试序列的存储、注入 | 第82-84页 |
| ·本章小结 | 第84-85页 |
| 6 结论与展望 | 第85-87页 |
| ·结论 | 第85页 |
| ·展望 | 第85-87页 |
| 参考文献 | 第87-89页 |
| 图索引 | 第89-91页 |
| 表索引 | 第91-92页 |
| 作者简历 | 第92-94页 |
| 学位论文数据集 | 第94页 |