-
-
公开(公告)号：CN117698806A
公开(公告)日：2024-03-15
申请号：CN202311836368.7
申请日：2023-12-28
申请人： 卡斯柯信号有限公司
IPC分类号： B61L27/53
摘要： 本发明公开了一种引导信号继电器逻辑优化方法，包括：联锁系统中的联锁软件根据实际站场情况，判断引导进路建立条件的满足情况，输出引导进路锁闭条件；所述联锁软件接收所述引导进路锁闭条件，并根据接收到的来自于外部的引导命令、所述引导进路锁闭条件以及开放引导信号的场景，分析引导信号开放逻辑，输出引导信号开放需要检查的条件；所述联锁软件根据所述引导信号开放逻辑的分析情况，对引导信号开放条件的构成情况进行判定，并输出引导信号。本发明可解决办理引导进路锁闭使得引导信号开放后办理引导总锁闭，办理总取消或总人解手续后无法关闭引导信号的问题，在兼顾安全的情况下提高了作业效率。
-
公开(公告)号：CN115257871B
公开(公告)日：2023-09-01
申请号：CN202210871837.8
申请日：2022-07-22
申请人： 卡斯柯信号有限公司
摘要： 本发明公开了一种到发线分歧道岔的解锁方法，包括：设置并使用接车进路和发车进路；解锁所述接车进路的分歧道岔所在区段或所述发车进路的分歧道岔所在区段；使用所述接车进路或所述发车进路后，若分歧道岔仍被锁闭，则分别根据所述接车进路和所述发车进路，解锁对应的分歧道岔。本发明经到发线的分歧道岔被接/发车进路锁闭，当接/发车进路使用完成后，分歧道岔能自动解锁，确保经到发线的其他接/发车进路能按照规定计划重新办理，确保分歧道岔不会错误解锁，未解锁的道岔不能被搬动到另一个位置，防止列车开往错误的方向。
-
公开(公告)号：CN116001849A
公开(公告)日：2023-04-25
申请号：CN202211603677.5
申请日：2022-12-13
申请人： 卡斯柯信号有限公司
摘要： 本发明公开了一种预排进路与实际进路一致逻辑处理方法及介质和电子设备，该方法包括：判断预排进路建立条件和预排进路建立记录条件是否构成，并得到第一判断结果；判断预排进路锁闭条件和预排进路锁闭记录条件是否构成，并得到第二判断结果；根据第一判断结果和第二判断结果，生成当前路径关联的区段锁闭条件是否成立的逻辑，以确定预排进路与实际进路是否一致。本发明能够在进路区段传递锁闭时，防止进路外的区段被征用，提高系统运行效率，并且在防护信号检查开放时，能够防止非预排进路信号错误开放，提高系统安全性。
-
公开(公告)号：CN115858869A
公开(公告)日：2023-03-28
申请号：CN202211560675.2
申请日：2022-12-07
申请人： 卡斯柯信号有限公司
IPC分类号： G06F16/901 , G06Q50/30
摘要： 本发明公开一种车站站场图自动生成方法及系统，所述方法包括获取计算机联锁系统站场数据；对所述计算机联锁系统站场数据进行解析，以获取车站站场的设备信息和联锁进路表；将所述车站站场的每一设备定义为一节点，并根据所述设备信息获取对应所述节点的连接关系；根据所述联锁进路表和所述设备信息获取对应所述节点的位置数据；以及根据所述节点的连接关系和位置数据生成车站站场图。本发明可以自动生成具有统一格式且数据结构简单的车站站场图，提高车站站场图的生成速度，降低人工工作量并提高车站站场图的复用率。
-
公开(公告)号：CN115257872A
公开(公告)日：2022-11-01
申请号：CN202210883938.7
申请日：2022-07-26
申请人： 卡斯柯信号有限公司
摘要： 本发明公开了一种进路始端和终端检查逻辑的通用方法，根据规定的敌对进路通用判定原则按进路性质分析进路建立需满足的基本条件，安装列车进路、引导进路、调车进路的顺序处理进路逻辑，规避了进路终端模块性质记录错误或失效造成的追尾风险，并可防止参数误动作，保证敌对进路不可同时建立。
-
公开(公告)号：CN112612704A
公开(公告)日：2021-04-06
申请号：CN202011561125.3
申请日：2020-12-25
申请人： 卡斯柯信号有限公司
IPC分类号： G06F11/36
摘要： 本发明公开了一种联锁软件的自动测试方法，基于联锁软件的应用场景分析联锁软件所包含的所有联锁设备对象，并采用形式化语言建立与联锁设备对象一一对应的站场对象模型，根据所述站场对象模型中的对象变量设计联锁软件应用场景的通用测试用例脚本，并依据联锁软件的测试输入数据形成特定应用的测试用例，从而根据该测试用例自动测试联锁软件。本发明的测试用例的测试覆盖率高，通用性强、执行度高，适应于同一套联锁逻辑规则下的不同测试站的联锁软件的测试，提高了测试的效率和正确率。
-
公开(公告)号：CN117104317A
公开(公告)日：2023-11-24
申请号：CN202311069252.5
申请日：2023-08-23
申请人： 卡斯柯信号有限公司
摘要： 本发明提供一种站内道口联锁通用处理方法，该方法基于联锁处理装置实施，所述联锁处理装置包括通信连接的联锁系统和道口控制系统，所述联锁系统与人机交互界面连接，所述人机交互界面用于显示钥匙管理设备状态；该方法适用于上电锁闭阶段、来车预告阶段以及列车通行阶段，其包含：联锁系统向道口控制系统发送钥匙锁闭信息K_L、来车预告信息T_C、列车通过信息T_D；分别根据上电解锁状态、列车作业信息以及触发区段信息，判断所述钥匙锁闭信息K_L、来车预告信息T_C、列车通过信息T_D的有效性；若钥匙锁闭信息K_L有效，保持钥匙管理设备为锁闭状态。其具有安全性能高、成本可控、易于实现等优势。
-
公开(公告)号：CN114356294B
公开(公告)日：2023-07-14
申请号：CN202111570950.4
申请日：2021-12-21
申请人： 华东师范大学 , 卡斯柯信号有限公司 , 上海工业控制安全创新科技有限公司
IPC分类号： G06F8/30
摘要： 本发明公开了一种基于FQLTL的实例生成方法，本方法获取系统设备集合、设备性质以及设备间关系等配置信息，通过遍历公式的语法树进行逻辑计算，判断每个对象/对象集合是否满足公式中所限定的范围，由最终得到的逻辑运算结果可以滤去恒真/恒假的集合,这些集合都无需进行下一步验证，留下真正需要验证的设备集合，也就是状态不确定的设备集合。包括如下步骤：对公式进行语法解析；预处理；遍历语法树，进行可满足性检查；输出可满足性检查结果。由于验证器无法进行包含范围的性质验证，而这种新的形式化语言中规定了需要验证集合的范围。故本发明解决了在验证项目中，从系统全部的设备集合缩减到真正待验证实例的问题。
-
公开(公告)号：CN115892146A
公开(公告)日：2023-04-04
申请号：CN202211451795.9
申请日：2022-11-18
申请人： 卡斯柯信号有限公司
IPC分类号： B61L27/60
摘要： 本发明提供一种联锁系统与外部系统接口码位的自动化测试方法，通过接口信息表，获取联锁系统与外部系统接口的进路、信号机信息，以及联锁系统与外部系统之间交互的码位信息；对形式化语言编写的测试场景的通用用例，通过自动测试软件来执行仿真，遍历本站的测试对象，依据通用用例和站场数据生成实例化用例；对联锁系统输入码位进行赋值，自动测试软件根据联锁系统的联锁规则进行自动计算，得到输出码位的计算值；所述自动测试软件执行一致性比较，判断联锁系统与外部系统接口的输出码位是否符合预期。本发明可以提高测试效率和对测试对象的覆盖率，减少人工测试时间，避免人工疏漏。
-
-
-
-
-
-
-
-
-
搜索结果
22 条记录 (耗时 0.042 秒)
