期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于动态奖惩的分支策略的SAT完备算法 被引量:3
1
作者 刘燕丽 徐振兴 熊丹 《计算机应用》 CSCD 北大核心 2017年第12期3487-3492,共6页
针对学习子句数量有限或相似度高导致历史信息有限、搜索树不平衡的问题,提出了基于动态奖惩的分支策略。首先,对每次单子句传播的变元进行惩罚,依据变元是否产生冲突和产生冲突的间隔,确立不同的惩罚函数;其次,在学习阶段,利用学习子... 针对学习子句数量有限或相似度高导致历史信息有限、搜索树不平衡的问题,提出了基于动态奖惩的分支策略。首先,对每次单子句传播的变元进行惩罚,依据变元是否产生冲突和产生冲突的间隔,确立不同的惩罚函数;其次,在学习阶段,利用学习子句确定对构造冲突有益的变元,非线性增加它们的活跃度;最后,选择活跃度最大的变元作为新分支变元。在glucose3.0算法基础上,完成了改进的动态奖惩算法——AP7。实验结果表明,相比glucose3.0算法,AP7算法的剪枝率提高了14.2%~29.3%,少数算例剪枝率的提高可达51%,且改进后的AP7算法相比glucose3.0算法,运行时间缩短了7%以上。所提分支策略可以有效降低搜索树规模,使搜索树更加平衡,减少计算时间。 展开更多
关键词 NP完全问题 可满足性问题 冲突驱动子句学习 完备算法 分支策略
在线阅读 下载PDF
一种多中继协同网络吞吐量优化算法 被引量:2
2
作者 李倩雯 蒋铃鸽 +1 位作者 何晨 占敖 《上海交通大学学报》 EI CAS CSCD 北大核心 2011年第3期363-367,374,共6页
考察了接收节点通过累积信息量完成解码的单源单宿多中继无线网络,提出了一种基于动态前向解码协议的中继节点选择及传输算法.首先,给出了在给定整个网络所需传输信息量的条件下最小化信息传输时间的数学模型,并证明了其是一个完全多项... 考察了接收节点通过累积信息量完成解码的单源单宿多中继无线网络,提出了一种基于动态前向解码协议的中继节点选择及传输算法.首先,给出了在给定整个网络所需传输信息量的条件下最小化信息传输时间的数学模型,并证明了其是一个完全多项式非确定性问题,进而提出了一种分布式贪婪中继节点选择算法.该算法综合考虑了被选择节点的上行和下行链路的信道增益,不仅保证了被选中节点能够容易地解码信源信息,而且使得网络终端接收到较多的有效解码信息.仿真结果表明,该算法接近集中式最优中继节点选择机制的性能,并且其分布式实现减少了系统开销. 展开更多
关键词 动态前向解码 完全多项式非确定性问题 中继 贪婪算法 半双工
在线阅读 下载PDF
Niederreiter公钥密码方案的改进 被引量:4
3
作者 刘相信 杨晓元 《计算机应用》 CSCD 北大核心 2018年第7期1956-1959,共4页
针对现有Niederreiter公钥密码方案容易遭受区分攻击和信息集攻击(ISD)的现状,提出一种改进的Niederreiter公钥密码方案。首先,对Niederreiter公钥密码方案中的置换矩阵进行了改进,把原有的置换矩阵替换为随机矩阵;其次,对Niederreiter... 针对现有Niederreiter公钥密码方案容易遭受区分攻击和信息集攻击(ISD)的现状,提出一种改进的Niederreiter公钥密码方案。首先,对Niederreiter公钥密码方案中的置换矩阵进行了改进,把原有的置换矩阵替换为随机矩阵;其次,对Niederreiter公钥密码方案中的错误向量进行了随机拆分,隐藏错误向量的汉明重量;最后,对Niederreiter公钥密码方案的加解密过程进行了改进,以提高方案的安全性。分析表明,改进方案可以抵抗区分攻击和ISD;改进方案的公钥量小于Baldi等提出的方案(BALDI M,BIANCHI M,CHIARALUCE F,et al.Enhanced public key security for the Mc Eliece cryptosystem.Journal of Cryptology,2016,29(1):1-27)的公钥量,在80比特的安全级下,改进方案的公钥量从原方案的28 408比特降低到4 800比特;在128比特的安全级下,改进方案的公钥量从原方案的57 368比特降低到12 240比特。作为抗量子密码方案之一,改进方案的生存力和竞争力增强。 展开更多
关键词 后量子密码 McEliece公钥密码方案 Niederreiter公钥密码方案 编码理论 非确定性多项式完全困难问题
在线阅读 下载PDF
基于Niederreiter编码的混合加密方案的改进
4
作者 刘相信 杨晓元 《计算机应用》 CSCD 北大核心 2018年第6期1644-1647,共4页
基于编码的密码方案具有抗量子的特性和较快的加解密速度,是当今抗量子密码方案的备用方案之一。现有基于编码的混合加密方案已经达到选择密文攻击不可区分(IND-CCA)安全,其缺点是加密收发双方共享秘密密钥的公钥尺寸较大。针对基于Nied... 基于编码的密码方案具有抗量子的特性和较快的加解密速度,是当今抗量子密码方案的备用方案之一。现有基于编码的混合加密方案已经达到选择密文攻击不可区分(IND-CCA)安全,其缺点是加密收发双方共享秘密密钥的公钥尺寸较大。针对基于Niederreiter编码的混合加密方案公钥尺寸大的的问题,首先对Niederreiter编码方案的私钥进行随机拆分,然后对Niederreiter编码方案的明文进行随机拆分,最后对Niederreiter编码方案的加解密过程进行了改进。经过分析得出,改进方案的公钥尺寸小于Maurich方案的公钥尺寸,在80比特的安全级下,改进方案的公钥从原方案的4 801比特降低到240比特;在128比特的安全级下,改进方案的公钥从原方案的9 857比特降低到384比特。虽然改进后的方案比原方案过程复杂,但其存储代价和计算代价变小,方案的实用性增强。 展开更多
关键词 选择密文攻击不可区分 Niederreiter编码方案 后量子密码 编码理论 非确定性多项式完全问题
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部