Results 11 to 20 of about 273 (136)
Zhejiang Daxue xuebao. Lixue ban, 2018 针对已有方法在求解布尔e偏导数时只能解决小规模电路的问题，提出了一种基于逻辑函数不相交运算的大函数高阶布尔e偏导数的求解算法.该方法将逻辑函数转化为不相交乘积项的集合，用逻辑函数的不相交运算替代布尔e导数运算中的逻辑“与”运算；并将不包含待求导变量的乘积项拆分出来，不参与布尔e导数运算，以达到降低算法复杂度、提高算法速度的目的.提出的算法用C语言编程实现，并用MCNC测试电路进行了测试.实验结果显示，本算法能快速实现大函数高阶布尔e偏导数的求解，求解效率与参与不相交运算的乘积项数量有关 ...
LUOWenqiang(罗文强) +2 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
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
Zhejiang Daxue xuebao. Lixue ban, 2012 讨论了旋转对称函数在归一化Haar变换域中的谱特性，提出了基于归一化Haar变换检测旋转对称函数的新方法.该方法具有易于计算机编程操作以及可以同时检测多种其他特殊逻辑函数等优点.
QIUXiao-hua(邱晓华“) +1 more
doaj +2 more sources
Zhejiang Daxue xuebao. Lixue ban, 2001 基于归一化Haar变换谱技术，讨论了检测逻辑函数对称性的一种新方法.实例表明该方法具有直观、简便和准确的特点.
CHENGJie(程捷) +1 more
doaj +2 more sources
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 +2 more sources
Land Use and Land Cover Classifications of Horqin Sandy Land Dune-Meadow Areas [PDF]
, 2021 In this study, we determine land use/land cover (LULC) types using only optical remote sensing data in a dune-meadow area of Horqin Sandy Land in northeast China. We used 64 Sentinel-2 remote sensing images from 2018.
Cao, Wenmei +5 more
core +2 more sources