一种联锁操作机多类型进路控制方法

    公开(公告)号:CN116279665B

    公开(公告)日:2025-03-04

    申请号:CN202310255720.1

    申请日:2023-03-16

    Abstract: 本申请公开了一种联锁操作机多类型进路控制方法,包括:获取选定的进路始端信号装置和进路类型并发送给进路管理模块,遍历进路表内的可匹配进路;检查可匹配进路的进路类型可办显示码位,若为真,则将可匹配进路添加至可办终端信号按钮列表;计算可办终端信号按钮列表中的可匹配进路总数,若大于零,则将可办终端信号按钮列表上传给人机交互模块;进路管理模块确定进路路径;根据进路路径信息下发动岔命令;根据进路类型查询进路办理控制码位并发送给联锁下位机。本申请的联锁操作机多类型进路控制方法,将多种进路类型集成在联锁操作机中,出现新的进路类型时,软件不需要进行适应性的修改,节省变更成本。

    一种进路联锁关系测试方法、电子设备、可读存储介质

    公开(公告)号:CN119248638A

    公开(公告)日:2025-01-03

    申请号:CN202411241029.9

    申请日:2024-09-05

    Abstract: 本发明涉及一种进路联锁关系测试方法,包括以下步骤:S1、对联锁系统中进路联锁关系进行识别和抽象,包括定义进路联锁关系和联锁设备的规约;S2、对进路联锁关系规约和进路联锁设备进行形式化建模;S3、部署测试环境,对模型进行实例化并执行测试。本发明采用精确的非形式化测试规约描述方法,便于自动化工具的自动识别和解析,以及避免理解产生歧义。构建的进路联锁设备形式化模型能够提升联锁软件的开发效率,降低维护成本。

    一种基于布尔表达式的站台门控制器及其实现方法

    公开(公告)号:CN118778981A

    公开(公告)日:2024-10-15

    申请号:CN202410915328.X

    申请日:2024-07-09

    Abstract: 本发明提供一种基于布尔表达式的站台门控制器及其实现方法。所述实现方法包括如下步骤:根据应用需求,用布尔逻辑语言编写或修改与所述应用需求相对应的布尔逻辑描述文件;使用文件转换工具将所述布尔逻辑描述文件从文本文件转换为二进制的布尔逻辑描述文件;读取并解析所述二进制的布尔逻辑描述文件,实现所述布尔逻辑描述文件中定义的逻辑功能。本发明针对现有的全电子站台门控制器的缺点,在现有的站台门控制器上新增了布尔逻辑解析的功能,当现场的逻辑运算需求发生变化时,仅需要简单修改布尔逻辑描述文件来实现执行逻辑的变更。

    一种信号系统办理非进路调车的装置和方法

    公开(公告)号:CN118419095A

    公开(公告)日:2024-08-02

    申请号:CN202410672808.8

    申请日:2024-05-28

    Abstract: 一种信号系统办理非进路调车的装置和方法,联锁操作机进行非进路与进路冲突检查,联锁下位机同时进行非进路区域冲突检查,联锁操作机进行带动道岔动作,以及进行区域道岔和防护道岔动作,联锁下位机进行区域锁闭和信号开放。本发明提高了冲突判断的准确性,提高了非进路操作的准确性和效率,提高了运行稳定性,避免出现异常监测曲线和道岔失表故障。

    一种智能信号机模拟装置
    5.
    发明公开

    公开(公告)号:CN117908433A

    公开(公告)日:2024-04-19

    申请号:CN202311740078.2

    申请日:2023-12-15

    Abstract: 一种智能信号机模拟装置,包含上位机、以及通过板载总线与所述上位机通信的信号机模块、接口模块和异常电流注入模块;所述信号机模块用于模拟透镜式信号机和LED信号机,所述信号机模块与信号板连接,所述异常电流注入模块通过所述接口模块与所述信号机模块连接,用于向所述信号机模块注入异常电流,所述智能信号机模拟装置根据所述上位机的命令来测试与所述信号机模块连接的信号板。本发明保障信号板开发过程能够得到充分验证,产品上道前能够结合现场信号机类型对各类参数进行全面测试和验证,提高产品稳定性,保证现场运输作业秩序,提供铁路生产效率,降低故障风险,提高维护效率、降低现场推广应用的风险。

    一种用于轨道交通的主控安全计算设备

    公开(公告)号:CN117755364A

    公开(公告)日:2024-03-26

    申请号:CN202311820651.0

    申请日:2023-12-27

    Abstract: 本发明提供一种用于轨道交通的主控安全计算设备,包括第一系统和第二系统,第一系统和第二系统分别包括中央处理器、图形处理单元和控制单元,中央处理器电连接于图形处理单元和控制单元;控制单元用于控制中央处理器和图形处理单元对输入的列车行车数据进行运算以获得结果。本发明的用于轨道交通的主控安全计算设备,主控安全计算设备为异构二取二系统,保证了主控安全计算设备计算的安全性;采用中央处理器和图形处理单元组合的方式扩展算力;相较于现有的各主控设备,本发明的用于轨道交通的主控安全计算设备不仅适用于列车主动避障系统和车车通信系统,还可以将一整条线路的设备的信息统一处理,减少设备数量,降低施工、调试和维护的成本。

    一种计算机联锁用户管理的上位机系统及实现方法

    公开(公告)号:CN117061145A

    公开(公告)日:2023-11-14

    申请号:CN202310850506.0

    申请日:2023-07-11

    Abstract: 本发明还提供一种计算机联锁用户管理的上位机系统及实现方法,该方法包括:基于联锁上位机中的界面模块发送的用户登录信息,用户管理模块执行用户的登入或登出;登入用户管理模块后,用户管理模块读取用户信息存储文件内的信息,结合界面模块发送的用户管理信息对用户进行管理,和/或结合界面模块发送的功能指令信息执行相关功能操作;以及基于联锁上位机中的网络模块传输用户信息存储文件,实现各个联锁上位机的用户信息同步。本发明具有成本低,扩展性强以及使用方便的优点。

    一种轨旁列车定位信息的安全编码方法

    公开(公告)号:CN115465333B

    公开(公告)日:2023-10-31

    申请号:CN202211068446.9

    申请日:2022-09-01

    Abstract: 本发明提出了一种轨旁列车定位信息的安全编码方法,包括以下步骤:采用冗余编码方案,编制列车的线路位置编码信息;使用图像采集器识别轨旁的标识板上的编码串,校验后发给车载安全计算机;车载安全计算机对该编码串进行多通道冗余安全计算后,通过在位置数据库查表,得到该编码串对应的列车位置信息;最后根据所述通过查表确定的列车位置信息,更新列车的真实位置;该方法集冗余、反校验计算等多种手段,提高了位置计算的安全性,弥补了视觉识别的可靠性、安全性缺陷,提升了在使用图像采集技术进行基于轨旁设备的被动列车定位时的定位准确性。

    一种基于故障树分析的安全联锁系统开发方法

    公开(公告)号:CN115544463A

    公开(公告)日:2022-12-30

    申请号:CN202211347895.7

    申请日:2022-10-31

    Abstract: 本发明提供一种基于故障树分析的安全联锁系统开发方法,包含步骤:S1、分析安全联锁系统的预期目标,得到所述系统的初始需求,结合所述初始需求,通过语义表述的故障树,识别系统硬件层的潜在故障,得到系统的多个功能需求;S2、通过Event‑B形式化方法,基于列车安全驶入站场并安全离开站场的功能需求,建立初始的系统模型;并基于其余功能需求精化所述系统模型;S3、通过Event‑B形式化语言表述的故障树,分析导致危害事故发生的行为,得到系统对应的安全控制需求;基于所述安全控制需求进一步精化系统模型;S4、完成系统模型的证明义务并生成可执行代码。

Patent Agency Ranking