一种面向异构数据的双重联邦蒸馏学习方法及装置

    公开(公告)号:CN117196070A

    公开(公告)日:2023-12-08

    申请号:CN202311474649.2

    申请日:2023-11-08

    Abstract: 本发明属于异构数据下的联邦学习的技术领域,更具体地,涉及一种面向异构数据的双重联邦蒸馏学习方法及装置。所述方法包括全局知识蒸馏和局部知识蒸馏,全局知识蒸馏包括利用全局生成器生成全局伪数据,将全局伪数据输入局部模型和初始聚合模型,并根据模型输出结果对初始聚合模型微调,得到全局模型;局部知识蒸馏包括利用局部生成器生成局部伪数据,将局部伪数据输入局部模型和全局模型,并根据模型输出结果更新局部生成器,再利用更新后的局部生成器生成新的局部伪数据,利用新的局部伪数据更新局部模型。本发明保障数据异构环境下产生客户漂移现象时联邦学习系统中服务端和客户端双边优化,实现全局模型和局部模型的稳定收敛及性能提升。

    适用于MASNUM海浪模式的混合精度实现方法及系统

    公开(公告)号:CN116822253A

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

    申请号:CN202311090897.7

    申请日:2023-08-29

    Abstract: 本发明公开了一种适用于MASNUM海浪模式的混合精度实现方法及系统,涉及海洋科学并行计算应用技术领域,该方法包括:将海浪模型划分为多个运算模块,获取每个模块的运行时间并以此进行排序,对排序后的每一模块进行降精度;将降精度运算模块按排序顺序逐个对应替换海浪模型中原本的运算模块,根据每一降精度运算模块替换前后的模型运行时间和模型区域平均有效波高相对误差进行对比验证,筛选符合验证条件的降精度运算模块;对筛选出的模块进行排序后再进行组合验证,确定符合组合验证条件的降精度运算模块,形成混合精度版海浪模型。本发明推进混合精度方法在海浪模式的应用,保证结果的准确性且降低计算量和内存占用。

    一种固件漏洞检测及数据安全治理方法和系统

    公开(公告)号:CN116032654A

    公开(公告)日:2023-04-28

    申请号:CN202310101003.3

    申请日:2023-02-13

    Abstract: 一种固件漏洞检测及数据安全治理方法和系统,属于数据安全的技术领域。包括:将待检测的物联网设备固件进行:固件解压、提取可执行文件以及提取可执行文件的相关数据;将可执行文件通过函数漏洞库、Hash计算、反汇编机制以获取可疑漏洞函数;通过检测固件中的可疑漏洞函数是否为已知漏洞函数的同源函数,以此判断,该检测固件中是否包含相应的漏洞。发明使用自然语言处理模型提取二进制函数的语义信息,不依赖专家知识;能够进行跨架构物联网固件漏洞检测;基于已知CVE漏洞,并对CVE漏洞数据库进行管理,定时更新;对于已经检测过的固件,随着CVE漏洞数据的变化,也会再次进行检测,保证固件漏洞检测的实时性。

    一种基于博弈论实现用户隐私损失补偿的数据定价方法

    公开(公告)号:CN115965406A

    公开(公告)日:2023-04-14

    申请号:CN202310258187.4

    申请日:2023-03-17

    Abstract: 一种基于博弈论实现用户隐私损失补偿的数据定价方法,属于数据处理的技术领域,包括:步骤1:通过对作为追随者的买家的效用函数求偏导,得出作为追随者的买家的最优数据购买策略;步骤2:将其带入作为领导者的市场平台的效用函数中,利用迭代梯度算法更新数据价格;再根据数据卖家的效用函数优化其隐私补偿系数;步骤3:确定数据交易的赢家、数据成交价、数据隐私补偿系数和数据的购买量四个关键变量,实现公平高效的数据定价。本发明提出基于Stackelberg博弈的定价方法,结合前面的隐私补偿机制,分析了卖方、买方和市场平台各自的效用,同时引入了激励竞争机制,多个卖方相互竞争,更符合真实数据交易的情况。

    一种SM4密码算法的形式化验证方法及系统

    公开(公告)号:CN112989395A

    公开(公告)日:2021-06-18

    申请号:CN202110465793.4

    申请日:2021-04-28

    Abstract: 本申请公开了一种SM4密码算法的形式化验证方法,所述方法包括:将SM4密码算法的算法参数定义为安全整数类型;其中,所述算法参数包括明文输入、加密结果、密文输入、解密结果、主密钥、密钥常数、轮密钥和s盒参数;确定基于F*框架的算法模块的初始堆,并在所述初始堆的目标缓冲区中添加所述算法参数;利用所述算法参数对所述SM4密码算法的轮密钥生成模块、加密模块和解密模块进行形式化验证,得到所述SM4密码算法的形式化验证结果。本申请能够在SM4密码算法实现过程中保证内存安全、避免受到时间侧信道攻击。本申请还公开了一种SM4密码算法的形式化验证系统,具有以上有益效果。

Patent Agency Ranking