-
公开(公告)号：CN118387169B
公开(公告)日：2024-09-24
申请号：CN202410813361.1
申请日：2024-06-24
Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置，涉及轨道交通路径规划领域，方法包括：先根据各轨道交通列车的当前路径方案构造冲突树，在根节点中各轨道交通列车的当前路径方案之间存在冲突时，更新冲突树并确定出一当前最佳节点；在交通环境发生变化时，根据当前交通环境和当前最佳节点，判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突，在确定产生冲突时，根据当前交通环境和当前最佳节点，再次更新冲突树并确定出一当前最佳节点，当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中，可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。
-
公开(公告)号：CN118409972B
公开(公告)日：2024-09-20
申请号：CN202410831172.7
申请日：2024-06-26
Abstract: 本发明公开了一种基于符号化有限状态机的完备性测试用例生成方法，涉及软件测试领域，包括：采用STPA技术对安全攸关系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性、原子命题；采用符号化有限状态机对安全攸关系统进行建模和估值函数计算，得到测试用例生成模型，并对其进行基于一阶表达式的精化、可观察性转换，得到可观察的测试用例生成模型，并得到相应的输入等价类，基于可观察的测试用例生成模型的输入等价类集合和命题抽象生成测试用例，在故障域中的测试用例生成模型及其突变体执行测试用例，直至测试用例满足精炼的软件安全要求，解决测试用例数量庞大、完备性差的问题，以满足对安全攸关系统进行全面有效的测试要求。
-
公开(公告)号：CN118573739A
公开(公告)日：2024-08-30
申请号：CN202410623932.5
申请日：2024-05-20
Abstract: 本发明公开一种列车自主运行系统的资源分配协议建模方法及相关装置，涉及轨道交通技术领域，方法包括以下步骤：根据列车自主运行系统的通信过程，确定协议目标；根据协议目标设计资源分配协议并绘制协议时序图；根据协议时序图，基于Event‑B算法对资源分配协议进行建模，得到资源分配协议模型；将协议目标转化为目标不变式规则，加入到资源分配协议模型中，得到综合资源分配协议模型；基于离散数学知识，证明综合资源分配协议模型中的各不变式规则成立时，将资源分配协议作为目标资源分配协议。本发明采用基于数学原理和形式规约的Event‑B建模语言，提供高度精确和严谨的分析，可有效地对轨道交通资源分配协议进行了建模以及验证。
-
公开(公告)号：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: 本发明公开一种轨道交通网络的连续时间多智能体路径规划方法及系统，涉及多智能体协同领域，方法包括：对轨道交通网络进行地图建模，得到无向图；对轨道交通网络中的列车进行智能体建模，得到智能体；对智能体和无向图进行适配，得到适配结果；根据适配结果，采用在连续时间上基于冲突的搜索解决列车之间的冲突，生成连续的时间约束，使用安全区间路径规划根据约束生成安全区间，并对列车进行连续时间的行车路径规划。本发明能够实现更准确也更有效率的行车路径规划。
-
Patent Agency Ranking
公开(公告)号：CN116567633B
公开(公告)日：2023-10-10
申请号：CN202310833201.9
申请日：2023-07-10
Applicant: 华侨大学
IPC: H04W12/106 , H04W12/033 , H04W12/0431 , H04W12/069 , H04W4/42 , H04L9/32
Abstract: 本发明公开一种基于ECDSA签名算法的身份认证方法、系统及设备，涉及轨道交通无线通信领域，主要步骤包括：A、全球用户识别卡注册；B、初始化接入阶段：当OBU首次接入网络时，利用HSS的公钥传输请求消息，生成临时国际移动用户识别码TMSI保存用于后续的通信；C、切换认证阶段：当OBU发生位置变化，出现列车跨移动管理实体切换的场景或需要重新请求接入网络时，OBU只需使用临时国际移动用户识别码，与新旧MME之间使用认证向量进行相互认证即可。本发明使用ECDSA签名算法，可以为LTE‑R提供更加高可靠、高效率的数据通信与身份认证，为铁路行业提供了更安全、更全面、更智能的通信服务。
-
公开(公告)号：CN118409972A
公开(公告)日：2024-07-30
申请号：CN202410831172.7
申请日：2024-06-26
Abstract: 本发明公开了一种基于符号化有限状态机的完备性测试用例生成方法，涉及软件测试领域，包括：采用STPA技术对安全攸关系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性、原子命题；采用符号化有限状态机对安全攸关系统进行建模和估值函数计算，得到测试用例生成模型，并对其进行基于一阶表达式的精化、可观察性转换，得到可观察的测试用例生成模型，并得到相应的输入等价类，基于可观察的测试用例生成模型的输入等价类集合和命题抽象生成测试用例，在故障域中的测试用例生成模型及其突变体执行测试用例，直至测试用例满足精炼的软件安全要求，解决测试用例数量庞大、完备性差的问题，以满足对安全攸关系统进行全面有效的测试要求。
-
公开(公告)号：CN116567633A
公开(公告)日：2023-08-08
申请号：CN202310833201.9
申请日：2023-07-10
Applicant: 华侨大学
IPC: H04W12/106 , H04W12/033 , H04W12/0431 , H04W12/069 , H04W4/42 , H04L9/32
Abstract: 本发明公开一种基于ECDSA签名算法的身份认证方法、系统及设备，涉及轨道交通无线通信领域，主要步骤包括：A、全球用户识别卡注册；B、初始化接入阶段：当OBU首次接入网络时，利用HSS的公钥传输请求消息，生成临时国际移动用户识别码TMSI保存用于后续的通信；C、切换认证阶段：当OBU发生位置变化，出现列车跨移动管理实体切换的场景或需要重新请求接入网络时，OBU只需使用临时国际移动用户识别码，与新旧MME之间使用认证向量进行相互认证即可。本发明使用ECDSA签名算法，可以为LTE‑R提供更加高可靠、高效率的数据通信与身份认证，为铁路行业提供了更安全、更全面、更智能的通信服务。
-
公开(公告)号：CN116187104B
公开(公告)日：2023-08-01
申请号：CN202310464545.7
申请日：2023-04-27
Applicant: 华侨大学
IPC: G06F30/20 , G06F111/04 , G06F119/02
Abstract: 本发明公开一种轨道交通联锁系统安全分析开发方法及装置，涉及系统安全评估技术领域，方法包括：基于系统级安全约束表，采用STPA分析方法，确定所述初始控制反馈模型的安全分析结果；若初始控制反馈模型不满足预设安全条件，则对初始控制反馈模型进行精化处理，以得到精化后控制反馈模型；精化处理包括引入轨道区段、引入道岔和道岔位置状态、引入轨道区段状态以及引入信号机中的一项或多项；基于系统级安全约束表，采用STPA分析方法确定精化后控制反馈模型的安全分析结果，并基于精化后控制反馈模型的安全分析结果进行轨道交通联锁系统的设计开发。本发明实现基于STPA设计的抽象精化的安全分析，提高安全分析的精细程度。
-
公开(公告)号：CN118387169A
公开(公告)日：2024-07-26
申请号：CN202410813361.1
申请日：2024-06-24
Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置，涉及轨道交通路径规划领域，方法包括：先根据各轨道交通列车的当前路径方案构造冲突树，在根节点中各轨道交通列车的当前路径方案之间存在冲突时，更新冲突树并确定出一当前最佳节点；在交通环境发生变化时，根据当前交通环境和当前最佳节点，判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突，在确定产生冲突时，根据当前交通环境和当前最佳节点，再次更新冲突树并确定出一当前最佳节点，当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中，可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。
-
-
-
-
-
-
-
-
-
Search Results
15
records
(took 0.026 seconds)
