包邮高速列车智能驾驶及其安全分析技术

1 概述  1.1 研究背景与意义  1.2 国内外研究现状  1.3 研究内容和篇章结构 2 基于SysML的列控系统形式化建模方法  2.1 系统建模语言SysML  2.2 面向需求的概要文件设计  2.3 面向混成行为的概要文件设计  2.4 CTCS-3级列控系统规范建模 3 基于PSL的列控系统需求规范形式化建模与验证  3.1 系统形式化需求的定性分析方法  3.2 “RBC切换”场景规范的建模与分析  3.3 模式转换规范的建模与分析 4 基于混成自动机模型的系统安全分析方法  4.1 混成自动机概述  4.2 基于混成自动机模型的不确定控制参数分析方法  4.3 基于混成自动机模型的列车运行状态在线监控算法  4.4 案例分析 5 基于概率混成自动机模型的列车运行安全监控方法  5.1 概率混成自动机及自动机之间的复合规则  5.2 列车运行状态的安全监控框架  5.3 案例分析 6 基于参数Markov模型的系统可靠性在线评估方法  6.1 动态故障树建模方法  6.2 基于动态故障树的可靠性及安全性在线评估方法  6.3 案例分析 7 基于稀疏LSSVM及集成回归树的智能驾驶方法  7.1 智能驾驶算法的框架及评价指标  7.2 单列车智能驾驶算法  7.3 案例分析 8 基于HA及集成分类回归树算法的多列车安全智能驾驶方法  8.1 多列车的安全智能驾驶策略  8.2 基于速度分级制动的列车追踪间隔控制  8.3 基于IPEM稀疏优化算法  8.4 案例分析