密码算法中的循环移位“异或”运算实质性研究

针对移位和"异或"运算的复合运算进行了研究,指出了m位二进制数的循环移位"异或"变换和移位"异或"变换等同于GF(2)上的多项式乘法问题,并给出了这种变换的可逆性判断的充分必要条件。     

模2n 加和模2加混合运算的异或分支数

研究了扩散结构为二元域上非线性变换的异或分支数.给出了扩散结构为二元域上非线性变换的异或分支数的定义及其与分组密码抗差分攻击和线性分析能力的关系,证明了以模2n加和模2加的混合运算为扩散结构的异或分支数等于将模2n加换成模2加且将各变元系数模2后所得的二元域上线性变换的异或分支数,从而简化了此类非线性扩散结构异或分支数的计算问题.     

异或和取模运算的负载均衡算法

引入信息熵对哈希函数的输入值进行随机度测试,实验证明增加异或字段数并划分字段后进行异或运算能提高运算结果的随机测度值.标识字段有很高的位熵值,函数输入值中加入此值能减少负载迁移次数而运算效率与CRC16接近.采用源IP、目的IP、源端口、目的端口、标识字段作为输入值,并划分为8位的比特串进行异或运算,然后再进行取模运算的双哈希算法运算效率较高而且均衡性好,适合于高速网络环境下的入侵检测.     

可重构造网孔机器上常数时间的最优异或算法及应用

逻辑异或和前缀异或是基本的逻辑运算 ,经常应用于各种算法中 .该文在规模为 N× N的可重构造网孔机器上提出了求 N个逻辑位的并行异或和并行前缀异或算法 ,其运行时间均为常数 .基于该并行异或算法 ,文中还提出了相同的模型下在常数时间判定一给定点是否在 N条边构成的平面多边形中和判定一给定点是否在 N个平面构成的空间多面体中的并行算法 .就实质而言 ,这些算法都是相应问题的第一个处理器数为线性、运行时间为常数的并行算法     

光盘目录

深度收藏■兵赏⊙世界顶级特种部队⊙世界十大突击步枪⊙世界著名手枪:⊙世界十大轻兵器制造公司⊙世界十大军车⊙精彩瞬间热血沸腾的美国b52轰炸视频/俄罗斯苏-33舰载机航母起降视频/德国U212级U31号潜艇下水视频/俄T80U型主战坦克展示视频⊙国庆大阅兵图片欣赏⊙军事图片集航母风采/轻武器/至酷武器/中俄联合演习图片⊙军事壁纸登陆舰艇/攻击机/轰炸机/潜艇/驱逐舰⊙军事游戏:《兄弟连》/《战神》/《幽灵行动3》阶梯教室新软快报/办公软件/病毒安全/系统专区/冲浪宝典/视频教程:PhotoshopCS2名车车标制作视频教程CT精软廊■特快专递:…     

用VB实现数据的加解密算法

在这里我们用异或位运算来实现最简单的加解密算法，因为异或运算的特点是：A和B进行异或运算会生成C，如果再将C和B进行异或运算则C又会还原为A。生成C的过程就是加密过程，而第二次异或还原的过程就是解密的过程了。如：123和456进行异或运算的结果是435，435和456再进行异或运算则结果又是     

VFP数据表加密与解密技术实现

利用异或运算特点．对Visual Foxpro数据表二次实施位异或运算操作．从而实现数据简单的加密和解密。     

扩展相容性扫描树中的测试响应压缩器设计

在扫描树测试技术中,对相容单元扫描移入相同的测试向量值可以显著地减少测试应用时间,但会使测试需要的引脚数和测试响应数据量增大.为了减少扫描树测试结构需要的引脚数以及测试响应数据量,同时克服错误位扩散带来的困难,在异或网络的基础上,提出一种适用于扫描树结构的测试响应压缩器.该压缩器由扩散抑制电路和异或网络构成,通过抑制电路消除错误位扩散给测试响应压缩带来的困难.最后,用实验数据从性能上分析了该测试响应压缩器的适用性,对于ISCAS89标准电路,最高将输出压缩74倍,且没有混叠产生.     

偏序关系中盖住集的判定

直接根据现有离散数学教材中偏序关系中"盖住"的定义,来判定偏序关系中的盖住集,有时比较困难.文中通过对教材中偏序关系中"盖住"定义的深入分析,将定义"对于任意a,b∈A,当＜a,b＞∈R,a≠b且没有其它元素c满足＜a,c＞∈R和＜c,b＞∈R,则称元素b盖住元素a,并且记COVR={＜a,b＞| a,b∈A;b盖住a }"改为"对于任意＜a,b＞∈R且a=b,则＜a,b＞∈IR,令R1=R-IR,则R1-(R1○R1)为盖住集",得出一种等价的定义形式.利用该等价定义可以较好地实现盖住集的判定.     

A sound and complete R-calculi with respect to contraction and minimal change

AGM postulates are for belief revision （revision by a single belief）, and DP postulates are for iterated revision （revision by a finite sequence of beliefs）. R-calculus is given for R-configurations △｜Г, where △ is a set of atomic formulas or the negations of atomic formulas, and Г is a finite set of formulas. We shall give two R-calculi C and M （sets of de- duction rules） such that for any finite consistent sets Г, △of formulas in the propositional logic, there is a consistent set ⊙ Г C of formulas such that △IГ → △, ⊙ is provable and⊙ is a contraction of F by A or a minimal change of F by A; and prove that C and M are sound and complete with respect to the contraction and the minimal change, respectively.