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

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

计算含无关项布尔c-导数的K图方法

为简化与-或-非代数系统中含无关项逻辑函数布尔c-导数的计算过程,从逻辑函数布尔c-导数的定义出发,提出了计算含无关项一阶布尔c-导数和二阶布尔c-导数的K图方法.该方法通过折叠映射K图中的填入格值,并对相应格值进行"或"运算以计算含无关项布尔c-导数.应用实例表明,该方法直观有效,且能直接得到布尔c-导数的最简与/或式.     

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

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

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

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

逻辑函数布尔c-导数的图形计算方法

基于逻辑函数1阶布尔c-导数,引入了k阶布尔c-导数的概念.提出了基于逻辑函数的K-图和降维K-图的1阶布尔c-导数和2阶布尔c-导数的图形计算方法,并通过实例展示了其求解过程.与代数法相比,该方法更直观有效,且能直接读出布尔c-导数的最简与/或式.所提出的用降维K-图计算逻辑函数布尔c-导数的方法在一定程度上解决了K-图规模随函数变量n的增加而迅速扩大的问题.     

关于布尔函数的布尔导数、e导数和c导数相互关系的研究

基于对布尔函数内部结构和相关性质的进一步揭示,及其应用领域的拓展,深入研究了布尔函数的布尔导数、e导数和c导数的相互关系,讨论了布尔函数的布尔偏导数、e偏导数和c偏导数之间的关系,得到了相关性质并给出了证明。以进一步完善布尔函数的布尔导数、e导数和c导数这3类特殊导数的运算理论。     

关于布尔函数的布尔导数、e导数和c导数相互关系的研究

基于对布尔函数内部结构和相关性质的进一步揭示,及其应用领域的拓展,深入研究了布尔函数的布尔导数、e导数和c导数的相互关系,讨论了布尔函数的布尔偏导数、e偏导数和c偏导数之间的关系,得到了相关性质并给出了证明。以进一步完善布尔函数的布尔导数、e导数和c导数这3类特殊导数的运算理论。     

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

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

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

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

计算布尔函数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导数的研究.     

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

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

简化分解图在计算布尔e-导数中的应用

为简化与-或-非代数系统中一阶和n 阶布尔e-导数的计算过程,提出了一种基于简化分解图的新方法.该方法通过计算简化分解图相应列的与运算得到一阶布尔e-导数,n 阶布尔e-导数通过计算倒置简化分解图来得到.该方法同样适用于含任意项逻辑函数一阶和n 阶布尔e-导数的计算.应用实例表明该方法具有直观、简单等特点.     

基于dj图的逻辑函数布尔偏导数的计算方法

讨论了基于dj图和降维dj图计算逻辑函数的一阶布尔偏导数和二阶布尔偏导数的图形方法.实例表明该方法具有直观、简单等特点,并且它能给出布尔偏导数的最简CRM式.     

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

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

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

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

基于改进分解图计算布尔函数e-导数、c-导数及布尔导数的方法

提出了基于改进分解图(D图)同时计算布尔函数的1阶、2阶e-导数、c-导数及布尔导数的方法,讨论了当布尔函数的变量数为偶数(即n=2k)时,计算k阶及k阶以下全部e-导数、c-导数及布尔导数所需的D图数.与传统方法相比,该方法显著减少了D图数,且简单、有效、易于计算机编程操作.     

基于K图的布尔E-导数计算的图形方法

分析了逻辑函数的K图和降维K图,在此基础上,从逻辑函数定义出发,讨论了用K图和降维K图计算逻辑函数一阶布尔E-导数和二阶布尔E-导数的图形方法,实例表明该方法具有直观、简单等特点,并且能给出布尔E-导数的最简与/或式.     

基于最小项表计算e导数的方法

给出了布尔函数的e导数、高阶e导数以及e偏导数的定义,在此基础上提出了基于布尔函数1值最小项表计算布尔函数的e导数、高阶e导数以及e偏导数的表格方法.该方法具有简单、不受变量数限制以及易于计算机编程操作等优点.     

布尔c-导数及其偏导数的最小项表计算方法

在逻辑函数布尔c-导数的基础上,引入了布尔c-偏导数的概念.为了简化布尔c-导数及其c-偏导数的计算,提出了基于逻辑函数最小项表的计算方法.该算法用最小项表列出1值最小项的二进制代码,然后对二进制代码中相应位取反变换产生新的最小项,再进行比较并删除新最小项中的重复项来计算c-导数和c-偏导数.实例展示了利用最小项表的计算过程.与代数法和图形法相比,该算法简单有效,当变量数较多时易于计算机编程实现.