高速铁路列车控制系统可靠性关键问题研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-13页 |
| 符号对照表 | 第13-14页 |
| 缩略语对照表 | 第14-18页 |
| 第一章 绪论 | 第18-32页 |
| ·列车控制系统简介 | 第18-20页 |
| ·列车控制系统的发展 | 第20页 |
| ·高速铁路列车控制系统关键设备 | 第20-22页 |
| ·高速铁路列车控制系统的关键技术 | 第22-26页 |
| ·高速铁路列车控制系统可靠性意义 | 第26-29页 |
| ·论文的结构与写作安排 | 第29-32页 |
| 第二章 高速铁路列车控制系统可靠性体系 | 第32-48页 |
| ·列车控制系统可靠性研究内容 | 第32-39页 |
| ·高速铁路列车控制系统的事故致因机理 | 第32-33页 |
| ·高速铁路列车控制系统可靠性评估 | 第33-35页 |
| ·高速铁路列车控制系统可靠性测试 | 第35-37页 |
| ·基于场景的系统建模方法和系统建模类型 | 第37-39页 |
| ·列车控制系统可靠性关键问题研究 | 第39-47页 |
| ·分散式联锁系统可靠性建模方法 | 第39-42页 |
| ·列车测速定位系统可调度性研究 | 第42-44页 |
| ·车载安全计算机状态状态检测和故障诊断 | 第44-47页 |
| ·本章小结 | 第47-48页 |
| 第三章 分散式铁路联锁系统可靠性建模与验证 | 第48-64页 |
| ·分散式铁路联锁系统 | 第48-49页 |
| ·基于模型的可靠性验证和分析 | 第49-52页 |
| ·分散式铁路联锁系统状态图建模 | 第52-57页 |
| ·时间扩展的UML状态图 | 第52-54页 |
| ·分散式联锁系统建模 | 第54-57页 |
| ·分散式铁路联锁系统模型转换 | 第57-60页 |
| ·UML状态图转换为时间Petri网 | 第57-59页 |
| ·进路模型转换 | 第59-60页 |
| ·分散式铁路联锁系统模型分析与验证 | 第60-63页 |
| ·设备模型同步分析 | 第60-61页 |
| ·进路模型分析验证 | 第61-63页 |
| ·本章小结 | 第63-64页 |
| 第四章 时间触发的列车测速定位系统可调度性 | 第64-80页 |
| ·列车测速定位系统 | 第64-69页 |
| ·列车测速技术 | 第64-65页 |
| ·列车定位技术 | 第65-67页 |
| ·数据融合的列车测速定位系统 | 第67-69页 |
| ·测速定位系统可调度性与建模分析 | 第69-71页 |
| ·多任务实时系统调度 | 第69-70页 |
| ·基于论证的可靠性分析 | 第70-71页 |
| ·基于时间触发机制的多任务调度模型 | 第71-74页 |
| ·实时周期任务模型 | 第72页 |
| ·软实时非周期任务模型 | 第72-73页 |
| ·超时检测模型 | 第73-74页 |
| ·基于时间触发机制的多任务可调度性分析 | 第74-77页 |
| ·实时周期任务模型可调度性 | 第74页 |
| ·软实时非周期任务模型可调度性 | 第74-76页 |
| ·超时检测模型可调度性 | 第76-77页 |
| ·测速定位系统可调度性验证 | 第77-79页 |
| ·本章小结 | 第79-80页 |
| 第五章 车载安全计算机状态监测与故障诊断 | 第80-96页 |
| ·车载安全计算机 | 第80-81页 |
| ·车载安全计算机仿真设计 | 第81-83页 |
| ·仿真安全计算机的硬件结构设计 | 第81页 |
| ·仿真安全计算机的软件设计 | 第81-83页 |
| ·车载安全计算机状态监测 | 第83-88页 |
| ·状态检测系统和数据提取 | 第83-85页 |
| ·状态监测数据处理和训练 | 第85-87页 |
| ·检测结果分析与系统的健康评估 | 第87-88页 |
| ·车载安全计算机故障诊断 | 第88-95页 |
| ·故障模拟和数据提取 | 第88-91页 |
| ·故障诊断数据的预处理和训练 | 第91-93页 |
| ·系统的故障诊断结果分析 | 第93-95页 |
| ·本章小结 | 第95-96页 |
| 第六章 结论和展望 | 第96-100页 |
| ·研究结论 | 第96-97页 |
| ·研究展望 | 第97-100页 |
| 参考文献 | 第100-112页 |
| 致谢 | 第112-114页 |
| 作者简介 | 第114-117页 |
