原文传递
基于CPN的高速磁悬浮列车分区运行控制系统的层次化建模研究
| 论文题名： | 基于CPN的高速磁悬浮列车分区运行控制系统的层次化建模研究 |
| 关键词： | 高速磁悬浮列车;分区运行控制系统;Petri网;层次建模 |
| 摘要： | 高速磁浮列车运行控制系统的中枢是分区运行控制系统。磁悬浮列车对安全防护的要求非常苛刻，对系统的可靠性和安全性有极高的要求。分区运行控制系统是实行该苛求的关键子系统之一。 论文首先分析了分区运行控制系统的结构和功能。然后在此基础上，本文使用有色Petri网对分区的运行控制系统进行了建模工作。论文的主要工作如下： 第一，研究了高速磁悬浮列车目前在国内的研究情况和有色Petri网在铁路系统建模中的应用情况； 第二，分析了分区运行控制系统中的分区故障诊断计算机、分区控制计算机、分区安全计算机、分区牵引切断和分区道岔模块的详细功能，总结出各个功能的主要步骤，绘制出各个功能的时序图，并在此基础上定义了各个子模块的不同状态，给出了状态切换图。利用CPNTools工具和已给出的状态切换图，以每一个子模块为单元进行有色Petri网的层次建模； 第三，针对列车一次完整的运行过程，详细分析了分区运行控制系统在此过程中所需要执行的任务，任务执行的顺序；分析了分区运行控制系统与中央控制系统、车载控制系统和牵引控制系统之间交互的命令。在此基础上，总结出列车运行过程中的主要步骤，绘制出列车运行过程的时序图，并在时序图的基础上，定义了分区运行控制系统、中央运行控制系统和车载运行控制系统的不同状态，给出了它们在列车运行过程中的状态图。利用CPNTools工具和已给出的切换状态图，建立了列车一次完整运行的CPN层次模型，生成了测试路径和测试用例，并对生成的测试用例进行评价，对未来的研究工作打下基础。 |
| 作者： | 李一鸣 |
| 专业： | 交通信息工程及控制 |
| 导师： | 郑伟 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2011 |
| 正文语种： | 中文 |
检索历史
应用推荐
