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

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

联锁表自动生成联锁关系的软件处理方法

联锁表对联锁逻辑运算的时效性和可靠性起着至关重要的作用,目前多数文献只研究了联锁表生成的算法,本文主要研究联锁表生成过程中遇到的联锁关系,包括:超限绝缘、带动道岔的位置及相关数据结构、确定和搜索变更进路和基本进路的方法,以及调车进路终端问题和在进路表搜索过程中对敌对信号的处理等。     

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

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

地铁正线联锁表自动设计的研究

介绍了地铁正线联锁表自动设计的思路和流程。将信号设备平面布置图抽象为有向图拓扑结构,利用顶点和边描述信号设备及其之间的联系,依据地铁正线联锁表的内容和联锁数据结构,选择深度优先进路搜索方法获取进路信息,完成联锁表的自动设计。     

联锁表人机交互转换模块的可视化设计与实现

调度指挥系统内部为实现站内设备控制、车次追踪、进路设置等关键功能,需要转换联锁表数据为机器设备可读取的格式。由于联锁数据的复杂性,达到工程要求前机器配置会经过多次审核和调整。本文在详细分析配置制作与校核流程的基础上,设计并实现了联锁表人机交互转换模块。模块通过将机器配置可视化为联锁表条目、闪烁光带,以及人机界面勾选框的方式,标示配置信息并记录对表结果,辅助进路有效性检查。模块的人机界面能导入已有配置审核,或根据调度指挥系统需要,输出核对结果为对应的子系统配置文件。人机交互模块的应用提高了文件制作效率,保证了联锁表条目与数据配置的有效对应,在各调度区段车站改造升级中得到了广泛应用,取得了很好的反馈。     

铁路站场信号联锁关系自动生成算法研究

当站场结构发生变化,站场联锁关系表也随之改变需重新编写,而站场联锁表多依靠深度搜索或广度搜索算法来生成,对于大型编组站其计算量大、效率较低。通过对铁路站场运输设备及其相互间关系的研究,分析站场拓扑结构,进行有向图建模,应用图论的最优化理论探讨铁路站场联锁表的自动生成方法。并且通过对图搜索算法的研究和对比,设计启发式的联锁表进路搜索方法,实现联锁表的准确、高效自动生成。     

《联锁表》之敌对信号的设计方法

从4个方面阐述《联锁表》之敌对信号设计方法,总结敌对信号的设计规律,以及对敌对信号条件的描述均具独到的见解,对如何编制《联锁表》、提高《联锁表》设计质量具有很大的参考意义。     

基于OpenCV的计算机联锁自动测试系统研究

针对当前国内计算机联锁软件测试中存在的人工测试效率低、第三方测试难度大、严重依赖测试人员技术水平问题，基于OpenCV图像处理技术、AutoItX自动测试库，设计并实现了计算机联锁自动测试系统。系统通过计算机联锁上位机界面采用图像处理技术获取铁路站场数据；基于站场数据，采用进路搜索算法生成站场联锁表，进而基于联锁表生成相关测试用例；对测试用例编写测试脚本，实现对计算机联锁系统的自动测试。研究结果表明，该系统实现了第三方对计算机联锁系统的自动测试，能够有效地减少人工操作，在降低对测试人员技术水平的要求的同时提高了测试效率。     

确定基本进路和变更进路的方法

在铁路信号车站《联锁表》的设计过程中,如何确定基本进路、变更进路是设计《联锁表》的精髓,因此总结了如何确定基本进路、变更进路的13种规则方法并给出见解。     

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

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

计算机联锁图表的作用及改进探讨

主要介绍计算机联锁图表的作用,分析目前计算机联锁图表存在的一些问题。为适应计算机联锁车站的工程特点,提出对现有计算机联锁图表编制的改进原则和编制方法。     

计算机联锁软件仿真试验表格的运用

计算机联锁在现场模拟试验之前及软件修改后,电务段应进行全面的联锁仿真试验,并认真做好记录,仿真试验的内容按要求表格化,为此需要设计全面的试验表并应掌握试验方法。     

基于联锁表的站场图自动生成软件设计与仿真

通过对联锁表和站场图的学习,提出了一种基于联锁表的站场图自动生成软件设计方法。最后利用MFC编写软件进行仿真,验证了这种设计方法的合理性与可行性。     

一种自动生成联锁表的实现方法

介绍一种联锁表自动生成的实现方法,分3部分进行论述,即进路信息搜索、进路相关信息搜索、联锁表的实现,对每一部分都给出具体步骤和相应的流程图。     

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

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