基于虚拟现实的屏蔽门仿真系统设计与实现

基于Creator/Vega的屏蔽门控制系统的虚拟现实技术,建立屏蔽门系统的三维模型,重点研究仿真系统中屏蔽门、列车车门与信号系统的联锁控制,给出屏蔽门系统的故障模式,实现屏蔽门系统的电气特性。该设计方案已在大连快轨3号线的仿真测试中得到应用,证明能够满足与车门联锁驱动、实时监控以及故障处理的功能需求。     

基于数据驱动的列控中心报文自动化测试研究

分析列控中心与外部系统的接口关系,结合软件自动化测试理论,提出基于数据驱动测试框架的CTCS-2列控中心报文自动化测试系统,实现了测试逻辑和测试数据的分离.对列控中心设备的测试结果表明,该方案使测试效率得到了大幅提高,取得了良好的效果.     

多轨迹GPS数据生成高精度列车控制用数字电子地图的方法

采用GPS进行列车定位是一种全新的列车定位方法。而建立生成各个车站和区间的数字电子地图是一项巨大的工程。针对高效率、低成本地生成列车控制用高精度电子地图，提出了多轨迹求径的概念，即利用低成本GPS接收机采集的线路轨迹数据，在关键点（POI点）坐标的约束下，拟合得出线路方程，用以生成数字电子地图。该算法在城市智能交通系统车载导航地图线路更新，未知区域线路探测等领域也有很好的应用前景。     

列控闭塞一体化系统研究

分析了列控闭塞一体化系统的结构、功能和关键技术原理等，并进行故障-安全设计，系统符合信号技术发展思路。     

列车自动控制测试系统

介绍了开发列车自动控制测试系统的目的及意义，从系统所要求完成的功能出发，确定了测试系统的硬件构成，提出了测试系统的软件开发平台及构成思想，进一步确定了系统提供的测试环境及可变化的参数。     

地铁调度员工作站人机交互界面设计研究

随着城市轨道交通运营载客能力的提高,对调度员应对突发事件的快速反应能力和高效处理能力要求越来越高,调度员与工作站界面的交互也越来越频繁.文中以双屏幕为设计环境,针对现代复杂的地铁调度工作站交互界面问题,归纳总结了调度员工作站人机交互界面适用的设计准则,引用生态界面理论的抽象层级法分析ATS调度系统,并结合图形用户界面的设计思维,提出了一种新的人机交互界面设计的方法流程.以北京地铁1号线的调度工作站系统为参考,构建具体的界面设计方案,并对方案进行实验比较分析.     

形式化方法在列车运行控制系统中的应用

为了确保列车运行控制系统设计和开发的正确性, 比较了仿真、测试和形式化3种能够验证系统设计正确性的方式。根据列车运行控制系统对安全的苛求性, 提出了4个与系统安全相关的重要特性, 即实时性、混成性、分布(并发)性、反应性, 并分析了与这些特性相关的具体形式化方法。通过对每种形式化方法的数学基础和应用范围的分析和归类, 给出了各种方法的优势和不足。分析结果表明: 任何形式化方法的应用都具有一定的局限性, 这是由模型检验和定理证明的本质所决定的; 指出了新方法提出、既有方法拓展以及多方法集成将是列车运行控制系统的形式化领域的方向。     

改进FlexRay总线的设计与实现

为保证FlexRay总线能更好地应用于列控系统的安全通信中,借鉴ARINC659的物理层对FlexRay总线进行了改进.针对改进的FlexRay总线,在FPGA上进行IP核的设计.并根据需求设计FPGA开发板,搭建硬件平台.通过对改进FlexRay总线仿真和硬件的符合性测试,验证了改进总线与设计的一致性.     

列车运行控制系统设计正确性的验证方法

为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时, CTCS-3级列车运行控制系统设计的正确性.