-
公开(公告)号：CN117885783A
公开(公告)日：2024-04-16
申请号：CN202311658458.1
申请日：2023-12-05
申请人： 卡斯柯信号有限公司
摘要： 本发明涉及一种降低漏报站台区域列车障碍物的自主感知方法和系统，该方法基于激光雷达和车载ATC设备的数据作为输入，通过SLAM算法处理激光雷达点云实现列车定位，并加载列车当前位置前方的离线地图实现列车行进区刻画，最后使用聚类算法识别列车行进区内的危险障碍物，所述方法包括下列步骤：步骤S1，列车行进区刻画包括安全验证过程；步骤S2，列车行进区刻画包括安全裕度行进区识别过程；步骤S3，列车行进区内的危险障碍物包括安全裕度识别过程。与现有技术相比，本发明具有降低漏报、控制误报率、更快反应危险障碍物，提高系统安全性等优点。
-
公开(公告)号：CN117761664A
公开(公告)日：2024-03-26
申请号：CN202311502820.6
申请日：2023-11-13
申请人： 卡斯柯信号有限公司
摘要： 本发明涉及一种激光雷达数据安全校验方法、设备及储存介质，该方法包括以下步骤：步骤S1，激光雷达数据采集，获得点云数据；步骤S2，对点云数据进行预处理；步骤S3，对预处理后的点云数据进行标定对齐；步骤S4，对步骤S3处理后的数据进行运动畸变去除；步骤S5，对步骤S4处理后的数据进行重叠区域数据提取；步骤S6，进行全局数据一致性检查；步骤S7，进行微观数据分布相似性检查；步骤S8，根据步骤S6和S7的结果做出数据检查的判断。与现有技术相比，本发明具有能够独立并全面检测到激光雷达数据的异常状态，以便及时采取措施阻止数据问题而引发安全事故等优点。
-
公开(公告)号：CN116946214A
公开(公告)日：2023-10-27
申请号：CN202310914697.2
申请日：2023-07-24
申请人： 卡斯柯信号有限公司
摘要： 本发明涉及一种基于视觉识别的列车定位测速系统、方法、设备及介质，该系统包括：带二维码的里程标牌，按照设定距离布设在轨道旁；摄像头，用于采集里程标牌上的二维码图像；安全主机，与摄像头连接，用于将摄像头采集的二维码图像进行解析，识别前方的里程标牌，并利用二维码上的定位用图案，经过测距算法计算，得到车辆到达前方里程标牌的距离。与现有技术相比，本发明具有能实现更经济、更高效、更高精度的测速定位等优点。
-
公开(公告)号：CN115525929A
公开(公告)日：2022-12-27
申请号：CN202211139197.8
申请日：2022-09-19
申请人： 卡斯柯信号有限公司
IPC分类号： G06F21/64
摘要： 本发明公开了一种联锁数据安全性的形式化验证方法和系统，该方法包括：采用形式化建模语言建立联锁数据形式化验证通用模型；建立联锁数据形式化验证通用模型中设定的安全逻辑属性与联锁数据中的联锁设备、联锁逻辑参数和车站联锁功能之间的映射关系；根据映射关系对待验证联锁数据进行安全转化，得到联锁数据形式化验证通用模型需求的通用验证数据；从通用验证数据中选择验证对象，并选择验证算法通过形式化验证工具自动验证验证对象，以完成联锁数据安全性的形式化验证。本发明能够有效验证特定联锁数据对联锁系统需求实现的可满足性和安全性。
-
公开(公告)号：CN114356294A
公开(公告)日：2022-04-15
申请号：CN202111570950.4
申请日：2021-12-21
申请人： 华东师范大学 , 卡斯柯信号有限公司 , 上海工业控制安全创新科技有限公司
IPC分类号： G06F8/30
摘要： 本发明公开了一种基于FQLTL的实例生成方法，本方法获取系统设备集合、设备性质以及设备间关系等配置信息，通过遍历公式的语法树进行逻辑计算，判断每个对象/对象集合是否满足公式中所限定的范围，由最终得到的逻辑运算结果可以滤去恒真/恒假的集合,这些集合都无需进行下一步验证，留下真正需要验证的设备集合，也就是状态不确定的设备集合。包括如下步骤：对公式进行语法解析；预处理；遍历语法树，进行可满足性检查；输出可满足性检查结果。由于验证器无法进行包含范围的性质验证，而这种新的形式化语言中规定了需要验证集合的范围。故本发明解决了在验证项目中，从系统全部的设备集合缩减到真正待验证实例的问题。
-
公开(公告)号：CN113031934A
公开(公告)日：2021-06-25
申请号：CN202110368555.1
申请日：2021-04-06
申请人： 卡斯柯信号有限公司
摘要： 一种用于形式化验证的联锁数据安全转换方法及翻译器，采用不同的编程方法和编程语言开发两个具有相同功能的翻译器，所述翻译器的输入文件至少包含：联锁数据中的联锁信息表、设备接口信息表、站场描述数据和联锁布尔逻辑数据，比较两个翻译器的输出文件的一致性来实现对过程失效的检测，从而保证数据的安全转换。本发明无需对每个车站进行专门的形式化开发，降低了技术成本和设计风险，安全性高，兼容性好，通用性强，应用范围广。
-
公开(公告)号：CN115987303A
公开(公告)日：2023-04-18
申请号：CN202211637119.0
申请日：2022-12-16
申请人： 卡斯柯信号有限公司
摘要： 本发明公开一种基于差分进化算法的生成多项式获取方法及系统，所述方法包括：生成若干个初始信息位，以构建初始信息位集合；设置差分进化算法的初始参数，且初始参数包括种群数量、差分进化因子、交叉因子和终止条件；根据种群数量构建可行的第一生成多项式集合和可行的第二生成多项式集合，且可行的第一生成多项式集合包括可行的若干个第一生成多项式，可行的第二生成多项式集合包括可行的若干个第二生成多项式；根据初始信息位集合、可行的第一生成多项式集合和可行的第二生成多项式集合构建生成多项式的适应度函数；采用差分进化算法对适应度函数进行优化求解，以获取最优的所述第一生成多项式集合和最优的所述第二生成多项式集合。
-
公开(公告)号：CN113055092A
公开(公告)日：2021-06-29
申请号：CN202110285887.3
申请日：2021-03-17
申请人： 卡斯柯信号有限公司
IPC分类号： H04B10/25 , H04B10/2507
摘要： 本发明公开了一种提高既有信号设备通信传输安全性的设备和方法，该方法包括：在各信号设备间处于正常通信期间，对消息传输的误码率进行实时监控，以获取可供运维人员在检查时使用的信号设备运行环境信息。本发明增设了误码率实时监控功能，提供了信号设备运行环境的信息，可供运维人员检查设备时使用。本发明无需对信号设备的系统软件进行修改，在硬件上仅将连接线改为塑料光纤，设备改造的成本低，实施和运维工作简单容易上手。由于光纤使用可见光传输，不受电磁干扰的影响，可降低传输过程的误码率，从而提高信号设备的可靠性。本发明可以提升信号设备的安全性，使其能够符合EN50159：2010对安全传输系统失效率的定量计算指标。
-
公开(公告)号：CN112202797A
公开(公告)日：2021-01-08
申请号：CN202011073229.X
申请日：2020-10-09
申请人： 卡斯柯信号有限公司
摘要： 本发明提出了一种用于轨道系统的协议转换装置及方法，所述轨道系统中的联锁系统基于第一协议执行通信，轨道系统中的轨旁系统基于第二协议执行通信，所述协议转换装置的主周期可配置，并分别与所述联锁系统及所述轨旁系统通信连接，用于将所述联锁系统发送的基于第一协议的消息报文或所述轨旁系统发送的基于第二协议的消息报文进行协议互换，实现所述联锁系统与所述轨旁系统的数据交互。本发明可以有效缩短轨道系统响应时间，并将二取二联锁系统中的主机与备机切换时对整个轨道系统的影响降至最低，满足自动化车辆段时间要求。
-
公开(公告)号：CN111064546A
公开(公告)日：2020-04-24
申请号：CN201911260920.6
申请日：2019-12-10
申请人： 卡斯柯信号有限公司
摘要： 本发明涉及一种基于CRC实现信息位与冗余编码安全转换的方法，该方法利用CRC的组合性原理，结合离线配置数据，其中离线配置数据为CRC到冗余编码的补偿值或冗余编码到CRC的补偿值；通过CRC和补偿值计算出冗余编码，或者从冗余编码和补偿值计算出CRC，从而实现两者之间的安全互转。与现有技术相比，本发明具有提高了消息的安全性等优点。
-
-
-
-
-
-
-
-
-
搜索结果
22 条记录 (耗时 0.033 秒)
