公开(公告)号：CN115048410A

公开(公告)日：2022-09-13

申请号：CN202210805878.7

申请日：2022-07-08

Applicant: 卡斯柯信号有限公司

Inventor： 张程 ,  杨帆 ,  杨平 ,  张铭瑶 ,  王燕芩

IPC: G06F16/2453 ,  G06F16/28 ,  G06F16/22

Abstract: 本发明公开了一种基于分治法的联锁形式化安全数据生成方法，对布尔表达式等号左侧的变量进行分类存储，并使用分治法在布尔表达式右侧的变量中进行搜索查找，从而生成输入变量，该方法使变量的搜索查询能够大大减少时间，提高了搜索效率。

公开(公告)号：CN113297035B

公开(公告)日：2022-07-26

申请号：CN202110676398.0

申请日：2021-06-18

Applicant: 卡斯柯信号有限公司

Inventor： 高武 ,  陈吉余 ,  李奇 ,  张程 ,  徐泽骏 ,  张杰 ,  王玲群 ,  佘立宇

IPC: G06F11/30 ,  G06Q10/06 ,  G06Q10/10

Abstract: 本发明提供了一种计算机联锁系统主操作判断方法，包含以下步骤，将计算机联锁系统内的所有操作机进行操作机组的分组，将每个操作机组内的各个操作机分为三类分别为I类、II类、III类操作机，并依次赋予三个不同的初始健康值X、Y、Z，其中X>Y>Z；根据各个所述操作机类别以及与联锁下位机、外部系统的通信状态对所述健康值进行更新，根据健康值大小选择主操作机。上述方案中联锁下位机可根据现有操作机健康值，快速挑出最大健康值作为主操作机，故障恢复快，影响范围较小。

公开(公告)号：CN112078629A

公开(公告)日：2020-12-15

申请号：CN202010709197.1

申请日：2020-07-22

Applicant: 卡斯柯信号有限公司

Inventor： 陈亮 ,  张程 ,  李卫娟 ,  徐军强 ,  莫运前 ,  马雯 ,  马锐 ,  杨平

IPC: B61L19/06 ,  B61L21/04 ,  G06F21/30 ,  G06F21/45 ,  G06F11/14 ,  G06F8/71 ,  H04L29/08

Abstract: 本发明涉及一种基于网络的分散智能快速重组型计算机联锁系统，包括两两之间通过通信网络连接的标准化智能联锁模块、车载机、版本/授权管理机、运行线管理机、维护机；所述的联锁系统基于IP技术，采用分散式架构并通过主动发现方式，将预先设计的标准化智能联锁模块，通过标准端口进行智能快速链接，实现连续多区域的信号联锁功能。与现有技术相比，本发明具有实现主动组网、智能互联、多重冗余备份等高可靠高安全的分散式联锁，极大的保障了运营安全等优点。

公开(公告)号：CN103885879B

公开(公告)日：2018-01-19

申请号：CN201410116831.5

申请日：2014-03-26

Applicant: 卡斯柯信号有限公司

Inventor： 何红光 ,  赵翠云 ,  梅文兰 ,  王旭东 ,  张程 ,  陈吉余 ,  朱怡 ,  兰青辉 ,  李卫娟

IPC: G06F11/36

Abstract: 本发明涉及一种用于联锁软件自动测试平台系统的脚本解析方法，其特征在于，包括以下步骤：1)脚本读入：其中输入文件为通用测试脚本模板文件、联锁表配置文件、联锁确认测试表格和联锁表。2)脚本编译：包括词法解析、语法编译和创建语法树；3)脚本组建：根据语法树生成测试运行用最终脚本；4)脚本运行。与现有技术相比，本发明具有降低人工成本、提高效率等优点。

公开(公告)号：CN104461765B

公开(公告)日：2017-10-27

申请号：CN201410856305.2

申请日：2014-12-29

Applicant: 卡斯柯信号有限公司

Inventor： 何红光 ,  余日可 ,  李新新 ,  陈吉余 ,  许明旺 ,  李卫娟 ,  张程 ,  季志均

IPC: G06F11/10

Abstract: 本发明涉及一种基于版本校验的联锁系统数据准确性检测方法，包括以下步骤：1)所述的SDM发送版本请求消息给IPS/MMI；2)所述的IPS/MMI收到该请求消息后，计算本节点所使用联锁数据和配置文件的CRC校验值，并将CRC校验值以及自身软件的版本号一起发送给SDM；3)所述的SDM收到回复消息后，计算本地磁盘上备份的IPS/MMI联锁数据和配置文件的CRC校验值，并与接收到的CRC校验值进行比较；4)若两者CRC校验值相等，则显示“目标节点所采用的数据文件/配置文件与SDM所备份的数据文件/配置文件一致”，并在SDM上显示对方节点的软件版本号。与现有技术相比，本发明具有有效提高了现场工作人员的维护效率，使现场工作人员在项目实施时更加不容易出错等优点。

公开(公告)号：CN105882692A

公开(公告)日：2016-08-24

申请号：CN201610211259.X

申请日：2016-04-06

Applicant: 卡斯柯信号有限公司

Inventor： 高武 ,  钱江 ,  颜红慧 ,  李卫娟 ,  张程 ,  陈吉余

IPC: B61L23/00 ,  B61L27/00

CPC classification number: B61L23/00 ,  B61L27/00

Abstract: 本发明涉及一种用于铁路信号设备系统的中央控制装置，所述的铁路信号设备系统包括两两之间通过通信总线连接的中央控制室、中央信号设备室、车站信号设备室，所述的中央控制装置包括设在中央控制室内的中央工作站控制器和车站工作站，所述的中央工作站控制器通过进程通讯技术与车站工作站连接，所述的车站工作站通过通信总线连接所述的车站信号设备室；通过中央工作站控制器与车站工作站的交互数据，实现直接监视控制所有车站信号设备。与现有技术相比，本发明当自动列车监控系统的中心服务器和车站服务器均不可用或部分不可用的情况下，还能监视控制全线的车站信号设备等优点。

公开(公告)号：CN105678022A

公开(公告)日：2016-06-15

申请号：CN201610101266.4

申请日：2016-02-24

Applicant: 卡斯柯信号有限公司

Inventor： 周庭梁 ,  罗娟 ,  王燕芩 ,  李卫娟 ,  张程 ,  朱迎春

IPC: G06F17/50

CPC classification number: G06F17/504 ,  G06F17/5036

Abstract: 本发明涉及一种面向方面的联锁系统安全需求形式化建模及验证方法，包括以下步骤：1)建立信号设备面向对象模型，包括进路类、信号机类、区段类、道岔类以及对应的子类；2)建立站场图信息提取模型，根据输入的站场图源文件以及对应的数据结构提取出相应的设备信息、进路信息和拓扑信息，并与已建立的面向对象模型建立映射；3)面向方面的安全需求形式化建模；4)建立形式化模型与通用应用的接口模型。与现有技术相比，本发明具有提高建模效率，使得安全需求更易维护等优点。

公开(公告)号：CN119502978A

公开(公告)日：2025-02-25

申请号：CN202411416568.1

申请日：2024-10-11

Applicant: 卡斯柯信号有限公司

Inventor： 武钰喜 ,  张程 ,  陈亮 ,  韦启盟 ,  朱迎春 ,  王燕芩 ,  马雯 ,  马锐

IPC: B61L21/06 ,  B61L19/00 ,  B61L1/16 ,  B61L1/18

Abstract: 本发明公开了一种判断计算机联锁设备是否匹配列车最高允许速度的方法，判断计算机联锁设备能否满足列车以最高允许速度运行时进路正常解锁；所述进路正常解锁的条件为计算机联锁设备先检测到本轨道区段占用状态、再检测到下一轨道区段占用状态、最后检测到本轨道区段出清状态。本发明所述的方法解决了列车以最高允许速度运行时，计算机联锁设备的性能设置、与该计算机联锁设备相匹配的列车长度和站内轨道区段长度应满足的要求问题，为计算机联锁设备的新产品研发、项目实施提供技术支撑。

公开(公告)号：CN119415117A

公开(公告)日：2025-02-11

申请号：CN202411468956.4

申请日：2024-10-21

Applicant: 卡斯柯信号有限公司

Inventor： 梁昱 ,  高武 ,  郭欣 ,  陈吉余 ,  张程 ,  王玲群 ,  叶正君 ,  刘国升

IPC: G06F8/65 ,  G06F15/78

Abstract: 本发明提供了一种联锁处理子系统数据在线自动更新方法及系统，包括：获取联锁处理子系统各板卡的待更新数据，所述待更新数据包括操作系统镜像、板卡软件镜像和配置数据；获取所述联锁处理子系统的板卡位置信息和通信板卡的IP地址；基于所述板卡位置信息在上位机可视化界面展示所述联锁处理子系统的板卡详细布置图；在所述上位机可视化界面上选择目标更新板卡，并进行更新操作，上位机通过所述IP地址与所述通信板卡通信，以建立与所述目标更新板卡的连接，上位机自动生成更新指令并下发至所述目标更新板卡，将所述操作系统镜像、所述板卡软件镜像及所述配置数据更新至所述目标更新板卡。

公开(公告)号：CN119389271A

公开(公告)日：2025-02-07

申请号：CN202411511267.7

申请日：2024-10-28

Applicant: 卡斯柯信号有限公司 ,  中国国家铁路集团有限公司

Inventor： 冯雷 ,  徐先良 ,  陈俊 ,  张雅静 ,  蒋红军 ,  张程 ,  陈耀华 ,  朱天民

IPC: B61L15/00 ,  G05B23/02

Abstract: 一种面向列控系统的安全保障方法的构建方法，所述构建方法包括：步骤S1，基于需求结合SOTIF技术构建列控系统；步骤S2，识别列控系统中的危害关键点/不安全控制行为，基于危害关键点/不安全控制行为对列控系统进行定向改进；步骤S3，验证定向改进后的列控系统的可靠性；步骤S4，对定向改进后的列控系统进行安全调整并输出；本发明具有提高列控系统可靠性的优点。