检测含无关项旋转对称逻辑函数的快速算法

来源 :浙江大学学报:理学版 | 被引量 : 0次 | 上传用户:manstation
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
旋转对称逻辑函数在密码学函数构造领域有广泛应用。针对含无关项旋转对称逻辑函数检测中存在的不足,从含无关项逻辑函数的定义和旋转对称函数的性质出发,提出了检测含无关项旋转对称逻辑函数的快速算法。该算法通过判断逻辑函数1值最小项二进制编码周期旋转后产生的新编码同1值最小项及无关项二进制编码的重复性实现快速检测。结果表明,快速算法在适用的逻辑函数变量数、含无关项旋转对称逻辑函数检测的适用性和检测过程的复杂度方面均优于现有的表格方法与谱系数方法。
其他文献
调和函数在SG3上的Dirichlet边值问题是分形分析领域的重要研究内容之一。考虑通过垂直切割自相似图形SG3,得到SG3上的特定定义域。对于边界值为Cantor集的新的自相似图形,试
针对现有点云索引研究方法欠考虑移动终端性能特点这一问题,提出了一种适用于移动端点云场景在线可视化的集成型空间索引。该索引首先利用考虑了移动终端网络带宽与计算渲染性能特点的改进型KD-tree实现点云数据的均衡划分与编码,在此基础上构建点云数据的LOD模型,并使用改进型八叉树管理其组织,最后通过改进型KD-tree的编码联结改进型八叉树形成〈1一级树:1二级树〉的优化型索引结构。该索引可支持移动端实
目的评价DHS内固定治疗股骨粗隆间骨折的疗效。方法对2000年10月至2005年10月间69例股骨粗隆间骨折的患者用DHS治疗,对手术方法及疗效进行分析。结果优39例,良25例,差5例,优良率9
麻竹又称甜竹,为巨型合轴丛生竹类.经各地试栽,表现出极佳的综合性状,被人们誉为"竹中之王".目前我场繁育成功.
为得到新型高效多相催化剂,有效去除废水中的染料,以Cu(Ac)2与CuFe2O4@PDA为原料制备了催化剂CuFe2O4@PDA-Cu.通过IR、XRD、XPS、UV-Vis、DRS技术对催化剂的性能进行了表征,
毛主席教导我们:“中国医药学是一个伟大的宝库,应当努力发掘,加以提高”。最近应用华中及北五味子粉临床治疗慢性肝炎,有降血清谷丙转氨酶(SGPT)和改善症状作用。其有效成分
期刊
利用算子的一致可逆性质,定义了一个新的谱集,分别给出了有界线性算子满足(ω)性质的充分条件和必要条件,并在此基础上得到算子与其算子演算满足(ω)性质的判定条件。
复方半枝莲注射液本品为唇形科植物半枝莲(Scutellaria barbrta D.Don)的全草,山梗菜科植物半边莲(Lobelia Chinensis Lour.)的全草,茜草科植物白花蛇舌草(Hedyolis diffusa
期刊
研究了分次环R上的Ding分次投射(内射)R-模以及强Ding分次投射(内射)R-模,证明了任意分次环上的Ding分次投射(内射)模类是投射(内射)可解的.研究了强Ding分次投射(内射)R-模
针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题,提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集