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

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

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

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

检测逻辑函数中线性变量的代数方法

根据线性变量、线性函数的定义和性质,提出了5个定理及3个推论．在此基础上给出了检测基于与-或展开的、基于或-与展开的、RM型的、基于或-符合展开的逻辑函数中线性变量的代数方法,并举例说明了具体检测过程．本文的工作对于完善数字电子CAD设计中的逻辑综合理论具有实际意义．另一方面,相对于其它特殊逻辑函数而言,线性函数还缺乏系统的研究,本文的工作对于补充和完善线性函数的理论具有重要意义。     

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

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

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

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

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

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

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

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

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

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

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

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

Bent函数的对偶性

研究了Bent函数的对偶性,通过利用对偶函数的定义得到了两个Bent函数导数的Walsh谱与它们对偶函数导数的Walsh谱是相关的;同时,得到两个Bent函数之和与它们的对偶函数之和有相同的汉明重量.     

基于布尔e导数的特殊逻辑函数检测方法

布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域.     

计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法

讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式．在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法．根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,并作了比较．本文提出的计算OC型逻辑函数布尔偏导数与布尔差分的表格方法具有简捷、方便以及易于计算机编程操作等优点．     

计算布尔函数c-导数、c-偏导数的代数方法及其在检测特殊布尔函数中的应用

提出了c-偏导数的定义和计算c-导数及c-偏导数的代数方法,给出了基于c-偏导数检测冗余函数、基于c-导数检测线性函数、基于高阶c-导数检测自反函数和自双反函数的方法.与图形方法相比,代数方法具有不受变量限制、简单方便等优点.     

基于dj图检测特殊布尔函数的图形方法

阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质,提出了用dj图检测线性函数和冗余函数的方法．给出了求∫（x1～xn）的图形方法,并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法．此外,还讨论了求∫（x1～xn）的dj图的改进的图形方法．     

计算逻辑函数布尔差分及布尔偏导数的表格方法

分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题,在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与布尔偏导数的表格方法,讨论了在1值最小项数较多时用7计算布尔差分与布尔偏导数的表格方法．本文提出的表格方法与图形方法相比,具有不需画图,操作方便,易于计算机编程操作以及可用于多变量逻辑函数等优点．