-
公开(公告)号：CN118940923A
公开(公告)日：2024-11-12
申请号：CN202410957618.0
申请日：2024-07-17
Applicant: 华侨大学
IPC: G06Q10/047
Abstract: 本发明公开了一种面向虚拟区段的轨道交通路径规划方法、装置及可读介质，本发明采用基于冲突的搜索算法，通过全局规划层和局部规划层两级结构，高效地生成无冲突的路径。使用VSS虚拟区段划分方法，将TTD区段细分为更小的片段，减小了计算量，从而提高了路径规划的效率。在路径规划过程中考虑到安全间隔和路径连续性等因素，可靠地保障轨道交通的安全运行。通过路径的实时调整和评估，能够有效地避免潜在危险，确保车辆运行的安全性。采用基于多智能体路径规划的思想，旨在实现对高效解决轨道交通系统中列车运行路径规划问题，贴近更实际场景中的应用。
-
公开(公告)号：CN118428577A
公开(公告)日：2024-08-02
申请号：CN202410893488.9
申请日：2024-07-04
IPC: G06Q10/047 , G06F9/50 , G06N3/006 , G06Q10/0631 , G06Q50/40
Abstract: 本发明涉及多智能体协同技术领域，公开了一种面向高速铁路系统的并行多智能体路径规划方法，包括以下步骤：将高速铁路系统的路径规划转换为多智能体路径规划问题，分解为N个子问题，每个子问题包含一个智能体；将第一层子问题两两合并，所述合并指合并两个第一层子问题的无冲突路径规划方案，合并后生成包含四个智能体的第二层子问题，对每个第二层子问题采用基于冲突的搜索算法并行求解无冲突路径规划方案；重复合并及并行求解子问题的过程，直到合并得到包含N个智能体的问题并进行求解，得到最终的路径规划方案。本发明通过合并路径规划的子问题再并行计算，大大提高多智能体路径规划的计算效率，充分发挥多核多处理器的并发性。
-
公开(公告)号：CN117391273A
公开(公告)日：2024-01-12
申请号：CN202311598047.8
申请日：2023-11-28
Applicant: 华侨大学
IPC: G06Q10/047 , G06Q50/26
Abstract: 本发明公开一种轨道交通网络的连续时间多智能体路径规划方法及系统，涉及多智能体协同领域，方法包括：对轨道交通网络进行地图建模，得到无向图；对轨道交通网络中的列车进行智能体建模，得到智能体；对智能体和无向图进行适配，得到适配结果；根据适配结果，采用在连续时间上基于冲突的搜索解决列车之间的冲突，生成连续的时间约束，使用安全区间路径规划根据约束生成安全区间，并对列车进行连续时间的行车路径规划。本发明能够实现更准确也更有效率的行车路径规划。
-
公开(公告)号：CN119225336A
公开(公告)日：2024-12-31
申请号：CN202411339029.2
申请日：2024-09-25
Applicant: 华侨大学
IPC: G05B23/02
Abstract: 本发明公开了一种基于STPA的高速铁路ATP系统故障注入测试方法，包括以下步骤：应用STPA方法对高速铁路ATP系统进行分析，识别故障场景与安全要求；基于故障场景与安全要求，运用CoFI方法生成高速铁路ATP系统的有限状态机模型FSM；在有限状态机模型FSM上运用Wp方法生成测试用例；使用测试用例对高速铁路ATP系统进行测试。本发明将STPA方法、CoFI方法和Wp方法相结合，为ATP系统的故障注入测试提供一种全面而有效的方法，确保ATP系统的安全性和可靠性。
-
公开(公告)号：CN118409972B
公开(公告)日：2024-09-20
申请号：CN202410831172.7
申请日：2024-06-26
Abstract: 本发明公开了一种基于符号化有限状态机的完备性测试用例生成方法，涉及软件测试领域，包括：采用STPA技术对安全攸关系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性、原子命题；采用符号化有限状态机对安全攸关系统进行建模和估值函数计算，得到测试用例生成模型，并对其进行基于一阶表达式的精化、可观察性转换，得到可观察的测试用例生成模型，并得到相应的输入等价类，基于可观察的测试用例生成模型的输入等价类集合和命题抽象生成测试用例，在故障域中的测试用例生成模型及其突变体执行测试用例，直至测试用例满足精炼的软件安全要求，解决测试用例数量庞大、完备性差的问题，以满足对安全攸关系统进行全面有效的测试要求。
-
Patent Agency Ranking
公开(公告)号：CN118798457A
公开(公告)日：2024-10-18
申请号：CN202410832250.5
申请日：2024-06-26
Applicant: 华侨大学
IPC: G06Q10/047 , G06N3/006 , G06Q50/40 , G06F16/29
Abstract: 本发明公开了一种基于可满足性的铁路网络路径规划方法及装置，涉及路径规划领域，包括：获取铁路网络图和每辆列车的起始位置和目标位置，对铁路网络图进行地图建模，得到双顶点图，将每辆列车建模成智能体；确定单个智能体的路径的时间成本阈值μ；采用μSMT‑CBS算法求解每个智能体的路径规划的解决方案，并判断是否能找到有效的智能体的路径规划的解决方案；若找到有效的智能体的路径规划的解决方案，则返回解决方案，若未找到有效的智能体的路径规划的解决方案，则将μ加1，并重复上一步骤，直至找到解决方案或者无法找到任何一个智能体的路径的时间成本小于或等于μ的解决方案为止，克服路径规划中的冲突难以解决的问题。
-
公开(公告)号：CN118358631B
公开(公告)日：2024-09-20
申请号：CN202410796199.7
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 本发明公开了一种基于离散速度连续时间的多智能体轨道交通路径规划方法，涉及路径规划技术领域，包括以下步骤：地图建模和智能体建模，生成地图模型智能体模型，表示为状态st：（Tr，t，v，speed），其中，Tr为列车唯一标识符，t、v和speed分别表示列车Tr在时间t时位于位置v且速度为speed，其中，位置v通过地图中的节点或边来表示；采用基于冲突的连续搜索算法实现多智能体轨道交通路径规划，所述多智能体轨道交通路径规划表示为所有智能体在地图上的状态变化。本发明在提高铁路运输效率的同时，增强了列车运行的安全性，为实际应用场景中的复杂情况提供了更为有效的解决方案。
-
公开(公告)号：CN118409972A
公开(公告)日：2024-07-30
申请号：CN202410831172.7
申请日：2024-06-26
Abstract: 本发明公开了一种基于符号化有限状态机的完备性测试用例生成方法，涉及软件测试领域，包括：采用STPA技术对安全攸关系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性、原子命题；采用符号化有限状态机对安全攸关系统进行建模和估值函数计算，得到测试用例生成模型，并对其进行基于一阶表达式的精化、可观察性转换，得到可观察的测试用例生成模型，并得到相应的输入等价类，基于可观察的测试用例生成模型的输入等价类集合和命题抽象生成测试用例，在故障域中的测试用例生成模型及其突变体执行测试用例，直至测试用例满足精炼的软件安全要求，解决测试用例数量庞大、完备性差的问题，以满足对安全攸关系统进行全面有效的测试要求。
-
公开(公告)号：CN118358631A
公开(公告)日：2024-07-19
申请号：CN202410796199.7
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 本发明公开了一种基于离散速度连续时间的多智能体轨道交通路径规划方法，涉及路径规划技术领域，包括以下步骤：地图建模和智能体建模，生成地图模型智能体模型，表示为状态st：（Tr，t，v，speed），其中，Tr为列车唯一标识符，t、v和speed分别表示列车Tr在时间t时位于位置v且速度为speed，其中，位置v通过地图中的节点或边来表示；采用基于冲突的连续搜索算法实现多智能体轨道交通路径规划，所述多智能体轨道交通路径规划表示为所有智能体在地图上的状态变化。本发明在提高铁路运输效率的同时，增强了列车运行的安全性，为实际应用场景中的复杂情况提供了更为有效的解决方案。
-
公开(公告)号：CN118779241A
公开(公告)日：2024-10-15
申请号：CN202410989781.5
申请日：2024-07-23
Applicant: 华侨大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于输入输出等价类的自动列车保护系统测试用例生成方法及装置，包括：采用STPA技术对自动列车保护系统进行分析，得出了各个级别的不安全控制动作以及相应的软件安全要求；将STPA生成的软件安全要求形式化为LTL公式，并将其作为属性需求用于在测试中验证。采用符号化有限状态机对自动列车保护系统进行建模，并运用LTL公式生成测试用例。对具有连续性且具有无限域的输入表达式和输出表达式进行等价类划分，同时将输入输出划分等价类后再将其整合到一起，将相应的输入等价类和输出等价类结合进行测试，从而提高了测试的全面性和有效性。
-
-
-
-
-
-
-
-
-
Search Results
22
records
(took 0.024 seconds)
