公开(公告)号：CN107977493A

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

申请号：CN201711147269.2

申请日：2017-11-17

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

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

IPC分类号： G06F17/50

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

公开(公告)号：CN118419095A

公开(公告)日：2024-08-02

申请号：CN202410672808.8

申请日：2024-05-28

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

发明人： 高武 ,  王阳 ,  张清东 ,  陈吉余 ,  朱迎春 ,  张程 ,  王渊 ,  马锐

IPC分类号： B61L19/06

摘要： 一种信号系统办理非进路调车的装置和方法，联锁操作机进行非进路与进路冲突检查，联锁下位机同时进行非进路区域冲突检查，联锁操作机进行带动道岔动作，以及进行区域道岔和防护道岔动作，联锁下位机进行区域锁闭和信号开放。本发明提高了冲突判断的准确性，提高了非进路操作的准确性和效率，提高了运行稳定性，避免出现异常监测曲线和道岔失表故障。

公开(公告)号：CN116968780A

公开(公告)日：2023-10-31

申请号：CN202310925069.4

申请日：2023-07-25

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

发明人： 马锐 ,  朱迎春 ,  谢林 ,  莫运前 ,  曾云 ,  胡春凤

IPC分类号： B61L5/10

摘要： 本发明公开了一种以进路为单位的道岔锁闭方法，包括：经相关道岔及防护道岔排列进路，确定进路范围；确定以进路为单位的始端和终端；进路锁闭进路内的道岔及防护道岔。本发明在进路所包含的轨道区段被进路锁闭后，进路包含的道岔及轨道区段关联的防护道岔被进路锁闭，不会出现将进路中道岔锁闭到非进路要求位置的现象。

公开(公告)号：CN116881311A

公开(公告)日：2023-10-13

申请号：CN202310432372.0

申请日：2023-04-20

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

发明人： 刘玉娟 ,  邓晗哲 ,  古凯歌 ,  杨卫东 ,  秦湘杰 ,  王晓龙 ,  马锐 ,  刘国飞

IPC分类号： G06F16/2457 ,  G06F16/2458 ,  G06F16/248 ,  G06F16/28

摘要： 本发明公开了一种全电子联锁系统工程图纸的生成方法，包括：根据全电子联锁系统中的设备装配逻辑关系创建图纸模板，图纸模板中包括查询条件；创建并读取数据库，获取全电子联锁系统的主配线数据；打开图纸模板，联合所述图纸模板中的查询条件查询数据库中的主配线数据，得到查询结果；将查询结果填入至图纸模板中，形成并输出全电子联锁系统工程图册。本发明提升了全电子联锁系统的工程图纸的制图效率及准确率。

公开(公告)号：CN114261429B

公开(公告)日：2023-08-29

申请号：CN202111583311.1

申请日：2021-12-22

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

发明人： 王宇琮 ,  胡井海 ,  贾鸿 ,  陈耀华 ,  马锐 ,  莫运前 ,  朱迎春 ,  张程

IPC分类号： B61L21/00 ,  B61L27/02

摘要： 本发明涉及一种基于计算机联锁的半自动闭塞和自动闭塞切换设计方法，包括：1)半自动闭塞和自动闭塞的切换逻辑设计；2)半自动闭塞逻辑的变更设计；3)自动闭塞模式下的区间改方逻辑设计；4)两种闭塞模式的人机交互设计。与现有技术相比，本发明具有造价更低、维护成本更低、自动化程度更高、兼容性和适用性更强等优点。

公开(公告)号：CN114275008B

公开(公告)日：2023-08-18

申请号：CN202111520997.X

申请日：2021-12-13

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

发明人： 谢林 ,  朱迎春 ,  马锐 ,  曾云 ,  胡春凤 ,  蔡崇霞 ,  丁浩蓝

IPC分类号： B61L19/00 ,  B61L23/00

摘要： 本发明涉及一种到发线分歧道岔的防护方法、电子设备及存储介质，该方法包括：步骤S1，设置一条往到发线的接车进路；步骤S2，设置一条经到发线的发车进路；步骤S3，接车进路建立后，满足设定条件后，将接车进路终端内区段进行进路锁闭；步骤S4，接车进路终端内区段进路锁闭后，满足设定条件后持续保持锁闭；步骤S5，若接车进路终端外方还存在分歧道岔，需要将锁闭范围延伸到到发线，满足设定条件，将接车进路终端外分歧道岔所在区段进路锁闭；步骤S6，车进路终端外区段进路锁闭后，满足设定条件后持续保持锁闭；步骤S7，发车进路建立后，满足设定条件后将发车进路终端内的区段进路锁闭等。与现有技术相比，本发明具有保证行车效率和安全等优点。

公开(公告)号：CN115544463A

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

申请号：CN202211347895.7

申请日：2022-10-31

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

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

IPC分类号： G06F21/12 ,  G06F21/44 ,  G06F21/64

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

公开(公告)号：CN113104062B

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

申请号：CN202110566598.0

申请日：2021-05-24

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

发明人： 朱迎春 ,  谢林 ,  韦启盟 ,  徐军强 ,  莫运前 ,  马锐 ,  马雯

IPC分类号： B61L23/00

摘要： 本发明公开了一种联锁系统控制方法，包括：获取道岔的实际开向位置；根据预设条件和所述道岔的实际开向位置得到所述道岔的逻辑位置；以及根据所述道岔的逻辑位置进行联锁逻辑运算，以对列车的行驶路径进行控制。本发明在整个进路锁闭期间，无论进路内的道岔如何被扳动，道岔的逻辑位置都不会发生任何改变且均与进路刚锁闭时道岔的实际开向位置相同，以保证道岔被扳动后所沟通的进路外的区段不会被错误锁闭及征用，防护进路信号可以及时关闭而防止列车进入错误的路径，以及能够避免进路错误地构成接近锁闭。

公开(公告)号：CN114385649A

公开(公告)日：2022-04-22

申请号：CN202111568978.4

申请日：2021-12-21

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

发明人： 辛帆 ,  张程 ,  杨平 ,  李卫娟 ,  马雯 ,  马锐 ,  王燕岑 ,  王康

IPC分类号： G06F16/23 ,  G06F9/445

摘要： 本发明涉及一种联锁逻辑规则配置文件的自动更新系统及方法，该系统包括输入接口模块、参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块和输出接口模块；所述的输入接口模块用于将更新版本联锁逻辑规则配置文件模板及配置方法文件、前一版本联锁逻辑规则配置文件模板及配置方法文件、前一版本完成配置的联锁逻辑规则配置文件分别发送给参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块。与现有技术相比，本发明具有极大地降低工作量，提升联锁逻辑规则配置文件设计效率等优点。

公开(公告)号：CN114275008A

公开(公告)日：2022-04-05

申请号：CN202111520997.X

申请日：2021-12-13

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

发明人： 谢林 ,  朱迎春 ,  马锐 ,  曾云 ,  胡春凤 ,  蔡崇霞 ,  丁浩蓝

IPC分类号： B61L19/00 ,  B61L23/00

摘要： 本发明涉及一种到发线分歧道岔的防护方法、电子设备及存储介质，该方法包括：步骤S1，设置一条往到发线的接车进路；步骤S2，设置一条经到发线的发车进路；步骤S3，接车进路建立后，满足设定条件后，将接车进路终端内区段进行进路锁闭；步骤S4，接车进路终端内区段进路锁闭后，满足设定条件后持续保持锁闭；步骤S5，若接车进路终端外方还存在分歧道岔，需要将锁闭范围延伸到到发线，满足设定条件，将接车进路终端外分歧道岔所在区段进路锁闭；步骤S6，车进路终端外区段进路锁闭后，满足设定条件后持续保持锁闭；步骤S7，发车进路建立后，满足设定条件后将发车进路终端内的区段进路锁闭等。与现有技术相比，本发明具有保证行车效率和安全等优点。