-
公开(公告)号：CN114356294B
公开(公告)日：2023-07-14
申请号：CN202111570950.4
申请日：2021-12-21
申请人： 华东师范大学 , 卡斯柯信号有限公司 , 上海工业控制安全创新科技有限公司
IPC分类号： G06F8/30
摘要： 本发明公开了一种基于FQLTL的实例生成方法，本方法获取系统设备集合、设备性质以及设备间关系等配置信息，通过遍历公式的语法树进行逻辑计算，判断每个对象/对象集合是否满足公式中所限定的范围，由最终得到的逻辑运算结果可以滤去恒真/恒假的集合,这些集合都无需进行下一步验证，留下真正需要验证的设备集合，也就是状态不确定的设备集合。包括如下步骤：对公式进行语法解析；预处理；遍历语法树，进行可满足性检查；输出可满足性检查结果。由于验证器无法进行包含范围的性质验证，而这种新的形式化语言中规定了需要验证集合的范围。故本发明解决了在验证项目中，从系统全部的设备集合缩减到真正待验证实例的问题。
-
公开(公告)号：CN114356294A
公开(公告)日：2022-04-15
申请号：CN202111570950.4
申请日：2021-12-21
申请人： 华东师范大学 , 卡斯柯信号有限公司 , 上海工业控制安全创新科技有限公司
IPC分类号： G06F8/30
摘要： 本发明公开了一种基于FQLTL的实例生成方法，本方法获取系统设备集合、设备性质以及设备间关系等配置信息，通过遍历公式的语法树进行逻辑计算，判断每个对象/对象集合是否满足公式中所限定的范围，由最终得到的逻辑运算结果可以滤去恒真/恒假的集合,这些集合都无需进行下一步验证，留下真正需要验证的设备集合，也就是状态不确定的设备集合。包括如下步骤：对公式进行语法解析；预处理；遍历语法树，进行可满足性检查；输出可满足性检查结果。由于验证器无法进行包含范围的性质验证，而这种新的形式化语言中规定了需要验证集合的范围。故本发明解决了在验证项目中，从系统全部的设备集合缩减到真正待验证实例的问题。
-
-
公开(公告)号：CN113247058B
公开(公告)日：2022-06-24
申请号：CN202110651595.7
申请日：2021-06-11
申请人： 卡斯柯信号有限公司
IPC分类号： B61L27/04
摘要： 本发明涉及一种计算机联锁操作机自动切换控制权方法，包括如下步骤：步骤S1、联锁下位机重启，操作机与联锁下位机建立通信，并读取最近一次保存的其原控制权模式；步骤S2、操作机等待接收联锁下位机发送的表示信息；步骤S3、操作机等待接收联锁下位机发送的主操作机信息；步骤S4、主操作机根据读取的原控制权模式，将控制权切换消息下发至联锁下位机，等待反馈消息并进行控制权模式的切换；步骤S5、备操作机等待接收主操作机发送的控制权切换结束消息，并更新控制权模式；步骤SE、操作机以已更新设置的控制权模式与外部控制系统建立通信连接。本发明具有无人值守车站下位机恢复运营效率高、减少远程沟通时间成本和普遍适用程度高等优势。
-
公开(公告)号：CN114261429A
公开(公告)日：2022-04-01
申请号：CN202111583311.1
申请日：2021-12-22
申请人： 卡斯柯信号有限公司
摘要： 本发明涉及一种基于计算机联锁的半自动闭塞和自动闭塞切换设计方法，包括：1)半自动闭塞和自动闭塞的切换逻辑设计；2)半自动闭塞逻辑的变更设计；3)自动闭塞模式下的区间改方逻辑设计；4)两种闭塞模式的人机交互设计。与现有技术相比，本发明具有造价更低、维护成本更低、自动化程度更高、兼容性和适用性更强等优点。
-
公开(公告)号：CN110329320B
公开(公告)日：2021-09-03
申请号：CN201910610061.2
申请日：2019-07-08
申请人： 卡斯柯信号有限公司
IPC分类号： B61L27/00
摘要： 本发明涉及一种基于LTE车地连续通信的有轨电车轨旁进路控制方法，包括：进行轨旁联锁设备和车载设备初始化；车载设备与轨旁联锁设备建立通信且周期性发送列车报文给轨旁联锁设备；轨旁联锁设备根据列车报文周期性计算每个列车的前后位置；判断通讯区内车地通信是否中断并重新恢复建立；判断列车是否为不同方向的列车，若是，轨旁联锁设备根据每列列车的定位，仅为第一列车办理进路，否则，轨旁联锁设备根据每列列车的运行计划为不同方向的列车先后办理进路；列车驶出通信区后车载设备与轨旁通信设备断开通信连接。与现有技术相比，本发明具有彻底解决后车为前车办理错误进路的问题、效率高和成本低等优点。
-
公开(公告)号：CN112612704A
公开(公告)日：2021-04-06
申请号：CN202011561125.3
申请日：2020-12-25
申请人： 卡斯柯信号有限公司
IPC分类号： G06F11/36
摘要： 本发明公开了一种联锁软件的自动测试方法，基于联锁软件的应用场景分析联锁软件所包含的所有联锁设备对象，并采用形式化语言建立与联锁设备对象一一对应的站场对象模型，根据所述站场对象模型中的对象变量设计联锁软件应用场景的通用测试用例脚本，并依据联锁软件的测试输入数据形成特定应用的测试用例，从而根据该测试用例自动测试联锁软件。本发明的测试用例的测试覆盖率高，通用性强、执行度高，适应于同一套联锁逻辑规则下的不同测试站的联锁软件的测试，提高了测试的效率和正确率。
-
-
公开(公告)号：CN112415917A
公开(公告)日：2021-02-26
申请号：CN202011425635.8
申请日：2020-12-08
申请人： 卡斯柯信号有限公司
IPC分类号： G05B19/04 , G05B19/048 , G05B19/418 , B61L5/06
摘要： 本发明涉及一种用于单台或多台转辙机牵引的道岔控制系统及方法，该道岔控制系统分别与主控设备和待牵引转辙机通信连接，所述的道岔控制系统包括：文件配置模块，用于提供控制设备需要的配置数据；道岔控制模块，用于控制转辙机转动和采集转辙机表示；通信模块，分别与主控设备、文件配置模块和道岔控制模块连接，用于分配配置数据，将道岔控制模块的数据组合发送给主机设备，将主机设备命令发给道岔控制模块。与现有技术相比，本发明具有减少了硬件的支出、系统的兼容性和扩展性良好等优点。
-
公开(公告)号：CN105678022B
公开(公告)日：2019-01-08
申请号：CN201610101266.4
申请日：2016-02-24
申请人： 卡斯柯信号有限公司
IPC分类号： G06F17/50
摘要： 本发明涉及一种面向方面的联锁系统安全需求形式化建模及验证方法，包括以下步骤：1)建立信号设备面向对象模型，包括进路类、信号机类、区段类、道岔类以及对应的子类；2)建立站场图信息提取模型，根据输入的站场图源文件以及对应的数据结构提取出相应的设备信息、进路信息和拓扑信息，并与已建立的面向对象模型建立映射；3)面向方面的安全需求形式化建模；4)建立形式化模型与通用应用的接口模型。与现有技术相比，本发明具有提高建模效率，使得安全需求更易维护等优点。
-
-
-
-
-
-
-
-
-
搜索结果
41 条记录 (耗时 0.079 秒)
