Results 1 to 10 of about 8,002 (119)
A formal verification method: model checking(一种形式化验证方法：模型检验)
Zhejiang Daxue xuebao. Lixue ban, 2006 模型检验作为一种形式化验证方法，近年来在各种硬件、软件设计中得到了广泛应用.文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑，然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法，最后介绍了为避免内存爆炸而引入的符号模型检验技术.
YANGJun(杨军) +3 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2010 提出了一种基于整体退火遗传算法的动态IR drop分析方法.该方法在经典遗传算法基础上,引入父代竞争和适应函数模拟退火处理,优化了动态分析的输入向量,加快了分析速度.实验表明,与经典遗传算法相比,该方法提高了动态IR drop分析的准确性,提高了算法收敛速度,繁殖代数平均减少了35%,分析结果改进了10%左右.
ZHOUZhi-ming(周知名) +2 more
doaj +1 more source
Power-aware mapping based-on genetic algorithm for Network-on-Chip(基于遗传算法的片上网络低功耗映射)
Zhejiang Daxue xuebao. Lixue ban, 2010 随着片上网络(Network-on-Chip)集成度的提高,功耗逐渐成为设计的焦点.本文提出了一种在延时约束条件下,基于遗传算法的片上网络通信链路的低功耗映射算法.该算法使用数组方式编码染色体,并采用非常规码的交叉和变异运算因子.它充分利用遗传算法的群体优势,能快速有效地对通信功耗作优化.实验表明,该算法能平均减少50%左右的通信功耗.
DONGWen-xiao(董文箫) +3 more
doaj +1 more source
Computational and theoretical analysis of supervised dimensionality reduction(监督降维算法的计算和理论分析)
Zhejiang Daxue xuebao. Lixue ban, 2009 在小样本条件下,由于离散矩阵的奇异性,作为监督降维的传统线性鉴别分析(LDA)并不能直接计算.许多扩展算法被提出以克服此问题,一般可分为3类：基于类内离散矩阵零空间的方法、基于总体离散矩阵列空间的方法和基于其它子空间的方法.为了深入了解前2类算法的特性,作了计算和理论分析,并得出结论：在满足一定条件下（小样本高维数据一般都满足）,基于类内离散矩阵零空间和基于总体离散矩阵列空间的方法具有等价关系,仅最优矢量集的约束条件和实现途径有所区别.在人脸数据库ORL和YALE上的比较实验结果亦证实了上述结论.
ZHAOWu-feng(赵武锋) +2 more
doaj +1 more source
Design of ECL circuits based on parallel switches technique(基于并联开关技术的ECL电路设计)
Zhejiang Daxue xuebao. Lixue ban, 2001 本文首先指出了采用电压信号的多值电路中，在多个开关串联时存在的问题，进而提出了适合于ECL电路设计的两种将串联开关转换成并联开关的方法，并具体设计了采用并联开关的三值ECL电路.设计实例表明这些方法具有简便、规范的特点.用PSPICE对设计的电路进行模拟得到的结果表明，采用并联开关技术设计的电路不仅具有正确的逻辑功能，而且比采用串联开关设计的电路具有更快的速度.
YAOMao-qun(姚茂群) +2 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2010 在移位多项式的弱共轭基底的理论推导的基础上,提出了一种有限域上的并行比特乘法器的新结构.在由不可约三项式f(x)=xm+xk+ 1生成的域内,此种结构的并行比特乘法器需要m2个与门和m2 — 1个异或门.在同样的空间复杂度下,时间复杂度降低为,具有最短的关键路径.
LIDa-wei(李大为) +2 more
doaj +1 more source
Lithographic hotspot detection based on SVM and genetic algorithm(基于支持向量机及遗传算法的光刻热点检测)
Zhejiang Daxue xuebao. Lixue ban, 2011 提出一种基于支持向量机(SVM)及遗传算法(GA)的集成电路版图光刻热点检测方法.首先对版图样本进行离散余弦变换(DCT)以提取样本的频域特征，然后基于这些样本训练SVM分类器以实现对光刻热点的检测.为了提高光刻热点检测的精度及效率，采用遗传算法(GA)对频域特征进行选择，并同时优化SVM参数.实验结果表明，基于SVM及版图频域特征并结合遗传算法进行优化的光刻热点检测方法可以有效提高版图光刻热点的检测精度.
CAOKui-kang(曹葵康) +2 more
doaj +1 more source
Design of binary dynamic BiCMOS circuits(二值动态BiCMOS电路设计)
Zhejiang Daxue xuebao. Lixue ban, 2008 动态电路在当前低功耗设计中受到越来越多的关注，而兼具CMOS电路及TTL电路优点的BiCMOS电路的应用日益广泛.本文以一种n型BiCMOS动态电路为基础，提出了一种新的二值动态BiCMOS电路的通用结构及设计方法，根据该结构及方法设计的动态电路不仅集成度高、功耗低、速度快、电流驱动能力强，而且结构简单，设计方便，计算机模拟结果证明，设计的电路具有正确的逻辑功能，且速度快，功耗低.
HUXiao-hui(胡晓慧) +1 more
doaj +1 more source
Design of ECL flip-flop based on threshold-arithmetic algebraic system(基于阈算术代数系统的ECL触发器设计)
Zhejiang Daxue xuebao. Lixue ban, 2014 针对ECL触发器设计中存在电路结构复杂、设计过程繁琐等不足，在分析ECL电路特点和阈算术代数系统的基础上，设计出一种ECL算术运算单元电路，进而提出了基于阈算术代数系统的ECL触发器的设计方法，具体设计了 ECL二值主从型D触发器、ECL三值D锁存器以及ECL三值T触发器置数单元.采用TSMC 0. 18 µm工艺参数对所设计的电路进行HSPICE模拟，结果显示，所设计的电路具有正确的逻辑功能和良好的瞬态特性，验证了本方法的正确性.与以往的ECL触发器电路相比，本方法设计的ECL触发器电路结构有所简化 ...
YAOMaoqun(姚茂群) +1 more
doaj +1 more source
SET circuits design based on theory of transmission voltage-switches(基于传输电压开关理论的单栅极SET电路设计)
Zhejiang Daxue xuebao. Lixue ban, 2012 在分析了单电子晶体管(SET)的I-V特性后，通过对SET背景电荷的设置，使之具有类似PMOS或NMOS的电学特性；同时将传输电压开关理论引入到SET的电路设计中，并用单栅极SET实现了该理论的基本运算电路.随后以异或门和一位比较器为例，利用这些基本运算电路，进行了基于SET的开关级电路设计.最后，利用Pspice软件验证了所设计的电路逻辑功能正确，设计方法可行；电路的输入输出高低电平一致，具有良好的电压兼容性，易于级联.仿真结果表明，与基于互补结构设计的SET电路相比 ...
ZHANGZhuan(章专) +2 more
doaj +1 more source