基于PCI总线的高速智能通信适配器的设计与实现

区域性控制计算机联锁系统正逐步成为计算机联锁系统新的发展方向，区域联锁系统要求有一个高速，可靠，传输距离远的安全数据通信网，来保证铁路信号安全信息的可靠，实时，高效的传输，文章分析了影响系统通信性能的几项瓶颈因素及其优化方法，并介绍了智能通信适配器的设计思想及实现方法。     

基于通信顺序进程与B方法的CBTC计算机联锁系统的形式化建模与验证

针对CBTC联锁系统的复杂性,提出一种基于通信顺序进程(CSP)与B方法集成的形式化方法,即在通信顺序进程的通信事件与B方法抽象机的操作之间建立起一对一的映射关系,实现通信事件通过控制抽象机的操作、进而影响抽象机状态的目标,从而实现通信顺序进程和B方法之间的同步。以1个实际站场为例,采用B方法对具有复杂状态空间的CBTC联锁系统的逻辑状态运算建立抽象机,采用通信顺序进程对CBTC联锁系统与外部系统的并发交互行为建立进程,并通过映射关系使CBTC联锁系统的抽象机与外部交互行为进程同步,由此建立基于通信顺序进程与B方法的CBTC联锁系统的形式化模型。采用ProB工具对建立的CBTC联锁系统模型的安全性、无死锁性进行验证。发现并修改模型中的不一致、不完全、歧义等错误,从而验证了CBTC联锁系统的安全性和无死锁性,保证了系统的最终实现。     

关于城市轨道交通CBTC计算机联锁子系统的研究

近年来,基于通信的列车控制技术(CBTC)以其显著优势,逐渐成为城市轨道交通信号系统的首选方案。传统的联锁技术无法支撑CBTC信号系统的安全、高效、高自动化的要求。CBTC信号系统中的联锁子系统不仅要提供联锁逻辑保障,还要支持移动闭塞、点式ATP控制、以及不同模式列车的混跑等需求。文章简要介绍了基于CBTC技术的国产化联锁系统的架构、功能方面的创新和技术特点等。     

地铁信号系统防淹门防护技术研究

地铁信号系统保障列车安全运行时,必须实现与防淹门系统的安全、高效联动控制。详细介绍一种地铁信号系统中对防淹门设备进行安全防护的技术方案与实现方式。首先提出系统接口设计时需要考虑的原则,并结合系统运营场景分析,描述信号系统的控制行为;然后根据信号系统的需求,采用UML方法建立计算机联锁子系统的用例图、状态图和顺序图模型,从不同角度分析系统的动、静态行为;最后对系统实现的硬件接口设计方案进行阐述。在广州地铁7号线工程项目中的成功应用表明:该方案功能完整,边界清晰,交互简单,能安全、高效地与防淹门系统进行联动控制,具有进一步推广应用,并纳入城市轨道交通行业技术标准的价值。     

我国铁路信号系统安全评估的研究

介绍了我国铁路信号系统安全评估的基础和主要流程,详细阐述了安全评估过程中必须注意的几个关键概念。     

基于面向对象技术的CBTC系统联锁监控机软件模块设计

随着铁路的高速发展以及计算机联锁系统在城市轨道交通中的应用,计算机联锁系统在铁路运输中发挥的作用日益增加.本文结合面向对象软件开发的特点,简述面向对象技术在计算机联锁监控机软件开发中的应用.     

城轨系统中联锁仿真平台的设计和实现

分析城市轨道对联锁新的需求,以面向对象的方法设计和实现了联锁仿真平台。该仿真平台采用RSSP-I协议解决通信中的干扰问题;不仅实现了铁路基本联锁功能,还实现了对屏蔽门的控制。基于CBTC仿真环境验证了仿真平台的有效性,为快速开发计算机联锁软件和验证新的联锁功能提供便捷的手段。     

CBTC系统中的逻辑区段处理方案研究

介绍了CBTC系统中的列车位置检测方式,分析了当前联锁子系统对逻辑区段状态的处理方法,及其不合理之处,并提出了新的解决方案。     

纯电动客车CAN故障排除案例

正一、故障现象有1辆行驶约0.56万km的苏州金龙纯电动客车,型号为KLQ6109GAEVW3。车辆在行驶过程中突然加油门无反应,仪表不报任何故障,重新起动后故障现象消失。二、故障诊断接车后试车,行驶10min,没有故障。询问驾驶员后得知,故障为偶发。继续试车大约0.5h,车辆加速突然没反应,仪表没报故障。靠边停车后连接诊断仪进入仪表CAN模块菜单,发现模块温度都为0℃。     

EN50128在铁路信号安全软件测试中的应用研究

随着列车的不断提速,铁路信号系统作为保障机车车辆安全有序作业的重要安全设备,其软件的可靠性和安全性直接影响列车的运行安全,对铁路信号安全软件的测试就显得至关重要。通过借鉴欧洲铁路的安全相关技术,以铁路控制和防护系统软件标准EN50128为指导,重点论述了标准中软件测试各阶段的活动情况及独立性的体现,并对此标准在铁路信号安全软件测试过程中的应用进行了分析和研究。