站场改造信号联锁软件启用时机的探讨

通过对既有站场股道有效长1 050 m改造的实例分析,以3种站场改造为例,由简至难对站改中的信号联锁软件启用时机进行剖析,充分考虑站改施工对运输能力的影响,以及在启用新联锁软件当天如何最大程度地减轻站前工程的工作量,把握住站场改造施工时信号联锁软件启用时机的关键点,有效解决运输与施工这一对矛盾体的难点。     

联锁软件的Petri网形式化定义

用Petri网对联锁系统中的核心部分－联锁机中的联锁软件进行表式化定义和分析，以减少联锁系统中的不确定性因素，降低联锁软件的复杂性，保证联锁软件定义的正确性，并对该定义进行了形式化验证。同时以进程建立过程作为事例，说明了用Petri我形式化定义联锁软件的具体过程，采用分层模型化技术对联锁软件中的各个变迁（模块）进行逐级分解和验证，最终得到经过验证的，足够详细的联锁软件模型，利用该模型能对系统的一些重要性能（如安全性和实时性）进行分析和改进。     

嵌入式联锁软件模拟自动测试平台的研究

为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达，阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案，最后，给出了自动测试平台得到的联锁软件分类测试结果。     

车站计算机联锁改造——区间三显示改四显示过渡方案

本次坡头站进行技术改造,由原6502继电联锁改为计算机联锁,区间由三显示自动闭塞改为四显示自动闭塞,但区间改造不在本次施工范围内,计算机联锁软件无过渡版,按照四显示设计。     

基于计算机联锁四线制方向电路的半自动闭塞电路过渡设计

在单线铁路改造为双线铁路施工过渡期间,研究基于计算机联锁四线制改变运行方向电路,实现64D半自动闭塞过渡,能减少过渡期间计算机联锁软件修改次数,节省工程投资,缩短信号过渡施工周期。     

电气化改造中计算机集中联锁导通试验方法之探讨

在计算机技术日臻成熟的今天,计算机集中联锁逐渐取代继电集中联锁,特别在今年京沪线电气化改造中,涉及到的非计算机集中联锁的大修站全改为计算机集中联锁(站场基本不变形,道岔利旧)。而这大修改造不象新开站可以一步试验到位,存在着许多过渡条件。就是在这诸多不利因素的情况下,要在未开通之前,克服设计和施工中存在的问题,施工最后的计算机集中联锁的软件、硬     

铁路信号联锁逻辑形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发，还是对联锁软件的测试都是非常重要的。 铁路大站的联锁逻辑十分复杂，对其进行形式化描述是一项艰难的工作。目前，国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念，采用层次化有色Petri网，以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的，以车站联锁设备的层次化有色Petri网模型为背景，介绍了铁路车站信号联锁逻辑的形式化描述的基本方法。     

计算机联锁标准站研究

本文针对测试计算机联锁系统时采用的标准站，分析了该站的具体构成要素，阐述了标准站对联锁软件的技术要求及其中的技术难点，描述了继电联锁存在的一些问题，并介绍了计算机联锁软件处理一些联锁问题可采用的方法和措施。     

联锁图表软件设计的实现技术与结构

就车站信号联锁设计，着重研究了站场形状模拟和其后的进路选择、进路联锁的设计过程。联锁图表软件作为车站信号工程设计的重要组成部分，提出了在不改变车站数据信息情况下，自适应于站场形状的联锁图表软件的设计方法。实现了车站信号联锁图表设计的系统化和标准化。     

4495-4499计算机联锁软件现场测试方法及实现

近几年来，随着计算机技术在铁路信号领域的应用日益广泛，用车站计算机联锁设备取代继电器集中联锁设备己成为该领域技术的主流。我国铁路计算机联锁正得到广泛应用，但现场没有任何用于验收和维护计算机联锁软件的手段。尽管软件本身从理论上进不存在磨损、消耗的失效机理，但是在铁路的使用环境下，不能旺明软件不会因特殊干扰而被修改。     

南阳西道岔联锁软件存在问题的分析与处理

南阳西站在联锁试验过程中发现了4条问题。通过对这四条问题的分析,确认为联锁软件存在漏洞,已经停用相关设备,并向厂家提出了联锁软件修改意见,准备更换新软件。     

计算机联锁软件的黑盒测试过程分析与实现

结合计算机联锁系统的硬件和联锁软件的特征,介绍了软件的测试目的、步骤、黑盒测试中等价类划分法以及安全测试常用的故障树分析法。基于由测试软件、联锁软件和车站信号设备仿真系统组成的测试平台的联锁软件测试,在联锁软件黑盒测试覆盖率准则的基础上,举例介绍了用等价类划分法编写测试用例和用故障树分析法编写安全性测试用例以及测试流程,并用python伪代码实现了“进路正常选出”的测试用例。通过上面的方法来体现黑盒测试在计算机联锁软件逻辑运算功能的重要性。     

基于VxWorks的计算机联锁控制系统软件研究

铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统.分析DOS和Windows环境联锁控制软件设计存在的问题,结合VxWorks操作系统的特点,研究基于VxWorks实现联锁控制的可行性,在此基础上提出了一种VxWorks环境下设计联锁软件的方法,并进行了详细的系统设计.针对一个实际站场的编码测试结果表明,在VxWorks环境下更易于满足联锁软件对实时性、多任务调度的设计要求,并有利于提高系统的安全性.     

基于SCADE的计算机联锁软件开发研究

计算机联锁软件安全性要求高，功能不断扩展，其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境（SCADE）及其支持的软件开发过程，依据计算机联锁系统相关技术规范定义的需求规约，尝试利用SCADE进行计算机联锁软件开发。研究实践表明，SCADE是一套较为实用的基于模型的软件工程开发工具，可支持V模型软件开发流程，能够帮助开发人员有效管控软件开发风险，为联锁软件的进一步开发提供参考。     

模块化计算机联锁软件设计

为简化联锁软件设计流程,提高设计效率,提出了一种模块化计算机联锁软件设计方法。采用面向对象的思想,将道岔、信号机、轨道区段等设备设计为不同的程序模块,利用多态性和绘制语句等完成联锁软件站场界面的绘制,使用鼠标拖动各设备相应的程序模块完成联锁软件表示层的绘制,生成单链表站场数据结构,并采用递归算法进行进路搜索,完成联锁软件的设计。将文中提出的设计方法与传统的设计方法应用于某车站的联锁软件设计,对比两种方法的设计流程和设计所用时间,所提设计方法总时间节省了约30%,提高了设计效率。     

城市轨道交通信号系统联锁控制权交接研究

城市轨道交通信号系统中,调度人员通过列车自动监控系统中心工作站和车站工作站都可以向联锁机发送控制命令,但是同一时刻联锁机只能有一个指令源。因此在设计联锁系统软件结构时,需要采用合理的联锁控制权交接机制,防止控制权交接错误。从联锁控制权交接问题入手,总结联锁控制权交接原则,详细分析各个设备之间采用不同互联方式时的联锁控制权交接方案,并对不同方案的影响和优缺点进行比较,为联锁系统的软件设计提供理论依据。     

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

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

铁路计算机联锁控制数据自动生成方法

针对目前联锁控制数据编制过程中存在的效率低下、数据准确性依赖设计人员技术水平等问题,提出了一种铁路计算机联锁控制数据自动生成方法。以文本格式的站场基础数据作为输入,定义各类数据模型,制定空间邻接与逻辑邻接规则,以建立数据模型之间的拓扑关系,构建铁路站场拓扑模型;采用基于最短欧氏距离的进路搜索算法获取站内所有进路;自动输出联锁控制数据。采用上述方法开发实际软件,展示联锁控制数据的自动生成过程。结果表明,所提方法可快速准确地生成联锁控制数据,提高编制联锁控制数据的自动化程度与效率,提高铁路计算机联锁控制系统的通用性和自适应性。     

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

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

城轨正线计算机联锁逻辑设计浅析

讨论了作为城市轨道交通信号系统核心子系统之一的计算机联锁设备的功能与联锁逻辑实现方法,并提出了相应的改进措施;同时阐述了计算机联锁在城轨交通应用中的特点,以及应用层软件相关部分的设计原理.通过对城轨正线联锁原理的探讨,期望可以提出一套适应城轨正线运营要求能加快正线联锁设备国产化进程的设计方案.