一种基于ORCA的轨道交通路径规划方法、装置及可读介质

    公开(公告)号:CN118419100B

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

    申请号:CN202410892289.6

    申请日:2024-07-04

    Abstract: 本发明公开了一种基于ORCA的轨道交通路径规划方法、装置及可读介质,涉及多智能体技术领域,包括:对每个智能体进行单列车路径规划,得到第一路径;采用ORCA算法判断是否会发生碰撞,若是,则对智能体进行第一局部路径规划,得到第一移动速度和第二路径,智能体以第一移动速度按照第二路径朝向下一个路径点移动,否则判断智能体是否存在死锁,若是,则采用MAPF算法对智能体进行第二局部路径规划,得到第三路径,智能体按照第三路径朝向下一个路径点移动,否则计算智能体的第二移动速度,智能体以第二移动速度按照第一路径朝向下一个路径点移动;重复上述步骤,直至智能体到达终点,发挥集中式和分散式方法的优势,实现全局优化和避免碰撞。

    轨道交通联锁系统安全需求构建方法、装置、介质及产品

    公开(公告)号:CN118529096A

    公开(公告)日:2024-08-23

    申请号:CN202410928359.9

    申请日:2024-07-11

    Applicant: 华侨大学

    Abstract: 本发明公开了一种轨道交通联锁系统安全需求构建方法、装置、介质及产品,涉及轨道交通联锁系统安全需求技术领域,该方法包括:对轨道交通联锁系统进行分析,确定系统级事故和系统级危险;根据系统级事故、系统级危险以及各进路控制器的轨道资源信息建立轨道交通联锁系统的联锁系统层级控制结构;利用STPA方法识别危险控制行为,并对危险控制行为进行分析,得到抽象站场安全需求;根据联锁系统层级控制结构和抽象站场安全需求确定轨道交通联锁系统的具体站场安全需求,本发明在轨道交通联锁系统设计方面能够提供复杂站场的的安全需求,降低安全需求提取的难度。

    基于增量MAPF的轨道交通路径规划方法及相关装置

    公开(公告)号:CN118387169A

    公开(公告)日:2024-07-26

    申请号:CN202410813361.1

    申请日:2024-06-24

    Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置,涉及轨道交通路径规划领域,方法包括:先根据各轨道交通列车的当前路径方案构造冲突树,在根节点中各轨道交通列车的当前路径方案之间存在冲突时,更新冲突树并确定出一当前最佳节点;在交通环境发生变化时,根据当前交通环境和当前最佳节点,判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突,在确定产生冲突时,根据当前交通环境和当前最佳节点,再次更新冲突树并确定出一当前最佳节点,当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中,可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。

    一种高速铁路联锁系统安全分析方法、系统、设备及介质

    公开(公告)号: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: 本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置,涉及安全性分析领域,包括:确定飞机的安全刹车控制系统的系统级事故和危险,明确各组件的功能需求;设计分层次的控制结构图,根据各组件的功能需求和控制结构图定义各组件的功能性契约;验证和测试功能性契约的正确性和一致性,若通过,则识别不安全控制行为和组件级的致因场景;将致因场景表示成安全性契约,并添加对应的组件中,与功能性契约构成理想模型定义的契约,验证和测试理想模型定义的契约的正确性和一致性;设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机,验证是否满足理想模型定义的契约的约束,解决设计不统一、复杂性高的问题。

Patent Agency Ranking