Results 1 to 10 of about 12 (12)
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, 2009 特殊逻辑函数在电路设计中有着独特的优点.从特殊函数的定义出发,提出了检测含任意项特殊逻辑函数的方法,并以实例加以说明.为超大规模集成电路中单元电路的设计与化简提供了新的方法,对进一步完善布尔代数系统具有一定的实际应用意义.
LIXiao-hua(厉晓华)
doaj +1 more source
Computer aided detection of special logical fuiction(计算机辅助特殊逻辑函数检测)
Zhejiang Daxue xuebao. Lixue ban, 2009 在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.
LIXiao-hua(厉晓华)
doaj +1 more source
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
Graphic method for detecting special logical function including don't cares(含任意项特殊逻辑函数的图形化检测)
Zhejiang Daxue xuebao. Lixue ban, 2009 从K图出发,提出了利用二叉树法对含有任意项的冗余函数、线性函数、对称函数、自反函数及自双反函数等特殊逻辑函数进行检测的图形化方法.实例表明,该图形方法具有简单、直接、方便、可编程的特点.
WANGYong-chao(王勇超) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2012 讨论了旋转对称函数在归一化Haar变换域中的谱特性，提出了基于归一化Haar变换检测旋转对称函数的新方法.该方法具有易于计算机编程操作以及可以同时检测多种其他特殊逻辑函数等优点.
QIUXiao-hua(邱晓华“) +1 more
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
Zhejiang Daxue xuebao. Lixue ban, 2010 推导了归一化Haar变换谱系数与自反函数和自双反函数的关系,在此基础上提出了基于归一化Haar变换检测自反函数和自双反函数的谱方法.该方法的主要优点在于可以同时检测多种特殊逻辑函数以及易于计算机编程操作.
QIUXiao-hua(邱晓华) +1 more
doaj +1 more source
Detection of redundant function and linear function based on Haar transform(基于Haar变换的冗余函数和线性函数的检测)
Zhejiang Daxue xuebao. Lixue ban, 2009 给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系.在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法.该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作.
QIUXiao-hua(邱晓华) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2008 阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理，给出了相应谱系数图的特点，得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程.实例表明该方法具有直观、简单等特点.
ZHOUZhen-feng(周振峰) +2 more
doaj +1 more source