-
公开(公告)号：CN118419100A
公开(公告)日：2024-08-02
申请号：CN202410892289.6
申请日：2024-07-04
Abstract: 本发明公开了一种基于ORCA的轨道交通路径规划方法、装置及可读介质，涉及多智能体技术领域，包括：对每个智能体进行单列车路径规划，得到第一路径；采用ORCA算法判断是否会发生碰撞，若是，则对智能体进行第一局部路径规划，得到第一移动速度和第二路径，智能体以第一移动速度按照第二路径朝向下一个路径点移动，否则判断智能体是否存在死锁，若是，则采用MAPF算法对智能体进行第二局部路径规划，得到第三路径，智能体按照第三路径朝向下一个路径点移动，否则计算智能体的第二移动速度，智能体以第二移动速度按照第一路径朝向下一个路径点移动；重复上述步骤，直至智能体到达终点，发挥集中式和分散式方法的优势，实现全局优化和避免碰撞。
-
公开(公告)号：CN117391273A
公开(公告)日：2024-01-12
申请号：CN202311598047.8
申请日：2023-11-28
Applicant: 华侨大学
IPC: G06Q10/047 , G06Q50/26
Abstract: 本发明公开一种轨道交通网络的连续时间多智能体路径规划方法及系统，涉及多智能体协同领域，方法包括：对轨道交通网络进行地图建模，得到无向图；对轨道交通网络中的列车进行智能体建模，得到智能体；对智能体和无向图进行适配，得到适配结果；根据适配结果，采用在连续时间上基于冲突的搜索解决列车之间的冲突，生成连续的时间约束，使用安全区间路径规划根据约束生成安全区间，并对列车进行连续时间的行车路径规划。本发明能够实现更准确也更有效率的行车路径规划。
-
公开(公告)号：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提供更加高可靠、高效率的数据通信与身份认证，为铁路行业提供了更安全、更全面、更智能的通信服务。
-
公开(公告)号：CN116750050A
公开(公告)日：2023-09-15
申请号：CN202310796743.3
申请日：2023-07-03
Applicant: 华侨大学
Abstract: 本发明公开一种列车控制系统车地通信安全分析方法、系统、设备及介质，涉及车地通信领域，包括设定列车控制系统的系统级危险；根据所述列车控制系统中各组件的信息传递路线构建车地通信控制结构图；所述车地通信控制结构图用于反映各组件之间的信息流动；根据所述车地通信控制结构图对造成所述系统级危险的控制行为进行分析，得到与危险对应的不安全控制行为；根据所述与危险对应的不安全控制行为利用车地通信控制结构图中的信息流动确定致因场景。本发明实现系统全面对CBTC系统的车地通信进行安全分析。
-
公开(公告)号：CN108965168B
公开(公告)日：2022-06-07
申请号：CN201811133021.5
申请日：2018-09-27
Applicant: 华侨大学 , 厦门传邮智能科技有限公司
Abstract: 本发明公开了一种基于效用函数的车联网占优资源公平分配优化方法，首先构造了以服务质量QoS指标(分组时延和丢包率等)为自变量的效用函数；然后利用M/D/1排队模型建立QoS指标与无线网络资源数量(带宽和缓存等)二者间的函数映射关系；接着设计一种占优资源公平机制的分配算法，以最大化车辆用户效用为目标，并辅以用户权重优先级对用户的占优资源进行公平合理的分配。本发明的效用函数能够有效的代表用户对服务的满意程度，通过对QoS指标与资源数量建立映射模型，可以将用户的QoS性能需求转化为所需分配的资源数量，在实现满足占优资源公平按需分配的同时最大化用户对QoS需求的满意程度，提高了用户优先级最大化资源的利用率。
-
Patent Agency Ranking
公开(公告)号：CN118444667B
公开(公告)日：2024-10-22
申请号：CN202410905362.9
申请日：2024-07-08
IPC: G05B23/02
Abstract: 本发明一种轨道交通联锁系统故障注入测试方法，涉及测试技术领域，包括：使用STPA方法对轨道交通联锁系统进行分析，识别潜在的故障场景和影响因素；使用CoFI方法将故障场景注入到轨道交通联锁系统的控制流图中，并观察轨道交通联锁系统的响应，生成有限状态机模型FSM；利用W方法从轨道交通联锁系统的有限状态机模型FSM中生成测试用例；使用测试用例测试轨道交通联锁系统在面对不同故障情况时的行为是否符合设计要求。本发明将STPA方法、CoFI方法和W方法相结合，为轨道交通联锁系统的故障注入测试提供了一种全面而有效的方法。
-
公开(公告)号：CN118427841B
公开(公告)日：2024-10-22
申请号：CN202410886462.1
申请日：2024-07-03
Applicant: 华侨大学
Abstract: 本发明公开了一种面向安全需求的轨道交通联锁系统一致性测试方法及装置，涉及软件测试领域，包括：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性，并得到原子命题集；采用符号化有限状态机对轨道交通联锁系统进行建模，得到参考模型；计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到符号迹及其对应的具体迹；对参考模型进行改良，得到改良后的参考模型，将估值函数映射到原子命题集中，得到命题抽象；基于参考模型的符号迹和命题抽象生成测试用例，在改良后的参考模型上执行测试用例，直至测试用例满足精炼的软件安全要求，解决了轨道联通联锁系统的一致性测试无法面向其安全需求的问题。
-
公开(公告)号：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通过地图中的节点或边来表示；采用基于冲突的连续搜索算法实现多智能体轨道交通路径规划，所述多智能体轨道交通路径规划表示为所有智能体在地图上的状态变化。本发明在提高铁路运输效率的同时，增强了列车运行的安全性，为实际应用场景中的复杂情况提供了更为有效的解决方案。
-
公开(公告)号：CN118427841A
公开(公告)日：2024-08-02
申请号：CN202410886462.1
申请日：2024-07-03
Applicant: 华侨大学
Abstract: 本发明公开了一种面向安全需求的轨道交通联锁系统一致性测试方法及装置，涉及软件测试领域，包括：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性，并得到原子命题集；采用符号化有限状态机对轨道交通联锁系统进行建模，得到参考模型；计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到符号迹及其对应的具体迹；对参考模型进行改良，得到改良后的参考模型，将估值函数映射到原子命题集中，得到命题抽象；基于参考模型的符号迹和命题抽象生成测试用例，在改良后的参考模型上执行测试用例，直至测试用例满足精炼的软件安全要求，解决了轨道联通联锁系统的一致性测试无法面向其安全需求的问题。
-
-
-
-
-
-
-
-
-
Search Results
70
records
(took 0.084 seconds)
