“运算验证”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果333483个，建议您升级VIP下载更多相关专利

[发明专利]一种区块链跨链交互数据计算结果的完整性验证方法-CN202210767285.6在审
发明人：蒋佳佳;张玉书 -专利权人：南京航空航天大学
申请日： 2022-06-30 - 公布日： 2022-10-04 - 主分类号： H04L9/00 文献下载
摘要：本发明公开了一种区块链跨链交互数据计算结果的完整性验证方法，验证方法包括以下步骤：接入链的用户按主链的用户的计算请求对从接入链上获取的参与运算的数据进行计算，对参与运算的数据进行同态加密，并对加密结果进行签名，将计算结果和参与运算的数据的密文和签名送入接入链进行存储；跨链交互完成时，接入链和主链分别生成生成用于完整性验证的审计信息并送入监管链，监管链根据收到的审计信息对跨链交互中数据处理结果的完整性进行验证本发明应用Paillier同态加密技术对参与运算的数据进行处理，应用双线性映射技术对参与运算数据的完整性进行验证，实现了跨链交互数据计算结果的完整性的准确验证，同时保证了计算结果的正确性。
一种区块链跨链交互数据计算结果完整性验证方法

[发明专利]数据验证方法和安全多方计算系统-CN201810483279.1有效
发明人：梅彦铮;佘士东;郭成;沈海寅;季申;翟翌华 -专利权人：深圳市图灵奇点智能科技有限公司;智车优行科技（北京）有限公司
申请日： 2018-05-19 - 公布日： 2021-09-17 - 主分类号： H04L29/06 文献下载
摘要：本发明实施例公开了一种数据验证方法和安全多方计算系统，其中，方法包括：基于数据运算任务获取待运算数据和运算模型；基于所述运算模型对所述待运算数据进行处理，获得承诺凭证数据，并基于所述承诺凭证数据验证所述待运算数据的可信性基于本发明上述实施例保证了数据运算过程中的隐私性，通过证明待运算数据的可信性，解决了在复杂不诚实网络中可靠计算的问题。
数据验证方法安全多方计算系统

[发明专利]一种验证DCS模拟机逻辑运算功能的测试方法及系统-CN201811367874.5在审
发明人：杨琦;朱剑;吕秀红;宋健;吴瑶 -专利权人：北京广利核系统工程有限公司;中国广核集团有限公司
申请日： 2018-11-16 - 公布日： 2019-04-02 - 主分类号： G05B23/02 文献下载
摘要：本发明涉及一种验证DCS模拟机逻辑运算功能的测试方法及系统，属于核电系统测试领域。该方法包括根据需要验证的逻辑预先设置输入设定和预期结果，所述输入设定强制输入DCS模拟机进行逻辑运算模拟；根据所述逻辑运算模拟输出的DCS模拟机运算结果与所述预期结果进行比较生成试验结果判定表；根据所述试验结果判定表得出DCS模拟机逻辑运算功能的测试结果。本发明克服了现有测试方法验证效率低以及容易引入人因失误的问题，有效提高测试效率和准确度。
逻辑运算功能验证测试方法及系统逻辑运算输入设定预期结果测试领域测试效率核电系统结果判定生成试验预先设置运算结果准确度判定测试输出引入

[发明专利]适用于MASNUM海浪模式的混合精度实现方法及系统-CN202311090897.7在审
发明人：张洁;刘鑫;韩琦琦;官淑慧;张展硕;杨明;吴晓明;郭莹;王继彬 -专利权人：山东省计算中心（国家超级计算济南中心）
申请日： 2023-08-29 - 公布日： 2023-09-29 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种适用于MASNUM海浪模式的混合精度实现方法及系统，涉及海洋科学并行计算应用技术领域，该方法包括：将海浪模型划分为多个运算模块，获取每个模块的运行时间并以此进行排序，对排序后的每一模块进行降精度；将降精度运算模块按排序顺序逐个对应替换海浪模型中原本的运算模块，根据每一降精度运算模块替换前后的模型运行时间和模型区域平均有效波高相对误差进行对比验证，筛选符合验证条件的降精度运算模块；对筛选出的模块进行排序后再进行组合验证，确定符合组合验证条件的降精度运算模块，形成混合精度版海浪模型。
适用于 masnum 海浪模式混合精度实现方法系统

[发明专利]一种确保网络电子交易的数据真实性的确认方法-CN200910083295.2无效
发明人：李勇 -专利权人：李勇
申请日： 2009-05-04 - 公布日： 2009-09-23 - 主分类号： G06Q30/00 文献下载
摘要：该方法包括以下步骤：A1通过第二通道确定一个参与电子交易数据真实性确认运算的确认运算信息集；A2在用户端显示电子交易数据和指示如何利用所述确认运算信息集的运算指示信息；A3用户根据所述运算指示信息和所述确认运算信息集计算得到用户端真实性验证码，并输入到用户端，发送给所述网络后台交易程序；A4所述网络后台交易程序根据所述运算指示信息和所述确认运算信息集计算得到后台端真实性验证码；A5所述网络后台交易程序比较所述用户端真实性验证码和所述后台端真实性验证码本发明可以有效的验证数据真实性，避免数据被伪造或者修改。适用于在线交互系统，例如网上购物、网上银行业务、网上报税等。
一种确保网络电子交易数据真实性确认方法

[发明专利]一种测试数据生成方法、测试方法、装置和相关设备-CN202111561729.2在审
发明人：范相东;陈俊;潘于 -专利权人：海光信息技术股份有限公司
申请日： 2021-12-20 - 公布日： 2022-03-25 - 主分类号： G06F11/36 文献下载
摘要：本发明实施例提供了一种测试数据生成方法、测试方法、装置和相关设备，其中测试数据生成方法包括：确定运算单元的运算操作指令，运算操作指令用于使运算单元对操作数执行第一运算操作；确定第一运算操作的预期运算结果；根据与第一运算操作的运算逻辑相逆的第二运算操作，确定预期运算结果对应的预期操作数；第二运算操作的运算精度高于第一运算操作的预期运算精度。由于第二运算操作的运算精度高于第一运算操作的预期运算精度，因此，运算单元对预期操作数执行第一运算操作，确定对应的实际运算结果之后，即可将实际运算结果与预期运算结果比较，来验证运算单元的实际运算精度是否达到预期运算精度，从而实现对运算单元的运算精度的精准验证。
一种测试数据生成方法测试装置相关设备

[发明专利]安全设备、加密机、安全设备操作系统及操作方法-CN201310682166.1有效
发明人：李军;杨宁;于鸽 -专利权人：珠海市金邦达保密卡有限公司
申请日： 2013-12-12 - 公布日： 2017-01-18 - 主分类号： H04L9/32 文献下载
摘要：该芯片中设置有第一运算单元，且芯片中还存储有上一次操作的年轮数据或初始年轮数据，第一运算单元能够进行第一次运算以生成第一验证数据，参与第一次运算的数据包括本次操作数据和上一次操作的年轮数据或初始年轮数据，安全设备能够将第一验证数据和本次操作数据发送至与安全设备对应的加密机进行验证，当第一验证数据通过加密机的验证时，第一运算单元能够进行第二次运算以生成本次操作的年轮数据，参与第二次运算的数据包括本次操作的计数器和上一次操作的年轮数据或初始年轮数据本发明还提供一种加密机
安全设备加密操作系统操作方法

[发明专利]一种分布式AI协同计算系统的节点身份验证方法和系统-CN202111275760.X有效
发明人：刘雄军;白洋;范国超;牛志超;张彤;薛铸鑫;张弛;张依漪;隋悦;王宇浩 -专利权人：北京京航计算通讯研究所
申请日： 2021-10-29 - 公布日： 2023-06-16 - 主分类号： H04L67/10 文献下载
摘要：一种分布式AI协同计算系统的节点身份验证方法和系统，方法包括中心服务器向各分布式节点发送身份验证指令；各分布式节点根据身份验证指令完成对应的实时运算能力验证任务，向中心服务器发送响应消息；响应消息包括任务完成时间和节点设备信息；所述实时运算能力验证任务包括实时计算能力验证任务和实时存储能力验证任务；中心服务器接收响应消息，若接收到响应消息的时间超过预期时间，或任务完成时间与相同设备类型的真实节点完成所述实时运算能力验证任务的任务完成时间的差值大于预先设置的阈值，则将该节点认定为可疑节点；中心服务器多次对所述可疑节点发送身份验证指令，若可疑节点均未通过验证，则判断该节点为伪造节点。
一种分布式 ai 协同计算系统节点身份验证方法

[发明专利]密码核的安全验证方法、装置、电子设备及存储介质-CN202310491843.5在审
发明人：张茜歌;慕德俊;周佳慧;朱嘉诚;姜义初;沈利香;赵豪;任增民 -专利权人：北京智芯微电子科技有限公司;西北工业大学
申请日： 2023-05-04 - 公布日： 2023-09-05 - 主分类号： G06F21/64 文献下载
摘要：本说明书涉及一种密码核的安全验证方法、装置、电子设备及存储介质。其中，安全验证方法包括：以密码核的执行逻辑为参考，基于信息流模型库中的目标基础模型生成密码核对应的目标信息流模型；其中，密码核对应有逻辑函数，逻辑函数包括运算单元，目标基础模型用于描述在执行运算单元时对电路信号的运算过程；目标信息流模型用于描述在执行密码核时对电路信号的运算过程；针对密码核需要验证的安全属性构建对应的安全属性断言；其中，安全属性断言用于加入目标信息流模型中；通过执行加入安全属性断言后的目标信息流模型，对密码核进行安全验证本说明书实施例能够基于信息流分析的方式，处理RTL级代码，具有更高的验证效率和验证精度。
密码安全验证方法装置电子设备存储介质

[发明专利]一种基于矩阵运算的可验证的全同态加密方法-CN201910042562.5有效
发明人：黄汝维;李志坤 -专利权人：广西大学
申请日： 2019-01-17 - 公布日： 2022-06-14 - 主分类号： H04L9/00 文献下载
摘要：本发明公开了一种基于矩阵运算的可验证的全同态加密方法。该方法先将各明文数据预处理转换成向量，得到向量集合；然后选择非零随机实数与各向量构造三角矩阵，对各三角矩阵进行加密，得到加密矩阵集合；同时根据计算函数类型，利用三角矩阵集合生成验证证据；之后将各加密矩阵按照一定的规则进行矩阵运算，得到加密的运算结果；最后，对加密的运算结果进行解密，得到结果的明文，通过比较验证证据与计算结果的值是否相等来验证结果的正确性。本所述方法具有隐私安全及结果的可验证性；仿真实验结果表明本发明所述方法在密钥生成、解密与可验证阶段都具有较高的效率，表明了方案的有效性和可行性。
一种基于矩阵运算验证同态加密方法

[发明专利]一种网络用户认证方法-CN201810018099.6在审
发明人：李延斌;陈蕾;侯国照;马传贵;牛雷;莫军;佟贺;孙泽东;徐艳艳;魏琴 -专利权人：中国人民解放军陆军航空兵学院
申请日： 2018-01-09 - 公布日： 2019-07-16 - 主分类号： H04W12/06 文献下载
摘要：本申请公开了一种网络用户认证方法，包括终端对身份识别号和密码进行第一验证运算；将登录认证请求信息发送至第一传感器节点；第一传感器节点生成第一秘钥材料，并将第一秘钥材料及登录认证请求信息发送至网关节点；网关节点对第一传感器节点进行第二验证运算，网关节点对登录认证请求信息进行第三验证运算；网关节点生成第二秘钥材料，并将第二秘钥材料发送至第二传感器节点；第二传感器节点对网关节点进行第四验证运算；第二传感器节点生成第三秘钥材料，并将第三秘钥材料发送至用户；对网关节点进行第五验证运算；根据第五运算结果计算会话秘钥。
秘钥网关节点验证运算登录认证请求网络用户认证第二传感器第一传感器节点生成信息发送发送身份识别号用户认证用户账户运算结果会话申请终端

[发明专利]一种BMC固件的安全验证方法及系统-CN201810831862.7在审
发明人：苏振宇 -专利权人：郑州云海信息技术有限公司
申请日： 2018-07-26 - 公布日： 2018-12-21 - 主分类号： G06F21/51 文献下载
摘要：本发明提供一种BMC固件的安全验证方法及系统，方法包括以下步骤：对BMC固件的镜像文件进行预处理，得到第一摘要值和签名值；分别对镜像文件和签名值进行运算，将运算结果分别与所述第一摘要值进行对比，验证BMC系统包括BMC固件，所述系统还包括BMC固件签名单元，用于对BMC固件的镜像文件进行预处理，得到第一摘要值和签名值；BMC固件验证单元，分别对镜像文件和签名值进行运算，将运算结果分别与所述第一摘要值进行比对，验证BMC固件的完整性和合法性。本发明同时验证了BMC固件的完整性和合法性，保证要更新的BMC固件的安全性。
镜像文件合法性预处理安全验证运算结果验证运算固件验证签名单元比对更新保证

[发明专利]指标运算表达式的验证方法及装置-CN201810847527.6在审
发明人：李济景 -专利权人：北京国双科技有限公司
申请日： 2018-07-27 - 公布日： 2020-02-07 - 主分类号： G06Q30/02 文献下载
摘要：本发明公开了一种指标运算表达式的验证方法及装置，涉及校验技术领域，主要目的在于解决在验证指标运算表达式时，耗时过多的问题。本发明的方法包括：将指标运算表达式进行替换操作，得到第一指标运算表达式，其中，替换操作包括将指标运算表达式中的指标替换为第一预设字符，以及将指标运算表达式中的运算符替换为第二预设字符；判断第一指标运算表达式中是否存在异常特征；若不存在，则将运算表达式中的指标替换为预设数值，得到第二指标运算表达式并进行计算；若第二指标运算表达式能够计算出结果，则确定指标运算表达式正常；若第二指标运算表达式无法计算出结果，则确定指标运算表达式异常本发明用于指标运算表达式的验证。
指标运算预设替换指标替换验证运算表达式异常特征运算符校验耗时

[发明专利]AI创作物的验证装置-CN201980060298.6在审
发明人：大山坚司 -专利权人：株式会社百德立孚
申请日： 2019-09-07 - 公布日： 2021-06-11 - 主分类号： G06N20/00 文献下载
摘要：本发明提供能够验证由人工智能创建的创作物是否实际由人工智能创建的AI创作物的验证装置。该AI创作物的验证装置包括：AI信息获取部，从人工智能装置获取构成人工智能的程序信息和学习用数据信息；输入信息获取部，获取对人工智能装置的输入信息并保持该输入信息；运算部，进行使用上述AI信息获取部以及输入信息获取部获取到的信息的信息处理；以及运算结果保存部，保存作为该运算部的运算结果被输出的创作物。
ai 创作验证装置

[发明专利]验证方法和系统-CN202010086572.1有效
发明人：吴学儒;吴景桐 -专利权人：瑞昱半导体股份有限公司
申请日： 2020-02-11 - 公布日： 2022-09-13 - 主分类号： G06F11/263 文献下载
摘要：本申请揭露一种验证方法和系统，所述验证方法用于验证芯片的第一易失性可读写存储器的内容，该芯片的第一非易失性可读写存储器存放有固件映像，该固件映像中包含预定运算值，该芯片包括第二易失性可读写存储器，该验证方法包括：在开机加载模式下，将该固件映像的第一部分及第二部分，分别加载至该第一易失性可读写存储器和该第二易失性可读写存储器；依据该第一部分以及该第二部分来进行第一特定运算，并得到第一运算值；依据该第一运算值来进行第二特定运算，并得到第二运算值存放至该第二易失性可读写存储器。
验证方法系统