-
Patent Agency Ranking
公开(公告)号：CN115543787A
公开(公告)日：2022-12-30
申请号：CN202211152126.1
申请日：2022-09-21
Applicant: 卡斯柯信号有限公司
IPC: G06F11/36
Abstract: 一种基于联锁规则的系统形式化模型处理方法，构建联锁车站信号设备的自然语言的对象模型框架，根据基于联锁规则的自然语言的安全需求描述来完善对象模型，提取安全需求描述中的对象属性信息来填充对象模型框架，将自然语言对象模型转换为形式化语言的对象模型，将自然语言的安全需求描述转换为形式化语言的安全需求描述。本发明提高了形式化验证的有效性、灵活性、适用性和验证效率。
-
公开(公告)号：CN118534288A
公开(公告)日：2024-08-23
申请号：CN202410595695.6
申请日：2024-05-14
Applicant: 卡斯柯信号有限公司
IPC: G01R31/28
Abstract: 本发明公开了一种继电器模拟装置，包括：上位机、采集码位模拟模块、驱动码位模拟模块、干扰注入模块和接口模块；所述上位机与所述采集码位模拟模块、驱动码位模拟模块、干扰注入模块和接口模块通信，以控制各模块，所述接口模块与外部的采集板和驱动板连接，对采集板和驱动板进行测试；所述干扰注入模块与接口模块连接，向采集码位模拟模块与采集板之间的采集回路，或，驱动码位模拟模块与驱动板之间的驱动回路，注入干扰信号；该方案可灵活设置采集码位反馈时机，提供了可变可控的采集码位；可根据需求设置驱动码位励磁时机及驱动回路负载阻值，用于验证不同场景下联锁运算结果、产品稳定性和工程数据现场匹配性。
-
公开(公告)号：CN115848447A
公开(公告)日：2023-03-28
申请号：CN202211553485.8
申请日：2022-12-06
Applicant: 卡斯柯信号有限公司
IPC: B61L23/06
Abstract: 本发明公开了一种采用施工登销记实现设备封锁防护的方法和系统，该方法包括：接收施工调度命令和施工登记信息，并根据施工调度命令和施工登记信息设置封锁时间和封锁区段；获取列车走行信息、列车计划信息和TDCS站场设备表示信息，并判断与列车走行信息、列车计划信息和TDCS站场设备表示信息关联的信号设备是否位于封锁区段内；确定位于封锁区段内的信号设备的运行状态，并根据运行状态、封锁时间、列车走行信息、列车计划信息和TDCS站场设备表示信息进行行车设备封锁防护。本发明能够有效提升铁路施工作业的安全管理水平，并能够为安全行车设备防护增加新的保障。
-
公开(公告)号：CN113162988A
公开(公告)日：2021-07-23
申请号：CN202110329167.2
申请日：2021-03-27
Applicant: 卡斯柯信号有限公司
Abstract: 本发明涉及一种用于调度集中系统与联锁系统通信的接口系统，该接口系统分别与至少一个调度集中系统和至少一个联锁系统通信连接，所述的接口系统包括依次连接的第一应用层、第一安全层、第一传输网络层、数据网络层、第二传输网络层、第二安全层和第二应用层，所述的第一应用层与调度集中系统连接，所述的第二应用层与联锁系统连接。与现有技术相比，本发明具有节省设备设置、布置更加灵活等优点。
-
公开(公告)号：CN110104029A
公开(公告)日：2019-08-09
申请号：CN201910237330.5
申请日：2019-03-27
Applicant: 卡斯柯信号有限公司
Abstract: 本发明涉及一种适用于城际铁路的CTC进路自动触发方法，该方法在进行列车运营计划动态调整时采用了不改变避让关系的逻辑，同时在自动办理发车进路时使用接车载发来的列车停稳状态和系统自动判断相结合方式判断列车是否停稳，并在列车停稳后采集屏蔽门状态，确认在屏蔽门关闭后自动触发发车进路。与现有技术相比，本发明提高了列车停稳判断的准确性和可用性等优点。
-
-
-
-
Search Results
5
records
(took 0.032 seconds)
