机车LKJ数据版本卡控系统的开发

机车LKJ程序数据版本卡控系统,实现了机车LKJ车载程序和数据版本信息的自动采集、传输和比对,使机务段调度室和派班室及时掌握机车LKJ程序和数据版本的有效性信息,杜绝LKJ程序、数据版本错误的机车出库上线.本文简要介绍了系统的组成、技术原理、主要技术方案及特点.     

属性驱动的列车控制系统需求建模与验证

形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础.通过提出一种基于属性的需求分析方法,利用具体的形式化技术来分析需求.首先将由自然语言描述的需求规范转换为属性描述语言(PSL)形式化规范,并通过仿真和博弈分别进行语义检查和可实现性验证,最后通过断言来检验形式化语言所刻画的系统的精确性和完整性.该方法从自然语言形式的需求约束中直接提取相关需求规范,构造形式化模型并进行验证,为需求的早期确认提供了一种新的实用途径.并以CTCS-3级列控系统RBC切换场景为例,说明该方法的有效性.     

ActiveX技术在基于B/S模式的远程故障诊断系统中的应用

介绍了B/S结构和ActiveX技术的特点,结合设备故障诊断设计一种基于B/S模式的远程故障诊断系统的模型.系统中应用ActiveX技术,在客户端通过浏览器下载包含ActiveX控件的Web页面,通过ActiveX控件的属性和方法来帮助实现远程故障诊断的功能,最后对ActiveX控件的升级维护及安全性问题加以说明.     

列控数据完备性建模方法研究

列控数据作为列车运行控制的基础,是列控系统的中枢神经,其完备性直接关系到列车运行安全.列控数据完备性能够保证列车安全控制数据的完整性、正确性、有序性、实时性、有序性和兼容性.本文以CTCS-3级列控系统和CTCS-2级列控系统之间的等级转换以及典型的设备故障导致降级场景为例,利用随机Petri网建立列控数据完备性模型,重点研究了列控数据完备性的完整性、实时性和兼容性方面的问题,最后提出了用模型完成的成功率以及系统平均延时时间分析列控数据完备性的方法.     

城市轨道交通CBTC车地无线通信快速切换算法研究

基于通信的列车控制(CBTC)系统通过应用无线局域网(WLAN)进行车地无线传输.列车在高速行驶时不仅要求无线通信切换执行快速、而且要求切换判决迅速,本文通过分析传统WLAN越区切换在城市轨道交通上应用的瓶颈,在原有越区切换算法的基础上对其进行了优化.     

港口机械控制系统多通道模拟信号采集技术研究

文章分析了当前港口机械控制系统外围传感器信号采集和监控工作原理,指出其效率代码低和运算精度不高的原因,并提出不同于当前控制系统信号采集系统工作原理的新的采集信号和监控思路,同时给出了其主要硬件电路设计过程。     

角洞岙隧道上跨输水隧道三维数值模拟及爆破减震措施研究

结合具体工程,介绍了新建公路隧道上跨既有输水隧道的爆破减震设计要点,并对其施工过程进行了三维弹塑性数值模拟。研究结果表明:施工过程中输水隧道是稳定的;公路隧道的施工对输水隧道受力有利。     

轨道交通路网编播中心系统建设方案研究

本文结合国内城市地铁运营管理特点,提出了建设路网编播中心的两种方案,并对系统功能、总体框架设计进行探讨,最后建议采用“先制定标准,再搭建系统”的模式建设路网编播中心系统.     

城市轨道智能交通系统框架研究

依据智能交通系统的理论与系统工程的思想,在分析城市轨道交通特点的基础上,提出了城市轨道智能交通系统的概念,并对其基本构成及各组成部分的功能和体系结构进行了研究。     

步进电机式怠速控制装置的结构原理

怠速控制(ISC)是在保证发动机排放要求且运转稳定的前提下,尽量使发动机保持最低稳定转速,以降低怠速时的燃油消耗量。怠速时喷油量的控制由燃油喷射控制系统根据与空气量相匹配的原则进行增减,以达到目标空燃比。主要介绍步进电机式怠速控制装置的组成,步进电机式怠速控制阀的主要结构及步进电机式怠速控制装置的控制原理。