-
-
公开(公告)号:CN104816740A
公开(公告)日:2015-08-05
申请号:CN201510209943.X
申请日:2015-04-28
申请人: 卡斯柯信号有限公司
摘要: 本发明涉及一种基于二乘二取二架构的25Hz轨道电路采集系统,包括联锁下位机IPS、联锁维护台SDM、轨道电路采集模块TCIM-25和全电子通信模块EIOCOM2,所述的轨道电路采集模块TCIM-25、全电子通信模块EIOCOM2、联锁下位机IPS依次连接,所述的全电子通信模块EIOCOM2与联锁维护台SDM连接;在对室外轨道电路设备状态采集时,轨道电路采集模块TCIM-25对轨道信号进行采样,计算后得到轨道信号的电压、频率和相位信息,与已知阈值比较后得到轨道占用或空闲状态的结果;然后将结果信息经过全电子通信模块EIOCOM2发送至联锁下位机IPS,同时将轨道信号的监测信息发给联锁维护台SDM。与现有技术相比,本发明具有大大提高系统可靠性和可维护性,从而实现了安全采集和监测一体化等优点。
-
公开(公告)号:CN104571093A
公开(公告)日:2015-04-29
申请号:CN201410856348.0
申请日:2014-12-29
申请人: 卡斯柯信号有限公司
IPC分类号: G05B23/02
CPC分类号: G05B23/02
摘要: 本发明涉及一种基于参数追踪的联锁系统下位机运行状态检测方法,所述的联锁系统包括联锁下位机IPS、联锁操作机MMI和联锁维护台SDM,所述的检测方法包括以下步骤:1)所述的SDM发送请求参数追踪的消息给IPS;2)所述的IPS接收到SDM的参数追踪请求消息,根据需追踪的参数获取相应运行状态的参数值,并将参数值发送给SDM;3)所述的SDM接收到IPS所发送的参数值时,将参数值和参数名称动态显示在对应的SDM界面上。与现有技术相比,本发明具有有效提高了现场工作人员的维护效率,使其能动态的掌握联锁内部的运行状态等优点。
-
公开(公告)号:CN104461765A
公开(公告)日:2015-03-25
申请号:CN201410856305.2
申请日:2014-12-29
申请人: 卡斯柯信号有限公司
IPC分类号: G06F11/10
摘要: 本发明涉及一种基于版本校验的联锁系统数据准确性检测方法,包括以下步骤:1)所述的SDM发送版本请求消息给IPS/MMI;2)所述的IPS/MMI收到该请求消息后,计算本节点所使用联锁数据和配置文件的CRC校验值,并将CRC校验值以及自身软件的版本号一起发送给SDM;3)所述的SDM收到回复消息后,计算本地磁盘上备份的IPS/MMI联锁数据和配置文件的CRC校验值,并与接收到的CRC校验值进行比较;4)若两者CRC校验值相等,则显示“目标节点所采用的数据文件/配置文件与SDM所备份的数据文件/配置文件一致”,并在SDM上显示对方节点的软件版本号。与现有技术相比,本发明具有有效提高了现场工作人员的维护效率,使现场工作人员在项目实施时更加不容易出错等优点。
-
公开(公告)号:CN115465333B
公开(公告)日:2023-10-31
申请号:CN202211068446.9
申请日:2022-09-01
申请人: 卡斯柯信号有限公司
摘要: 本发明提出了一种轨旁列车定位信息的安全编码方法,包括以下步骤:采用冗余编码方案,编制列车的线路位置编码信息;使用图像采集器识别轨旁的标识板上的编码串,校验后发给车载安全计算机;车载安全计算机对该编码串进行多通道冗余安全计算后,通过在位置数据库查表,得到该编码串对应的列车位置信息;最后根据所述通过查表确定的列车位置信息,更新列车的真实位置;该方法集冗余、反校验计算等多种手段,提高了位置计算的安全性,弥补了视觉识别的可靠性、安全性缺陷,提升了在使用图像采集技术进行基于轨旁设备的被动列车定位时的定位准确性。
-
公开(公告)号:CN106444553B
公开(公告)日:2023-09-08
申请号:CN201611075084.0
申请日:2016-11-29
申请人: 卡斯柯信号有限公司
IPC分类号: G05B19/042
摘要: 本发明涉及一种基于二乘二取二架构的零散采集驱动系统,包括联锁下位机IPS、联锁维护台SDM、零散采集驱动模块SIOM和全电子通信模块EIOCOM2,所述的零散采集驱动模块SIOM、全电子通信模块EIOCOM2、联锁下位机IPS依次连接,所述的全电子通信模块EIOCOM2与联锁维护台SDM连接;所述的零散采集驱动模块SIOM通过联锁下位机IPS获取零散设备的驱动命令,并根据驱动命令对零散设备进行驱动;在不驱动时,零散采集驱动模块SIOM对零散设备的状态进行采集并发给联锁下位机IPS。与现有技术相比,本发明具有利用高性能电路板取代以往继电电路,降低施工和维护成本等优点。
-
公开(公告)号:CN114275015B
公开(公告)日:2023-08-29
申请号:CN202111522281.3
申请日:2021-12-13
申请人: 卡斯柯信号有限公司
IPC分类号: B61L27/10
摘要: 本发明涉及一种基于资源管理的列车控制系统及控制方法,该系统包括调度中心服务器、轨旁资源管理器和车载列控设备,所述的车载列控设备分别与调度中心服务器、轨旁资源管理器连接;所述的调度中心服务器,负责监督和控制列车的运营;所述的轨旁资源管理器,负责对资源的管理、道岔的控制、移动授权方向的建立以及信号机的控制;所述的车载列控设备,负责计算安全定位、计算移动授权以及释放线路资源,负责同前后车在线路资源处于“共享”的状态下建立车车通信以实时交互列车的安全定位,为后车确定移动授权的终点。与现有技术相比,本发明具有利用既有线路资源提高运营的安全性能以及运输能力,减少站场改造成本,提高经济效益和社会效益等优点。
-
公开(公告)号:CN115525929A
公开(公告)日:2022-12-27
申请号:CN202211139197.8
申请日:2022-09-19
申请人: 卡斯柯信号有限公司
IPC分类号: G06F21/64
摘要: 本发明公开了一种联锁数据安全性的形式化验证方法和系统,该方法包括:采用形式化建模语言建立联锁数据形式化验证通用模型;建立联锁数据形式化验证通用模型中设定的安全逻辑属性与联锁数据中的联锁设备、联锁逻辑参数和车站联锁功能之间的映射关系;根据映射关系对待验证联锁数据进行安全转化,得到联锁数据形式化验证通用模型需求的通用验证数据;从通用验证数据中选择验证对象,并选择验证算法通过形式化验证工具自动验证验证对象,以完成联锁数据安全性的形式化验证。本发明能够有效验证特定联锁数据对联锁系统需求实现的可满足性和安全性。
-
公开(公告)号:CN114385649A
公开(公告)日:2022-04-22
申请号:CN202111568978.4
申请日:2021-12-21
申请人: 卡斯柯信号有限公司
摘要: 本发明涉及一种联锁逻辑规则配置文件的自动更新系统及方法,该系统包括输入接口模块、参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块和输出接口模块;所述的输入接口模块用于将更新版本联锁逻辑规则配置文件模板及配置方法文件、前一版本联锁逻辑规则配置文件模板及配置方法文件、前一版本完成配置的联锁逻辑规则配置文件分别发送给参数表更新模块、通用规则数据库更新模块、特殊搜索逻辑表更新模块、特定应用表达式库更新模块、时序表更新模块。与现有技术相比,本发明具有极大地降低工作量,提升联锁逻辑规则配置文件设计效率等优点。
-
公开(公告)号:CN114356294A
公开(公告)日:2022-04-15
申请号:CN202111570950.4
申请日:2021-12-21
申请人: 华东师范大学 , 卡斯柯信号有限公司 , 上海工业控制安全创新科技有限公司
IPC分类号: G06F8/30
摘要: 本发明公开了一种基于FQLTL的实例生成方法,本方法获取系统设备集合、设备性质以及设备间关系等配置信息,通过遍历公式的语法树进行逻辑计算,判断每个对象/对象集合是否满足公式中所限定的范围,由最终得到的逻辑运算结果可以滤去恒真/恒假的集合,这些集合都无需进行下一步验证,留下真正需要验证的设备集合,也就是状态不确定的设备集合。包括如下步骤:对公式进行语法解析;预处理;遍历语法树,进行可满足性检查;输出可满足性检查结果。由于验证器无法进行包含范围的性质验证,而这种新的形式化语言中规定了需要验证集合的范围。故本发明解决了在验证项目中,从系统全部的设备集合缩减到真正待验证实例的问题。
-
-
-
-
-
-
-
-
-