【作者】 李一鸣；

【导师】 郑伟；

【作者基本信息】 北京交通大学 ， 交通信息工程及控制， 2011， 硕士

【摘要】 摘要：高速磁浮列乍运行控制系统的中枢是分区运行控制系统。磁悬浮列车对安全防护的要求非常苛刻,对系统的可靠性和安全性有极高的要求。分区运行控制系统是实行该苛求的关键子系统之论文首先分析了分区运行控制系统的结构和功能。然后在此基础上,本文使用有色Petri网对分区的运行控制系统进行了建模工作。论文的主要工作如下：第一,研究了高速磁悬浮列车目前在国内的研究情况和有色Petri网在铁路系统建模中的应用情况；第二,分析了分区运行控制系统中的分区故障诊断计算机、分区控制计算机、分区安全计算机、分区牵引切断和分区道岔模块的详细功能,总结出各个功能的主要步骤,绘制出各个功能的时序图,并在此基础上定义了各个子模块的不同状态,给出了状态切换图。利用CPN Tools工具和已给出的状态切换图,以每一个子模块为单元进行有色Petri网的层次建模；第三,针对列车一次完整的运行过程,详细分析了分区运行控制系统在此过程中所需要执行的任务,任务执行的顺序；分析了分区运行控制系统与中央控制系统、车载控制系统和牵引控制系统之间交互的命令。在此基础上,总结出列车运行过程中的主要步骤,绘制出列车运行过程的时序图,并在时序图的基础上定义了分区运行控制系统、中央运行控制系统和车载运行控制系统的不同状态,给出了它们在列车运行过程中的状态图。利用CPN Tools工具和已给出的切换状态图,建立了列车一次完整运行的CPN层次模型,生成了测试路径和测试用例,并对生成的测试用例进行评价,对未来的研究工作打下基础。更多还原

【Abstract】 ABSTRACT:The high-speed maglev train’s Decentralized Control System is the backbone of the operation control system. It implements the operational command and train security protection. Decentralized Control System is one of the key subsystems. which has higher reliability and safety requirements.In the dissertation, on the base of the analyzing in Decentralized Control System’s functions and structure, the Decentralized Control System was modeled by CPN. Research is focus on the followings:Firstly, the research of high-speed maglev train operation mechanism and the application of CPN modeling in the railway system were analyzed;Secondly, the detailed functions of Decentralized Diagnosis Computer, Decentralized Control Computer, Decentralized Safety Computer, Decentralized Propulsion Shutoff and Decentralized Switch Model were analyzed。The main steps of each function are summarized and a sequence diagram is drawn, different states are defined based on the sequence diagram, and a state diagram is drawn. Using CPN Tools and the existed state diagram, the hierarchical CPN models are modeled;Thirdly, in view of a complete train operation process, the tasks of Decentralized Control System which are to be executed and the sequence of those tasks in this process was analyzed; the communication between Decentralized Control System and Centralized Control System, Vehicle Control System and Propulsion Control System were analyzed.Based on this, the main steps of each function are summarized and a sequence diagram is drawn, different states are defined based on the sequence diagram, and a state diagram is drawn. Using CPN Tools and the existed state diagram. the hierarchical CPN models are modeled。Based on the behavior properties of the CPN models, a test path and a test case is generated. The valuation to the generated test path and test case is made and future research is reviewed in the end.更多还原