CBTC数据通信系统性能分析模型及应用研究

数据通信系统DCS(Data Communication System)是影响CBTC系统的控制精度、效率和安全性的主要因素,其通信性能的仿真、验证对于CBTC系统的研发和改进有重要意义。本文介绍利用OPNET模拟自主研发的安全通信协议和构建DCS性能仿真研究平台的方法,给出安全通信协议有限状态机模型和可配置的通信子系统节点通用模型,研究平台可用于分析安全协议在整个通信网络上的总体性能。给出利用节点模型建立整个DCS通信网络的算例和网络性能的仿真结果,实验结果表明,通信周期不完全同步可以减小报文时延,网络出现故障后,改变生成树根节点位置使最大报文时延增加近34%。     

列车定位轨道电子地图数据约简算法研究

高效、高精度的轨道电子地图是实现列车定位及列车运行控制的重要基础。为了提高轨道电子地图数据的存储及使用效率,在地图生成过程中需要在保证精度的前提下对测量数据进行约简。本文在实测数据的基础上分析轨道地图测量数据特性,采用小波变换及距离判别的方法对异常测量数据进行剔除,提出一种基于垂距判定和三次B样条曲线拟合的数据约简算法用于地图生成。该算法利用垂距判定方法从异常值剔除的原始数据中选取一定数目的测量点构成轨道特征点集,并对其进行三次B样条拟合,通过对拟合曲线进行误差判别修正和补充特征点,完成数据最终约简及轨道地图生成。青藏线实测数据验证结果表明,在合理选择垂距限差的情况下,该算法能够有效约简原始地图测量数据,并保证所生成地图的精度水平。     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

高速铁路列控系统运营场景实时性的建模与验证

高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。     

基于位置的CBTC系统无线局域网切换机制

目前的城市轨道交通CBTC车地通信系统大多采用无线局域网技术。针对同时存在无线自由波和漏泄波导车地通信技术的CBTC无线局域网车地通信系统,提出一种基于位置的无线局域网切换机制。在无线自由波覆盖区段,移动台在确定的位置直接发起重关联请求,而不需要进行探询扫描新AP的过程。而在漏泄波导覆盖区段,通过改变移动台扫描的信道数和最大信道扫描驻留时间,同样明显减小了切换时延。该方法不仅适用于无线自由波的覆盖区域,也可以应用于漏泄波导覆盖的区域,能够减少CBTC车地通信系统中的切换时延。     

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

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

武汉轨道交通1号线二期工程车辆转向架的技术特征

详细介绍了武汉轨道交通1号线二期工程车辆转向架的技术特征,包括转向架的结构、主要特点和主要技术参数;对构架、车轴、牵引装置等重要部件的强度计算结果和车辆动力学性能计算结果进行了介绍,计算结果满足标准要求.     

轨道客车空气弹簧扭转试验台的设计及应用研究

对空气弹簧扭转刚度这一影响轨道车辆通过曲线的重要参数进行研究,简要分析了空气弹簧的结构原理,设计了一套空气弹簧扭转试验台。对试验台的结构与原理进行了介绍,利用该试验台研究了相同垂向载荷条件下不同扭转振幅,以及不同垂向载荷条件下相同扭转角度等工况对空气弹簧扭转刚度的影响,结果表明:在相同垂向载荷条件下,扭转刚度随扭转振幅增加而变小,在相同扭转角度条件下,扭转刚度随垂向载荷增加而变大。试验设计达到预期目的,相应研究成果可为空气弹簧的研发和试验参考。     

城市轨道交通道岔整铸滑床板的研发与应用

滑床板位于道岔区尖轨和基本轨组件下,在整个尖轨长度范围内承托尖轨并扣压基本轨,其状态直接影响到列车过岔的安全性.滑床台与底板脱焊、底板及压舌断裂等问题作为道岔区的常见病害,长期以来一直是运营单位道岔区养护维修工作的重点和难点.为彻底解决滑床板的病害问题,研发了一种新型的整铸滑床板结构.从制造工艺、材质、增加滑床台宽度和压舌根部倒圆半径值等角度进行了优化改进,并通过理论分析及室内极限破坏对比试验,验证了新型整铸滑床板优异的力学性能,成功进行了在线试验段铺设.整铸滑床板的成功研发及应用对于道岔区滑床板病害的彻底根治具有重要意义.     

基于ANSYSWorkbench的汇流排夹口模态分析

由于刚性悬挂接触线夹持在汇流排夹口。受线路、轨道、受电弓性能及牵引操纵等多种因素的影响,刚性悬挂产生的振动使接触线脱槽的问题日渐突出。在三维Catia软件中建立汇流排模型,并将汇流排模型无缝导入ANSYS Workbench中,最后,利用ANSYS Workbench有限元分析软件,计算出汇流排的5阶固有频率和振型,并绘出各阶振型模态图。计算结果表明,汇流排工作频率在1907.1 Hz附近时,汇流排动态性能较差,易因共振而引发安全事故。