基于CPN的高速磁悬浮列车分区运行控制系统的层次化建模研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-14页 |
| ·高速磁悬浮列车技术现状 | 第10页 |
| ·分区运行控制系统 | 第10-11页 |
| ·CPN建模 | 第11页 |
| ·CPN Tools | 第11-12页 |
| ·有色Petri网在铁路系统中的应用 | 第12-13页 |
| ·本文的主要研究内容及意义 | 第13-14页 |
| 2 分区运行控制系统的结构 | 第14-22页 |
| ·分区运行控制系统的主要功能 | 第14-15页 |
| ·分区运行控制系统的结构 | 第15-20页 |
| ·分区控制计算机DCC | 第15-16页 |
| ·分区安全计算机DSC | 第16-17页 |
| ·分区道岔模块DSM | 第17-18页 |
| ·分区牵引切断DPS | 第18-20页 |
| ·小结 | 第20-22页 |
| 3 分区运行控制系统的建模 | 第22-122页 |
| ·运行控制系统的层次化建模 | 第22-23页 |
| ·DDC的CPN模型 | 第23-30页 |
| ·DCC的CPN模型 | 第30-97页 |
| ·控制列车操作 | 第30-86页 |
| ·控制动作 | 第30-65页 |
| 1. 列车车门的释放和锁闭 | 第30-44页 |
| 2. 向分区安全计算机设置和删除行车命令 | 第44-52页 |
| 3. 向牵引系统报告当前停车点 | 第52页 |
| 4. 控制列车的悬浮和着地 | 第52-58页 |
| 5. 向牵引系统传递必要参数 | 第58-65页 |
| 6. 向分区安全计算机删除和设置停车命令 | 第65页 |
| ·管理列车的运行状态 | 第65页 |
| ·对列车行车序列的控制 | 第65-86页 |
| ·控制牵引系统 | 第86-97页 |
| ·控制轨道 | 第97页 |
| ·诊断 | 第97页 |
| ·分区牵引切断的CPN建模 | 第97-103页 |
| ·分区安全计算机的CPN建模 | 第103-121页 |
| ·轨道防护 | 第103-112页 |
| ·列车管理 | 第112-121页 |
| ·小结 | 第121-122页 |
| 4. 一次运营过程中列车分区运行控制系统的建模 | 第122-154页 |
| ·列车运行准备的CPN建模 | 第122-137页 |
| 1. 系统运行准备的工作概述 | 第122-123页 |
| 2. 系统运行准备的信息交互和状态转移 | 第123-126页 |
| 3. 建模过程 | 第126-134页 |
| 1) 首层模型 | 第127-129页 |
| 2) 底层模型 | 第129-134页 |
| 4. 状态空间分析 | 第134-137页 |
| ·列车运行执行的CPN建模 | 第137-152页 |
| 1. 工作概述 | 第137-138页 |
| 2. 信息交互和状态转移 | 第138-142页 |
| 3. 建模过程 | 第142-149页 |
| 1) 首层模型 | 第143-144页 |
| 2) 底层模型 | 第144-149页 |
| 4. 状态空间分析 | 第149-152页 |
| ·小结 | 第152-154页 |
| 5. 结论与展望 | 第154-156页 |
| 参考文献 | 第156-158页 |
| 作者简历 | 第158-162页 |
| 学位论文数据集 | 第162页 |
