基于有色Petri网的CBTC车载设备应用软件的建模与分析
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-22页 |
| ·选题的目的和意义 | 第10-11页 |
| ·基于通信的列车控制(CBTC)系统的技术概况 | 第11-16页 |
| ·CBTC系统的原理及特点 | 第11-13页 |
| ·CBTC系统的关键技术 | 第13-15页 |
| ·CBTC在城市轨道交通中的应用 | 第15-16页 |
| ·形式化的建模语言CPN | 第16-20页 |
| ·有色Petri网(CPN) | 第17页 |
| ·Petri网在铁路系统建模中的应用 | 第17-20页 |
| ·论文的研究内容以及组织结构 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 2 VOBC设备应用软件设计 | 第22-35页 |
| ·VOBC设备应用软件设计的框架 | 第22-25页 |
| ·车载设备结构 | 第22-23页 |
| ·基于安全计算机平台的应用软件设计 | 第23-24页 |
| ·VOBC设备应用软件设计的框架 | 第24-25页 |
| ·VOBC设备应用软件的需求分析 | 第25-30页 |
| ·VOBC设备的安全性要求 | 第25-26页 |
| ·VOBC设备应用软件的功能需求 | 第26-30页 |
| ·VOBC设备应用软件设计 | 第30-34页 |
| ·结构化的设计方法 | 第30-31页 |
| ·结构化的功能划分 | 第31-33页 |
| ·结构化的子模块设计 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 3 基于CPN的VOBC设备应用软件的建模 | 第35-53页 |
| ·VOBC设备应用软件的层次化建模方法 | 第35-37页 |
| ·建模工具CPN Tools | 第35-36页 |
| ·分层 CPN | 第36-37页 |
| ·层次化的建模方法 | 第37页 |
| ·VOBC设备应用软件的顶层模型 | 第37-39页 |
| ·VOBC设备应用软件的子功能模型 | 第39-52页 |
| ·基本防护功能模型 | 第39-44页 |
| ·进入CBTC区域功能模型 | 第44-46页 |
| ·延伸MA和退出CBTC区域功能模型 | 第46页 |
| ·ZC切换功能模型 | 第46-48页 |
| ·折返操作模型 | 第48-49页 |
| ·模式转换功能模型 | 第49-52页 |
| ·本章小结 | 第52-53页 |
| 4 基于CPN的VOBC设备应用软件的验证与分析 | 第53-70页 |
| ·CPN的动态分析方法 | 第53-55页 |
| ·CPN的动态属性 | 第53-54页 |
| ·状态空间分析 | 第54页 |
| ·仿真分析 | 第54-55页 |
| ·模式转换的状态空间分析 | 第55-64页 |
| ·模型的状态空间构造 | 第55-58页 |
| ·基于状态空间问询的功能验证 | 第58-60页 |
| ·模型的性质验证 | 第60-64页 |
| ·状态空间分析小结 | 第64页 |
| ·折返过程的仿真性能分析 | 第64-69页 |
| ·信道质量对折返过程的影响分析 | 第65-67页 |
| ·折返过程完成的概率分析 | 第67-69页 |
| ·性能分析小结 | 第69页 |
| ·本章小结 | 第69-70页 |
| 5 研究工作总结与展望 | 第70-72页 |
| 参考文献 | 第72-74页 |
| 图索引 | 第74-76页 |
| 表索引 | 第76-77页 |
| 作者简历 | 第77-79页 |
| 学位论文数据集 | 第79页 |
