高速铁路计算机联锁软件应用数据安全防护方法研究

为提高工程应用中联锁软件的可靠性和安全性,依据铁路信号系统故障-安全设计原则,研究应用数据的安全防护方法。基于站场图形网络结构的联锁数据特点,采用CRC、正发码校验等方法有效避免软件接口数据配置错误;利用标准程序模块生成的动态数据与静态数据的相互校验,有效验证联锁数据的逻辑正确性。这种安全防护方法在工程实践中得到广泛应用并验证,以较小的代价提高了联锁软件质量。此外,基于联锁系统二取二安全冗余原理,提出在软件编制过程中采用双人编制的冗余工作模式,大大降低了数据编制中人为错误发生的概率。     

计算机联锁工程软件安全生产优化方案

为实现铁路车站计算机联锁系统工程软件的安全生产,依据铁路信号运用管理办法及相关安全评估标准,在软件生产环节制定一系列优化措施。针对工程软件设计、编制环节存在的问题,提出有效解决方案;结合工程应用经验,通过采用双套校核机制减少软件人员在数据编制时的错误,提高软件的安全性和可靠性;依据软件生产流程控制特点,采用信息管理系统、开发联锁数据自动生成工具应用到软件生产中,提高软件生产效率。研究表明,上述优化方案应用于联锁工程后效果良好,可有效提高联锁软件的生产效率和安全性。     

联锁表自动生成软件的设计与实现

为提高铁路信号设计效率,设计联锁表自动生成软件。依据计算机联锁车站联锁图表编制原则,运用绘图交换格式(DXF)数据提取的方法,结合车站信号设备平面布置图及其他站场数据,构建站场形数据结构,通过广度优先搜索算法,实现进路自动搜索并保存进路数据和联锁表数据,利用ActiveX技术与AutoCAD软件连接,根据保存的联锁表数据,生成并输出CAD格式的联锁表。联锁表自动生成软件已应用于现场,取得了良好的应用效果。     

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

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

基于自定义实体的联锁表自动生成软件设计与实现

为提高联锁表编制效率和准确性，设计基于自定义实体的联锁表自动生成软件。使用AutoCAD二次开发接口，读取利用ObjectARX创建的信号设备自定义实体的数据信息；根据信号设备平面布置图的结构特点自动生成站场型数据结构；利用深度优先搜索（DFS, Depth First Search）算法搜索进路，并根据联锁表编制原则，处理进路数据和生成联锁数据。现场试用结果表明，该软件能与信号设备平面布置图实时交互，快速访问AutoCAD数据库，直接调用其中实体，生成标准格式的铁路车站联锁表及地铁车辆联锁表，准确率超过99%，且具有较高的通用性。     

城市轨道交通联锁表自动生成软件的开发与实现

城市轨道交通联锁表自动生成软件依据城市轨道交通信号系统既有的联锁表格式和编制原则，采用模块化设计思想，利用现代化计算机技术，根据输入的站场线路拓扑图及相关轨旁设备数据，构建抽象的图型数据结构信息，通过广度图论优先搜索算法遍历全线站场线路拓扑，完成联锁表进路及进路相关信息的自动搜索，生成并且保存为标准格式的联锁表及进路图。目前该软件已在实际的工程项目中得到较好的应用。     

TYJL-ADX型计算机联锁操作显示软件升级研究

中国铁路总公司印发《车站计算机联锁操作显示技术规范》,目的是统一并规范计算机联锁设备的操作显示界面。在对TYJL-ADX型计算机联锁操作显示界面进行对标分析的基础上,进行新界面软件的设计,并从工程数据的角度提出新界面软件编制需要重点关注的问题,最后对新界面软件的影响进行分析。新界面软件的实施将有利于信号系统互联互通、全程全网的发展,并对车站行车作业和运营维护规范化起到促进作用。     

计算机联锁软件模拟自动测试系统的研究与实现

基于灰箱测试模型,实现非侵入式闭环联锁软件自动测试系统。系统测试分自动和手工两种方式。测试程序软件采用模块化设计。仿真程序界面采用虚拟面板技术,使操作直观、方便、简捷,增强了仿真能力。系统测试基于联锁特征数据,联锁表保证测试的连续进行。实际应用表明,本系统能够发现联锁软件故障,提高测试效率;有利于进行回归测试;可以降低人为的操作失误和对测试人员的技术要求,减少测试成本,满足联锁软件出厂测试和现场测试自动化的需要。     

铁路计算机联锁软件重构关键技术研究

计算机联锁软件的基础是联锁软件数据结构的选取和进路搜索算法的设计。针对传统计算机联锁系统上位机软件在站场结构发生变化时需要作出大量修改的问题,为提高联锁系统的灵活性与可重用性,降低人员劳动强度,一方面通过拖拽的方式由控件拼凑构建平面站场图,达到平面站场图灵活重构的目的;另一方面,利用二叉树与站场数据结构之间的相似性建立单链表站场数据结构。在此基础上,提出了一种新的计算机联锁进路搜索算法,达到使整个计算机联锁系统上位机软件可重用的目标。整个计算机联锁上位机软件以VS2015为开发平台,采用面向对象的语言进行编写与实现,为车站的后期改造提供便捷。     

面向形式化验证的联锁翻译器软件设计

根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.     

计算机联锁标准站研究

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

铁路车站计算机联锁软件研究与设计

计算机联锁是铁路车站的重要系统之一,主要是控制列车在站内的安全运行。联锁系统分硬件和软件系统,联锁逻辑运算模块是计算机联锁软件系统的核心,其完整性和优越性决定着联锁系统的功能和性能。针对基于"与或"逻辑的联锁软件逻辑繁琐、集成度和可移植性差等问题,在采用模块化思想和结构化语言的基础上,通过分析联锁逻辑运算模块的功能需求和实现方法,设计了详尽的软件执行流程。通过实际应用,结果表明采用模块化结构和结构化语言的联锁软件功能完善,具有良好的可维护性和可移植性,符合计算机联锁技术条件第8条规定。     

计算机联锁标准站研究

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

基于时刻表的列车模拟运行的研究与设计

为了实现城市轨道交通的安全有效运输,提出了一种适用于城市轨道交通列车运行时刻表的编制方法。把例如起始时间、终止时间等一些列车运行时所必需的数据以XML格式存储在列车时刻表中,在对XML格式的时刻表数据进行解析时采用了较为方便有效的Tinyxml解析器,把解析出来的时刻表用于列车的模拟运行上。采用了定时器以获得最新的时刻表数据。利用流程图和VC++ 6.0详细说明了列车时刻表模拟运行法的软件实现过程,实现了ATS系统与联锁系统之间的有关时刻表和命令对信息的校核与传递。     

青藏铁路无线机车信号联锁通信协议转换的研究

青藏铁路无线机车信号联锁通信协议与试验站场的联锁通信协议不一致,提出一种用C语言编写协议转换软件的方法,有效地解决联锁通信问题.介绍无线机车信号系统的功能和结构,对联锁通信协议转换的原理和软件实现方法做详细说明.经过现场试验,系统联锁通信表现出良好的稳定性和可靠性.     

列控联锁一体化系统多层次结构化设计实现

列控联锁一体化系统（TIS）集成计算机联锁系统和列控中心系统接口和功能,在现场设备维护、系统实时性控制等方面带来一系列优点,但也随之带来软件功能的复杂性。考虑设备现场需具备更好的可维护性和可操作性,从功能结构上进行层次划分,例如站内联锁关系、区间信号机控制、轨道电路编码等作为CTCS-0级列控系统线路功能,临时限速及有源应答器功能作为CTCS-2/CTCS-3级列控系统线路功能,再结合数据配置进行多层次模块化管理,软件采用独立模块结构化设计,不同功能的数据配置、软件升级互不影响,降低不同功能模块之间的耦合性,既有利于工程实施,便于数据配置和软件维护以及故障分析定位,又有利于对系统整体安全性进行分析。     

日本新干线技术系列介绍（八）新型电子联锁PRIME

介绍了日本铁路新型电子联锁装置的系统组成，设计思想，硬件和软件的安全性，高可靠的数据设计及其支持工具，以及联锁自动试验和线路布局的变更等。     

基于CAN通信的计算机联锁IO仿真系统设计

以计算机联锁系统体系结构为基础,结合健全和完善联锁软件试验的设计理念,借鉴现有成熟的计算机技术及通信接口技术,研发设计了一种基于CAN通信的计算机联锁IO仿真系统.详细阐述了系统的架构、软硬件设计原理及主要功能实现.功能测试和仿真应用实践表明,系统设计满足联锁软件试验要求,能够健全联锁软件试验覆盖面和提高试验效率.     

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

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

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

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