基于SCADE的信息物理融合系统的分析和设计方法
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 第一章 绪论 | 第11-16页 |
| ·课题的背景及意义 | 第11-12页 |
| ·课题研究国内外动态 | 第12-14页 |
| ·信息物理融合系统的发展情况 | 第12-13页 |
| ·SCADE的发展过程 | 第13-14页 |
| ·课题的主要内容及组织形式 | 第14-16页 |
| ·课题研究的主要内容 | 第14页 |
| ·课题研究组织形式 | 第14-16页 |
| 第二章 相关知识介绍 | 第16-27页 |
| ·信息物理融合系统介绍 | 第16-18页 |
| ·CPS定义 | 第16页 |
| ·CPS的系统结构 | 第16-18页 |
| ·CPS的特性 | 第18页 |
| ·SCADE相关知识介绍 | 第18-26页 |
| ·反应式系统和同步假设 | 第19-21页 |
| ·SCADE的开发流程 | 第21-22页 |
| ·图形化建模机制 | 第22-24页 |
| ·SCADE仿真与验证 | 第24-26页 |
| ·SCADE的其他功能 | 第26页 |
| ·本章小结 | 第26-27页 |
| 第三章 CBTC系统分析 | 第27-41页 |
| ·CBTC系统介绍 | 第27-32页 |
| ·CBTC系统国内外研究进展 | 第27-28页 |
| ·CBTC系统的概述 | 第28-30页 |
| ·CBTC系统的优点 | 第30-31页 |
| ·CBTC系统是信息物理融合系统 | 第31-32页 |
| ·CBTC系统模块的分析 | 第32-39页 |
| ·CBTC系统总体分析 | 第33-34页 |
| ·区域控制器(ZC)的分析 | 第34-37页 |
| ·VOBC子系统的分析 | 第37-38页 |
| ·ATS子系统的分析 | 第38-39页 |
| ·CBI子系统和DCS子系统的分析 | 第39页 |
| ·本章小结 | 第39-41页 |
| 第四章 基于SCADE的CBTC系统模型设计 | 第41-56页 |
| ·MA计算功能建模 | 第41-46页 |
| ·单车运行情景 | 第41-43页 |
| ·多列车运行场景 | 第43页 |
| ·MA计算功能模型 | 第43-46页 |
| ·列车状态管理模型 | 第46-50页 |
| ·列车状态装换分析 | 第46-48页 |
| ·列车状态管理建模 | 第48-50页 |
| ·列车状态管理功能仿真 | 第50-54页 |
| ·列车状态管理安全性分析 | 第51页 |
| ·列车状态管理模型仿真 | 第51-54页 |
| ·SCADE开发CPS的优缺点总结 | 第54-56页 |
| 总结与展望 | 第56-58页 |
| 参考文献 | 第58-61页 |
| 攻读学位期间发表的论文 | 第61-63页 |
| 致谢 | 第63页 |
