Results 1 to 10 of about 562 (66)
New method of testing self-dual function and self negative function on bj-map(基于bj图检测自双反函数和自反函数的新方法)
Zhejiang Daxue xuebao. Lixue ban, 2007 自双反函数和自反函数为特殊布尔函数.本文讨论了自双反函数和自反函数的定义和性质，给出了基于bj图获得变量全部取反的逻辑函数的bj图的方法.在此基础上提出了基于bj图检测自双反函数和自反函数的新方法.该图形方法具有直观、简单以及可并行处理等优点.
ZHENGHui-qun(郑惠群) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2007 基于冗余函数、自反函数及自双反函数的定义和性质，利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数.讨论了表格法作为检测特殊函数的易用性和可编程性.
LIKe(郦可), CHENXie-xiong(陈偕雄)
doaj +1 more source
Graphic method of detecting special Boolean function based on dj-map(基于dj图检测特殊布尔函数的图形方法)
Zhejiang Daxue xuebao. Lixue ban, 2007 阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质，提出了用dj图检测线性函数和冗余函数的方法.给出了求的图形方法，并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法.此外，还讨论了求的dj图的改进的图形方法.
LIANYi-qun(练益群)
doaj +1 more source
Method of detecting special logic function based on Boolean e-derivative(基于布尔e导数的特殊逻辑函数检测方法)
Zhejiang Daxue xuebao. Lixue ban, 2014 布尔代数中的特殊逻辑函数具有独特的性质，而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法，在介绍线性函数、自双反函数以及布尔e导数概念的基础上，提出了利用布尔e导数判别线性函数和自双反函数的定理，给出了基于布尔e导数检测线性函数、自双反函数的方法，并通过3个实例，展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域.
ZHAOMeiling(赵美玲)
doaj +1 more source
Graphic method of detecting special logic function with arbitrary term(检测含任意项特殊逻辑函数的图形方法)
Zhejiang Daxue xuebao. Lixue ban, 2014 线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发，提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法，并举例说明了具体检测过程.应用结果表明，该图形方法具有直观，便捷等特点.
LIXiaohua(厉晓华) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2010 推导了归一化Haar变换谱系数与自反函数和自双反函数的关系,在此基础上提出了基于归一化Haar变换检测自反函数和自双反函数的谱方法.该方法的主要优点在于可以同时检测多种特殊逻辑函数以及易于计算机编程操作.
QIUXiao-hua(邱晓华) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2013 布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发，讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质，并给出了相应的证明，为方便快捷地实现故障检测和密码学函数的构造奠定理论基础.
FANGWei-jie(方伟杰) +2 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2008 阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理，给出了相应谱系数图的特点，得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程.实例表明该方法具有直观、简单等特点.
ZHOUZhen-feng(周振峰) +2 more
doaj +1 more source
Properties of linear function and its application(线性函数的性质及其应用)
Zhejiang Daxue xuebao. Lixue ban, 2006 给出了线性函数、部分线性函数和线性变量的定义，提出了它们的性质.根据上述定义，利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.
LUHui-juan(陆慧娟) +1 more
doaj +1 more source
Computer aided detection of special logical fuiction(计算机辅助特殊逻辑函数检测)
Zhejiang Daxue xuebao. Lixue ban, 2009 在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.
LIXiao-hua(厉晓华)
doaj +1 more source