声明
致谢
1 引言
1.1研究背景和意义
1.2国内外研究现状
1.2.1高速铁路ATO系统研究现状
1.2.2列控系统测试分析方法研究现状
1.3论文主要工作与章节安排
2 一致性和互联互通性分析的关键技术
2.2系统形式化建模方法研究
2.2.2通信顺序进程CSP
2.3基于图论的故障诊断模型
2.4支持向量机理论
2.4.1线性可分数据下的超平面求解
2.4.2惩罚项与核函数
2.4.3超参数的贝叶斯寻优方法
2.5本章小结
3 高速铁路ATO 系统运行场景建模与验证
3.1.1UML 模型到CSP 模型的转换规则
3.1.2模型验证与规则提取
3.2高速铁路ATO系统框架与测试平台结构
3.2.1高速铁路ATO系统结构与功能
3.2.2高速铁路ATO系统运行场景划分
3.3区间跨TSRS运行场景建模与验证
3.3.1区间跨TSRS场景分析
3.3.2区间跨TSRS运行场景的UML模型
3.3.3区间跨TSRS运行场景的CSP模型
3.3.4区间跨TSRS运行场景模型验证与规则提取
3.4本章小结
4 高速铁路ATO 系统一致性分析
4.1.2高速铁路ATO系统一致性分析方法设计
4.2区间跨TSRS场景下的高铁ATO系统故障检测模型
4.2.2节点互测机制
4.2.3故障诊断模型
4.2.3诊断可行性分析
4.3高速铁路ATO系统故障诊断算法
4.3.2诊断规则
4.3.3诊断算法
4.3.4算法验证
4.3.5性能分析
4.4高速铁路ATO系统一致性分析
4.4.2一致性诊断分析
4.5本章小结
5 高速铁路ATO 系统互联互通特性分析
5.2站台门联动场景分析
5.3基于SVM分类器的高速铁路ATO系统互联互通特性分析
5.3.2数据预处理
5.3.3 SVM分类器模型训练与验证
5.3.4互联互通特性分析结论
5.4小结
6 结论与展望
6.2研究展望
参考文献
图索引
表索引
作者简历及攻读硕士学位期间取得的研究成果
独创性声明
学位论文数据集
北京交通大学;