Results 11 to 20 of about 160 (84)
Properties of linear function and its application(线性函数的性质及其应用)
Zhejiang Daxue xuebao. Lixue ban, 2006 给出了线性函数、部分线性函数和线性变量的定义，提出了它们的性质.根据上述定义，利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.
LUHui-juan(陆慧娟) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2022 研究了一类既存在增长过程又存在破损过程的群体平衡方程的精确解法。用尺度变换群分析法得到群体平衡方程的部分对称、群不变解和约化积分-常微分方程。用试探函数法探求约化积分-常微分方程，得到群体平衡方程的显式精确解，并分析了该显式精确解的动力学特性。所得群不变解能解释实体模型，显式精确解可检验数值解的正确性和精确度。
LINFubiao(林府标) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2012 讨论了旋转对称函数在归一化Haar变换域中的谱特性，提出了基于归一化Haar变换检测旋转对称函数的新方法.该方法具有易于计算机编程操作以及可以同时检测多种其他特殊逻辑函数等优点.
QIUXiao-hua(邱晓华“) +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
Current-mode CMOS multiplication circuits based on spectral techniques(基于谱技术的电流型CMOS乘法器)
Zhejiang Daxue xuebao. Lixue ban, 2003 本文应用开关信号理论,建立了基于谱技术的对称二值逻辑的传输电流开关理论,该理论能从开关级指导设计基于谱技术的对称二值电流型CMOS电路.在基于谱技术的对称二值代数中,"负","线加"和"乘"运算构成完备集,因此,应用传输电流开关理论设计的对称二值电流型电流镜和乘法器电路可以实现任意对称二值函数 .
YAOMao-qun(姚茂群)
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2002 分析了函数的RM展开式中乘积项所含的部分变量取反引起的变化,在此基础上提出了直接检测部分变量取反的RM型对称函数的新方法.
LIUGuan-sheng(刘观生) +2 more
doaj +1 more source
New method of detecting special function of decomposition map(基于分解图检测特殊函数的新方法)
Zhejiang Daxue xuebao. Lixue ban, 2008 特殊布尔函数在电路设计中有着独特的优点.本文从特殊函数的定义出发，导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理，着重介绍了基于分解图的相关定理在特殊函数检测中的应用，并以实例加以说明.本文为超大规模集成电路中单元电路的设计与化简提供了新的方法，对进一步完善布尔代数系统具有一定的实际应用意义.
ZHAOMei-ling(赵美玲) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2015 为简化布尔函数6类反对称变量的检测过程，提出了基于谱系数的检测算法.从逻辑变量反对称的定义出发，在分析反对称逻辑变量Rademacher-Walsh (RW)变换谱系数特性的基础上，提出了基于RW变换检测CN(xi | xj)、CE(xi|xj) 、CS(xi | xj) 、CS(xi | xj )、CS(xj|xi)、CS(xj|xi)6类反对称逻辑变量的算法.应用结果表明，该方法具有易操作和计算机编程简单等优点.
LIXiaohua(厉晓华)
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2001 基于归一化Haar变换谱技术，讨论了检测逻辑函数对称性的一种新方法.实例表明该方法具有直观、简便和准确的特点.
CHENGJie(程捷) +1 more
doaj +1 more source
Parameter estimation in exponential failure rate model using masked data(失效率为指数函数的模型中使用屏蔽数据的参数估计)
Zhejiang Daxue xuebao. Lixue ban, 2006 考虑一个由独立、不完全相同的单元组成的串联系统，使用屏蔽数据时的参数估计.当失效率为指数函数时，给出了参数的极大似然估计和Bayes估计.在Bayes估计中，假定未知参数的先验分布为对称的三角分布.主要考虑两单元串联系统，并通过数据模拟对极大似然估计和Bayes估计这两种方法进行了比较.
JIANGHong-yan(姜红燕) +1 more
doaj +1 more source