谈高速磁浮分区切换CPN建模

致谢5-6

中文摘要6-7

ABSTRACT7-10

1 绪论10-17

1.1 选题背景和作用10

1.2 高速磁浮列车运转制约系统概述10-13

1.2.1 分区制约系统结构和工作原理11-12

1.2.2 车载运转制约系统结构和工作原理12-13

1.3 轨道交通列车制约系统建模、仿真验证策略探讨13-15

1.3.1 轨道交通列车制约系统系统建模策略探讨14-15

1.3.2 磁浮分区切换CPN建模验证的目的和作用15

1.4 论文探讨内容和结构15-17

2 磁浮分区切换功能设计17-26

2.1 磁浮分区切换概述17-18

2.2 磁浮分区运转制约系统切换流程设计18-20

2.3 磁浮分区切换的功能模块划分和设计20-26

2.3.1 磁浮分区切换DSC功能模块设计20-22

2.3.2 磁浮分区切换时安全速度防护功能设计22-25

2.3.3 分区切换时停车点步进制约功能的设计25-26

2.4 本章小结26

3 磁浮分区切换的CPN建模26-57

3.1 petri网原理及建模工具介绍27-32

3.1.1 petri网原理27-28

3.1.2 Petri网性质28-29

3.1.3 有色Petri网原理29-31

3.1.4 CPN TOOLS介绍31

3.1.5 CPN TOOLS建模策略31-32

3.2 磁浮分区切换顶层CPN模型32-42

3.2.1 38G无线通信模型34

3.2.2 车地无线电通信网结构和工作原理34-36

3.2.3 车地无线传输特点浅析36-41

3.2.4 38GHZ故障模型41-42

3.2.5 故障持续模型42

3.3 磁浮分区通信网通信模型42-46

3.3.1 磁浮列车通信网络结构和工作原理42-45

3.3.2 主网故障模型45

3.3.3 主网备网切换模型45-46

3.4 相邻DSC交换数据模型46-49

3.5 生成最大速度曲线模型49-50

3.6 车载和分区建立通信的模型50-52

3.7 停车点步进模型52-54

3.8 释放无线信道删除线路数据模型54-55

3.9 本章小结55-57

4 高速磁浮分区切换CPN模型的验证和仿真57-68

4.1 模型功能验证策略探讨57-59

4.2 磁浮分区切换历程浅析59-61

4.2.1 影响切换效率的关键环节浅析59-61

4.3 模型的时间特性仿真浅析61-67

4.3.1 38GHZ无线通信系统效率对切换效率的影响61-63

4.3.2 DSC交换报文效率对切换耗时的影响63

4.3.3 磁浮分区切换CPN模型仿真结果浅析63-66

4.3.4 列车速度对切换效率的影响66-67

4.4 本章小结67-68

5 结论和展望68-70

5.1 论文的主要工作和结论68

5.2 下一步探讨展望68-70