关于Bent函数的一些研究

利用布尔置换，构造了一种新的Bent函数，并对这类布尔函数的构造进行了研究，发现利用Bent函数的满足扩散准则的特性和布尔函数非线性度的中间结果可以构造出两类函数形式简单的，满足高次扩散准则的、具有较高非线性度的平衡布尔函数，从而拓宽了Bent函数的应用领域。     

旋转对称布尔函数的最高非线性度与最优代数免疫

文章研究旋转对称布尔函数的最高扩散次数、最高非线性度和代数免疫性等问题.利用导数和e-导数证明了元数为偶数的完全2次齐次旋转对称布尔函数的非线性度达到布尔函数的最大非线性度.又利用导数从n次扩散性角度,证明了旋转对称Bent函数的存在性,即验证了最大非线性度旋转对称布尔函数的存在性.另外,利用导数证明了最优代数免疫旋转对称布尔函数的存在性,并给出了用Bent函数构造最优代数免疫旋转对称布尔函数的方法.利用导数还得出了一类旋转对称布尔函数的相关免疫性.     

Bent函数与线性函数关系中导出的密码学性质

以导数(偏导数)和e-导数做工具,讨论密码系统中具有最高非线性度的Bent函数结构性质、重量结构与线性函数的关系.利用线性函数可从Bent函数中得到H布尔函数,使Bent函数在密码系统中有了更进一步的使用价值.它也提供了Bent函数重量关系的一些规律性变化,我们可以利用这些性质来探讨相关免疫性变化、非线性度变化等问题并得到构造Bent函数的新方法.     

一类k阶拟Bent函数的构造

通过映射构造了一类布尔函数，利用布尔函数循环Walsh谱的方法给出了该类布尔函数是k阶拟Bent函数的充分必要条件，并利用集合性质给出了满足该条件的方法．另外，给出了一类k阶拟Bent函数的递归构造.     

一类Bent函数的再证明和新构造

Bent函数作为非线性最优的布尔函数在对称密码系统的设计中有着诸多应用.利用组合布尔函数方法给出了一类间接构造的Bent函数的新证明,所给方法证明过程较为简便、计算量小.其次,利用新的构造方法得到了具有n+m+2个变元的Bent函数,并在特殊取值下分析了所得构造与已有间接构造之间的关系.     

一类具有多种密码学性质的布尔函数构造

介绍一类高非线性的平衡相关免疫的布尔函数的构造方法,并利用Bent函数的高非线性,经直和的方法构造出具有多种密码学性质的布尔函数.     

具有高非线性度和最优代数次数的弹性函数的构造

具有良好的非线性度和最优代数次数的弹性布尔函数在流密码和分组密码设计和分析中起着至关重要的作用.本文通过修改Maiorana-McFarland(M-M)类Bent函数,利用不同的低阶弹性函数,给出构造高非线性度弹性布尔函数的一种新方法,所构造的函数具有严格几乎最优的非线性度和最优的代数次数.     

不重复齐次函数的性质及其应用

不重复齐次函数是一类特殊的布尔函数，它在构造密码安全非线性组合函数中有着重要的应用。因此，文中研究了这类函数的密码性质，作为结果，得知不重复齐闪一次函数有良好的平衡性和相关免疫性。不重复齐次二次函数是一类Bent函数，有着最高的非线性度和最高的扩散次数等，并以此为基础，深入研究了不重复齐次函数在构造非线性组合函数中的应用，从而得到了具有高非线性度且平衡相关免疫的函数和具有较高非线性度且代数次数达到最高的函数的结构。     

全局雪崩准则的矩阵表示及其性质

从研究全局雪崩准则的表达方式出发,提出了全局雪崩准则的矩阵表示方法,并证明了布尔函数f(x)与f(x+α)全局雪崩的绝对值指标和平方和指标相同。依据矩阵表示方法得到了全局雪崩准则与布尔函数Walsh谱值的关系,并给出了一个布尔函数同一个仿射函数的互相关全局雪崩准则绝对指标的上、下限。最后,分析了修改序列中的一位对布尔函数全局雪崩准则指标的影响,结合爬山算法设计了一种修改M-M型Bent函数的优化算法,得到的布尔序列在非线性度和全局雪崩准则指标上优于已有的构造。     

密码函数的一类递归构造方法

首先利用递归的方法证明了结构形式更为一般的布尔函数的 Walsh谱分解式，然后利用这类布尔函数Walsh谱分解式，给出了密码学和编码学中具有重要应用价值的一些布尔函数，如弹性函数、Bent函数以及满足严格雪崩准则的布尔函数的构造方法。     

关于弹性函数及三谱值最优函数的构造

主要研究弹性函数及三谱值最优函数的构造 .利用函数构造的基本方法 ,给出弹性函数几种新的更为简洁、直接的构造 ;研究部分bent函数的频谱性质及其构造 ,并利用部分bent函数给出三谱值最优函数的一种新的构造 .     

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

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

一种获得高非线性平衡布尔函数的启发式算法

利用混沌动力系统的良好特性,把它引入传统的模拟退火中,提出一种称为混沌搜索模拟退火的新启发式算法,用于设计高度非线性平衡布尔函数。笔者分别对此方法和传统的模拟退火算法,进行多项仿真实验。实验分析表明,此算法能够更有效地避免陷入局部极小值,对于获得密码性质好的布尔函数,比单一的模拟退火具有更大优势。     

展开定理的补充和偶次B样条基函数

在均匀分划的B样条展开定理中,奇次B样条以整数点展开,而对偶次B样条将如何展开,展开定理并未说明.通过时域的逼近计算,补充了偶次B样条在展开定理中的展开方式,提出了其基函数的一般构造方法.应用四次B样条基函数计算梁的弯曲,表明了偶次B样条展开方式的合理性,同时也表明了该基函数有较佳的逼近性能和适应性.研究成果属于逼近理论的基础部分,可以应用于需要逼近计算的诸多领域.     

复函数在代数基本定理证明中的应用

代数基本定理是高等代数中的一个重要定理,本文利用复变函数的理论,给出几种新的证明方法。     

广义相关免疫与相关度

讨论了广义相关免疫函数的理论意义和应用价值，发展了相关度的概念，给出了Ｂｅｎｔ函数的相关度及广义相关免疫阶，证明了Ｂｅｎｔ函数是一类理想的广义相关免疫函数．     

一个特殊的线性函数与H布尔函数的关系

通过讨论一个特殊的线性函数与H布尔函数的关系问题,发现它的良好性质在H布尔函数的生成验证中都有用途.     

边缘分布确定的多元Copula函数构建

从二维随机变量(TRV)的边缘分布函数(MDF)与其联合分布函数(JDF)的关系出发,研究如何构建多维随机变量(MRV)的联合分布Copula函数,并对构建的函数进行拟合与检验。首先,简单介绍Copula函数的定义、SKlar定理和常用的函数类型;然后将TRV变量的MDF函数与其JDF函数的关系扩展到MRV变量;最后研究了TRV变量的MDF函数已知时,构建其JDF函数的方法,同时将其扩展到MRV变量,提出了新的构建MRV变量的JDF函数的方法,对构建的函数提出了相应的拟合方法和参数估计方法。     

关系模型规范化的有关理论与应用

在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了研究，证明了关于Boyce—Codd(BC)范式两个定义的等价性，提出了关于BC范式的一个实用的判定定理并加以证明．提出了一整套实用关系规范化的具体方法，有助于关系规范化理论的进一步完善及其学习和运用。