公开(公告)号：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算法解决路径规划中的冲突，以找到高速铁路系统的最优路径规划解决方案。

公开(公告)号：CN117670630A

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

申请号：CN202410145282.8

申请日：2024-02-02

Applicant: 华侨大学 ,  同济大学

Inventor： 陈圣彬 ,  陈祖希 ,  梅萌 ,  张宏扬 ,  王文泉 ,  朱艳军 ,  周长利

IPC: G06Q50/26 ,  G06Q50/40

Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。