-
公开(公告)号：CN118277715A
公开(公告)日：2024-07-02
申请号：CN202410268506.4
申请日：2024-03-02
申请人： 中国科学院重庆绿色智能技术研究院
摘要： 本发明提供了本发明提供了一种图神经网络的变维批处理小矩阵乘法加速方法，属于高性能计算领域。首先设计了三种不同的变维小矩阵乘法加速策略，包含：针对维度固定或矩阵分布不均的BVSM‑B策略、针对维度跨度较小且分布均匀的BVSM‑M策略、和针对维度跨度较大且分布均匀的BVSM‑G策略；然后提出了优化选取三种策略进行变维批处理小矩阵乘法的具体分支流程。本发明方法可以实现对不同矩阵维度范围和不同矩阵分布情况的数据集自动选择最合理的策略，在CPU平台上与现有方法效率相当，在GPU平台上能够大幅的提高计算效率。
-
公开(公告)号：CN118193919A
公开(公告)日：2024-06-14
申请号：CN202410361626.9
申请日：2024-03-19
申请人： 中国科学院重庆绿色智能技术研究院
摘要： 本发明为基于双循环编码的矩阵乘法计算方法，属于计算数学、高性能乘法计算领域。计算矩阵乘法X＝A·B，该方法包含以下步骤：S1：填充矩阵A和矩阵B；S2：对矩阵A和矩阵B通过双循环编码算法将矩阵编码成向量a和向量b；S3：计算最小正整数r；S4：根据向量α、向量b和整数r计算对应向量xi，最后将所有的xi进行向量求和，得到矩阵X的编码向量x；S5：对编码向量x根据双循环编码进行解码，计算得到矩阵X。本发明能够消去矩阵乘法计算中的内积运算，采用双循环编码能保证计算前后编码一致，所得计算结果能直接进行下一次运算，不需要额外开销就能完成矩阵转置，应用向量化操作能够有效提高计算效率。
-
公开(公告)号：CN115150094B
公开(公告)日：2024-04-16
申请号：CN202210739095.3
申请日：2022-06-12
申请人： 中国科学院重庆绿色智能技术研究院
摘要： 本发明为一种基于MLWE和MSIS的可验证解密方法，属于信息安全领域。该方法包含以下步骤：S1：设定可验证解密方法的相关参数；S2：根据安全参数生成密钥；S3：利用公钥对明文向量进行加密并公开；S4：验证者进行同态计算；S5：证明者利用私钥解密；S6证明者和验证者执行非交互式零知识证明。本发明改造具有零知识特性的数字签名方案Dilithium的无公钥压缩框架，为Kyber的IND‑CPA安全公钥加密方案解密的正确性构造了一个基于格困难假设MLWE和MSIS的实用、高效、简洁的可验证解密方案，能够用于解决两方安全计算场景中所涉及的可验证解密问题。
-
公开(公告)号：CN117390680A
公开(公告)日：2024-01-12
申请号：CN202311421489.5
申请日：2023-10-22
申请人： 中国科学院重庆绿色智能技术研究院
IPC分类号： G06F21/62 , G06F21/60 , G06F18/2135 , H04L9/00
摘要： 本发明为基于同态加密的隐私保护主成分分析方法，属于信息安全领域，包含以下步骤：S1：设定安全参数和相关加解密参数；S2：用户1根据安全参数生成公私钥对和运算密钥；S3：用户1利用矩阵A计算向量及迭代辅助明文，进行编码后再进行加密并发送；S4：用户2对利用矩阵B和用户1发送数据计算出密文协方差矩阵；S5：用户2利用幂法对密文协方差矩阵进行迭代计算，将结果发送给用户1；S6：用户1将结果解密并进行标准化，发送给用户2；S7：用户2更新密文协方差矩阵；S8：重复执行步骤S5～S7，直到完成所有的特征向量矩阵。本发明能够在保护两方数据隐私的前提下实现数据的降维，避免了代价高昂的同态密文除法，保证了计算的精度和安全性。
-
公开(公告)号：CN112698891B
公开(公告)日：2023-10-31
申请号：CN202110173226.1
申请日：2021-02-04
申请人： 中国科学院重庆绿色智能技术研究院
IPC分类号： G06F9/448
摘要： 本发明涉及基于界函数的循环程序终止性判断方法，属于计算机程序验证领域，包含以下步骤：S1、遍历程序，查找程序中的循环程序，对该循环程序的循环区域进行均匀采样；S2、设定界函数模板，将界函数问题转化为线性二分类问题，求得映射关系；S3、依次将样本点映射关系进行分类，并打上标签，得到训练集；S4、将训练集通过分类器进行训练，得到分类超平面，进而得到候选的界函数；S5、将候选界函数结合不变式量词消去进行验证，验证循环程序终止性。本发明针对不能通过现有秩函数方法来证明其终止性的循环程序能够给出终止性判定结果，其结果更加具有完备性。
-
公开(公告)号：CN115843360A
公开(公告)日：2023-03-24
申请号：CN202080102633.7
申请日：2020-07-27
申请人： 中国科学院重庆绿色智能技术研究院
IPC分类号： G06F21/60
摘要： 本发明公开了基于指数复杂度的对称加解密方法，属于信息技术领域，包括以下步骤：步骤一、确定基本代码表并公开；步骤二、对信息明文进行数字编码得到数字明文；步骤三、采用基于指数复杂度的对称加密方法对数字明文进行加密，得到信息密文；步骤四、信息传递；步骤五、采用基于指数复杂度的对称解密方法对信息密文进行解密，生成随机隐文；步骤六、根据对应关系，解密随机隐文，得到数字明文；步骤七、解码数字明文，得到信息明文。本发明满足指数级的安全性的同时密文膨胀率也较低，可以实现高效加密与解密。
-
公开(公告)号：CN112765551A
公开(公告)日：2021-05-07
申请号：CN202110116434.8
申请日：2021-01-21
申请人： 中国科学院重庆绿色智能技术研究院
IPC分类号： G06F17/16
摘要： 本发明涉及一种双重约化的矩阵乘法的分块参数空间优化方法，属于计算机数值计算领域，该方法包括以下步骤：S1：输入矩阵乘法算子；S2：获取相关的信息，选取DNMM变换；S3：定义优化Schedule；S4：计算参数空间；S5：计算缓存复杂度约束和向量化约束；S6：对参数空间进行过滤；S7：从候选参数空间中选取优化参数，结合DNMM变换和Schedule，计算矩阵乘法。本发明能够过滤掉那些由缓存和并行理论指导下的无法提供最佳性能的候选参数组合，用以解决将矩阵乘法的分块和并行计算扩展到多维度问题，能够提高矩阵乘法的计算效率。
-
公开(公告)号：CN110266479A
公开(公告)日：2019-09-20
申请号：CN201910483832.6
申请日：2019-05-29
申请人： 中国科学院重庆绿色智能技术研究院
摘要： 本发明为一种基于模容错学习问题的双向可否认加密方法，属于信息安全领域。该方法包含以下步骤：S1：设定该双向可否认加密方案的安全参数；S2：根据安全参数生成密钥；S3：输入待加密文件生成明文和假明文字符流，并转化为字节流；S4：通过双向可否认加密方法对明文进行加密，生成密文；S5：通过解密方法对密文进行解密，得到明文；S6：输出原文件；S7：敌手验证通过假明文及加密方案，实现双向可否认性。本发明提出了一种基于模容错学习问题的双向可否认加密方法，使消息的接收和发送双方都可否认在加密过程中所使用的真实明文，给出一个让敌手不能验真的假明文，达到欺骗敌手的目的，并且能够抵抗量子攻击。
-
公开(公告)号：CN104751476B
公开(公告)日：2017-10-31
申请号：CN201510181569.7
申请日：2015-04-16
申请人： 中国科学院重庆绿色智能技术研究院
摘要： 本发明涉及一种用于3D打印中CLI文件错误检查的方法，属于3D打印技术领域。该方法包含以下步骤：1)判断所需进行3D打印的CLI文件是否满足CLI文件的格式要求，若不满足，则无法对其进行错误检查；2)检查CLI文件，判断其是否含有冗余顶点这类错误；3)检查CLI文件，判断其是否含有切片轮廓退化这类错误；4)检查CLI文件，判断其是否含有轮廓不封闭这类错误；5)检查CLI文件，判断其是否含有轮廓自相交这类错误；6)检查CLI文件，判断其是否含有轮廓互交这类错误；7)检查CLI文件，判断其是否含有轮廓方向错误这类错误；8)统计CLI文件中各类错误的数目。通过本方法能够准确、全面的检查出3D打印中的CLI文件的错误。
-
公开(公告)号：CN104751476A
公开(公告)日：2015-07-01
申请号：CN201510181569.7
申请日：2015-04-16
申请人： 中国科学院重庆绿色智能技术研究院
摘要： 本发明涉及一种用于3D打印中CLI文件错误检查的方法，属于3D打印技术领域。该方法包含以下步骤：1)判断所需进行3D打印的CLI文件是否满足CLI文件的格式要求，若不满足，则无法对其进行错误检查；2)检查CLI文件，判断其是否含有冗余顶点这类错误；3)检查CLI文件，判断其是否含有切片轮廓退化这类错误；4)检查CLI文件，判断其是否含有轮廓不封闭这类错误；5)检查CLI文件，判断其是否含有轮廓自相交这类错误；6)检查CLI文件，判断其是否含有轮廓互交这类错误；7)检查CLI文件，判断其是否含有轮廓方向错误这类错误；8)统计CLI文件中各类错误的数目。通过本方法能够准确、全面的检查出3D打印中的CLI文件的错误。
-
-
-
-
-
-
-
-
-
搜索结果
59 条记录 (耗时 0.036 秒)
