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

    公开(公告)号:CN118778981A

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

    申请号:CN202410915328.X

    申请日:2024-07-09

    IPC分类号: G06F8/65 G06F8/30 G06F8/70

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

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

    公开(公告)号:CN118419095A

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

    申请号:CN202410672808.8

    申请日:2024-05-28

    IPC分类号: B61L19/06

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

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

    公开(公告)号:CN117908433A

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

    申请号:CN202311740078.2

    申请日:2023-12-15

    IPC分类号: G05B19/042

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

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

    公开(公告)号:CN117755364A

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

    申请号:CN202311820651.0

    申请日:2023-12-27

    IPC分类号: B61L27/40 B61L23/00

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

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

    公开(公告)号:CN117061145A

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

    申请号:CN202310850506.0

    申请日:2023-07-11

    IPC分类号: H04L9/40 G06F21/60

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

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

    公开(公告)号:CN115465333B

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

    申请号:CN202211068446.9

    申请日:2022-09-01

    IPC分类号: B61L25/02 B61L15/00

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

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

    公开(公告)号:CN115544463A

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

    申请号:CN202211347895.7

    申请日:2022-10-31

    IPC分类号: G06F21/12 G06F21/44 G06F21/64

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

    一种基于联锁规则的系统形式化模型处理方法

    公开(公告)号:CN115543787A

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

    申请号:CN202211152126.1

    申请日:2022-09-21

    IPC分类号: G06F11/36

    摘要: 一种基于联锁规则的系统形式化模型处理方法,构建联锁车站信号设备的自然语言的对象模型框架,根据基于联锁规则的自然语言的安全需求描述来完善对象模型,提取安全需求描述中的对象属性信息来填充对象模型框架,将自然语言对象模型转换为形式化语言的对象模型,将自然语言的安全需求描述转换为形式化语言的安全需求描述。本发明提高了形式化验证的有效性、灵活性、适用性和验证效率。

    联锁数据安全性的形式化验证方法和系统

    公开(公告)号:CN115525929A

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

    申请号:CN202211139197.8

    申请日:2022-09-19

    IPC分类号: G06F21/64

    摘要: 本发明公开了一种联锁数据安全性的形式化验证方法和系统,该方法包括:采用形式化建模语言建立联锁数据形式化验证通用模型;建立联锁数据形式化验证通用模型中设定的安全逻辑属性与联锁数据中的联锁设备、联锁逻辑参数和车站联锁功能之间的映射关系;根据映射关系对待验证联锁数据进行安全转化,得到联锁数据形式化验证通用模型需求的通用验证数据;从通用验证数据中选择验证对象,并选择验证算法通过形式化验证工具自动验证验证对象,以完成联锁数据安全性的形式化验证。本发明能够有效验证特定联锁数据对联锁系统需求实现的可满足性和安全性。