基于RAMS要求的电力机车可靠性现场数据采集的一种设计

随着铁路行业的发展,各铁路装备制造商的竞争已经由过去的局部竞争转化为全球化竞争,此时对于铁路装备的可靠性要求大大增加了,文章在可靠性、可用性、维护性和安全性要求的基础上,分析了电力机车可靠性现场数据采集的一种设计方式。     

点啮合齿面安装误差敏感性的定量评价方法

针对以往同类研究中点啮合齿面安装误差的敏感性没有综合定量评价方法的不足,提出了一种定量评价齿面啮合特性对齿轮安装位置误差的敏感性的方法,其步骤为:利用矢量的齐次坐标矩阵和齐次坐标方阵表达啮合问题中啮合点在不同坐标系之间的变换关系;通过求解啮合方程对安装位置参数的全微分,推导关于齿面啮合点的位置误差与齿轮安装位置误差的线性方程组;由该线性方程组系数矩阵的条件数来定量评价齿面啮合点的位置误差对齿轮安装位置误差的敏感性.最后,通过实例说明所提出的方法在齿面设计中的应用.     

结构仿真在简统化地铁车辆牵引逆变器模块结构中的应用

城市轨道交通牵引装备中的牵引逆变器存在着吊装方式不一致的问题,严重制约了产品研发周期和成本。为实现牵引逆变器的简统化设计,结构仿真对变流器模块结构和柜体结构的刚度、强度和疲劳寿命进行校核,提高了产品设计的可靠性,保证了简统化设计的成功实现。     

基于2SC0108T芯片的三电平IGBT模块驱动电路

介绍了基于2SC0108T驱动芯片的三电平IGBT模块驱动板,该驱动板具有电源欠压保护、短路保护等功能。利用PSpice电路仿真软件对其前级PwM驱动信号调理电路及故障信号反馈电路进行了原理性验证,同时与F3L400R12PT4型三电平IGBT模块进行联调,通过斩波试验和短路试验证明了该款驱动板在工程应用中的有效性和可靠性。     

落石运动过程偏移与随机特性的试验研究

通过112块不同形状、不同质量的落石现场滚落试验,发现落石形状、质量和运动模式对落石偏移比有显著影响.落石越接近球形、质量越大、运动模式越单一,其偏移比越小,反之则会出现较大的偏移比和横向威胁范围;试验中绝大部分落石的偏移比大于0.1,但均在0.3以内.鉴于此,建议在实际落石防护工程设计中落石偏移比取0.3,以控制落石横向威胁范围;或依据落石灾害危险性评价结果和可接受风险水平确定落石偏移比的取值.通过9块试验条件近似的落石试验表明,落石运动过程充满随机性,在落石运动路径计算方法中应考虑落石运动过程随机特性的影响,这对于落石灾害威胁区域的划定和被动防治系统的布置非常重要.     

轮轨接触几何分析及其在Maple下的实现

为满足列车动力学仿真对轮轨接触点位置的精度要求,采用解析方法建立轮轨空间接触几何的约束方程组,并给出其在二维轮轨接触几何情形时的简化形式.以S1002车轮踏面和UIC60钢轨为例,基于符号计算平台Maple软件对该约束方程组进行求解,得到轮轨接触几何参数.结果表明:二维轮轨接触时的滚动半径差、接触角差、接触点在车轮踏面...     

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)切换的相关属性进行建模与验证,分析证明方法的有效性。