-
公开(公告)号:CN118387169A
公开(公告)日:2024-07-26
申请号:CN202410813361.1
申请日:2024-06-24
Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置,涉及轨道交通路径规划领域,方法包括:先根据各轨道交通列车的当前路径方案构造冲突树,在根节点中各轨道交通列车的当前路径方案之间存在冲突时,更新冲突树并确定出一当前最佳节点;在交通环境发生变化时,根据当前交通环境和当前最佳节点,判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突,在确定产生冲突时,根据当前交通环境和当前最佳节点,再次更新冲突树并确定出一当前最佳节点,当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中,可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。
-
公开(公告)号:CN118102290B
公开(公告)日:2024-07-02
申请号:CN202410508372.9
申请日:2024-04-26
Applicant: 华侨大学
Abstract: 本发明公开一种基于NTRU公钥加密的抗量子攻击车地认证方法及系统,涉及LTE‑R车地无线通信技术领域,在系统初始化、USIM卡注册和初始化认证过程中,引入NTRU公钥加密算法,利用抗量子攻击的NTRU公钥加密算法代替传统的密码学算法,在减少计算开销的同时实现抗量子攻击身份认证,为LTE‑R车地通信认证提供安全、可靠、高效的身份认证方案。
-
公开(公告)号:CN118228905A
公开(公告)日:2024-06-21
申请号:CN202410649732.7
申请日:2024-05-24
IPC: G06Q10/047 , G06Q50/40 , G06F30/20 , G06F119/02
Abstract: 本发明公开一种轨道交通网络的多智能体路径规划方法及系统,涉及路径规划技术领域,对轨道交通网络进行建模,得到无向图,以无向图和每一智能体的行驶任务作为输入,利用SMT‑CCBS联合算法进行路径规划,得到每一智能体的行驶路径,智能体为在轨道交通网络中行驶的列车,通过设计SMT‑CCBS联合算法,能够融合解决MAPF问题的两类方法,可提高多智能体的路径规划的效率和安全可靠性。
-
公开(公告)号:CN118102290A
公开(公告)日:2024-05-28
申请号:CN202410508372.9
申请日:2024-04-26
Applicant: 华侨大学
Abstract: 本发明公开一种基于NTRU公钥加密的抗量子攻击车地认证方法及系统,涉及LTE‑R车地无线通信技术领域,在系统初始化、USIM卡注册和初始化认证过程中,引入NTRU公钥加密算法,利用抗量子攻击的NTRU公钥加密算法代替传统的密码学算法,在减少计算开销的同时实现抗量子攻击身份认证,为LTE‑R车地通信认证提供安全、可靠、高效的身份认证方案。
-
公开(公告)号:CN117670630B
公开(公告)日:2024-04-30
申请号:CN202410145282.8
申请日:2024-02-02
Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质,涉及高速铁路安全评估领域,包括获取高速铁路进路的联锁系统;根据所述联锁系统确定初始模型;根据所述初始模型绘制联锁系统的控制结构图;根据所述控制结构图进行不安全控制行为识别,确定安全约束;根据所述安全约束利用Event‑B和卫确定形式化安全约束;根据所述形式化安全约束确定安全分析模型;所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。
-
公开(公告)号:CN117555217B
公开(公告)日:2024-04-12
申请号:CN202410029921.4
申请日:2024-01-09
Applicant: 华侨大学
Abstract: 本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置,涉及安全性分析领域,包括:确定飞机的安全刹车控制系统的系统级事故和危险,明确各组件的功能需求;设计分层次的控制结构图,根据各组件的功能需求和控制结构图定义各组件的功能性契约;验证和测试功能性契约的正确性和一致性,若通过,则识别不安全控制行为和组件级的致因场景;将致因场景表示成安全性契约,并添加对应的组件中,与功能性契约构成理想模型定义的契约,验证和测试理想模型定义的契约的正确性和一致性;设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机,验证是否满足理想模型定义的契约的约束,解决设计不统一、复杂性高的问题。
-
公开(公告)号:CN117577312A
公开(公告)日:2024-02-20
申请号:CN202311721992.2
申请日:2023-12-14
Applicant: 华侨大学
Abstract: 本发明公开一种肺炎辅助诊断系统及方法,涉及人工智能医疗技术领域,服务器和各个客户端采用联邦学习进行模型训练,服务器生成合成数据后,将相同的合成数据下发给客户端进行训练,通过引入合成数据,解决各个医院肺炎数据异质性带来的影响,通过在客户端训练的目标函数中引入一个条件分布不匹配惩罚来达到特征校准的效果,通过引入迁移学习,通过私有数据校准合成数据的特征信息,从而提高准确性,达到解决在联邦医疗场景下的肺炎数据异质性,从而提升模型性能,进而提高肺炎辅助诊断结果的准确性的效果。
-
公开(公告)号:CN117555217A
公开(公告)日:2024-02-13
申请号:CN202410029921.4
申请日:2024-01-09
Applicant: 华侨大学
Abstract: 本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置,涉及安全性分析领域,包括:确定飞机的安全刹车控制系统的系统级事故和危险,明确各组件的功能需求;设计分层次的控制结构图,根据各组件的功能需求和控制结构图定义各组件的功能性契约;验证和测试功能性契约的正确性和一致性,若通过,则识别不安全控制行为和组件级的致因场景;将致因场景表示成安全性契约,并添加对应的组件中,与功能性契约构成理想模型定义的契约,验证和测试理想模型定义的契约的正确性和一致性;设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机,验证是否满足理想模型定义的契约的约束,解决设计不统一、复杂性高的问题。
-
公开(公告)号:CN112767537B
公开(公告)日:2023-06-16
申请号:CN202110017585.8
申请日:2021-01-07
Applicant: 华侨大学
Abstract: 本发明涉及三维重建技术领域,尤其涉及一种基于RGB编码结构光的三维重建方法,包括以下步骤:S1、生成有n幅格雷码编码图案序列Pb={pb1,pb2,...pbn},S2、将格雷码图案序列Pb每3幅一组打包为新序列Pbt={{pb1,pb2,pb3},{pb4,pb5,pb6},...{pb(n‑2),pb(n‑1),pbn}},分别作为新图案的RGB三通道值进行编码,重新生成n/3幅编码后的图案序列Prgb={prgb1,prgb2,...prgb(n/3)},S3、用彩色投影仪向待重建场景投射S2中编码后的图案序列Prgb,并用彩色相机采集,得到PSrgb={pSrgb1,pSrgb1,...pSrgb(n/3)},S4、对采集到的n/3幅彩色图案序列PSrgb解码,分离每幅图的RGB通道,重新生成n幅格雷码编码的环境图案序列PSg={pSg1,pSg2,...pSgn},S5、对重新生成的图案序列Psg二值化,获得PSb={pSb1,pSb2,...pSbn},再对PSb进行格雷码解码,运用光学三角法测量原理,完成三维重建。本发明在基于格雷码结构光重建系统的基础上,运用RGB图像对格雷码序列进行编码解码,显著提升了重建速度。
-
公开(公告)号:CN115982207A
公开(公告)日:2023-04-18
申请号:CN202310264829.1
申请日:2023-03-20
Applicant: 华侨大学
IPC: G06F16/2453 , G06F16/2458 , G06F16/901 , G06F9/54
Abstract: 本发明涉及一种银行交易资金回流多线程并行检测方法及系统,属于大数据分析处理领域。方法包括:根据银行交易记录构建有向图及其邻接表存储结构,并增加一个虚拟顶点来指向有向图中每一个顶点;基于有向图创建线程间共享内存数据结构,定义并初始化线程内局部数据结构;调用多个线程同时从虚拟顶点出发进行深度优先搜索遍历执行有向环路求解算法;所有线程运行结束之后,利用线程间共享内存数据结构中的环路集合输出检测到的资金回流环路。本发明方法通过将计算任务分解到多个线程上并行执行,充分利用了底层多核处理器的高并发性缩短了算法执行时间,提高了存在回流预警的交易环路的挖掘效率。
-
-
-
-
-
-
-
-
-