一种用于ROS机器人任务规划的图形化PDDL编译方法及系统

    公开(公告)号:CN118069149A

    公开(公告)日:2024-05-24

    申请号:CN202410343147.4

    申请日:2024-03-25

    Abstract: 本发明公开一种用于ROS机器人任务规划的图形化PDDL编译方法及系统,属于智能规划领域技术领域。所述方法包括:获取思维导图;基于目标任务对思维导图进行调整;将调整后的思维导图编译为PDDL源文件数据,并基于该PDDL源文件数据生成所述目标任务的规划结果;将规划结果编译为ROS形式的话题消息,以使ROS机器人基于所述话题消息执行所述目标任务。本发明实现了图形化PDDL和ROS系统的结合,有助于开发者检验PDDL模型的实用性和有效性。

    一种密码学算法快速部署方法
    3.
    发明公开

    公开(公告)号:CN117938366A

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

    申请号:CN202311624380.1

    申请日:2023-11-30

    Abstract: 本发明公开了一种密码学算法快速部署方法,其步骤包括:1)在服务器上设置一密码学算法库;所述密码学算法库中的密码学算法为MLIR格式的算法;所述服务器为控制目标芯片的主机;2)从所述密码学算法库中选择用户所需密码算法;3)服务器将所选密码学算法生成LLVM IR格式的内核加速代码和主机控制代码;4)服务器将所述LLVM IR格式的内核加速代码生成比特流并下载到所述目标芯片中;5)服务器将LLVM IR格式的主机控制代码编译为包含运行时调用的文件,控制所述目标芯片对其上运行的对应密码学算法进行加速。本发明解决密码学算法在FPGA和ASIC上部署效率低下的问题。

    操作系统内核安全接口语义识别与关联分析方法及系统

    公开(公告)号:CN117370986A

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

    申请号:CN202311321707.8

    申请日:2023-10-12

    Abstract: 本发明提供一种操作系统内核安全接口语义识别与关联分析方法及系统。该方法包括:根据操作系统内核代码的安全功能接口的信息生成安全功能接口图数据库;利用安全功能接口关联关系分析与聚类神经网络模型获得层级功能关系图;利用安全功能接口与安全功能要求支撑逻辑关系检测算法分析不同安全功能接口与安全功能要求之间的逻辑关联并划分支撑关系;利用安全功能接口与安全功能要求溯源逻辑分析算法分析给出安全功能接口与安全功能要求的溯源原理。本发明可应用于操作系统内核安全评估中安全功能实现原理编写与安全功能接口逻辑支撑编写过程,可解决人工编写时功能接口关系不清晰、原理追溯困难或有遗漏、支撑关系错误或逻辑不明的问题。

    一种基于迭代筛选与随机掩码学习的模型安全迁移方法

    公开(公告)号:CN116824313A

    公开(公告)日:2023-09-29

    申请号:CN202310765978.6

    申请日:2023-06-27

    Abstract: 本发明公开了一种基于迭代筛选与随机掩码学习的模型安全迁移方法,其步骤包括:1)固定既有未知渠道教师模型权重值,初始化学生模型权重;2)使用迭代强化筛选算法对教师模型各层级输出的通道进行筛选,强化高语义信息通道以提高传递信息精度,弱化删除受扰动后导致输出显著变化的通道以避免传递后门攻击触发器模式;3)输入目标训练数据集,每轮训练使用不同随机掩码对学生模型输出进行屏蔽以正则化学习教师网络通道输出,可避免持续学习不可信通道并学习全局强语义通道,直至学生模型收敛。本方法可应用于需将不安全来源训练的预训练模型迁移到学生模型使用时,可解决潜在的后门被迁移到学生模型上的危害并提高学生模型精度。

    基于API文档图谱的操作系统智能编程方法及装置

    公开(公告)号:CN113849163B

    公开(公告)日:2022-10-14

    申请号:CN202111174889.1

    申请日:2021-10-09

    Abstract: 本发明公开了一种基于API文档图谱的操作系统智能编程方法及装置,包括根据从源系统及目标系统的API文档中提取的所需信息,分别构建源系统的API文档图谱ADG1及目标系统的API文档图谱ADG2;分别向量化API文档图谱ADG1与API文档图谱ADG2,构建节点表示矩阵及节点表示矩阵基于节点表示矩阵与节点表示矩阵进行API文档图谱ADG1与API文档图谱ADG2的实体对齐任务,得到API映射结果。本发明避免了API文档中有效信息丢失,解决了已有的基于代码的API映射方法存在的代码库不可用、不准确等问题,以及基于文档的API映射方法的信息利用不充分等问题,为后续通过智能编程实现应用程序的跨系统迁移的过程提供支持。

    轻量级OpenHarmony操作系统应用开发对象管理系统及其应用方法

    公开(公告)号:CN113885873A

    公开(公告)日:2022-01-04

    申请号:CN202111153503.9

    申请日:2021-09-29

    Abstract: 本发明公开了一种轻量级OpenHarmony操作系统应用开发对象管理系统及其应用方法,包括Core核心模块,用以提供进行对象管理的核心工具;Bean模块,用以利用所述核心工具,基于对象配置文件获取对象实例;ApplicationContext模块,用以利用所述核心工具,将对象实例存储到对象容器中,并提供对象访问方法接口,以实现对象的解耦。本发明帮助OpenHarmony操作系统应用开发者从复杂的程序逻辑中分离出对象之间的依赖关系、管理对象的生命周期和作用域,让开发者把更多的精力聚焦于业务的实现,最终提高OpenHarmony应用程序开发的效率。

    OpenHarmony操作系统应用的无代码智能开发系统及其使用方法

    公开(公告)号:CN113849156A

    公开(公告)日:2021-12-28

    申请号:CN202111093641.2

    申请日:2021-09-17

    Abstract: 本发明公开了一种OpenHarmony操作系统应用的无代码智能开发系统及其使用方法,该系统采用前后端分离系统架构,前端系统包括:业务模块,用以根据业务场景获取设定OpenHarmony项目工程模板提供的ui组件与逻辑流程;ui生成模块,用以基于ui组件设计OpenHarmony应用的UI界面;流程模块,用以利用UI界面与逻辑流程进行业务跳转流程设计,得到关联逻辑事件;后端系统包括:代码生成模块,用以根据ui组件与关联逻辑事件,生成OpenHarmony应用代码。本发明帮助用户快速开发OpenHarmony应用程序,实现让用户在图形界面中,使用可视化建模的方式来组装和配置应用程序,对OpenHarmony应用开发的推广和普及具有重要的意义。

    基于RISC-V与O-CFI机制的代码重用攻击防御方法及装置

    公开(公告)号:CN113672922A

    公开(公告)日:2021-11-19

    申请号:CN202110942052.0

    申请日:2021-08-17

    Abstract: 本发明公开一种基于RISC‑V与O‑CFI机制的代码重用攻击防御方法及装置,包括:根据基本块顺序随机化的程序源代码,构造控制流图;基于控制流图,获取控制流转移分支的边界范围;执行程序源代码,获取每一控制流将转移到的目标节点,并结合所述边界范围对各目标节点进行分析,以防御异常控制流。本发明可以依据程序控制流自身特征,在RISC‑V安全硬件的辅助之下,对非法控制流转移进行识别,有效应对代码重用攻击,从而增强RISC‑V系统的安全防御能力。

Patent Agency Ranking