公开(公告)号：CN115544463A

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

申请号：CN202211347895.7

申请日：2022-10-31

Applicant: 卡斯柯信号有限公司

Inventor： 张程 ,  陈吉余 ,  马锐 ,  马雯 ,  韦启盟 ,  陈亮 ,  朱迎春 ,  王燕芩

IPC: G06F21/12 ,  G06F21/44 ,  G06F21/64

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

公开(公告)号：CN113297035A

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

申请号：CN202110676398.0

申请日：2021-06-18

Applicant: 卡斯柯信号有限公司

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

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

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

公开(公告)号：CN113247058A

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

申请号：CN202110651595.7

申请日：2021-06-11

Applicant: 卡斯柯信号有限公司

Inventor： 高武 ,  陈吉余 ,  莫运前 ,  张程 ,  徐军强 ,  朱迎春 ,  王超 ,  季雯婷

IPC: B61L27/04

Abstract: 本发明涉及一种计算机联锁操作机自动切换控制权方法，包括如下步骤：步骤S1、联锁下位机重启，操作机与联锁下位机建立通信，并读取最近一次保存的其原控制权模式；步骤S2、操作机等待接收联锁下位机发送的表示信息；步骤S3、操作机等待接收联锁下位机发送的主操作机信息；步骤S4、主操作机根据读取的原控制权模式，将控制权切换消息下发至联锁下位机，等待反馈消息并进行控制权模式的切换；步骤S5、备操作机等待接收主操作机发送的控制权切换结束消息，并更新控制权模式；步骤SE、操作机以已更新设置的控制权模式与外部控制系统建立通信连接。本发明具有无人值守车站下位机恢复运营效率高、减少远程沟通时间成本和普遍适用程度高等优势。

公开(公告)号：CN108132962A

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

申请号：CN201711148301.9

申请日：2017-11-17

Applicant: 卡斯柯信号有限公司

Inventor： 余日可 ,  李新新 ,  何红光 ,  高武 ,  王玲群 ,  张杰 ,  徐曼 ,  陈吉余

IPC: G06F17/30 ,  G06F8/30 ,  G08B21/00

Abstract: 本发明涉及一种基于实时码位状态自定义联锁维护台报警的方法，包括：步骤S1、定义一个XML文件作为输入；步骤S2、XML文件中的所有内容需要加载到联锁维护台的内存中；步骤S3、将AITObject表达式中元素转化为地址，取其状态值；步骤S4、计算得到其中一条bool表达式的值；步骤S5、根据计算得到bool表达式的值的报警，报警需要按照AIAnalyzeAlarm中定义的报警规则进行报警；步骤S6、获取下一条bool表达式的地址，转到步骤S3。与现有技术相比，本发明具有有利于报警软件的维护等优点。

公开(公告)号：CN107844384A

公开(公告)日：2018-03-27

申请号：CN201610833483.2

申请日：2016-09-20

Applicant: 卡斯柯信号有限公司

Inventor： 杜飞 ,  李卫娟 ,  张程 ,  何红光 ,  陈吉余 ,  李新新 ,  高武 ,  杨平 ,  王燕芩 ,  余日可

IPC: G06F11/10

CPC classification number: G06F11/1004

Abstract: 本发明涉及一种联锁安全数据的生成方法，包括：用于克服内存跳变和CPU计算出错问题的内存刷新过程；以及用于克服了抖动问题的安全码字技术。与现有技术相比，本发明具有安全性大大加强等优点。

公开(公告)号：CN101592948A

公开(公告)日：2009-12-02

申请号：CN200910049345.5

申请日：2009-04-15

Applicant: 卡斯柯信号有限公司

Inventor： 凌祝军 ,  朱怡 ,  陈吉余

IPC: G05B19/418 ,  G05B23/02

Abstract: 本发明涉及一种具有现地控制的区域计算机联锁控制方法，该方法包括：区域集中控制方式，在中心车站对成段车站或多个车场进行集中控制与集中维护：在中心车站设置中央逻辑控制器，所述的中央逻辑控制器进行本区域内所有车站或车场的联锁运算以及区间闭塞、场联等逻辑处理；每个中央逻辑控制器分别与其所辖的多套区域逻辑控制器等设备进行连接，由每套区域逻辑控制器分别通过多套驱动采集设备对现场设备进行控制；现地控制方式，在中央逻辑控制器全部故障或与中央逻辑控制器通信中断时，实现本地应急控制：由每套区域逻辑控制器分别进行本站全部的联锁运算以及区间闭塞、场联等逻辑处理。与现有技术相比，本发明达到了可靠保障铁路运营的要求。

公开(公告)号：CN201402408Y

公开(公告)日：2010-02-10

申请号：CN200920070429.2

申请日：2009-04-15

Applicant: 卡斯柯信号有限公司

Inventor： 凌祝军 ,  朱怡 ,  陈吉余

IPC: G05B19/418 ,  G05B23/02

Abstract: 本实用新型涉及具有现地控制的区域计算机联锁系统，该系统包括中央逻辑控制器、多套区域逻辑控制器、多套驱动采集设备，所述的中央逻辑控制器与多套区域逻辑控制器连接，所述的区域逻辑控制器与多套驱动采集设备连接。与现有技术相比，本实用新型达到了可靠保障铁路运营的要求。

公开(公告)号：CN206900395U

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

申请号：CN201720390463.2

申请日：2017-04-14

Applicant: 卡斯柯信号有限公司

Inventor： 林立 ,  李亚军 ,  张辉 ,  裴加富 ,  王胜 ,  张兵建 ,  陈吉余

IPC: B61L27/04

Abstract: 本实用新型涉及一种实现自动列车监控和综合监控集成的列车综合自动化系统，包括统一历史数据存储和实时数据处理的服务器组，所述的服务器组包括控制中心服务器和车站服务器；统一的人机界面，分别与控制中心服务器和车站服务器连接。与现有技术相比，本实用新型具有充分发挥了以列车指挥为核心的综合运营指挥功能等优点。(ESM)同样的发明创造已同日申请发明专利

公开(公告)号：CN205951998U

公开(公告)日：2017-02-15

申请号：CN201620280838.5

申请日：2016-04-06

Applicant: 卡斯柯信号有限公司

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

IPC: B61L23/00 ,  B61L27/00

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