共查询到14条相似文献，搜索用时 78 毫秒
1.
自双反函数和自反函数为特殊布尔函数．本文讨论了自双反函数和自反函数的定义和性质,给出了基于bj图获得变量全部取反的逻辑函数f（x1^-～xn^-）的bj图的方法．在此基础上提出了基于bj图检测自双反函数和自反函数的新方法．该图形方法具有直观、简单以及可并行处理等优点． 相似文献
2.
基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数．讨论了表格法作为检测特殊函数的易用性和可编程性． 相似文献
3.
阐述了双反函数、自双反函数和多数函数的定义,提出了自双反函数的性质.根据上述定义利用布尔代数中的基本概念、定理和公式证明了这些性质,展示了自双反函数在RM展开系数图(bj图)中的特点,讨论了自双反函数在函数分类中的应用. 相似文献
4.
线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明了具体检测过程.应用结果表明,该图形方法具有直观,便捷等特点. 相似文献
5.
布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发,讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质,并给出了相应的证明,为方便快捷地实现故障检测和密码学函数的构造奠定理论基础. 相似文献
6.
练益群 《浙江大学学报(理学版)》2007,34(4):414-417
阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质,提出了用dj图检测线性函数和冗余函数的方法．给出了求∫（x1～xn）的图形方法,并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法．此外,还讨论了求∫（x1～xn）的dj图的改进的图形方法． 相似文献
7.
阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理, 给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程. 实例表明该方法具有直观、简单等特点. 相似文献
8.
王芳 《浙江大学学报(理学版)》2016,43(3):303-306
提出了c-偏导数的定义和计算c-导数及c-偏导数的代数方法,给出了基于c-偏导数检测冗余函数、基于c-导数检测线性函数、基于高阶c-导数检测自反函数和自双反函数的方法.与图形方法相比,代数方法具有不受变量限制、简单方便等优点. 相似文献
9.
厉晓华 《浙江大学学报(理学版)》2009,36(3):288-290
在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程． 相似文献
10.
赵美玲 《浙江大学学报(理学版)》2014,41(4):424-426
布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域. 相似文献
11.
给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系．在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法．该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作． 相似文献
12.
冗余函数和自反函数为特殊布尔函数．本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,给出了相应的证明,讨论了冗余函数在K图中的特点以及自反函数在bj图中的特点． 相似文献
13.
冗余函数和自反函数是特殊的布尔函数，本文阐述了冗余函数和自反函数的定义，提出了冗余函数和自反函数的性质，讨论了冗余函数和自反函数的图形检测方法．并用实例说明之．通过计算机编程操作．可以得到用于多变量冗余函数和自反函数检测的快速算法． 相似文献
14.
基于归一化Haar变换谱技术,讨论了检测逻辑函数对称性的一种新方法.实例表明该方法具有直观、简便和准确的特点. 相似文献
