一种基于形式化验证的区间占用逻辑检查系统建模方法

    公开(公告)号:CN119720513A

    公开(公告)日:2025-03-28

    申请号:CN202411760960.8

    申请日:2024-12-03

    Abstract: 本发明提供一种基于形式化验证的区间占用逻辑检查系统建模方法,包括:根据区间占用逻辑检查系统中信号设备的属性及行为特征,对所述信号设备进行分类;根据所述信号设备的分类,定义所述信号设备的对象属性,建立所述区间占用逻辑检查系统的对象模型;根据所述区间占用逻辑检查系统的规则需求,基于所述对象模型建立安全需求验证模型。本发明通过对区间占用逻辑检查系统进行形式化建模,将自然语言需求抽象成数学模型,便于对区间占用逻辑检查系统进行形式化验证,保证区间占用逻辑检查系统测试的全面性。

    基于列车类型信息自动调控列车闭塞制式的系统及方法

    公开(公告)号:CN114044033A

    公开(公告)日:2022-02-15

    申请号:CN202111613911.8

    申请日:2021-12-27

    Abstract: 本发明公开了一种基于列车类型信息自动调控列车闭塞制式的系统及方法,该系统包含:用于列车行车许可计算和辅助行车闭塞制式管理的无线闭塞中心设备;车载设备,其向无线闭塞中心设备发送列车位置报告和完整性报告,车载设备接收无线闭塞中心设备发送的行车许可信息运算速度距离控制曲线;用于区间内列车占用检查的计轴设备;列控联锁一体化设备,无线闭塞中心设备设置目标列车的列车类型并通知列控联锁一体化设备,列控联锁一体化设备根据列车类型信息、区间状态和进路状态控制进路、道岔和列车信号机以及区间闭塞逻辑。其优点是:其无需增加区间轨道电路,即可实现列车闭塞制式的自动切换,减少了工程改造成本,大幅度提高了区间行车密度。

    根据区间运行方向自动开关区间占用逻辑检查的方法

    公开(公告)号:CN114137940B

    公开(公告)日:2024-03-12

    申请号:CN202111431180.5

    申请日:2021-11-29

    Abstract: 本发明涉及一种根据区间运行方向自动开关区间占用逻辑检查的方法,包含以下步骤:一、判断区间当前线路运行正、反向;若区间有方向控制功能,则通过区间运行方向控制模块确定当前区间的预设运行正方向,并获取线路当前实际运行方向;若当前的实际运行方向与预设运行正方向一致,则当前的实际运行方向为正方向,否则当前的实际运行方向为反方向;二、根据线路运行正、反向,控制当前线路区间的逻辑检查开启或关闭。本方案通过优化区间综合监控设备的处理逻辑,不需要现场人员手动操作控制逻辑检查功能开启或关闭,减少现场人员作业需求,提高了系统的可用性。

    基于列车类型信息自动调控列车闭塞制式的系统及方法

    公开(公告)号:CN114044033B

    公开(公告)日:2023-12-01

    申请号:CN202111613911.8

    申请日:2021-12-27

    Abstract: 本发明公开了一种基于列车类型信息自动调控列车闭塞制式的系统及方法,该系统包含:用于列车行车许可计算和辅助行车闭塞制式管理的无线闭塞中心设备;车载设备,其向无线闭塞中心设备发送列车位置报告和完整性报告,车载设备接收无线闭塞中心设备发送的行车许可信息运算速度距离控制曲线;用于区间内列车占用检查的计轴设备;列控联锁一体化设备,无线闭塞中心设备设置目标列车的列车类型并通知列控联锁一体化设备,列控联锁一体化设备根据列车类型信息、区间状态和进路状态控制进路、道岔和列车信号机以及区间闭塞逻辑。其优点是:其无需增加区间轨道电路,即可实现列车闭塞制式的自动切换,减少了工程改造成本,大幅度提高了区间行车密度。

    可自动化测试的IPES设备及自动化测试方法

    公开(公告)号:CN114281699A

    公开(公告)日:2022-04-05

    申请号:CN202111626544.5

    申请日:2021-12-28

    Abstract: 本发明提供了一种可自动化测试的IPES设备及自动化测试方法,用于列车设备的通信,所述列车设备包括列首设备和列尾设备,包括功能模块和测试模块,所述功能模块用于实现所述IPES设备功能,所述测试模块通过设置多个测试用例对所述功能模块实现的功能进行自动化测试,并通过测试结果优化所述功能模块。该IPES设备可以实现自动化测试,从而确保需求变更和功能扩展时的功能经过充分测试,进而保证代码质量和设备的功能正常。

    一种列控中心报文数据安全性的检查方法

    公开(公告)号:CN117749651A

    公开(公告)日:2024-03-22

    申请号:CN202311631990.4

    申请日:2023-11-30

    Abstract: 本发明提供一种列控中心报文数据安全性的检查方法,对于不同场景下,不同属性的应答器的待输出报文数据与场景的一致性校验,结合列控中心逻辑处理进行独立的安全性校验,根据待输出报文数据的索引号与对应的有源应答器的标准报文数据的索引号是否一致进行判断,当列控中心针对有源应答器的待输出报文数据与场景的校核不一致时,列控系统判断当前应答器报文数据存在安全逻辑问题,则列控系统主动导向安全侧处理,将当前应答器报文数据设置为默认报文或停车报文对外发送,进而实现报文数据的安全性检查,保障行车安全。

    单线双方向自动闭塞线路的区间占用逻辑检查方法及系统

    公开(公告)号:CN112550374B

    公开(公告)日:2022-08-26

    申请号:CN202011283319.1

    申请日:2020-11-17

    Abstract: 本发明涉及一种单线双方向自动闭塞线路的区间占用逻辑检查方法及系统,该方法包括:S1、人工解锁盘上对应每个闭塞分区设置一个解锁按钮,对应每个方向口设置一个关闭按钮;S2、对于单线双方向信号机并置,且闭塞分区中包含多个轨道区段的情况,进行相应的安全处理;S3、对于单线双方向信号机并置,且闭塞分区中仅包含一个轨道区段的情况,每个闭塞分区设置一个区间防护继电器;S4、区间防护继电器落下时,控制闭塞分区首区段的轨道继电器不能励磁;S5、对于发生失去分路的闭塞分区,按下人工解锁盘上对应的解锁按钮,闭塞分区防护解除,对应的区间防护继电器吸起等。与现有技术相比,本发明具有提高了行车安全等优点。

    根据区间运行方向自动开关区间占用逻辑检查的方法

    公开(公告)号:CN114137940A

    公开(公告)日:2022-03-04

    申请号:CN202111431180.5

    申请日:2021-11-29

    Abstract: 本发明涉及一种根据区间运行方向自动开关区间占用逻辑检查的方法,包含以下步骤:一、判断区间当前线路运行正、反向;若区间有方向控制功能,则通过区间运行方向控制模块确定当前区间的预设运行正方向,并获取线路当前实际运行方向;若当前的实际运行方向与预设运行正方向一致,则当前的实际运行方向为正方向,否则当前的实际运行方向为反方向;二、根据线路运行正、反向,控制当前线路区间的逻辑检查开启或关闭。本方案通过优化区间综合监控设备的处理逻辑,不需要现场人员手动操作控制逻辑检查功能开启或关闭,减少现场人员作业需求,提高了系统的可用性。

    单线双方向自动闭塞线路的区间占用逻辑检查方法及系统

    公开(公告)号:CN112550374A

    公开(公告)日:2021-03-26

    申请号:CN202011283319.1

    申请日:2020-11-17

    Abstract: 本发明涉及一种单线双方向自动闭塞线路的区间占用逻辑检查方法及系统,该方法包括:S1、人工解锁盘上对应每个闭塞分区设置一个解锁按钮,对应每个方向口设置一个关闭按钮;S2、对于单线双方向信号机并置,且闭塞分区中包含多个轨道区段的情况,进行相应的安全处理;S3、对于单线双方向信号机并置,且闭塞分区中仅包含一个轨道区段的情况,每个闭塞分区设置一个区间防护继电器;S4、区间防护继电器落下时,控制闭塞分区首区段的轨道继电器不能励磁;S5、对于发生失去分路的闭塞分区,按下人工解锁盘上对应的解锁按钮,闭塞分区防护解除,对应的区间防护继电器吸起等。与现有技术相比,本发明具有提高了行车安全等优点。

    一种临时限速服务器的自动化测试方法、自动化测试系统、电子设备和可读存储介质

    公开(公告)号:CN119669087A

    公开(公告)日:2025-03-21

    申请号:CN202411800039.1

    申请日:2024-12-09

    Abstract: 本发明公开了一种临时限速服务器的自动化测试方法、自动化测试系统、电子设备和可读存储介质,该方法包含:分析并模拟临时限速服务器的输入接口和输出接口,以使临时限速服务器可接收测试用例的输入,并可输出其对测试用例的实际测试数据;基于临时限速服务器的功能生成至少一个测试用例;基于各个测试用例分别对临时限速服务器进行测试;各个测试用例测试完成后,分析测试用例是否通过;当所有测试用例执行完成后,自动统计测试覆盖率是否达到100%;当所有测试用例均达到通过状态,且测试覆盖率达到100%时,结束对此临时限速服务器的测试。其优点是:该方法可实现对临时限速服务器各功能的自动化测试,有助于提高测试效率和完整性。

Patent Agency Ranking