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

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

关于旋转对称布尔函数性质之研究

旋转对称函数为特殊布尔函数,本文阐述了旋转对称函数的定义,提出了旋转对称函数的性质,并给出了相应的证明,讨论了该函数在k图、bj图、谱系数图中的特点.

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

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

基于0-1编码谱技术检测旋转对称函数

分析了旋转对称函数的0-1编码Hadamard变换谱系数的特点,给出了变量数n为素数的旋转对称函数的必要条件,提出了基于0-1编码Hadamard变换检测旋转对称函数的方法,该方法具有可编程操作以及同时可检测其他特殊布尔函数等优点.

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

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

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

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

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

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

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

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

一种数字模拟电路混联的统一分析法

本文提出了一种数字电路与模拟电路混联的统一分析方法.这种方法主要是采用了数字电路和模拟电路同时变换成函数逻辑求解,因而使得数字模拟VLSI能准确、简单、统一求解.