-
公开(公告)号：CN115892146A
公开(公告)日：2023-04-04
申请号：CN202211451795.9
申请日：2022-11-18
申请人： 卡斯柯信号有限公司
IPC分类号： B61L27/60
摘要： 本发明提供一种联锁系统与外部系统接口码位的自动化测试方法，通过接口信息表，获取联锁系统与外部系统接口的进路、信号机信息，以及联锁系统与外部系统之间交互的码位信息；对形式化语言编写的测试场景的通用用例，通过自动测试软件来执行仿真，遍历本站的测试对象，依据通用用例和站场数据生成实例化用例；对联锁系统输入码位进行赋值，自动测试软件根据联锁系统的联锁规则进行自动计算，得到输出码位的计算值；所述自动测试软件执行一致性比较，判断联锁系统与外部系统接口的输出码位是否符合预期。本发明可以提高测试效率和对测试对象的覆盖率，减少人工测试时间，避免人工疏漏。
-
公开(公告)号：CN117873423A
公开(公告)日：2024-04-12
申请号：CN202311630112.0
申请日：2023-11-30
申请人： 卡斯柯信号有限公司
摘要： 本发明涉及一种基于布尔逻辑的联锁设备排序方法、设备及介质，该方法包括：步骤S1，生成站场区段元素双向链表结构；步骤S2，确定区段元素排序；步骤S3，确定信号机和进路元素排序。与现有技术相比，本发明具有能适用于不同站型的设备排序要求，保证设备元素之间排序的正确性，从而确保联锁逻辑的正确性等优点。
-
公开(公告)号：CN117806955A
公开(公告)日：2024-04-02
申请号：CN202311789284.2
申请日：2023-12-22
申请人： 卡斯柯信号有限公司
IPC分类号： G06F11/36
摘要： 本发明涉及一种信号系统中系统配置规则的自动验证方法及设备，该方法包括以下步骤：项目发布单发布后，自动验证平台自动从配置文档库下载项目文档，并核对版本号；自动验证平台根据平台基线将所有系统配置规则自动导入各设计验证报告模板；判断系统配置规则是否通用，若为否，验证人员进行人工验证特定项目配置；否则，自动验证平台对通用规则进行自动验证；自动验证平台自动生成各验证报告的初稿；若验证不通过，设计验证人员人工确认问题；若验证通过，自动验证平台自动生成各个正式的验证报告，并自动入库。与现有技术相比，本发明具有全过程自动化验证、验证效率提升、适用范围广、减少人工操作失误等优点。
-
公开(公告)号：CN113917850B
公开(公告)日：2024-03-29
申请号：CN202110988847.5
申请日：2021-08-26
申请人： 卡斯柯信号有限公司
摘要： 本发明涉及一种基于软件实现的轨旁仿真系统，包括信号系统接口模块、轨旁设备码位模块、场景注入模块和轨旁设备逻辑运算模块；信号系统接口模块，为轨旁仿真系统与信号系统的软件接口，用于进行轨旁仿真系统与信号系统之间的通信；轨旁设备逻辑运算模块，用于实现轨旁仿真系统的动作逻辑；场景注入模块，用于实现对设定场景的模拟，包括各类故障场景的注入和轨旁设备采集码位状态的跳变；轨旁设备码位模块，用于实现仿真室外码位的采集，并能响应轨旁设备逻辑运算模块的运算结果或场景注入模块的操作命令，将指定的轨旁采集码位设置到对应状态并通过信号系统接口模块发送给信号系统。与现有技术相比，本发明具有灵活易搭建等优点。
-
公开(公告)号：CN117725269A
公开(公告)日：2024-03-19
申请号：CN202311794003.2
申请日：2023-12-25
申请人： 卡斯柯信号有限公司
IPC分类号： G06F16/901 , G06F16/16 , G06F16/11 , G06F16/17
摘要： 本发明涉及一种联锁数据生成系统，包括：人机对话单元，用于操作人员进行交互操作；逻辑运算单元，用于在联锁产品基线中获取组件工具、生成联锁数据以及对联锁数据进行校验；外部接口单元，用于与各组件工具进行信息交互，包括给各个组件工具传递输入文件名称、输入文件路径、输出文件路径、开始执行命令、接收组件工具执行成功或失败信息以及获取各个组件工具版本。本发明实现了联锁数据自动打包，联锁数据设计的自动化，减少了人工参与，缩短了计算机联锁数据设计时间，提升效率的同时提高联锁数据的安全可靠度。
-
公开(公告)号：CN115257872B
公开(公告)日：2023-09-01
申请号：CN202210883938.7
申请日：2022-07-26
申请人： 卡斯柯信号有限公司
摘要： 本发明公开了一种进路始端和终端检查逻辑的通用方法，根据规定的敌对进路通用判定原则按进路性质分析进路建立需满足的基本条件，安装列车进路、引导进路、调车进路的顺序处理进路逻辑，规避了进路终端模块性质记录错误或失效造成的追尾风险，并可防止参数误动作，保证敌对进路不可同时建立。
-
公开(公告)号：CN116127929A
公开(公告)日：2023-05-16
申请号：CN202211690742.2
申请日：2022-12-27
申请人： 卡斯柯信号有限公司
IPC分类号： G06F40/177 , G06F40/194
摘要： 本发明涉及一种快速识别RTI文档变动范围的方法、设备及介质，该方法通过高效批量对比RTI模板和RTI文档来实现自动识别RTI文档变动范围的内容，得到RTI文档变动范围报告。与现有技术相比，本发明具有大大减少了项目周期，加快了项目的进度、提高了验证的准确性等优点。
-
公开(公告)号：CN116001866A
公开(公告)日：2023-04-25
申请号：CN202211701631.7
申请日：2022-12-28
申请人： 卡斯柯信号有限公司
IPC分类号： B61L27/04
摘要： 本发明涉及一种预告信标和重开信标距离的自动计算方法、设备及介质，该方法包括以下步骤：步骤S1、获得设备KP提取表；步骤S2、从设备KP提取表中筛选出所有信号机、有源信标的设备公里标KP值，填入到设备KP提取表的DN\UP sheet中；步骤S3、根据设备KP提取表的DN\UP sheet和后备模式变量表，将信号机、相关的预告信标和重开信标，以及对应的公里标KP值填入到新建的EXCEL1中；步骤S4、自动计算出每个信号机最远的预告信标到重开信标的距离。与现有技术相比，本发明具有准确度高等优点。
-
公开(公告)号：CN115952660A
公开(公告)日：2023-04-11
申请号：CN202211643739.5
申请日：2022-12-20
申请人： 卡斯柯信号有限公司
IPC分类号： G06F30/20 , G06F40/194 , G06F16/335
摘要： 本发明公开一种文档验证文件生成方法及系统，用于TACS系统的文档验证，且所述TACS系统运行于TACS安全平台上；所述文档验证文件生成方法包括：获取所述TACS安全平台发布的最新的数据框架文件；根据所述数据框架文件构建若干验证项；根据所有所述验证项自动生成验证文件，以及将生成的所述验证文件与原有的验证文件进行对比，以快速确定升级验证范围。本发明可以自动识别并构建若干验证项，使得验证项的获取更快捷且更准确，从而提高对待验证文档的验证速度。
-
公开(公告)号：CN115861487A
公开(公告)日：2023-03-28
申请号：CN202211623612.7
申请日：2022-12-16
申请人： 卡斯柯信号有限公司
IPC分类号： G06T11/60
摘要： 本发明公开了一种基于DXF格式的车站平面图信息提取与实例化方法，通过读取DXF文件中的ENTITIES模块的图形实体数据，包括信号机、道岔、计轴等，获取车站平面图中各信号设备的坐标和基本属性，通过调用控件重绘车站平面图，生成信号设备连接完整的可编辑站场图，为联锁数据结构提供输入。本发明通过DXF格式直接提取车站平面图中联锁信号设备的类型及位置关系，采用自定义实体的方式将信号设备实例化，通过调用信号设备控件重绘站场图，为站场数据结构的形成提供可靠输入，且数据升级更加便捷。
-
-
-
-
-
-
-
-
-
搜索结果
38 条记录 (耗时 0.041 秒)
