两类多输出逻辑函数的关系

首次给出了多输出广义部分Bent函数的定义并论证了其的存在,得到了多输出广义部分Bent函数的等价判别条件,给出了多输出p值广义部分Bent函数与多输出p值广义Bent函数的关系,并讨论了这两者的广义一阶Chrestenson谱的关系,为多输出p值广义部分Bent函数的构造提供了一种方法。     

n元Bent函数的级联构造

结合级联构造方法,通过k元Bent函数级联构造n元Bent函数,分析构造出的n元Bent函数的各种密码学性质,给出一种不同于直接构造和二次构造的新型构造方法.推导并验证n元布尔函数为Bent函数的充要条件,基于n元Bent函数的线性不变性,进一步构造出一个Bent函数集.     

一类高阶Bent函数的构造方法

提出一类高阶Bent函数的构造方法,将级联后的Bent序列转化为矩阵形式,对矩阵作任意行列置换,得到一类新的Bent序列,根据Bent序列的性质,对2个已知的 元Bent函数进行Kronecker积运算,由此构造一个 元的Bent函数,同理对 个 元Bent函数进行Kronecker积运算,构造 元高阶Bent函数,并对构造的 元Bent函数进行矩阵变换,得到数量更多的高阶Bent函数。     

Bent函数研究综述

介绍了Bent函数的主要研究成果和研究现状,展望了Bent函数的发展,并指出了若干重要的研究课题。     

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

研究了旋转对称布尔函数的最高扩散次数、最高非线性度、代数免疫性和最优代数免疫函数的存在性与构造等问题。利用导数和e-导数证明了非线性度达到最高的旋转对称布尔函数的存在性,并利用导数,由扩散性达到最高n次的Bent函数来验证一类旋转对称Bent函数的存在性。同时证明了1阶代数免疫和2阶以上代数免疫旋转对称布尔函数的存在性。另外,利用旋转对称Bent函数构造了非齐次完全旋转对称最优代数免疫布尔函数以及一类众多的最优代数免疫布尔函数,并证明了这两类函数的存在性。同时,也得到了非齐次完全旋转对称相关免疫布尔函数。     

Bent函数应用的一些研究

平衡性，非线性，扩散性是具有高度密码特性的布尔函数要满足的最重 要的三个性质，本文给出了用Bent函数来构造满足高次扩散准则的，具有较高非线性度的平衡布尔函数的一些方法。     

一类k阶拟Bent函数密码性质的矩阵特征

由于非线性组合函数的密码性质通常可以由函数的Walsh谱和自相关函数来刻划，因而对函数的密码性质的分析通常要计算大量的Walsh循环谱值和自相关函数值来验证，该文利用一类k阶拟Bent函数的特殊性质，把对这类函数的密码性质的研究转化为对矩阵性质的研究，如平衡性、相关免疫性、扩散性、最高代数次数等，这种转化避开了大量的计算，同时为构造密码性质好的k阶拟Bent函数提供了一种更为简洁且易于实现的方法。     

一种平衡相关免疫函数的构造

利用部分Bent函数的定义和性质,通过使用自对偶码的知识构造出平衡且具有k次扩散准则的相关免疫的函数。     

一类Bent函数的二阶非线性度下界

为了防止存在有效的低次函数逼近,对于较小的正整数r,用于对称密码系统中的布尔函数应具有较高的r-阶非线性度.当r>1时,准确计算布尔函数的r-阶非线性度十分困难,已有的研究工作主要是通过分析其导函数的(r-1)-阶非线性度来确定布尔函数的r-阶非线性度下界.对于整数n≡2(mod 4),文中确定了一类由Niho指数生成的Bent函数的二阶非线性度下界.与相同变元个数的两类Bent函数和三类布尔函数相比,这类Bent函数具有更紧的二阶非线性度下界.     

Gbent函数的构造

基于研究布尔函数在子空间的限制,得到关于Gbent函数的一个充分必要条件。给出了两类简单的正则的Gbent函数。在此基础上,通过间接构造Bent函数的方法,利用已知的Gbent函数构造出了更多的Gbent函数。     

布尔函数的复杂系数及其应用

本文利用线性复杂度相关理论,给出了布尔函数复杂系数的定义：得出任何布尔函数的线性复杂度均等于这个函数的复杂系数;给出了一种快速求解布尔函数多项式表示的算法;研究了Bent函数的线性复杂度特点,利用布尔函数的复杂系数,得出布尔函数为Bent函数的一个必要条件。     

Maiorana-McFarland’s Bent函数零化子空间维数

在流密码和分组密码的设计中,所用布尔函数应该具有好的密码学性质来抵抗已知的各种有效攻击.布尔函数的低次零化子空间维数与其补函数低次零化子空间维数之和是评价该函数抵抗代数攻击能力的一个重要参数.根据Maiorana-McFarlands(M-M)Bent函数和布尔置换之间的一一对应关系,给出了一组布尔函数组并证明了它们是线性无关的.借助所给的线性无关布尔函数组和布尔置换中向量函数非零线性组合均是平衡函数的特性,给出了一类特殊M-M Bent函数低次零化子空间的维数与其补函数低次零化子空间的维数之和的一个上限.就这类特殊M-M Bent函数而言,该上限低于已知的限.进一步给出了适合所有M-M Bent函数的新上限.     

Bent函数数目的一个最好可能上界

依据Bent函数的特征矩阵,利用组合数学中的容斥原理和图论中的子图概念,给出在流密码学中有重要应用的Bent函数数目的一个上界,计算实例说明该上界是最好可能的上界。     

结合广义重心坐标与Voronoi 剖分的函数分片逼近

结合广义重心坐标理论,提出了一个新方法,以解决在平面区域上的函数逼近问题。 该方法通过构建基于广义重心坐标的最优分片函数来逼近目标函数。采用Voronoi 图来划分区域, 并提出一个度量逼近误差的能量函数。推导出该函数的导数后,采用一种高效的Voronoi 节点更 新方法来获得区域的最优剖分,并通过最优剖分构建最优分片函数。由于该方法对不连续函数具 有良好地逼近能力,因此将其应用在图像逼近问题中。分别在解析函数和彩色图像上对该方法进 行实验,均获得了很好的逼近效果。     

卫星高度计电离层校正模型比较分析

雷达高度计电磁波穿过大气中的电离层时,会受到电离子的影响而发生延时现象,从而使高度计的测高数据产生误差,必须对其进行校正。基于Jason-1卫星高度计数据,比较分析了目前多种卫星高度计所采用的主流电离层校正模型:Bent模型、IRI95模型和IRI2007模型。从模型的分层、各层的算法及参数设置方面对3种模型进行了比较,并利用Jason-1卫星高度计的电离层双频校正算法数据对3种模型的校正结果进行了评价。研究发现,IRI模型优于Bent模型,IRI2007模型优于IRI95模型,尤其是在中国近海的中纬度地区IRI2007模型的校正效果最好。上述工作可为HY-2卫星高度计电离层校正的模型选择提供参考。