Construction of balanced rotation symmetric boolean functions with optimal algebraic immunity

Algebraic immunity is a new cryptographic criterion proposed against algebraic attacks. In order to resist algebraic attacks, Boolean functions used in many stream ciphers should possess high algebraic immunity. This paper presents one main result to find balanced rotation symmetric Boolean functions with maximum algebraic immunity. Through swapping the values of two orbits of rotation class of the majority function, a class of 4k＋l variable Boolean functions with maximum algebraic immu- nity is constructed. The function f（x） we construct always has terms of degree n-2 independence of what ever n is. And the nonlinearity off（x） is relatively good for large n.     

具有高阶传播准则的对称布尔函数的直接确定

在密码学的应用中,布尔函数的传播准则和对称性是非常重要的性质.Preneel等率先提出高阶传播准则.作者用一个新的非常有趣的组合方法,给出一个对所有对称且具有二阶或二阶以上传播准则的布尔函数的直接确定,当函数一旦对称时,此法很可能有效.     

进化规划的现状及发展动向

进化规划在一些难解的优化问题中都有成功的应用 .综述了国内近几年来在进化规划方面的主要应用成果、进化规划的改进及进化规划在收敛性方面的一些结论 .     

bent-negabent函数的构造

给出了一种新的negabent函数的构造, 基于此构造和已有的bent函数的构造, 得到了一种bent-negabent函数的构造;分析了一类由4个函数级联所得函数的性质, 给出了这类函数为negabent函数的必要条件;给出了bent-negabent函数的一种直和构造。     

一类较高非线性度的广义布尔函数

将部分完备非线性（PPN）函数的概念推广到特征P的域上,并用它构造了一类非线性度较高的广义布尔函数．     

引入演化效率因子的演化算法设计

随着电子芯片技术的发展,电路系统不断向高集成度和智能化发展。在复杂电磁场环境的各种干扰下,对信息化电子系统的稳定性和可靠性要求越来越高,电子系统的可靠性及自主容错能力成为电路设计所面临的新挑战。为提高恶劣情况下电路的抗干扰能力,提出将分析得到的演化效率因素作为算法的影响因子,引入到演化算法的适应度函数中,对算法进行提高和改进。研究结果表明,在单点短路和断路故障仿真实验中,引入演化效率因子的演化算法的平均无故障概率分别为0.754和0.853。与传统的演化算法相比,两者分别提高了16.4%和14%;与自适应算法相比,两者分别提高了6.7%和5%,证明在受扰或局部损伤的情况下,引入演化效率因子能够有效提升电路系统的鲁棒性及容错抗扰能力。研究结果对改进电路设计的强化及完善有一定的参考价值。     

基于进化技术电路设计的研究

基于进化技术电路设计是目前正在发展的新兴研究领域，主要概述了一种进化电路的方法，分析并指出了竿化电路设计的几个因素以及研究方向。     

Nega-Hadamard 变换和 negabent 函数

研究了Nega-Hadamard变换的一些性质,如Nega-Hadamard变换和nega互相关的关系等。同时,给出了一类由级联方法得到的特殊形式的布尔函数,分析了它的Nega-Hadamard变换。基于该函数的Nega-Hadamard变换的研究结果,得到了一类由两个n元negabent函数构造的n＋2元negabent函数。     

相关免疫函数的组合分析法

在密码设计过程中,安全性是设计者首先要考虑的问题之一。前馈网络是一种重要的密钥流生成器。相关免疫函数是Ｓｉｅｇｅｎｔｈａｌｅｒ提出的抗击对前馈网络流密码生成相关攻击的一类函数。本文利用布尔函数的小项和表示法,从组合的角度揭示相关免疫函数的特征。这种组合分析方法对构造相关免疫函数也是一种理想的方法。     

关于有限集的子集族问题的二进数解法

讨论了二进数布尔代数 ,并利用其解决有限集的子集族问题     

形式布尔算子的命题逻辑

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性，将经典命题逻辑作为其特例。在布尔算子命题逻辑中给出了其公理系统和求公式恒真水平的机械推导算法。     

多输出布尔函数非线性度的一个下界

本文讨论了多输出布尔函数的非线性度,证明了关于下界的一个新结果.文中结论可以为设计和构造具有较大非线性度的多输出布尔函数提供一种新思路.     

解约束优化问题的杂交进化策略

构造了求解非线性约束优化问题的杂交进化策略。理论分析和大量实验结果表明，本文算法具有收敛速度快和稳定性好。可应用于实际工程优化计算。     

基于量子的免疫进化算法及收敛性

分析和探讨了量子计算的特点及免疫进化机制,并结合免疫系统的动力学模型和免疫细胞在自我进化中的亲和度成熟机理,提出了一种基于量子计算的免疫进化算法。该算法使用量子比特表达染色体,通过免疫克隆、记忆细胞产生和抗体相似性抑制等进化机制可最终找出最优解,它比传统的量子进化算法具有更好的种群多样性、更快的收敛速度和全局寻优能力。在此不仅从理论上证明了该算法的收敛,而且通过仿真实验表明了该算法的优越性。     

数据库在逻辑代数中的应用

采用数据库编程方法 ,解决了逻辑代数中的一些计算量较大的问题。     

广义循环布尔矩阵半群的格林关系

研究了广义循环布尔矩阵的秩，在此基础上对广义循环布尔矩阵半群的Ｌ、Ｒ关系进行了刻划。     

演化计算的机理与一般性设计原则探讨

结合演化算法的核心机制,深入剖析了演化算法设计中各个阶段的特点和策略,对当前在演化算法设计中经常使用的编码方式、评价函数、选择策略、遗传算子进行了对比分析,探讨了当前演化算法设计中出现的新思想和一般性设计原则.     

布尔算子模糊逻辑中的广义半锁归结原理

大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁,限制某此子旬间的归结以减少无用子句的产生,从而能够提高归结方法的效率。在布尔算子模糊逻辑中,当相同谓词符号配相同锁时,广义锁归结方法是广义完备的。如果对配锁方式不加任何限制,则广义半锁归结方法是广义完备的。     

基于演化多目标算法的混合流水作业调度优化

针对供应链网络优化领域中的混合流水作业调度问题提出了一种新的多目标演化优化算法。给出了这类问题的通用优化模型，在此基础上，提出了基于流程的矩阵基因编码方案，动态适应度分配机制，并引入小生境保优策略构造了算法过程，利用收敛进程参数分析了算法的收敛性能。性能分析和算例实验表明算法对于高维多目标优化问题是有效的，且能够以较快的速度收敛。     

基于素数性质的布尔函数约简算法

提出了基于素数性质的布尔函数约简算法,其主要思想是用素数表示布尔变量,以素数乘积有序对表示合取式,用算术运算取代原有的逻辑运算.将基于素数性质的布尔函数约简算法运用于粗糙集中,结果表明,该算法能够节省存储空间,提高运算效率,约简算法行之有效.