基于自动Petri网的联锁逻辑设计

联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过程,建立进路解锁的模型。基于上述分析,设计了一种基于可编程逻辑控制器的联锁软件设计方案,实现对联锁的逻辑控制。     

驼峰复示信号机点灯电路的改进

郑州北编组站下行到达场在大修改造时，由原来继电联锁改为计算机联锁。模拟试验中发现驼峰复示信号机与驼峰开放表示器点灯电路存在如下问题：①驼峰复示信号机点绿闪、黄闪、白闪、白稳灯光时，模拟灯丝双断，信号机不能改点红灯，而为灭灯，双断丝恢复后，信号机仍为灭灯；②驼峰复示信号机在点绿、黄灯时，模拟灯丝双断，信号机显示红闪，双断丝恢复后，信号机恢复正常显示；③驼峰复示信号机在点绿灯时，驼峰开放表示器灭灯(应点绿灯)。     

编组站到达场联锁仿真设计

针对到达场联锁逻辑,利用编写的CAD二次开发软件绘制到达场平面图生成站场型数据结构,获取平面数据信息;以信号机为基础,采用DFS搜索算法,遍历所有的进路信息,自动生成进路表;为了及时显示更新结果,设计了通信模块,实时传送到达场联锁机联锁逻辑运算的结果;分析了上位机下发的阶段命令通信格式以及联锁机对命令的处理方法;最后以具体的推送进路和溜放进路为例对仿真结果进行展示。     

CTC在自动站间闭塞中触发发车进路失败问题探讨

针对基于64D半自动闭塞电路实现自动站间闭塞的线路,CTC系统在闭塞灯灭灯后立即办理发车进路时,出站信号机无法正常开放的问题进行研究,并从C T C、联锁、64D半自动闭塞电路以及系统间接口等方面进行分析,提出相应的解决方案.     

CBTC模式下的信号系统点灯方案

简单介绍了基于通信的列车控制(CBTC)系统的信号机布置及信号机显子原则,详细描述了信号机的控制情况。分析了CBTC移动闭塞系统的轨旁信号机常态点灯的方案设计,以及受控列车和非受控列车不同的点灯方式。CBTC模式下,联锁系统参与道岔防护信号机和ATC边界信号机的逻辑判断,但是否开放由区域控制器负责,而区间信号机均由区域控制器负责。着重分析了信号机防护点的设置情况,并对信号机开放的其他条件和信号机故障作了说明。     

重载铁路移动闭塞计算机联锁系统研究

针对重载铁路移动闭塞系统的特点和技术要求,基于朔黄铁路既有线路中使用的DS6-K5B型计算机联锁系统,通过对既有联锁系统功能进行升级和改造,以满足移动闭塞系统的控制要求。联锁系统升级和改造功能包括多列车进路的办理和解锁,信号机点灭灯控制,物理区段与逻辑区段状态的融合;根据移动闭塞需求,增加联锁与RBC设备的接口,修改联锁与CTC、CSM设备的接口。改造后的联锁系统兼容既有运输模式,同时实现重载移动闭塞及固定闭塞混运的功能。     

车站站场室外场景3D联锁仿真软件设计

车站站场室外场景3D联锁仿真软件实现了车站联锁控制过程的三维实时动态复示。该软件的设计采用3D MAX软件对各信号设备建模,采用C#编程语言在Unity3D平台下制作转辙机带动道岔转换、轨道电路光带显示及信号机点灯等动画;通过实时接收计算机联锁仿真软件数据驱动车站站场室外3D设备动作,直观地展示排列进路、模拟走车等车站室外作业和几类故障情况的仿真效果,为车站联锁控制系统的教学或培训服务。     

基于站场图形网络的计算机联锁软件在高速铁路的应用研究

为适应高速铁路列控系统接口需求,计算机联锁系统接入信号安全数据网[1]的同时,应用软件需要新增进路模块来实现接口的应用信息交互。进路模块利用原有联锁软件网络化结构的选路原理,实现了进路信息存储;利用进路中道岔的大号码特征,实现符合黄闪黄条件信号显示自动计算。软件采用模块化设计的同时,对软件需求、设计、结构、安全性进行全面分析,确保联锁子系统软件的兼容性和可持续开发性。基于升级的计算机联锁软件不仅满足高速铁路列车控制系统的需求,也提高了原有软件的安全性和可靠性。     

枢纽车站信号机设计及联锁逻辑的实现

高铁线路互联互通需求日益增多,枢纽车站为满足CTCS-2/CTCS-3不同级别列车的运行,站场信号需进行点/灭灯切换,适配不同级别的列车运行。以昆明南站沪昆场为原型,阐述枢纽车站信号机设计及联锁逻辑的实现。     

城轨CBTC系统联锁表数据安全逻辑验证方法研究

联锁表是联锁安全逻辑的体现,本文针对联锁表数据的安全逻辑验证问题,提出一种基于CSP的验证方法。首先对联锁表数据进行建模,将联锁表数据抽象为调度员、道岔、信号机、区段和联锁控制器5个进程的并发组合模型,并对各进程进行建模。依据联锁系统安全约束条件,从功能性和安全性两个方面,通过对模型正确性的验证来说明数据的安全逻辑正确性。最后以北京地铁亦庄站联锁表数据的安全逻辑验证为例,说明该方法的可行性。     

客运专线铁路与普通铁路地面信号显示标准的兼容性研究

目前我国客运专线铁路和普通铁路的地面信号机设置及其信号显示方式分别采用不同的技术标准。当客运专线铁路与CTCS-2/3级普通铁路交汇衔接时,接轨站及其区间的地面信号机设置及其显示方式存在兼容性问题,给铁路运输造成安全隐患。推荐的解决方案是:接轨站出站信号机采用普通铁路标准的出站信号机机构和常态点红灯方式,开放发车进路后分别执行普通铁路和客运专线铁路的信号显示标准。另外,文中还研究提出了可进一步完善兼容性的其他改进方案。     

实物与仿真相结合的高速铁路联锁教学系统研究

为了使相关的电务人员、相关专业学生更好地学习高速铁路计算机联锁系统,为了使车务人员尽快熟练掌握车务终端的操作方法,提出采用实物与仿真相结合方法,通过分析高速铁路计算机联锁系统的特点和教学要求,设计开发实物与仿真相结合的高速铁路联锁教学系统。详细设计系统的结构、功能、与之功能相适应的虚拟的高速铁路站场,对实物与仿真的边界进行科学划分,开发配套的站场仿真软件、TCC仿真软件、邻站CBI仿真软件、RBC仿真软件、多媒体教学软件、模拟CTC终端等。结果表明:该系统不仅可以节省占地空间,降低投资成本,而且更利于学习人员学习相关理论知识、提高学习效率,从而为铁路行业培养更多的技术人员,更好地服务于社会。     

基于Event-B的计算机联锁安全规范描述与验证

本文结合具体的站场实例,基于Event-B方法对信号开放、道岔控制、进路解锁等联锁系统关键安全规范进行了形式化模型描述和验证分析,给出了严格的分析结果.工作表明,铁路信号联锁系统是具有复杂时序逻辑的控制系统,Event-B方法适合于该类系统的描述与验证.通过形式化的联锁安全规范描述与验证,可以在系统开发的早期及时发现设计错误或漏洞,有助于提高计算机联锁系统的软件开发质量.     

微机联锁仿真软件的开发与应用

研究联锁仿真软件的开发与应用.详细叙述基于总进路表式的数据结构以及站场形数据结构的软件算法及其实现.讨论联锁仿真软件在列控仿真系统及信号工故障处理培训系统中的应用.     

市域快轨信号机显示方案研究

作为一种新型的轨道交通,市域快轨在站间距、运行时速等方面与城市轨道交通有着明显的区别,分析城市轨道交通信号降级及后备系统的信号机"两显示"和"三显示"方案,将其应用于市域快轨中存在的信号机显示逻辑关系不明确、岔区信号机间距过小等问题,从而提出针对市域快轨工程特点的"三显示"信号方案,并给出各工况条件下信号机(出发信号机、进站信号机、区间通过信号机)之间的点灯逻辑关系。该方案可在保障行车安全的前提下,有效提高降级及后备模式下的行车效率,更加适用于平均站间距大、速度目标值和旅行速度高的市域快轨公交化运营需求。     

铁路计算机联锁站场数据自动提取方法研究

针对计算机联锁自动测试软件所需的铁路站场数据依赖人工手动输入、自动化程度不高的问题，提出了铁路计算机联锁站场数据自动提取方法。以经过验证无误的联锁上位机界面图像作为图像识别系统的输入，分析信号设备显示特征并定义数据模型，基于OpenCVSharp计算机视觉库，利用图像识别相关算法，设计识别流程，自动提取站场数据。采用上述方法开发软件，展示信号设备识别与数据提取效果。该方法能准确识别出联锁上位机界面中的信号机、道岔与轨道区段，从而实现相关站场数据的自动提取。     

铁路站场设计系统研究与开发

在综合分析既有铁路站场、新建铁路站场勘测设计流程的基础上,开发铁路站场设计系统软件,解决了既有线、新线底层统一建模、平纵横数据联动、站场综合管线辅助设计、站场工程数量统一计算和管理、站场三维场景展示等关键技术。开发成果的应用表明,利用这些技术开发的铁路站场设计系统可在工程设计中推广应用。     

客运专线衔接站信号机机构设置及显示方案

由于新建客运专线与普速线路引入同一车站,且各线路标准不同,造成车站信号结构的设置较为复杂。依据相关铁路规范,结合其特殊性,对信号机构设置及信号显示进行优化调整,以满足运营需求。