原文传递
列控系统临时限速形式化分析及故障诊断方法研究
| 论文题名： | 列控系统临时限速形式化分析及故障诊断方法研究 |
| 关键词： | 列控系统;限速;形式化分析;故障诊断 |
| 作者： | 宋莉 |
| 专业： | 交通运输工程 |
| 导师： | 刘伯鸿;旷文珍 |
| 授予学位： | 硕士 |
| 授予学位单位： | 兰州交通大学 |
| 学位年度： | 2020 |
| 正文语种： | 中文 |
检索历史
应用推荐
| 论文题名： | 列控系统临时限速形式化分析及故障诊断方法研究 |
| 关键词： | 列控系统;限速;形式化分析;故障诊断 |
| 作者： | 宋莉 |
| 专业： | 交通运输工程 |
| 导师： | 刘伯鸿;旷文珍 |
| 授予学位： | 硕士 |
| 授予学位单位： | 兰州交通大学 |
| 学位年度： | 2020 |
| 正文语种： | 中文 |