| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| 1 绪论 | 第8-13页 |
| ·研究背景 | 第8页 |
| ·研究意义 | 第8-9页 |
| ·国内外计算机联锁系统的研究现状 | 第9页 |
| ·仿真系统的研究意义 | 第9-11页 |
| ·论文的主要内容 | 第11-13页 |
| 2 城市轨道交通联锁的建模方法及理论基础 | 第13-20页 |
| ·UML 建模语言及 Petri 网概述 | 第13-14页 |
| ·UML 建模语言概述 | 第13页 |
| ·Petri 网概述 | 第13-14页 |
| ·CBTC 联锁技术 | 第14-16页 |
| ·区域计算机联锁概述 | 第16-17页 |
| ·城市轨道交通区域计算机联锁的特点 | 第17-18页 |
| ·国铁联锁与城市轨道交通区域计算机联锁的比较 | 第18-19页 |
| ·小结 | 第19-20页 |
| 3 城市轨道交通区域计算机联锁的功能需求及状态描述 | 第20-37页 |
| ·轨旁信号设备的功能需求及状态描述 | 第20-24页 |
| ·信号机 | 第20-21页 |
| ·道岔 | 第21-23页 |
| ·区段 | 第23-24页 |
| ·进路的控制过程 | 第24-31页 |
| ·进路控制处理过程建模 | 第25页 |
| ·进路选排过程建模 | 第25-27页 |
| ·进路锁闭过程建模 | 第27-28页 |
| ·信号开放过程建模 | 第28-29页 |
| ·信号保持过程建模 | 第29页 |
| ·进路解锁建模 | 第29-31页 |
| ·特殊进路的联锁逻辑 | 第31-34页 |
| ·自动进路 | 第31页 |
| ·跳停 | 第31-32页 |
| ·紧急停车和扣车 | 第32-33页 |
| ·屏蔽门控制 | 第33-34页 |
| ·模型的建立及验证 | 第34-36页 |
| ·有色 Petri 网及模型的建立 | 第34页 |
| ·Petri 网模型的建立 | 第34-35页 |
| ·CPN Tools 及模型的验证 | 第35-36页 |
| ·小结 | 第36-37页 |
| 4 城市轨道交通区域计算机联锁软件模块的设计 | 第37-43页 |
| ·进路选排模块 | 第38-39页 |
| ·进路锁闭模块 | 第39-40页 |
| ·信号开放模块 | 第40-41页 |
| ·进路解锁模块 | 第41-42页 |
| ·小结 | 第42-43页 |
| 5 仿真系统的功能实现及分析 | 第43-49页 |
| ·仿真系统的结构 | 第44页 |
| ·仿真系统功能演示 | 第44-48页 |
| ·基本联锁功能 | 第44-47页 |
| ·特殊功能 | 第47-48页 |
| ·小结 | 第48-49页 |
| 结论 | 第49-50页 |
| 致谢 | 第50-51页 |
| 参考文献 | 第51-53页 |
| 攻读学位期间的研究成果 | 第53页 |