1~5轮LBlock的多项式表示及完全性分析

用统计测试方法分析密码算法的完全性存在误差。为此,利用符号计算软件Mathematica 7.0,以明文和密钥比特为自变量,得到LBlock分组密码第1轮~第5轮输出的多项式表达式,结果显示,LBlock第5轮输出的任何比特至多与45个明文比特、49个密钥比特有关,说明5轮LBlock还未达到完全性。     

Mod 2n加法和减法的代数正规型

文献[1]给出了从n元布尔函数f的代数正规型得到f（X＋Y mod 2^n）和f（X＊Y mod 2^n）的公式,其中Y是常数。基于mod 2^n加法进位比特的性质,给出了求X＋Y mod 2^n或X-Y mod2^n的n个分量函数的代数正规型的方法。其总的计算复杂度分别为O（2^n）（或O（3n））。远远低于经典的用真值表计算布尔函数代数正规型的算法[2]。使用文献[2]的算法仅得到X＋Ymod 2^n（或X-Y mod 2^n）最高位的计算复杂度就达O（2^n＊22 n）。     

遗传算法在解线性方程组最大满足性中的应用

遗传算法是一种优化搜索算法,它直接对对象群体进行操作,对函数不存在求导和连续性的限定,能自动获取搜索过程中的有关知识,并且用来指导优化和自适应的调整搜索方向,具有内在隐并行性和较好的全局寻优能力,鲁律性很突出。现已广泛地应用于函数组合优化、信号处理、机器学习、知识发现、自适应控制和人工智能等领域。我们考虑将遗传算法应用到下面的最优化问题,对于二