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

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

基于图的可重构安全联锁系统设计

在自动化生产过程中安全联锁系统(SIS)被广泛使用;传统的安全联锁系统主要由逻辑电路或PLC实现,当联锁关系发生变化时需要对系统进行重新设计,影响正常生产;针对上述问题提出一种基于图的可重构安全联锁模型,该模型可以实现联锁关系的自由配置和在线修改,适合复杂多变安全联锁系统的设计,在某大型科研装置中得到成功引用,取得了良好效果。

信号联锁的开关函数方法研究

采用开关函数对铁路站场网络进行描述，构造出站场网络模型。详细讨论了模型与信号联锁的对应关系，通过开关函数运算，得到一种生成联锁的新方法。结合实例，介绍了有向开关函数实现信号联锁的步骤。

计算机联锁系统配置软件设计与实现

通过计算机技术可实现计算机联锁系统的信息配置,将原本隐藏于工程图纸、电子文件、设备实际布置、设备履历文件等不同媒质中的有用信息,由配置软件收集起来,成为统一规范的显性数据,从而辅助现场铁路信号设备的日常维护工作。

基于模型的进路建立过程测试用例自动生成

为了生成进路建立过程完备的测试案例,分析设备故障和人环因素的影响并结合对应的逻辑过程,建立了进路建立过程的状态机模型,并对模型解析得到状态与边的关系,将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准则的优劣,设计深度优先搜索算法遍历模型,得到抽象测试案例,采用Java反射机制对抽象案例进行反推,结果生成8种类型的测试片段,每种类型的片段进行组合生成所有的测试案例。最后分析进路正常建立所需的输入案例和引入的故障案例对建立过程的影响。

信集闭系统进路联锁表自动生成算法研究

从图论的观点来解决信集闭系统中进路联锁表的自动生成问题。首先根据进路间不同的敌对关系,得到进路联锁表的生成判据。然后从图论的角度来认识系统中的进路,生成系统的进路图,在此基础上,利用矩阵计算,得到进路联锁表的生成算法。经实践验证,利用该算法自动生成的进路联锁表正确无误。

联锁进路敌对信号的搜索算法设计

分析了铁路信号计算机联锁系统中进路敌对信号的定义及处理生成问题,借助联锁进路表阐述了敌对信号与进路搜索之间的约束关系;结合站场有向图和邻接矩阵,利用数学图论知识,提出了一种进路敌信号搜索算法和k步进路扩散生成算法,给出了算法步骤流程并通过类C语言实现算法全过程。算法在实际工程项目中进行了应用,并对实际的站场实例进行了算法仿真模拟,提供了部分铁路站场进路和敌对信号实例数据。

联锁进路生成的切换控制算法设计

阐述了切换控制系统的概念和表达形式,结合铁路信号系统给出了几个与进路生成有关的切换定义。提出了一种k步进路搜索算法思路,并在此基础上提出一种新型的基于切换控制的进路生成算法。分析了铁路信号系统在有无敌对信号情况下切换算法的设计过程,结合实际工程项目给出了一些实例。通过项目仿真结果表明,算法通过一系列的切换生成进路的时间数量级较图搜索算法明显减少,从而提高选路的效率。

铁路信号站场图形一致性检测的算法设计

分析了铁路信号计算机联锁系统中的站场拓扑图形生成机理问题,阐述了图形设备单元的设计过程及其与道岔、信号机及区段数据基的实时对应关系;提出了图形绘制更新流程和图形一致性检测程序流程,对绘图类与联锁程序和通信接口的关系进行了表述,并给出了一种基于代价有向站场拓扑图的k步扩散进路搜索算法;通过C++编程实现了上述图形检测生成算法,并在工程项目中进行了应用,最后对具体的实例进行了算法仿真模拟。

图C_(4k)∪P_n的优美性

证明了圈C4k是优美交错图,证明了路Pn是优美交错图。证明了由圈C4k与路Pn粘接而成的图C4k∪Pn是优美图,也是交错图,并给出了图C4k∪Pn的优美标号。

基于坐标与站场拓扑的联锁表生成算法

针对目前铁路计算机联锁系统联锁表大多都是依靠人工编制的问题,提出了一种基于坐标与站场拓扑的联锁表生成算法.首先根据图论的相关知识分析站场结构,并利用面向对象思想将车站设备抽象为各个模块,结合C#语言编写的站场拓扑组合程序,以模块化方式建立站场平面图,通过记录各模块的横、纵坐标与其它设备信息,完成站场型数据结构的构建.随后分析研究各站场模块的二维坐标信息与其设备类型,并结合一种新型进路搜索算法,实现了更加高效准确的完成联锁表的自动生成工作.

计算机联锁系统S700K电路图软件动态设计

研究五线制S700K型转辙机电路的基本原理,分析启动电路、控制电路、表示电路所涉及到的设备图元以及图元的类型和图元之间的坐标关系,并建立数据库存储图元的数据信息,读取数据库中各个图元的基本信息,画出五线制转辙机电路的静态电子图纸。设计搜索算法,接收联锁机的驱动命令,根据1DQJ励磁电路,2DQJ转极电路以及DBJ和FBJ电路中继电器的励磁条件和三者之间的联锁关系,从每张图的电源正端开始搜索动态回路,结果动态实现了五线制道岔控制电路的动作回路和表示回路的动作过程。

基于UML顺序图的地铁联锁测试用例生成方法

地铁计算机联锁作为保证安全的重要设备,定期对其测试至关重要.为了设计具有高效率的联锁功能测试用例,提出一种基于顺序图形式化描述的测试用例生成方法.首先对待测系统功能建立UML顺序图模型,并对其进行场景分析;基于图论中有向图的含义,由UML模型构造有向图;以深度优先算法遍历有向图的连通性来确定测试路径,最后组合约束条件及测试场景生成测试用例集.以选排进路生成测试用例过程,验证了该方法能够避免重复生成测试用例,从而能够减少测试工作量.

车站计算机联锁系统配置信息软件设计

车站计算机联锁系统配置信息软件是显示车站各类静态和动态资料的一款软件。其主要目的是为降低远程故障诊断的难度和减少其对技术人员水平的依赖程度。对于车站的技术图和电路图,以及其配置信息,软件根据在现有图纸上搜集到的数据通过Visual Studio平台,使用C#语言编写程序,实现了这类静态资料的电子化。对于跑电路法的实现,软件通过图的深度遍历的方法,找到并显示电路中的各条通路,还可以根据改变继电器的接点连接情况,改变电路的显示。这款软件具有较好的通用性,对于不同的车站,通过统一格式的数据输入后,均可以实现对该站的配置信息的显示和各类电路的选路操作及显示。计算机联锁设备的故障诊断时常费时费力,这款软件较好地解决了诊断过程中资料查找方面的困难,提高了故障诊断过程的自动化程度。

一种站场图逻辑语义解析算法

本文介绍了铁路车站站场图的结构,阐述了站场图逻辑语义的含义及站场图构成规则库的构建,提出了一种基于图搜索技术的站场图逻辑语义解析算法,并将该算法在铁路计算机联锁软件测试评估平台子系统的站场CAD拼贴及数据校验中实现。

浅谈信号工程开通前的资料准备和报审

信号工程在开通前需要提前准备各种资料,包括竣工版平面图、联锁表、控制台盘图、设备变化说明、电务LKJ数据和电务专项施工方案等。在施工前期,应将这些资料准备好,并经过铁路各个部门报审通过,再由铁路局各站段和处室根据实际情况审核施工计划后,最终由运输处确定信号工程开通的日期和时间。结合笔者多年的现场经验,详细介绍了铁路信号工程开通前需要准备的资料和报审流程,以供相关单位参考和探讨。