一种接近锁闭区段道岔关系的搜索方法

    公开(公告)号:CN117775074A

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

    申请号:CN202311816008.0

    申请日:2023-12-26

    Abstract: 本发明提供一种接近锁闭区段道岔关系的搜索方法,包括以下步骤:S1,从地铁系统数据库中确定目标联锁车站包含的所有信号机设备及各信号机对应的接近锁闭区段距离内包含的区段设备,生成每架信号机的拓扑;S2,根据拓扑计算通向每架信号机的每一条接近锁闭区段路径;S3,计算每一条接近锁闭区段路径上包含的每一个接近锁闭区段所要求的道岔条件;S4,根据每架信号机关联的所有路径中的道岔条件,合并不同路径的相同区段的道岔条件,得到该架信号机的各个接近锁闭区段包含的唯一的道岔关系信息;S5,针对每架信号机,输出该信号机的所有接近锁闭区段及其道岔关系。本发明能够提高接近锁闭区段的道岔关系配置效率,并降低遗漏率。

    一种用于目标控制器系统的远程维护系统及其方法

    公开(公告)号:CN117734791A

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

    申请号:CN202311449000.5

    申请日:2023-11-02

    Abstract: 本发明公开了一种用于目标控制器系统的远程维护系统及其方法,所述目标控制器系统用于驱动并采集轨旁信号设备的信息,所述远程维护系统包含:维护终端,其与目标控制器系统连接,所述维护终端用于从目标控制器系统获取目标控制器系统的工作状态信息和其对轨旁信号设备的监测信息;无线通信模块,其与维护终端连接以获取维护终端处的信息;远程终端,其用于通过所述无线通信模块获取目标控制器系统的工作状态信息和其对轨旁信号设备的监测信息。其优点是:该远程维护系统将维护终端、无线通信模块和远程终端等相结合,可实现对目标控制器系统的工作状态和轨旁信号设备状态的远程查看和监测,大大提高了故障诊断效率,降低了维护成本。

    面向通信节点的计算机联锁系统双机自动切换的方法

    公开(公告)号:CN116803819A

    公开(公告)日:2023-09-26

    申请号:CN202310764465.3

    申请日:2023-06-26

    Abstract: 本发明提供一种面向通信节点的计算机联锁系统双机自动切换的方法,联锁系统包含:联锁上位主机、联锁上位备机、联锁主机、联锁备机及多个轨旁设备,联锁系统配置有联锁逻辑软件,所述方法包含步骤:H1、为联锁系统的所有通信接口制定对应的通信状态参数;H2、联锁系统持续向各接口发送测试数据进行通信故障测试,并基于测试结果为各接口生成对应的通信状态参数值;联锁逻辑软件基于通信状态参数值判断对应的接口是否故障;H3、基于故障优先级触发联锁主机、联锁备机进行切换,且切换时满足:联锁主机与联锁备机之间的教育学习同步,以及联锁主备机之间不存在交叉故障。本发明基于通信节点的状态触发双机切换,保证联锁系统的可用性。

    全自动无人驾驶系统车库门关门管理方法、设备及介质

    公开(公告)号:CN115977495A

    公开(公告)日:2023-04-18

    申请号:CN202211690726.3

    申请日:2022-12-27

    Abstract: 本发明涉及一种全自动无人驾驶系统车库门关门管理方法、设备及介质,该方法只有车库门处于关门过程,或未处于打开且锁闭状态,有列车与车库门相撞的风险时,关闭车库门防护信号机,所述方法包括:步骤A,关门请求逻辑处理过程;步骤B,关门驱动输出过程;步骤C,取消关门请求逻辑处理过程;步骤D,进路及信号机防护过程。与现有技术相比,本发明具有解决了没有安全风险时过早关闭信号影响系统运营的问题,提高了系统的可用性,降低了对线路正常运营的影响等优点。

    一种用于预测目标控制器板卡寿命的系统及方法

    公开(公告)号:CN119148671A

    公开(公告)日:2024-12-17

    申请号:CN202411050083.5

    申请日:2024-08-01

    Abstract: 本发明公开了一种用于预测目标控制器板卡寿命的系统及方法,预测系统包含:目标控制器系统和维护终端,目标控制器包含采用了安全继电器的目标控制器板卡。预测方法包含:目标控制器系统对安全继电器动作次数进行累计,得到动作总次数,目标控制器系统将动作总次数发送给维护终端,维护终端对动作总次数进行分析,并预估目标控制器板卡的使用寿命。本发明可对目标控制器板卡的寿命进行有效预测,提高现有信号系统可用性并降低板卡寿命到达带来的影响。

    适用于全电子系统的间隙探测设备智能控制系统及方法

    公开(公告)号:CN119018205A

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

    申请号:CN202411056973.7

    申请日:2024-08-02

    Abstract: 本发明公开了一种适用于全电子系统的间隙探测设备智能控制系统及方法,所述系统包括:车载系统、区域控制器系统、间隙探测系统,以及具有联锁逻辑运算单元和全电子执行控制单元的计算机联锁系统。所述全电子执行控制单元与所述间隙探测系统进行双向信号传输;列车进站之前,间隙探测系统处于待机状态;列车进站停稳后,间隙探测系统开始进行间隙探测;列车离站后,间隙探测系统恢复待机状态。本发明在兼容旧有车载系统与计算机联锁系统的接口、计算机联锁系统与间隙探测系统的接口的基础上,降低了计算机联锁系统与间隙探测系统的接口设备维护管理的复杂度,提升信号系统的可用性,保障系统安全。

    一种联锁逻辑形式化开发方法、电子设备及存储介质

    公开(公告)号:CN117724682A

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

    申请号:CN202311686595.6

    申请日:2023-12-08

    Abstract: 本发明公开了一种联锁逻辑形式化开发方法、电子设备及存储介质,其基于形式化开发工具实现联锁设备的联锁功能,所述方法包括:在形式化开发工具中绘制拓扑图,并在所述拓扑图上赋予联锁设备属性;对所述联锁设备进行分类,建立对象属性描述模型;分析所述联锁设备的联锁功能需求,建立需求描述模型及需求验证模型;建立联锁功能测试模型;通过所述形式化开发工具,对所述联锁功能测试模型进行测试。本发明消除了传统自然语言、图形或表格的描述需求带来的需求模糊、存在歧义和需求矛盾的问题,需求实现完全符合需求描述及安全规约,确保了联锁逻辑的安全性,可随时修正需求描述问题,缩短了开发周期。

    铁路车站计算机联锁系统的验证方法、装置及计算机设备

    公开(公告)号:CN116691786A

    公开(公告)日:2023-09-05

    申请号:CN202310678096.6

    申请日:2023-06-08

    Abstract: 本发明公开了一种铁路车站计算机联锁系统的验证方法、装置及计算机设备,方法包括:建立铁路车站计算机联锁系统的设备模型;结合设备模型,对铁路车站计算机联锁系统的安全属性采用形式化语言进行描述,从而建立安全属性模型;根据联锁车站数据对设备模型和安全属性模型进行实例化;将实例化后的设备模型和安全属性模型导入形式化验证工具进行验证。本发明中的设备模型和安全属性模型对于不同的计算机联锁系统是通用的,因此对于不同类型的计算机联锁系统,可以通过翻译工具将数据转化为预先约定的形式,即可以在不修改系统模型和形式化验证工具的条件下,对系统进行形式化验证。

Patent Agency Ranking