运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

高速列车进入有缓冲结构隧道的压力变化研究

采用高速列车空气动力学模型实验对高速列车在进入带缓冲结构隧道过程中瞬变压力传播机理进行研究。实验结果表明,缓冲结构能够减缓隧道内瞬变压力。其原因在于:缓冲结构横断面积逐渐由大变小,阻塞比逐渐由小变大,延长了压力上升时间,降低了压力梯度;另一方面,由于压缩波在缓冲结构和列车、隧道之间多次反射,降低了压力峰值。在M.S.Howe提出无缓冲结构下最大压力波变化理论基础上提出有缓冲结构时隧道内最大压力和最大压力梯度变化规律计算公式。所得结论可为隧道空气动力学研究提供参考。     

空调导流罩对列车气动阻力影响的研究

对空调导流罩的原始结构进行了外流场分析,得到了在350 km时速下原空调导流罩的外表面压力分布和速度场分布,通过对速度的流向分析,对空调导流罩的外形结构进行了优化。利用风洞试验对优化前后2种方案进行了气动阻力系数对比,结果表明,优化后的空调导流罩使头车的气动阻力减小了2.6%,改善了车辆的空气动力学性能,并为高速列车空调导流罩的基本造型设计提供了理论依据。     

铁路货车协同仿真分析平台简介

从重载快捷铁路货车协同仿真分析的需求出发,探讨了集团企业级仿真分析平台的建设目标、内容、评价指标以及效果。     

用工控机实现的铁路货车制动软管风水压试验系统

详细阐述了用工控机实现铁路货车制动软管风水压试验自动控制系统的软硬件设计方案与实现方法,可为现有的试验手段的升级提供参考和依据。     

提高列车交会的安全性设计及仿真分析

以CRH2—300型高速动车组为例,建立了流固耦合模型,分析了列车交会过程中车间减振器和空气弹簧横向跨距对行车安全性的影响。研究结果表明,增加车间减振器和增大空气弹簧横向跨距对改善列车交会过程中的安全性有比较明显的效果。为了保证高速列车的行车安全,安装车间耦合减振器和适当增加二系侧滚角刚度是很有必要的。     

城市轨道交通换乘站的列车衔接时间优化

城市轨道交通网络化运营条件下,协调优化各线列车运行计划,使不同线路的列车在换乘站形成良好衔接,能够缩短乘客的换乘等待时间。合理的换乘站列车衔接时间是编制网络列车运行计划的基础。基于乘客的换乘等待心理和列车运行延误的随机性特点,确定了列车衔接时间的组成。分析了列车运行延误对列车间衔接关系的影响,建立了换乘等待时间的费用函数。在此基础上,提出了换乘站列车衔接时间的优化模型,并给出了具体算例。该模型可为列车衔接计划中安排的换乘衔接关系确定最佳的列车衔接时间,为网络列车运行计划的协调编制提供指导。     

基于并行计算的列车运行仿真快速算法设计

列车运行仿真技术对工程设计、运营管理具有重要的现实意义。设计了一种基于并行计算的列车运行仿真快速计算方法:一方面,通过将线路各区间的列车运行过程用独立的线程运算单元来计算,以达到仿真过程数据的并行计算效果;另一方面,通过反推制动曲线与限速红线的交点,获得分界点,仿真过程中根据列车位置与分界点的位置关系决定是否进行制动起点反向推算,从而显著提高了每个线程运算单元的运算效率。该方法可在不影响计算精度的前提下,将计算效率显著提高。     

地铁列车模块化再生制动能量回馈变流器的研制

分析了地铁再生制动能量逆变回馈系统的工作原理,给出了基于多模块并联的地铁再生制动回馈变流器主回路设计及控制策略设计方法,并完成了样机的研制和试验。试验结果表明:该装置满足地铁列车再生制动能量的吸收利用及稳定牵引网电压的要求,可以实现交直流侧直接并联,其均流精度高、高频环流小、冗余度高。     

基于LTE技术的地铁车地无线通信的干扰分析

随着无线通信需求的增加,多种无线技术迅速发展,多种无线信号往往同时存在于同一空间,不同无线信号相互之间将产生干扰。郑州地铁1号线将LTE(长期演进——第4代移动通信标准)技术作为车地无线通信的解决方案,其承载的数据重要且安全性要求高,故尤其需要注重信号的干扰问题。根据目前的频率规划方案和频率使用情况,对郑州地铁1号线基于LTE技术车地无线通信可能产生的干扰类型做了分析研究,并提出了相应的优化措施。