一种新方法构造奇数元最优代数免疫度布尔函数

当我们在研究密码的安全性时,达到最优代数免疫度的布尔函数引起了大家的注意.因为为了抵抗代数攻击,一个布尔函数应该具有较高的代数免疫度.在这篇论文里,作者提供了一种新的方法构造具有这种性质的布尔函数.根据一类特殊的布尔函数,我们清晰地构造了一类达到最优代数免疫度的奇数元布尔函数,并且这类布尔函数还具有其他较好的性质.     

2-分解H布尔函数和高非线性度布尔函数

以布尔函数的导数和自定义的e-导数为主要研究工具,研究满足一次扩散准则、可2-分解为两个子函数乘积的一类H布尔函数的非线性度、相关免疫性和代数免疫性等密码学性质。得到了这类H布尔函数的相关免疫阶与两个子函数的关系,以及这类H布尔函数的相关免疫阶可达到 n2 －1的结论。还得到了利用两个子函数使布尔函数的非线性度易于求解的方法,以及这类H布尔函数的最低代数次数零化子与两个子函数的关系。进一步地,在这类H布尔函数上述特点的基础上,利用导数和e-导数构造出了非线性度提高到2n－2+2n－3、具有相关免疫性和2阶代数免疫性的一族H布尔函数。由此,解决了提高布尔函数的非线性度问题,以及同时具有较高非线性度、扩散性、相关免疫性和较高阶代数免疫性的布尔函数的存在性问题。     

具有高代数免疫阶的弹性布尔函数构造

提出一种二阶级联构造方法,通过选择恰当的参数s,使每次级联增加2个变元的同时代数免疫阶增加1、代数次数增加1。该方法在保持布尔函数弹性的同时能有效提高非线性度。在此基础上设计一类非线性度高于已知构造方法的代数免疫最优布尔函数以及一类非线性度好且满足一阶弹性的代数免疫至少次优的布尔函数,并利用二阶级联迭代构造密码学性质好的布尔函数。     

几类旋转对称布尔函数的密码学性质

Sumanta Sarkar等人给出了一类具有最大代数免疫阶的旋转对称布尔函数,但对给出的旋转对称布尔函数仅研究了该函数的非线性度而对其他密码学性质未加以研究.因此,研究了上面给出的旋转对称布尔函数的其他密码学性质:代数次数、线性结构、扩散性、相关免疫性等.研究结果显示,虽然这类布尔函数的代数免疫阶达到最大,但是其他的密码学性质并不好.因此,此类布尔函数并不能直接应用在密码系统中.     

基于代数正规型构造的代数免疫最优布尔函数

现有代数免疫最优布尔函数的构造方法大多基于支撑集,通过代数正规型直接构造的方法研究较少.为此,利用代数正规型的多项式表示构造一类代数免疫性质优的布尔函数,研究其代数次数、代数免疫阶、函数重量、非线性度等性质,分析采用这种方法构造的代数免疫最优布尔函数的性质及计数等结果.由构造方法可以得到代数免疫最优的布尔函数,其中包含一些已有的特殊构造结果,表明该方法更具有一般性,包含更多具有最优代数免疫阶的函数.     

具有最优代数免疫阶的一类新布尔函数的构造

构造了一类至少具有次优代数免疫阶的布尔函数f,并利用级联的方法构造了一类具有最优代数免疫阶的布尔函数h。这类函数h不同于以前相关文献中所提出的最优代数免疫的布尔函数,给出了f的数目,并进一步讨论了h（偶数个变元的情况下）的非线性度,发现利用择多函数F_n构造的一类函数h非线性度达到Lobanov界。     

一类布尔函数的代数免疫度研究

代数免疫度是近几年提出的一个衡量布尔函数密码学性质的标准。该文研究重量为奇数的布尔函数的代数免疫度和非线性度之间的关系,得到了代数免疫度固定时非线性度的下界,而且证明这个下界是紧的。代数免疫度大干d时,函数的重量有一个范围,证明了这个范围是紧的,即对任何这个范围内的整数t,都存在一个布尔函数其重量为t,代数免疫度大于d。     

一类特殊布尔函数的代数免疫度研究

构造具有好的代数免疫度的布尔函数是布尔函数研究的重要问题之一。基于布尔函数的级联构造方法,给出了一类具有好的代数免疫度的布尔函数;分析了所构造函数的性质,证明了构造布尔函数hn+1与其子函数代数免疫度之间的关系,并确定了已构造一阶级联函数的代数次数、平衡性以及非线性度。研究结果表明,在级联构造方法下,i次级联构造函数比一阶构造H0的代数免疫度有显著提高。     

具有最优代数免疫阶平衡布尔函数的递归构造

针对密码学中布尔函数的代数免疫性和构造需求,通过选取适当次数的布尔函数,利用布尔函数的级联性质,提出了一种提高布尔函数代数免疫阶的递归构造法;同时证明了该构造法中所构造的布尔函数比原布尔函数的代数免疫阶高,利用该方法可以递归构造具有最优代数免疫阶平衡布尔函数,最后给出了一个具体实例。     

具有几乎完美代数免疫的偶数元弹性函数构造

完美代数免疫(PAI)的布尔函数能够抵御代数攻击和快速代数攻击。PAI函数的构造是目前布尔函数研究最具挑战性的问题之一。利用布尔函数的双变元表达式和有限域理论,基于Carlet-Feng函数提出一种新的偶数元布尔函数的一般性构造。证明由该构造得到的函数具有一阶弹性和至少次优代数免疫度等密码学性质,给出其代数免疫度达到最优时的充分条件,并比较该类函数、Carlet-Feng函数和由一阶级联方式构造的函数在6~16之间的所有偶数变元下抵抗快速代数攻击能力。实验结果表明,该类函数能更好地抵抗快速代数攻击,且具有几乎完美的代数免疫性能。     

仿生机器鱼的动力学仿真

仿生机器鱼的研究受到各国越来越多的研究工作者的重视,并取得了一定的成果.本文着重研究了仿生机器鱼的尾鳍的动力学并建立了仿生机器鱼的运动模型,并对该模型进行了计算机仿真,研究探索了仿生机器鱼的前进速度与尾鳍摆角、摆动频率、摆动幅度之间的关系.     

多种燃料锅炉效率曲线的辨识方法

多种燃料锅炉的运行优化是钢铁联合企业节约能源的一个主要方法,但是这种锅炉的效率曲线的辨识却是一个复杂而困难的非线性最小二乘问题。借鉴大系统递阶算法的思想,本文提出了一种新的两级递阶辨识的算法。这种算法通过预估关联量,将非线性最小二乘问题转化为两级线性最小二乘问题。实验的结果证明:这种算法是一种有效的算法。     

PERCEPTION OF AREA OF INTERPOLATED FIGURES

The area perception of incomplete (interpolated) geometric figures is studied. The obtained data are discussed in order to compare them with the results of our previous experiments where complete figures were studied. The results of the present experiment support the validity of the model of area perception that is based on the concept of image function. The different contributions of the perceptual processes as well as of the cognitive processes to the area estimation are discussed.     

并发代码的继承问题

文献[1]提出了一种新的刻划并发行为的方法.本文继续讨论这种方法在面向对象的程序设计中是如何解决并发代码在继承过程中的冲突问题的.     

溴代胞嘧啶对三螺旋DNA稳定性的影响

研究了三螺旋ＤＮＡ中胞嘧啶被５－溴有包嘧啶取代后的稳定性问题。通过建立ＣＧＣ、ＣＧＢｒＣ,ＢｒＧＣ和ＢｒＣＧＢｒＣ４种模型。并２ＩｎｓｉｇｈｔⅡ软件包中的Ｄｉｓｃｏｖｅｒ程度进行计算模拟,骼５－溴胞嘧啶取代三螺肇ＤＮＡ分子中的胞嘧啶后,整个分子的稳定性与有所降低。同时,当用５－溴胞嘧啶取代三螺旋ＤＮＡ不同链上的胞嘧啶时,被取代链的碱基堆积能显著增高,导致分子人稳定性降低,但被取代链和相邻链同相互和     

多台电轴系统稳定性区域之扩大

刘永清在[1]、[2]中研究了疏松桂提出的多台电轴系统的稳定性,本文应用标量函数分解法,从如何寻求尽可能大的稳定域的观点出发,研究了电力拖动自动控制系统中带平衡机的n台电轴系统的稳定性,扩大了参数稳定性区域,并给出渐近稳定性区域估计式。     

智能优化策略的比较

智能优化是从诸多新兴学科衍生出来的前沿科学，本文研究了智能优化的策略，对计算智能策略进行了分析比较，并举出了在工程实践中用这些策略进行智能优化的实例，从中得出有意义的结论。     

人体三围特征计算的研究与实现

文中提出了一个基于多边形逼近和凸包球取的人体三围特征计算方法。首先给出了一个具有确定性的高效的多边形逼年算法，运用该算法对人体横截面边界进行特征化处理，再通过特征识别抽取人体三围的特征多边形，最后通过计算凸包的方法获取人体三围特征值。文中提出的方法已运用于一个综合化的服装ＣＡＤ系统中。     

计算机仿真系统的可信度评估

相似理论是计算机仿真的基础,它在建立仿真模型、仿真可信性评估等方面都有很好的指导作用,在文中分析相似理论中的序结构定律的基础上,将序结构定律运用于计算机仿真系统的相似评定中,并给出了具体的算法。对如何评估仿真系统的相似度问题,在理论上作了一定的研究和探讨。     

表的等价性的NP完全性的讨论

本文给出了表的等价性判定的一些结果：三元可满足性问题，表达式的ＮＰ完全性，表的ＮＰ完全性，还给出了函数依赖对表的影响，强等价性的复杂性的一些讨论。为对表的进一步研究屯指出了方向。