一类三次Bent函数的二阶非线性度

研究了一类特殊形式的三次Bent函数,通过研究其导数的非线性度的下界,得到了该函数的二阶非线性度的下界.同时,将所得结果与一些特殊类型函数的二阶非线性度的下界进行了比较,这些特殊类型的函数都具有高的一阶非线性度.研究结果表明,所讨论函数的二阶非线性度大于这些已知函数的二阶非线性度的下界.     

一类广义Bent函数的构造

作为非线性度达到最优的布尔函数——Bent函数可应用于差集、组合论、序列设计密码学等诸多领域.Kumar等人从码分多址技术（CDMA）中相关性最优的序列设计角度将Bent函数的概念推广到奇特征有限域,提出了广义Bent函数.本文基于循环矩阵秩的计算,研究了基于二次型构造的p-元函数是广义Bent函数的充分必要条件,并给出了一类新的广义Bent函数.     

Zp^n上广义部分Bent函数的构造方法

给出了Zp^n上广义部分Bent函数的基本构造方法，并同时得到了由上述方法所构造出的广义部分Bent函数的Chrestenson循环谱特征．特别，本文给出了由变元个数少的Zp^n上的广义Bent函数构造变元个数多的广义部分Bent函数的一般方法，由此方法可构造出大量的Zp^n上的广义部分Bent函数．     

布尔特殊运算c-导数及其在Bent函数研究中的应用

提出了布尔函数c-导数的定义,给出c-导数的性质,并对部分性质作了证明.讨论了布尔函数c-导数、布尔导数及e-导数之间的关系,以及c-导数在对密码学研究有重要应用价值的Bent函数中的应用.     

基于广义Bent函数的跳频序列及其计算机模拟与分析

基于广义Ｂｅｎｔ函数，研究并设计了两种跳频序列族，着重讨论了两种序列的Ｈｍａｘ，并给出了计算机模拟与分析．     

旋转对称函数的设计

给出了一种通用的旋转对称函数的构造方法，并研究了11元旋转对称函数的非线性度，给出了12元所有的3次RotS Bent函数，特别的，构造了12元上的一批4次RotS Bent函数．利用这些函数，可以进一步提高某些密码算法的实现速度，也可用来构造特性好的密码部件。     

线性函数的性质及其应用 线性函数的性质及其应用

给出了线性函数、部分线性函数和线性变量的定义,提出了它们的性质.根据上述定义,利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.     

布尔函数的c-导数及其在揭示H-布尔函数性质中的应用

引入布尔函数c-导数的概念,提出c-导数和高阶c-导数的定义和性质,并对部分性质作了证明.给出了平衡布尔函数、H-布尔函数以及平衡H-布尔函数的定义,并讨论了c-导数在揭示H-布尔函数性质中的应用.丰富了对布尔c-导数的应用研究.     

Maxwell理论的电磁对偶性

本文主要回顾了电磁场的对偶性和电荷量子化解释,并把电磁场的对偶性推广到了一般线性介质状况,讨论了磁单极及其整体规范变换,并给出了Dirac磁单极产生的磁矢势的普遍表达式;最后给出了Maxwell方程的U（1）对称性及其对偶性的费米子描述方法。     

基于与一异或代数系统的对称函数的研究

本文在分析与一或一非代数系统的基础上研究了基于与一异或代数系统的对称函数，讨论了RM型基本对称函数的定义和性质.在此基础上提出了二种基于RM型对称型函数的任意对称函数的综合方法:基于RM型通用逻辑组件ULM 3的逻辑综合及基于余加器与RM型PLA的逻辑综合.     

具有高阶代数免疫的弹性函数

构造了一类具有一阶弹性的函数.该函数是级联4个具有一对拟线性变量的子函数得到的.给出了新函数代数次数不增加的充分必要条件,代数免疫阶不增加的必要条件.选取的初始函数不满足代数次数和代数免疫不增加的必要条件,那么得到函数和初始函数相比,代数免疫至少增加1阶,代数次数增加1次,并且具有1阶弹性.     

多值模代数方程组的对偶定理

本文指出在多值模代数系统中任一有唯一解的方程组必伴随另一方程组，它们的系数和解都存在对偶关系.     

布尔函数的学习与性质测试

对函数f的性质测试通常是对C中函数进行取样,重构一个近似函数h,以h所具有的性质近似刻画f的性质.重构h的过程称为对f的学习.本文给出了布尔函数的学习与性质测试的理论与方法,该理论与方法可以用于概念学习、特定性质的函数学习与测试等.     

非光滑多目标分式规划的对偶条件

最优性问题在研究博弈理论、目标规划、最低风险问题等方面有重要应用,利用非光滑分析,定义了一类新的广义不变凸函数,研究了涉及此类函数的多目标半无限分式规划问题, 得到了参数对偶问题的弱对偶和严格逆对偶条件,在新的凸性下得到了一些重要结论.     

弱有效意义下向量集值优化的Kuhn-Tucker条件与对偶

借助于由广义Contingent切锥并用上图而引入有关集值映射的Contingent切导数，对约束集值优化问题的弱有效解建立了Kuhn—Tucker必要及充分性条件，由此建立了向量集值优化弱有效解的Wolfe型和Mond—Weir型对偶的弱定理、正定理及逆定理。     

基于比较运算的广义反演律与广义对偶定理

本文首先提出运算反演的概念，并在应用比较运算综合函数的前提下讨论了诸比较运算的反演关系，由此建立了广义摩根定律、广义香农定律与广义对偶定理。如果限于使用取小（与）和取大（或）二种比较运算，则以上定律便回归到传统的表达形式。     

特殊逻辑函数布尔差分及布尔e-导数的性质研究

布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出了相应的证明,为方便快捷地实现故障检测和密码学函数的构造奠定理论基础.     

关于冗余函数和自反函数性质之研究

冗余函数和自反函数为特殊布尔函数．本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,给出了相应的证明,讨论了冗余函数在K图中的特点以及自反函数在bj图中的特点．