期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
结合二叉判决图和布尔可满足性的等价性验证算法 被引量：8
1
作者 严晓浪 郑飞君 +1 位作者 葛海通 杨军 《电子学报》 EI CAS CSCD 北大核心 2004年第8期1233-1235,共3页
本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比... 本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比主要有如下改进 :在AIG中结合多种引擎进行简化 ,不存在误判可能 ;充分利用了基于电路解算器和基于合取范式解算器各自优点 ,减小了SAT推理的搜索空间 .实验结果表明了本算法的有效性 . 展开更多
关键词 等价性验证 与/非图 孤立节点 二叉判决图 可满足性解算器
在线阅读 下载PDF
Bent函数的演化设计 被引量：17
2
作者 孟庆树 张焕国 +2 位作者 王张宜 覃中平 彭文灵 《电子学报》 EI CAS CSCD 北大核心 2004年第11期1901-1903,共3页
本文揭示了布尔函数部分点谱值和其子函数谱值的关系 .通过这一关系 ,利用带指导的演化算法 ,容易演化设计出几乎所有的 6元Bent函数 ,可以演化设计出部分 8元Bent函数 .最后指出本文的理论模型等价于Bent函数的一般构造法 ,且更有效 。
关键词 密码学 演化计算 BENT函数
在线阅读 下载PDF
在基于模型诊断中计算最小碰集算法 被引量：6
3
作者 林笠 《计算机应用研究》 CSCD 北大核心 2002年第9期36-39,共4页
介绍了基于模型诊断中的计算碰集的算法 ,并分析比较了各算法的效率和计算结果。其中的逻辑型数组算法、递归算法、BHS 树算法、布尔代数算法、GA算法均是笔者近年来研究的结果。
关键词 模型诊断 计算 最小碰集算法 人工智能 BHS-树 布尔代数算法 GA算法
在线阅读 下载PDF
基于流密码代数攻击的研究
4
作者 张莉 刘海波 +1 位作者 白恩健 肖国镇 《计算机科学》 CSCD 北大核心 2004年第11期11-13,共3页
概述了流密码代数攻击的提出和发展,介绍了它的基本思想。简要描述了代数攻击的一般算法和可攻击的流密码类型,针对带记忆和不带记忆非线性组合流密码的代数攻击,阐述了Courtois等人的具体工作,并给出了两个新的选择非线性布尔函数的标... 概述了流密码代数攻击的提出和发展,介绍了它的基本思想。简要描述了代数攻击的一般算法和可攻击的流密码类型,针对带记忆和不带记忆非线性组合流密码的代数攻击,阐述了Courtois等人的具体工作,并给出了两个新的选择非线性布尔函数的标准。笔者提出了密码非线性部分未知情况下的一般代数攻击方法,最后总结了代数攻击的贡献和不足之处。 展开更多
关键词 代数攻击 流密码 布尔函数 非线性 算法 描述 组合
在线阅读 下载PDF
基于泛布尔代数的GDP利率宏观调控算法
5
作者 郭学军 许洪范 《南阳理工学院学报》 2009年第1期103-106,共4页
国民经济GDP的宏观调控是复杂的系统工程,由于系统的制约因素较多,具有不稳定性。目前货币政策的利率调控是世界各国调控的主要措施,不少学者从不同的角度作出了一些探讨。本文从泛布尔代数的思想体系出发,给出了控制的模型并设计了新... 国民经济GDP的宏观调控是复杂的系统工程,由于系统的制约因素较多,具有不稳定性。目前货币政策的利率调控是世界各国调控的主要措施,不少学者从不同的角度作出了一些探讨。本文从泛布尔代数的思想体系出发,给出了控制的模型并设计了新型逻辑控制算法,对GDP的控制进行了仿真分析。仿真结果表明,该控制算法较好地反映出控制的时间和力度,为GDP的利率科学调控提供了比较系统的数学理论依据。 展开更多
关键词 泛布尔代数 利率 GDP 控制 算法
在线阅读 下载PDF
基于多色集合的产品配置与可扩展性分析 被引量：1
6
作者 乔虎 莫蓉 +1 位作者 杨海成 向颖 《西北工业大学学报》 EI CAS CSCD 北大核心 2015年第6期942-948,共7页
针对产品配置结果多样化,配置模型可扩展等需求,提出使用多色集合进行产品配置求解,算法易于扩展,求解结果多样化。以产品模块为单位,使用功能块对产品模块进行聚类,控制单次求解规模。基于需求与产品系列的关系、需求与模块的关系以及... 针对产品配置结果多样化,配置模型可扩展等需求,提出使用多色集合进行产品配置求解,算法易于扩展,求解结果多样化。以产品模块为单位,使用功能块对产品模块进行聚类,控制单次求解规模。基于需求与产品系列的关系、需求与模块的关系以及性能与模块的关系,建立多层多色集合围道矩阵。考虑产品配置特点,提出统一颜色的体的推理算法,并建立产品配置求解流程。通过研究需求及模块变化对多色集合求解的影响,讨论了产品配置模型的可扩展性和扩展影响。最后,以某型罐式运输车为对象,验证多色集合产品配置模型的可靠性和合理性。 展开更多
关键词 产品配置 多色集合 可扩展性 功能块
在线阅读 下载PDF
基于布尔逻辑的双序列比对协处理器的设计与实现 被引量：2
7
作者 王进科 冯萍 +1 位作者 康继昌 陈亚东 《西北工业大学学报》 EI CAS CSCD 北大核心 2011年第1期1-5,共5页
文章针对基因研究中的快速完成双序列比对工作的需要,设计了一种双序列比对协处理器。该协处理器通过USB接口与主机进行通信,采用基于布尔逻辑的比对算法完成双序列的比对。对碱基进行优化编码,使得用简单的门电路实现比对规则;使用流... 文章针对基因研究中的快速完成双序列比对工作的需要,设计了一种双序列比对协处理器。该协处理器通过USB接口与主机进行通信,采用基于布尔逻辑的比对算法完成双序列的比对。对碱基进行优化编码,使得用简单的门电路实现比对规则;使用流水寄存器,使得读碱基和序列比对并行工作,从而快速地完成具有显著相似性的DNA序列的比对。实验表明该协处理器具有结构简单、高效稳定、升级方便等特点。 展开更多
关键词 双序列比对 协处理器 布尔逻辑 算法
在线阅读 下载PDF
代数攻击流密码之研究
8
作者 汤永龙 《计算机光盘软件与应用》 2010年第8期50-51,55,共3页
说明了对具有LFSR结构的密钥流生成器的代数分析手段，阐述了代数攻击流密码基本原理及实现方法，概括了现有的降低已得方程系统次数的有效方法，对整个代数攻击的计算复杂度的估计进行了全面的分析研究和改进，最后对流密码的代数攻击... 说明了对具有LFSR结构的密钥流生成器的代数分析手段，阐述了代数攻击流密码基本原理及实现方法，概括了现有的降低已得方程系统次数的有效方法，对整个代数攻击的计算复杂度的估计进行了全面的分析研究和改进，最后对流密码的代数攻击方法进行了展望。 展开更多
关键词 流密码 代数攻击 布尔函数 XL算法
在线阅读 下载PDF
代数次数的求解算法及其在SIMON-like算法中的应用
9
作者 任炯炯 李航 +1 位作者 林键 陈少真 《软件学报》 EI CSCD 北大核心 2020年第8期2453-2464,共12页
代数次数作为布尔函数重要的密码学指标,在密码算法的设计与分析中有着重要的应用.主要研究布尔函数代数次数的求解及其在分组密码SIMON-like算法中的应用.首先,在利用真值表求解代数正规型算法的基础上建立了基于CUDA的并行求解架构,... 代数次数作为布尔函数重要的密码学指标,在密码算法的设计与分析中有着重要的应用.主要研究布尔函数代数次数的求解及其在分组密码SIMON-like算法中的应用.首先,在利用真值表求解代数正规型算法的基础上建立了基于CUDA的并行求解架构,协同利用CPU和GPU的计算资源,极大地缩短了求解代数次数的时间,在较短的时间内求解了SIMON32算法和SIMECK32算法任意轮数的代数正规型和代数次数;其次,在Cube攻击理论的基础上,根据代数次数和超多项式取值之间的关系,设计了估计代数次数的概率算法,估计了一般SIMON-like算法布尔函数的代数次数;最后,从布尔函数代数次数的角度出发,给出了SIMON-like算法在选择不同循环移位参数表现的差异性,进而给出循环移位参数的选取依据.实验结果表明,SIMON算法在原始参数下,达到最大代数次数所需的轮数最短,原始参数具有更高的安全性. 展开更多
关键词 布尔函数 代数次数 SIMON-like算法 CUDA Cube攻击 参数评估
在线阅读 下载PDF
布尔矩阵在树的判定中的应用 被引量：1
10
作者 丁国星 《重庆工学院学报》 2006年第11期90-92,共3页
树的邻接矩阵在电子工程、计算机领域有重要应用.定义了图的布尔矩阵,给出了树的标准型,并且应用标准型给出了树的判定方法和算法,用计算机实现了该算法.
关键词 树 算法 布尔代数 布尔矩阵
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部