公开(公告)号：CN118746976A

公开(公告)日：2024-10-08

申请号：CN202411111928.7

申请日：2024-08-14

Applicant: 华侨大学

Inventor： 张世旭 ,  陈祖希 ,  梅萌 ,  汪小勇 ,  张宏扬 ,  周长利 ,  缑锦

IPC: G05B23/02 ,  B61L19/00

Abstract: 一种轨道交通联锁系统完备性测试用例生成方法和系统，包括：应用STPA方法分析轨道交通联锁系统的安全需求，并将安全需求转换为线性时态逻辑属性；利用符号化有限状态机对轨道交通联锁系统进行建模得到参考模型，计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到参考模型中的符号迹；改良参考模型，并结合线性时态逻辑属性对参考模型的输入输出事件进行等价类划分；基于改良后的参考模型的符号迹生成测试用例，在被测系统上执行测试用例，检测被测系统是否满足轨道交通联锁系统的安全需求。本发明通过合理地划分等价类，可以有效减少测试用例的生成数量，从而缩减测试时长，提高测试效率。

公开(公告)号：CN118627717A

公开(公告)日：2024-09-10

申请号：CN202411107282.5

申请日：2024-08-13

Applicant: 华侨大学

Inventor： 孙伟杰 ,  陈祖希 ,  梅萌 ,  徐中伟 ,  汪小勇 ,  潘亮 ,  张宏扬

IPC: G06Q10/047 ,  G06N3/006 ,  G06Q50/43 ,  G06F16/29 ,  B61L27/10

Abstract: 本发明公开了一种基于MDD‑SAT的轨道交通列车智能体路径规划方法，涉及路径规划技术领域，包括以下步骤：S1，对轨道交通系统进行地图建模和智能体建模；S2，分别对所有智能体进行单独的路径规划，将所有路径规划方案中最大的时间成本设置为#imgabs0#；将所有智能体的成本总和设置为#imgabs1#；初始化#imgabs2#；S3，运行#imgabs3#算法求解路径规划方案，无解则进入S4，有解则进入S5；S4，令#imgabs4#，返回S3；S5，输出路径规划方案；所述S3采用的#imgabs5#算法基于多值决策图构建命题公式，基于布尔可满足性求解命题公式，获得路径规划方案。本发明通过建模将地铁系统抽象为MAPF问题，并利用MDD‑SAT算法解决路径规划中的冲突，以找到高速铁路系统的最优路径规划解决方案。