公开(公告)号：CN107977493A

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

申请号：CN201711147269.2

申请日：2017-11-17

申请人： 卡斯柯信号有限公司

发明人： 王玲群 ,  张程 ,  陈吉余 ,  高武 ,  徐泽骏 ,  马锐 ,  莫运前 ,  成鹏

IPC分类号： G06F17/50

摘要： 本发明涉及一种联锁布尔逻辑的优化方法，包括：在生成布尔表达式后，对生成的结果通过优化联锁布尔逻辑算法进行优化，得到新的表达式进行输出。与现有技术相比，本发明具有大大的简化了布尔逻辑表达式，减少了每一条表达式中的布尔变量等优点。

公开(公告)号：CN113297035B

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

申请号：CN202110676398.0

申请日：2021-06-18

申请人： 卡斯柯信号有限公司

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

IPC分类号： G06F11/30 ,  G06Q10/06 ,  G06Q10/10

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

公开(公告)号：CN108189861B

公开(公告)日：2020-04-14

申请号：CN201711472271.7

申请日：2017-12-29

申请人： 卡斯柯信号有限公司

发明人： 王玲群 ,  李新新 ,  高武 ,  王贵凌 ,  徐泽骏 ,  马锐 ,  朱迎春 ,  杨平

IPC分类号： B61L19/00 ,  G06F16/242 ,  G06F16/22 ,  G06F16/21

摘要： 本发明涉及一种基于模板化技术的铁路信号联锁表自动生成方法，包括：设计一系列的联锁表生成模板，每个生成模板对应一类信号项目的联锁表输出格式，不同业务项目的联锁表生成模板不同；设计一系列的信号系统设计数据库信息匹配表，每一个匹配表用于定义如何检索一类信号系统设计数据库的设备信息到联锁表中。与现有技术相比，本发明具有适用范围广等优点。

公开(公告)号：CN113297035A

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

申请号：CN202110676398.0

申请日：2021-06-18

申请人： 卡斯柯信号有限公司

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

IPC分类号： G06F11/30 ,  G06Q10/06 ,  G06Q10/10

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

公开(公告)号：CN108189861A

公开(公告)日：2018-06-22

申请号：CN201711472271.7

申请日：2017-12-29

申请人： 卡斯柯信号有限公司

发明人： 王玲群 ,  李新新 ,  高武 ,  王贵凌 ,  徐泽骏 ,  马锐 ,  朱迎春 ,  杨平

IPC分类号： B61L19/00 ,  G06F17/30

摘要： 本发明涉及一种基于模板化技术的铁路信号联锁表自动生成方法，包括：设计一系列的联锁表生成模板，每个生成模板对应一类信号项目的联锁表输出格式，不同业务项目的联锁表生成模板不同；设计一系列的信号系统设计数据库信息匹配表，每一个匹配表用于定义如何检索一类信号系统设计数据库的设备信息到联锁表中。与现有技术相比，本发明具有适用范围广等优点。