基于可满足性的铁路网络路径规划方法及装置

    公开(公告)号:CN118798457A

    公开(公告)日:2024-10-18

    申请号:CN202410832250.5

    申请日:2024-06-26

    Applicant: 华侨大学

    Abstract: 本发明公开了一种基于可满足性的铁路网络路径规划方法及装置,涉及路径规划领域,包括:获取铁路网络图和每辆列车的起始位置和目标位置,对铁路网络图进行地图建模,得到双顶点图,将每辆列车建模成智能体;确定单个智能体的路径的时间成本阈值μ;采用μSMT‑CBS算法求解每个智能体的路径规划的解决方案,并判断是否能找到有效的智能体的路径规划的解决方案;若找到有效的智能体的路径规划的解决方案,则返回解决方案,若未找到有效的智能体的路径规划的解决方案,则将μ加1,并重复上一步骤,直至找到解决方案或者无法找到任何一个智能体的路径的时间成本小于或等于μ的解决方案为止,克服路径规划中的冲突难以解决的问题。

    一种基于MDD-SAT的轨道交通列车智能体路径规划方法

    公开(公告)号:CN118627717A

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

    申请号:CN202411107282.5

    申请日:2024-08-13

    Applicant: 华侨大学

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

Patent Agency Ranking