原文传递
城市轨道交通区域计算机联锁仿真系统的研究
| 论文题名： | 城市轨道交通区域计算机联锁仿真系统的研究 |
| 关键词： | Petri网;城市轨道交通;计算机联锁;仿真系统 |
| 摘要： | 计算机联锁系统是车站信号控制系统，是保证列车安全运行的关键设备之一，计算机联锁系统作为安全性要求比较苛刻的系统，其自身开发过程的安全性和可靠性是设计的关键，因此在软件的开发过程中，必须要有一套完整的建模工具和验证方法满足其安全性和有效性。本文以城市轨道交通的联锁系统为研究对象进行仿真研究。 通过对比国铁和城市轨道交通联锁系统的异同点，明确满足城市轨道交通联锁的功能需求，采用集成建模方法对进路的各个过程进行分析研究，首先采用UML(UnifiedModelingLanguage，统一建模语言)进行系统软件的建模，由于UML没有自己的验证工具，因此必须采用UML转换为CPN(ColoredPetriNets，有色Petri网)的基本规则，将建立的UML模型转换为Petri网模型进行研究。 为了验证建立模型的正确性以及该建模方法的有效性，将进路基本过程的功能需求进行深入研究分析，采用UML的用例、活动图等对其功能需求进行描述，进而转换为相应的Petri网模型，采用CPNTools验证工具对建立的模型的正确性进行验证，选取了进路的选排过程作为代表进行研究，验证的结果表明:该Petri模型满足城市轨道交通运营的特点。 利用CPNTools验证工具对建立的Petri网模型进行正确性验证后，依据软件开发的“V”子模型，对联锁系统的各个功能过程进行从概要到细化的过程分析，根据进路过程的模型分析，画出相对应的流程图，指导后续的以VC++为编程工具来模拟进路的基本联锁功能。 根据软件的设计方案，以VC++为编程工具来实现城市轨道交通的联锁功能，并对进路的建立、解锁以及适用于城市轨交通运营的特殊功能，如跳停、屏蔽门的开门等进行模拟仿真，仿真实验表明，该联锁系统可以满足城市轨道交通运营的运行要求。 |
| 作者： | 陈璐 |
| 专业： | 交通信息工程及控制 |
| 导师： | 董昱 |
| 授予学位： | 硕士 |
| 授予学位单位： | 兰州交通大学 |
| 学位年度： | 2013 |
| 正文语种： | 中文 |
检索历史
应用推荐
