Results 1 to 10 of about 93 (69)
Zhejiang Daxue xuebao. Lixue ban, 2007 讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式.在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法.根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法，并作了比较.本文提出的计算OC型逻辑函数布尔偏导数与布尔差分的表格方法具有简捷、方便以及易于计算机编程操作等优点.
LIUGuan-sheng(刘观生) +2 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2013 布尔差分和布尔e-导数是组合电路故障检测和布尔函数密码学性质研究的一种有效工具.从线性函数、冗余函数、自反函数、自双反函数、部分自反函数、部分自双反函数的定义出发，讨论了这些特殊布尔函数布尔差分和布尔e-导数的性质，并给出了相应的证明，为方便快捷地实现故障检测和密码学函数的构造奠定理论基础.
FANGWei-jie(方伟杰) +2 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, 2006 分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题，在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与布尔偏导数的表格方法，讨论了在1值最小项数较多时用计算布尔差分与布尔偏导数的表格方法.本文提出的表格方法与图形方法相比，具有不需画图，操作方便，易于计算机编程操作以及可用于多变量逻辑函数等优点.
LIANYi-qun(练益群) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2019 基于对布尔函数内部结构和相关性质的进一步揭示，及其应用领域的拓展，深入研究了布尔函数的布尔导数、e 导数和c 导数的相互关系，讨论了布尔函数的布尔偏导数、e 偏导数和c 偏导数之间的关系，得到了相关性质并给出了证明。以进一步完善布尔函数的布尔导数、e 导数和c 导数这3 类特殊导数的运算理论。
WANGFang(王芳)
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2017 为简化布尔函数中12类对称变量的检测过程，提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明，与现有方法相比，算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.
ZHANGYongbo(张永波) +1 more
doaj +1 more source
Research on properties of high-order e-derivative(关于高阶e导数性质之研究)
Zhejiang Daxue xuebao. Lixue ban, 2013 e导数在组合电路故障检测、揭示H布尔函数的密码学性质和确保密码学系统安全性中具有重要的作用.首先阐述了布尔函数1阶e导数的定义和性质，在此基础上，提出了布尔函数高阶e导数的概念，参照布尔代数2阶及k阶布尔差分的定义，给出了2阶及k阶e导数的定义与性质，并给出了证明.将1阶e导数性质推广至n变量布尔函数任意k阶e导数，推动与完善了关于e导数的研究.
QIUXiao-hua(邱晓华) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2004 讨论了布尔减和布尔除的定义以及逻辑函数在布尔减及非运算、布尔除及非运算完备集中的展开，给出了减-非和除-非逻辑函数的化简公式.在此基础上提出了减-非和除-非逻辑函数的代数化简法以及图形化简法，并给出了化简实例.实例验证了上述化简方法的有效性.
PANWei-zhen(潘伟珍) +2 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2016 为简化与-或-非代数系统中含无关项逻辑函数布尔c-导数的计算过程，从逻辑函数布尔c-导数的定义出发，提出了计算含无关项一阶布尔c-导数和二阶布尔c-导数的K图方法.该方法通过折叠映射K图中的填入格值，并对相应格值进行“或”运算以计算含无关项布尔c-导数.应用实例表明，该方法直观有效，且能直接得到布尔c-导数的最简与/或式.
LIXiaohua(厉晓华) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2014 提出了布尔函数c导数的定义和性质，并给出了部分性质的证明.在此基础上，提出了求解“或”搭接及“与”搭接故障测试矢量的2个定理.通过实例讨论了布尔函数c导数在组合逻辑电路故障检测中的应用.所提出的c导数是对布尔函数的布尔导数和e导数研究的补充与完善.
WANGFang(王芳) +2 more
doaj +1 more source