高速磁浮运控系统运行场景的RSL建模与验证
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 绪论 | 第11-17页 |
| ·选题背景 | 第11页 |
| ·磁浮技术的发展 | 第11-13页 |
| ·高速磁浮运控系统形式化方法的应用研究 | 第13-15页 |
| ·选题意义 | 第15-16页 |
| ·论文主要研究内容及内容结构 | 第16-17页 |
| 2 RAISE语言及建模验证方法 | 第17-26页 |
| ·RAISE规范语言 | 第17-22页 |
| ·RSL基本概念 | 第17-20页 |
| ·RSL中的操作符 | 第20-22页 |
| ·RSL建模与验证方法 | 第22-23页 |
| ·RSL开发工具与推理规则 | 第23-25页 |
| ·本章小结 | 第25-26页 |
| 3 高速磁浮运控系统多分区追踪场景研究 | 第26-37页 |
| ·高速磁浮运行控制系统 | 第26-29页 |
| ·高速磁浮运行控制系统结构 | 第26-28页 |
| ·高速磁浮运行控制系统功能改进 | 第28-29页 |
| ·多分区追踪场景 | 第29-35页 |
| ·磁浮列车追踪过程一般描述 | 第29-30页 |
| ·磁浮列车追踪过程详细描述 | 第30-35页 |
| ·本章小结 | 第35-37页 |
| 4 多分区追踪场景的RSL建模与安全特性验证 | 第37-77页 |
| ·多分区追踪场景安全需求分析 | 第37页 |
| ·多分区追踪场景基本假设 | 第37-39页 |
| ·多分区追踪场景RSL建模过程 | 第39-67页 |
| ·类型模块Types | 第39-42页 |
| ·静态模块Statics | 第42-50页 |
| ·动态模块Dynamics | 第50-55页 |
| ·控制模块Controls | 第55-67页 |
| ·多分区追踪场景的安全特性验证 | 第67-76页 |
| ·安全需求RSL描述 | 第67-69页 |
| ·基于RSL的安全特性验证 | 第69-76页 |
| ·本章小结 | 第76-77页 |
| 5 总结与展望 | 第77-79页 |
| ·论文总结 | 第77页 |
| ·不足与展望 | 第77-79页 |
| 参考文献 | 第79-81页 |
| 图索引 | 第81-82页 |
| 表索引 | 第82-83页 |
| 作者简历 | 第83-85页 |
| 学位论文数据集 | 第85页 |
