论文题名: | 面向领域特征的列控系统车载ATP软件建模方法研究 |
关键词: | 列车运行;运行控制;车载ATP;计算机技术 |
摘要: | 列控系统是保证列车安全、正点、高效运行的自动化系统,是轨道交通系统的核心装备之一。在列控系统中,车载ATP子系统负责根据轨旁子系统提供的控制信息保证列车的运行安全。但是,行车许可中有限的障碍物信息及传输过程造成的延迟使得其不能完整、准确地反映当前列车运行前方障碍物的状态。车载ATP子系统无法判断行车许可的正确性,只能被动地依据行车许可计算速度防护曲线,监控列车运行速度,这会对列车安全造成不利影响。 本研究主要内容包括:⑴针对现有车载ATP子系统的不足提出了一种新型车载ATP子系统。该系统具备主动防护功能,即找出行车许可中包含的可能危及列车运行安全的障碍物,设定新的列车追踪目标点。⑵深入分析了新型车载ATP子系统所具备的三个领域特征,提出了面向特征的车载ATP子系统建模方法,给出了基于混成自动机的车载ATP子系统形式化模型及其总体框架。⑶利用SCADE对车载ATP子系统的主要功能模块进行详细设计,包括主动防护模块、超速防护模块和测速定位模块。⑷对车载ATP子系统的功能模型进行仿真,通过分析仿真结果验证了模型的正确性和面向特征的车载ATP子系统建模方法的有效性。 |
作者: | 王锡奎 |
专业: | 交通信息工程及控制 |
导师: | 王海峰 |
授予学位: | 硕士 |
授予学位单位: | 北京交通大学 |
学位年度: | 2016 |
正文语种: | 中文 |