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

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

Bent函数的构造

文献给出了一类布尔函数的Walsh谱分解式，并由此分解式构造出了大量的Bent函数．本文在相关文献的基础上，继续给出一类布尔函数的Walsh谱分解式，利用谱分解式给出了Bent函数的另几种构造方法．     

用概率方法研究Walsh谱的性质

给出了布尔函数的ｍ阶Ｗａｌｓｈ谱的概率表达式及布尔函数与一个ｍ阶布尔函数相互独立的判别条件；并用概率方法证明了布尔函数ｍ阶Ｗａｌｓｈ谱的性质     

结构应力S（t）为威布尔过程的最大值分布

本文讨论威布尔过程的最大值分布问题，获得结构应力Ｓ（ｔ）在设计基准期［０，Ｔ］内的威布尔方波过程和复合单调威布尔过程的样本函数最大值概率分布表达式。     

两个无穷小量之比的函数单调性判别法

对文献[1]给出的一个函数单调性的判别命题进行推广，得出两个无穷小量之比的单调性的判别命题1，2．利用结果可简便判别两个无穷小量之比的单调性及证明不等式．     

关于函数级数一致收敛的判别法

本文阐明的关于函数级数一致收敛的判别法，我们知道，当我们取消阿贝尔判别法中函数列的单调性后，阿贝尔判别法是难以成立的，但当我们给出函数列与函数和仍然一致收敛，最后通过对一个例题的讨论说明本文所述的判虽法与文中的三咱判别法之异同。     

高度非线性平衡布尔函数构造的注记

非线性度是用于密码体制的布尔函数的非线性准则之一。通过综合使用级联、分解、修改、变换等方法，给出了3种高度非线性平衡布尔函数的新的构造方法，在同等条件下，它的构造函数的非线性度要高于用以往的方法构造的函数。     

布尔函数的多值分解及其PLA实现

本文给出了Ｔ．Ｓａｓａｏ关于布尔函数多值分解的一些例子，讨论了任意函数，对称函数和奇偶函数的ＰＬＡ实现过程．     

关于递推数列收敛的一种判别法

讨论了递推数列收敛性的问题，利用递推函数的性质提出了一种判别法，并举出实例予以应用，这种判别法较常用的单调有界原理更有效。     

可导性缺失情况下函数单调性的研究

利用确界的思想进一步研究了连续函数单调性的判别问题,通过构造适当的零测集,得到了在函数的可导性适当缺失的情况下函数单调性的判别条件,进而推广了已有的理论方法.     

Bent函数的构造

给出了一类布尔函数的Walsh谱分解式,并据此给出了Bent函数的构造。     

奇数元最优代数免疫布尔函数的构造与计数

为了抵抗代数攻击,流密码中使用的布尔函数应该具有较高的代数免疫阶,首先提出了一种构造奇数元旋转对称的最优代数免疫(MAI)布尔函数的一般方法.基于已经得到的旋转对称布尔函数,通过替换其支撑集中一些点的方法构造了大量非旋转对称的MAI函数,并且对某些构造给出了精确的计数.     

广义布尔函数的正规性

基于布尔函数的正规性,提出了广义正规Boolean函数的概念,给出了一些广义正规Boolean函数的构造方法,证明了广义正规Bent函数及其对偶函数所具有的一些独特性质.     

概率方法在布尔函数m阶Walsh谱中的应用

应用概率方法研究了布尔函数的ｍ阶Ｗａｌｓｈ谱的问题，首次给出了布尔函数的ｍ阶Ｗａｌｓｈ谱的概率方法表达式，给出了布尔函数的ｍ阶Ｗａｌｓｈ谱的性质及布尔函数与一个ｍ阶布尔函数相互独立的充要条件     

流密码中的布尔函数设计研究进展

密码函数,主要包括单输出布尔函数和多输出布尔函数,在流密码及分组密码系统中扮演着重要角色.在基于线性反馈移位寄存器的流密码系统中为了抵抗各种攻击,一个好的密码函数需要满足以下指标:较高的非线性度、平衡性、低阶相关免疫性、高的代数次数,高代数免疫阶等等.主要总结了近年来在高非线性度弹性密码函数,具有最优代数免疫度的函数和具有良好自相关性质的函数等研究方面的进展,并对其后续工作进行了展望.     

二元向量输出的Partially Bent函数

把关于布尔函数的Carlet不等式推广到向量输出的布尔函数并且引入了向量输出的Partially Bent函数的概念,即广义Carlet不等式中等式成立的向量输出布尔函数.给出了一些广义Carlet不等式中等式成立的充分必要条件.进一步讨论了二元向量输出的partially bent函数的密码学性质.     

一类非单调二元算子方程的迭代解法

利用锥和半序理论，研究Banach空间一类不具有单调性的算子方程A（x,x）=x，其中A可表示A=A1＋A2,A1是混合单调的，A2是反向混合单调的，并得到了可解性定理．     

具有最大代数免疫阶的布尔函数的新构造

针对密码学中布尔函数的构造需求, 利用布尔函数的代数标准型, 分析了布尔函数不存在次数低于 m 的非零零化子的充分条件, 得到布尔函数达到最大代数免疫阶的条件, 从而构造了一类具有最高代数免疫阶的布尔函数, 并对所构造函数的平衡性和计数问题进行了分析。     

关于多输出布尔函数的非线性度

多输出布尔函数的非线性度首先在文献[1]中被引进,本文称之为多输出布尔函数的第一类非线性度。本文定义了一种与之不同的多输出布尔函数的第二类非线性度,讨论了两者之间的关系,指出了它们的密码学意义,并且进一步讨论了两类多输出布尔函数的第二类非线性度。