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

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

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

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

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

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

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

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

关于高阶e导数性质之研究

e导数在组合电路故障检测、揭示H布尔函数的密码学性质和确保密码学系统安全性中具有重要的作用.首先阐述了布尔函数1阶e导数的定义和性质,在此基础上,提出了布尔函数高阶e导数的概念,参照布尔代数2阶及k 阶布尔差分的定义,给出了2阶及k 阶e导数的定义与性质,并给出了证明.将1阶e导数性质推广至n 变量布尔函数任意k 阶e导数,推动与完善了关于e导数的研究.     

基于bj图检测自双反函数和自反函数的新方法

自双反函数和自反函数为特殊布尔函数．本文讨论了自双反函数和自反函数的定义和性质,给出了基于bj图获得变量全部取反的逻辑函数f（x1^-～xn^-）的bj图的方法．在此基础上提出了基于bj图检测自双反函数和自反函数的新方法．该图形方法具有直观、简单以及可并行处理等优点．     

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

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

关于自双反函数的性质之研究

阐述了双反函数、自双反函数和多数函数的定义,提出了自双反函数的性质.根据上述定义利用布尔代数中的基本概念、定理和公式证明了这些性质,展示了自双反函数在RM展开系数图(bj图)中的特点,讨论了自双反函数在函数分类中的应用.     

基于表格方法的冗余函数、自反函数及自双反函数的检测

基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数．讨论了表格法作为检测特殊函数的易用性和可编程性．     

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

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

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

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

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

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

布尔函数的c导数及其在组合电路故障检测中的应用

提出了布尔函数c导数的定义和性质,并给出了部分性质的证明. 在此基础上,提出了求解“或”搭接及“与”搭接故障测试矢量的2个定理. 通过实例讨论了布尔函数c导数在组合逻辑电路故障检测中的应用.所提出的c导数是对布尔函数的布尔导数和e导数研究的补充与完善.     

基于布尔偏导数的组合电路双故障检测的新方法

分析了布尔偏导数与布尔差分的关系，给出了基于布尔偏导数的组合电路双故障测试集的方程，引入了奇集合的概念．在此基础上提出了基于布尔偏导数的组合电路双故障检测的新方法．实例表明该方法具有思路清晰、操作简单及易于掌握的优点．     

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

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

检测含任意项特殊逻辑函数的图形方法

线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明了具体检测过程.应用结果表明,该图形方法具有直观,便捷等特点.     

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

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