基于表格法的部分变量取反的对称函数检测

对称函数有许多优点,引入部分变量取反的对称函数可以大大增加对称函数的数目,从而有助于扩大对称函数的应用范围.检测对称函数是函数对称性研究中的重要工作.分析了基于表格法的对称函数检测,在此基础上进一步提出了改进的部分变量取反的对称函数检测的新方法.     

线性函数和部分线性函数的图形检测方法

线性函数是布尔代数中常用的特殊函数之一,本文根据线性函数、部分线性函数的定义与性质,提出了检测线性函数与部分线性函数六个定理．在此基础上,给出了基于K图与bj图的线性函数与部分线性函数的图形检测方法,并举例说明具体检测过程．     

双曲有界平均振动函数的一些性质

本文研究双曲有界平均振动解析函数的一些性质. 证明了双曲有界平均振动解析函数的双曲 g-函数与双曲 S-函数都是有界平均振动函数.     

测度空间中近可加函数的稳定性

考虑了测度空间中近可加函数的稳定性，即用可加函数对近可加函数的逼近问题，文中给出了可用可加函数逼近的函数的Ｌ∞、ＬＰ刻划．     

基于分解图检测特殊函数的新方法

特殊布尔函数在电路设计中有着独特的优点．本文从特殊函数的定义出发，导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理，着重介绍了基于分解图的相关定理在特殊函数检测中的应用，并以实例加以说明．本文为超大规模集成电路中单元电路的设计与化简提供了新的方法，对进一步完善布尔代数系统具有一定的实际应用意义．     

检测线性函数与线性变量的表格方法

讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的线性变量及线性函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.     

基于谱系数图检测特殊逻辑函数的图形方法

阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理, 给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程. 实例表明该方法具有直观、简单等特点.     

一类广义Bent函数的构造

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

基于Haar变换的冗余函数和线性函数的检测

给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系．在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法．该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作．     

阈函数与对称函数的关系

单调函数、阈函数和对称函数是三类特殊逻辑函数.在N变量的逻辑函数中,有N+2个单调递增对称函数,N+2个单调速减对称函数,它们分别如下所示: