柴油机船舶推进装置的建模和实时仿真

本文根据准稳态的概念建立了适用于实时仿真的二冲程柴油机船舶推进装置的多阶一性模型。在充分多的试验数据的基础上，结合工作原理建立了各子系统及整个装置的动态模型，这种模型既能反映柴油机内部各参数，精度较高，计算工作量也比较适中。文中提出了一些经验公式，使模拟得以有效地简化。最后，作为实例给出了３５０００吨油船推进装置的实时仿直     

在电气化弓网离线噪声环境下GSM-R差错控制及传输性能分析

针对弓网电磁噪声对GSM-R的干扰,采用交织技术和RS-Turbo编码建立了GSM-R抗干扰信道模型,改善GSM-R差错控制方式。从仿真结果分析得出,采用的信道模型可以降低此类噪声干扰,降低系统误码率。     

动车组列控车载设备的维修方式初探

对动车组列控车载设备维修中存在的问题进行了分析,并对现行的维修体制与维修方式进行了有意义的讨论,提出了改进动车组列控车载设备维修方式的建议.     

动车组车载通信设备维护工作探讨

根据我国铁路车载设备维修方式,以及对维修人员的岗位分析,对动车组车载通信设备的维修工作进行了讨论,并提出了积极的建议.     

基于遗传算法列车自动运行速度曲线的优化

本文探讨了列车自动运行系统(ATO,Automatic Train Operation)中的列车自动运行速度曲线的优化问题.根据ATO控制指标的要求,建立了包含速度防护、舒适度、节能、精确停车等多个目标的列车运行控制模型;采用遗传算法对列车自动运行控制策略进行优化,验证和仿真了优化后的速度曲线,直观反映了列车自动运行的安全性,舒适性,高效性和停车精度等性能提高情况.     

基于UPPAAL的列车自动防护系统形式化建模与验证

本文分析列车自动防护(ATP)系统的结构和功能需求,建立系统的时间自动机模型,采用UPPAAL模型验证工具对模型的活性和安全性进行验证.结果表明,采用时间自动机对安全苛求实时系统进行建模与验证,可以有效地保证系统的可靠性和实时性.     

基于SPN的无线闭塞中心切换过程中的故障分析

分析在RBC2(接收无线闭塞中心(RBC))不同时段故障工况下,对RBC切换的影响,选取形式化描述语言随机Petri网(SPN),分别建立RBC2在不同时段故障下RBC的切换模型,采用SPN数学建模,通过SPNP6.0分析RBC故障对切换的影响以及对行车安全和行车效率等方面的影响.分析结果可使人们对实际情况中RBC切换有更真实的认识,并对设备的改进、协议的完善等有一定的借鉴意义.     

车载紧急制动触发曲线计算模型分析

列车安全防护曲线计算是车载ATP的关键技术之一。IEEE1474．1^TM标准规定ATP安全制动曲线由紧急制动曲线和紧急制动触发曲线组成。紧急制动触发曲线的速度能够保证列车在侵犯该速度时能在目标点前停车,以保证行车安全。分析CBTC控车模式下,列车从超速、制动到完全静止过程中能量的转移关系,并利用能量守恒原则建立紧急制动触发曲线的计算模型。仿真结果表明,提出的计算模型满足IEEE1474．1^TM中的相关要求,具有一定的实际借鉴意义。     

基于移动闭塞的列车自动运行仿真

介绍ATO系统功能作用及节能操纵方案,移动闭塞原理,以及列车在自动驾驶过程中所需要的运动方程.通过对相应公式的分析,将其应用在ATO系统中,采用节能操纵方案,计算出ATO系统在移动闭塞条件下的加速度,速度,并确保列车在安全、经济的条件下运行.     

三模冗余结构微机联锁系统的安全度分析

脸用马尔可夫模型,在考虑故障覆盖率影响的情况下,对三模冗余结构微机联锁系统的安全度进行详细的推导,得出了该系统安全度的定量表达式,分析了在典型情况下的系统安全性能人结果结合实际应用进行了有意义的讨论。