Results 1 to 10 of about 102 (65)
Properties and applications of bj-map(关于bj图的性质及应用)
Zhejiang Daxue xuebao. Lixue ban, 2003 利用bj图的读图规则和积项中变量数图对bj图的性质作了进一步的研究,提出了若干新的性质,给出了相应的证明.此外,文中还讨论了它们的应用,并用实例作了说明.本文的讨论揭示了bj图的内在规律,有助于开拓bj图的应用领域.
LIANYi-qun(练益群) +1 more
doaj +1 more source
New method of calculation Boolean difference based on bj map(基于bj图计算逻辑函数布尔差分的新方法)
Zhejiang Daxue xuebao. Lixue ban, 2004 分析了逻辑函数在部分变量取反时的bj图和降维bj图,在此基础上提出了用bj图和降维bj图计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法.实例表明,该图形方法有直观、简单等特点.它能给出逻辑函数布尔差分的最简与/异或式.
WUGui-chu(吴桂初) +2 more
doaj +1 more source
dj map for mutually exclusive variables and its application(互斥变量dj图及其应用)
Zhejiang Daxue xuebao. Lixue ban, 2005 在互斥变量K图、bj图的基础上提出了逻辑函数的互斥变量dj图，给出了全/部分互斥变量dj图的化简方法及实例.此外，文中还讨论了互斥变量K图、bj图与互斥变量dj图的转换方法.该法有效地压缩了dj图的规模，并扩大了dj图的应用范围.
ZHAOMei-ling(赵美玲) +2 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2001 本文通过引入p-bj系数，提出了实现Reed-Muller展开系数与谱系数之间直接互相转换的矩阵算法.通过利用bj图与谱系数图，发展了有效实现谱系数转换为bj系数的图形方法.
HANGGuo-qiang(杭国强) +1 more
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
Zhejiang Daxue xuebao. Lixue ban, 2005 分析了逻辑函数的OC展开式与RM展开式，利用异或运算和符合运算的性质，推导了dj展开系数与bj展开系数的关系.在此基础上提出了基于折叠异或以及基于重心的实现dj图和bj图相互转换的两种图形方法，并对这两种方法作了比较.通过实例显示，这些图形方法具有直观、有效等特点.
FANGPing(方平) +2 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2006 讨论了逻辑函数的RM展开系数与或-符合展开系数之间的关系式，分析了bj图→dj图转换的图形方法.在此基础上提出了逻辑函数的RM展开系数→或-符合展开系数以及或-符合展开系数→RM展开系数转换的表格方法.与图形方法相比，表格法具有不需要画图，不受变量数限制以及易于计算机编程操作等优点.
YAOMao-qun(姚茂群) +2 more
doaj +1 more source
Function minimization with fixed polarity based on K map(基于K图的函数RM展开式在固定极性下的最小化)
Zhejiang Daxue xuebao. Lixue ban, 2003 分析了K图的性质,发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性,在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法.该方法可以从K图直接得到函数的最小化的RM展开式,从而省略了传统的把K图转变为bj图再求最小化的步骤.它具有直观、简单、易于掌握等特点.此外,文中还提出了该方法的改进算法.
LIUGuan-sheng(刘观生) +1 more
doaj +1 more source
Graphical method of detecting linear functions and partial linear functions(线性函数和部分线性函数的图形检测方法)
Zhejiang Daxue xuebao. Lixue ban, 2007 线性函数是布尔代数中常用的特殊函数之一，本文根据线性函数、部分线性函数的定义与性质，提出了检测线性函数与部分线性函数六个定理.在此基础上，给出了基于K图与bj图的线性函数与部分线性函数的图形检测方法，并举例说明具体检测过程.
ZHAOMin-xiao(赵敏笑) +2 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2009 针对包含任意项的逻辑函数,提出了一种利用该类逻辑函数K图和bj图的图形转换来实现一阶布尔差分和二阶布尔差分计算的方法.实例表明,该图形方法具有简单、直接、方便的特点.
WANGYong-chao(王勇超) +1 more
doaj +1 more source