Results 1 to 10 of about 298 (180)
Dual-logic synthesis based on e-derivative of logic function(基于逻辑函数e导数的双逻辑综合)
Zhejiang Daxue xuebao. Lixue ban, 2014 讨论了逻辑函数的e导数与逻辑函数化简的关系，并在此基础上提出了基于逻辑函数e导数化简逻辑函数的新方法.由于采用了双逻辑综合，逻辑综合效果优于传统的基于与-或-非运算的逻辑综合.
MARuxing(马汝星) +2 more
doaj +2 more sources
Zhejiang Daxue xuebao. Lixue ban, 2019 旋转对称逻辑函数在密码学函数构造领域有广泛应用。针对含无关项旋转对称逻辑函数检测中存在的不足，从含无关项逻辑函数的定义和旋转对称函数的性质出发，提出了检测含无关项旋转对称逻辑函数的快速算法。该算法通过判断逻辑函数1 值最小项二进制编码周期旋转后产生的新编码同1 值最小项及无关项二进制编码的重复性实现快速检测。结果表明，快速算法在适用的逻辑函数变量数、含无关项旋转对称逻辑函数检测的适用性和检测过程的复杂度方面均优于现有的表格方法与谱系数方法。
XUFeng(徐锋), LIXiaohua(厉晓华)
doaj +2 more sources
Canonical form of fuzzy logic function based on multi-valued logic method(基于多值逻辑方法的模糊逻辑函数规范展开)
Zhejiang Daxue xuebao. Lixue ban, 2002 首先提出了模糊逻辑和多值逻辑的相似性,并建立了三值逻辑函数文字运算和模糊逻辑函数短语的对应关系,进而提出了从三值逻辑函数的规范展开式求得模糊逻辑函数规范展开式的算法,并用该算法对几个模糊逻辑函数实例进行了规范展开.实例操作表明,该算法具有简单、规范、方便快捷的特点,是获得模糊逻辑函数规范展开式的一种有效的方法.
CHENHua-hua(陈华华) +1 more
doaj +2 more sources
Graphic method of detecting special logic function with arbitrary term(检测含任意项特殊逻辑函数的图形方法)
Zhejiang Daxue xuebao. Lixue ban, 2014 线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发，提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法，并举例说明了具体检测过程.应用结果表明，该图形方法具有直观，便捷等特点.
LIXiaohua(厉晓华) +1 more
doaj +2 more sources
Zhejiang Daxue xuebao. Lixue ban, 2018 针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题，提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合，用逻辑函数的不相交运算替代布尔e导数运算中的逻辑“与”运算；并将不包含待求导变量的乘积项拆分出来，不参与布尔e导数运算，以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现，并用MCNC测试电路进行了测试.实验结果显示，本算法能快速实现大函数高阶布尔e偏导数的求解，求解效率与参与不相交运算的乘积项数量有关 ...
LUOWenqiang(罗文强) +2 more
doaj +2 more sources
Algorithm about minimization of MPRM expansions including don't care terms(包含无关项的MPRM展开式最小化算法)
Zhejiang Daxue xuebao. Lixue ban, 2014 通过对包含无关项布尔逻辑函数SOP(Sum-of-Products)展开式和MPRM(Mixed Polarity Reed-Muller)展开式的研究，结合基于系数矩阵的FPRM(Fixed Polarity Reed-Muller)展开式极性转换算法，提出了一种包含无关项逻辑函数MPRM展开式最小化算法.首先将包含无关项逻辑函数SOP展开式转换为MPRM展开式，并用系数矩阵的形式表示；然后删除函数中的冗余变量，归纳出一种包含无关项MPRM展开式最小化算法，得到与项数较少的MPRM展开式 ...
WANGDisheng(汪迪生) +1 more
doaj +2 more sources
Zhejiang Daxue xuebao. Lixue ban, 2016 为简化与-或-非代数系统中含无关项逻辑函数布尔c-导数的计算过程，从逻辑函数布尔c-导数的定义出发，提出了计算含无关项一阶布尔c-导数和二阶布尔c-导数的K图方法.该方法通过折叠映射K图中的填入格值，并对相应格值进行“或”运算以计算含无关项布尔c-导数.应用实例表明，该方法直观有效，且能直接得到布尔c-导数的最简与/或式.
LIXiaohua(厉晓华) +1 more
doaj +2 more sources
Zhejiang Daxue xuebao. Lixue ban, 2016 在三值FPRM（Fixed-Polarity Reed-Muller）逻辑函数中，n变量函数有3n个固定极性.针对不同极性下FPRM电路功耗不同的特点，研究了三值FPRM逻辑表达式，提出一种基于模拟退火遗传算法的三值FPRM电路功耗优化方法.首先，根据三值逻辑函数表达式和开关信号传递理论，建立三值FPRM电路功耗估计模型；再利用模拟退火遗传算法对三值FPRM电路进行功耗最佳极性搜索，得到了功耗最低的FPRM电路；最后对13个MCNC Benchmark电路进行仿真.结果表明：与0极性相比 ...
LIKangping(厉康平) +2 more
doaj +2 more sources
Zhejiang Daxue xuebao. Lixue ban, 2015 在逻辑函数布尔c-导数的基础上，引入了布尔c-偏导数的概念.为了简化布尔c-导数及其c-偏导数的计算，提出了基于逻辑函数最小项表的计算方法.该算法用最小项表列出1值最小项的二进制代码，然后对二进制代码中相应位取反变换产生新的最小项，再进行比较并删除新最小项中的重复项来计算c-导数和c-偏导数.实例展示了利用最小项表的计算过程.与代数法和图形法相比，该算法简单有效，当变量数较多时易于计算机编程实现.
YUANJuming(袁菊明) +2 more
doaj +2 more sources