期刊文献+
共找到158篇文章
< 1 2 8 >
每页显示 20 50 100
结合二叉判决图和布尔可满足性的等价性验证算法 被引量:8
1
作者 严晓浪 郑飞君 +1 位作者 葛海通 杨军 《电子学报》 EI CAS CSCD 北大核心 2004年第8期1233-1235,共3页
本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比... 本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比主要有如下改进 :在AIG中结合多种引擎进行简化 ,不存在误判可能 ;充分利用了基于电路解算器和基于合取范式解算器各自优点 ,减小了SAT推理的搜索空间 .实验结果表明了本算法的有效性 . 展开更多
关键词 等价性验证 与/非图 孤立节点 二叉判决图 可满足性解算器
在线阅读 下载PDF
性能优化的现场可编程门阵列快速编译方法 被引量:1
2
作者 严晓浪 季爱明 沈海斌 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2005年第10期1481-1484,共4页
针对现场可编程门阵列(FPGA)的快速编译问题,提出了基于性能优化的动态复合宏单元(PODCM)库的编译方法.通过分析在数据流图(DFG)关键路径上生成PODCM的条件,给出了在DFG关键路径上生成PODCM的算法并建立了PODCM库.在此基础上,根据PODCM... 针对现场可编程门阵列(FPGA)的快速编译问题,提出了基于性能优化的动态复合宏单元(PODCM)库的编译方法.通过分析在数据流图(DFG)关键路径上生成PODCM的条件,给出了在DFG关键路径上生成PODCM的算法并建立了PODCM库.在此基础上,根据PODCM替换算法,运用PODCM替换DFG关键路径上的节点,减小了DFG关键路径的执行时间.实验结果表明,该方法在不增加资源需求,保持较高编译速度的情况下,优化了FPGA设计的性能. 展开更多
关键词 现场可编程门阵列 性能优化 动态复合宏单元 关键路径
在线阅读 下载PDF
一种时延驱动的VLSI布局方法 被引量:1
3
作者 严晓浪 戚肖宁 金玲 《电子学报》 EI CAS CSCD 北大核心 1993年第2期28-33,共6页
时廷特性对于高性能的超大规模集成电路(VLSI)来讲是十分重要的。本文提出了一个新的时延驱动的布局方法。在初始布局中,我们提出了给线网加权的新方法,在迭代改善布局中提出了等位场的概念。实验结果表明:这是一种有效的时延驱动布局... 时廷特性对于高性能的超大规模集成电路(VLSI)来讲是十分重要的。本文提出了一个新的时延驱动的布局方法。在初始布局中,我们提出了给线网加权的新方法,在迭代改善布局中提出了等位场的概念。实验结果表明:这是一种有效的时延驱动布局方法。 展开更多
关键词 集成电路 时延驱动 多层布线 VLSI
在线阅读 下载PDF
基于自然图像统计的无参考图像质量评价 被引量:18
4
作者 楼斌 沈海斌 +1 位作者 赵武锋 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2010年第2期248-252,共5页
为了解决无参考图像情况下的质量评价问题,基于变换域的自然图像统计模型,提出一种适用于白噪声、高斯模糊、JPEG2000压缩等失真类型的无参考图像质量评价方法.利用自然图像Contourlet变换域子带均值间的线性关系,用失真条件下保持不变... 为了解决无参考图像情况下的质量评价问题,基于变换域的自然图像统计模型,提出一种适用于白噪声、高斯模糊、JPEG2000压缩等失真类型的无参考图像质量评价方法.利用自然图像Contourlet变换域子带均值间的线性关系,用失真条件下保持不变的低频子带均值预测未失真的高频子带均值,以高频子带预测均值与实际均值之间的差异计量图像的失真.结合人类视觉系统特性,对不同尺度、不同方向子带及子带内不同区域进行选取与加权,综合得到对失真图像的客观质量评价.实验表明,该质量评价测度与主观质量评价有较好的一致性,且在性能上优于峰值信噪比(PSNR). 展开更多
关键词 无参考图像质量评价 自然图像统计模型 CONTOURLET变换 JPEG2000
在线阅读 下载PDF
面向IP核测试复用的测试环设计 被引量:8
5
作者 陆思安 严晓浪 +2 位作者 李浩亮 沈海斌 何乐年 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2004年第1期93-97,共5页
提出了一种改进的测试环单元设计.它在传统的P1500测试环单元基础上添加一个多路器,实现了对测试环单元的功能数据路径测试,并解决了测试环扫描链在扫描移位过程中的安全移位问题,同时还可以降低扫描移位过程中产生的动态测试功耗;在分... 提出了一种改进的测试环单元设计.它在传统的P1500测试环单元基础上添加一个多路器,实现了对测试环单元的功能数据路径测试,并解决了测试环扫描链在扫描移位过程中的安全移位问题,同时还可以降低扫描移位过程中产生的动态测试功耗;在分析了两种典型测试环P1500测试环以及飞利浦TestShell测试环的基础上,提出了一种三态测试环结构.该结构允许共用同一条测试总线的不同IP核直接连接到测试总线上. 展开更多
关键词 IP核测试复用 设计 改进测试环单元 三态测试环 系统芯片 半导体制造技术
在线阅读 下载PDF
一种低静态电流、高稳定性的LDO线性稳压器 被引量:25
6
作者 陈东坡 何乐年 严晓浪 《电子与信息学报》 EI CSCD 北大核心 2006年第8期1526-1529,共4页
该文提出了一种低静态电流、高稳定性低压差(LDO)线性稳压器。LDO中的电流偏置电路产生30nA的低温度漂移偏置电流,可使LDO的静态工作电流降低到4μA。另外,通过设计一种新型的动态Miller频率补偿结构使得电路的稳定性与输出电流无关,达... 该文提出了一种低静态电流、高稳定性低压差(LDO)线性稳压器。LDO中的电流偏置电路产生30nA的低温度漂移偏置电流,可使LDO的静态工作电流降低到4μA。另外,通过设计一种新型的动态Miller频率补偿结构使得电路的稳定性与输出电流无关,达到了高稳定性的设计要求。芯片设计基于CSMC公司的0.5μmCMOS混合信号模型,并通过了流片验证。测试结果表明,该稳压器的线性调整和负载调整的典型值分别为2mV和14mV;输出的最大电流为300mA;其输出压差在150mA输出电流,3.3V输出电压下为170mV;输出噪声在频率从22Hz到80kHz间为150μVRMS。 展开更多
关键词 低压差线性稳压器 静态电流 稳定性 线性和负载调整
在线阅读 下载PDF
基于自组织映射的手写数字识别的并行实现 被引量:9
7
作者 王一木 潘赟 +2 位作者 龙彦辰 严晓浪 宦若虹 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2014年第4期742-747,共6页
针对自组织映射(SOM)神经网络算法实现复杂的问题,提出SOM算法的简化方案及并行硬件电路架构.经典SOM算法中,权值更新函数须使用浮点数乘法、开方以及指数等运算,硬件并行实现十分困难.传统的SOM简化方法的聚类准确率不高,面对手写数字... 针对自组织映射(SOM)神经网络算法实现复杂的问题,提出SOM算法的简化方案及并行硬件电路架构.经典SOM算法中,权值更新函数须使用浮点数乘法、开方以及指数等运算,硬件并行实现十分困难.传统的SOM简化方法的聚类准确率不高,面对手写数字识别这类复杂应用,传统方法的识别率十分有限.提出的SOM简化算法可以在保证系统聚类准确率的同时,除去权值更新函数中的复杂运算,易于硬件的全并行实现.基于提出的SOM简化算法及并行电路架构,实现的手写数字识别系统的工作频率为50 MHz,单次输入的学习时间仅需200ns,实时处理性能可达400MCUPS.识别系统针对MNIST样本库的识别准确率超过81%,与经典SOM算法的准确率持平,明显优于其他SOM简化方法. 展开更多
关键词 自组织映射(SOM) 手写数字识别 并行实现 现场可编程门阵列(FPGA)
在线阅读 下载PDF
DES算法的高速流水线实现 被引量:16
8
作者 汪翼 沈海斌 +1 位作者 何乐年 严晓浪 《微电子学与计算机》 CSCD 北大核心 2003年第8期158-160,共3页
文章介绍了密码算法DES,分析了DES算法适用流水线实现的特点,并在此基础上介绍了一种流水线式高速实现DES加密解密的方法,这一算法同样可以应用于3-DES。
关键词 DES算法 高速流水线 密码算法 密码学 网络安全
在线阅读 下载PDF
基于事务的SoC验证策略 被引量:10
9
作者 孟庆 何乐年 +1 位作者 沈海斌 严晓浪 《半导体技术》 CAS CSCD 北大核心 2002年第6期29-32,共4页
Soc设计需要详细的验证,但是传统验证方式工作量巨大。基于事务的验证方法是一种高层次的抽象的验证方法,它可以显著减少验证所需要的时间和精力,提高设计效率,增强设计信心,并能够迅速发现设计缺陷,提高产品质量以及缩短设计周期。
关键词 SoC验证策略 SOC设计 事务 集成电路
在线阅读 下载PDF
基于失真模型的结构相似度图像质量评价 被引量:7
10
作者 楼斌 沈海斌 +1 位作者 赵武锋 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2009年第5期864-868,共5页
提出了一种基于图像失真模型及失真视觉特性的图像质量评价方法,解决了传统结构相似度(SSIM)度量不能同时有效评价不同失真强度与不同失真类型图像质量的问题.将图像失真分解为局部线性模糊及加性噪声,通过质量敏感区域加权与噪声SSIM补... 提出了一种基于图像失真模型及失真视觉特性的图像质量评价方法,解决了传统结构相似度(SSIM)度量不能同时有效评价不同失真强度与不同失真类型图像质量的问题.将图像失真分解为局部线性模糊及加性噪声,通过质量敏感区域加权与噪声SSIM补偿,实现各种失真类型SSIM的聚合以提高综合评价性能.实验结果表明,这种基于失真模型的区域加权SSIM能够一致评价各种失真类型、各种失真强度的图像质量,在LIVE图库上与主观评价分回归后的相关系数达到0.946 7,优于其他SSIM算法. 展开更多
关键词 结构相似度(SSIM) 图像质量评价 图像失真模型 人类视觉系统(HVS)
在线阅读 下载PDF
嵌入式存储器内建自测试的原理及实现 被引量:15
11
作者 陆思安 何乐年 +1 位作者 沈海斌 严晓浪 《固体电子学研究与进展》 CAS CSCD 北大核心 2004年第2期205-208,共4页
随着集成电路设计规模的不断增大 ,在芯片中特别是在系统芯片 SOC( system on a chip)中嵌入大量存储器的设计方法正变得越来越重要。文中详细分析了嵌入式存储器内建自测试的实现原理 ,并给出了存储器内建自测试的一种典型实现。
关键词 嵌入式存储器 存储器内建自测试 MARCH算法
在线阅读 下载PDF
一种热插拔控制芯片及其控制策略的设计 被引量:7
12
作者 章丹艳 赵梦恋 +1 位作者 吴晓波 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2006年第7期1137-1140,1145,共5页
为了解决插即用技术中电路板在带电背板上安全插入或拔出的问题,提出了一种低成本高性能的解决方案,设计与构成了一种集成电路热插拔控制器,可以实现对电路板和背板的多重保护,包括发生过流时,自动启动限流装置和电路阻断器;在电源电压... 为了解决插即用技术中电路板在带电背板上安全插入或拔出的问题,提出了一种低成本高性能的解决方案,设计与构成了一种集成电路热插拔控制器,可以实现对电路板和背板的多重保护,包括发生过流时,自动启动限流装置和电路阻断器;在电源电压发生过压时,隔离电源与负载,并启动外部的晶闸管撬棍电路来保护负载;此外,还设置了电源的欠压锁定和输出电压的监测管理功能.对所设计电路进行Specture仿真的结果与预期相符,表明系统的控制策略设计已经全部实现.在BCD(Bipolar-CMOS-DMOS)工艺下,完成了该热插拔控制器的芯片设计与制造,测试结果表明预期的保护功能均已实现. 展开更多
关键词 控制策略 过流保护 过压保护 BCD(双极型-CMOS-DMOS)工艺
在线阅读 下载PDF
一种低流速气体流量传感器的研制 被引量:9
13
作者 赵梦恋 吴晓波 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2005年第2期180-184,共5页
提出一种基于温差测量原理测量低流速气体流量的方法并进行了实验验证.传感器由一对集成温度传感器芯片与片状铂电阻热源构成,专门设计的片上恒流供电电路保证了热源加热功率的稳定.对该流量传感器样品进行测试,结果表明它能够提供与方... 提出一种基于温差测量原理测量低流速气体流量的方法并进行了实验验证.传感器由一对集成温度传感器芯片与片状铂电阻热源构成,专门设计的片上恒流供电电路保证了热源加热功率的稳定.对该流量传感器样品进行测试,结果表明它能够提供与方根流速近似成线性关系的输出.在低于 0.5 cm/s的低流速下,该传感器具有数十至数百毫伏的输出信号幅度,其测量下限可低至0.5 cm/s.这与理论分析结果基本相符.该流量传感器在低流速条件下具有高灵敏度和较高的稳定性. 展开更多
关键词 低速流体 流量传感器 集成电路 温度传感器
在线阅读 下载PDF
光伏电池最大功率点跟踪芯片的设计 被引量:6
14
作者 章丹艳 吴晓波 +1 位作者 赵梦恋 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2009年第11期2000-2005,共6页
为提高光伏电池的光电转换效率,设计一种基于开路电压法的光伏电池最大功率点跟踪(MPPT)控制芯片.利用光伏电池开路电压与最大功率点电压存在近似线性关系的特性,周期性采样光伏电池的开路电压,计算得到最大功率点电压.所设计的芯片结... 为提高光伏电池的光电转换效率,设计一种基于开路电压法的光伏电池最大功率点跟踪(MPPT)控制芯片.利用光伏电池开路电压与最大功率点电压存在近似线性关系的特性,周期性采样光伏电池的开路电压,计算得到最大功率点电压.所设计的芯片结构简单、成本低、稳定性好,除能够较精确地控制实现光伏电池的MPPT外,还能周期采样、定时更新当前MPPT电压,并实时监测光伏电池的输出电压,使环境条件变化时系统具有快速的动态响应.芯片除包含参考基准、电压调节器、振荡器及误差放大器等基本模块外,还集成了采用自举技术的驱动电路,提高了输出电压.电路采用1.5μm双极型-CMOS-DMOS(BCD)工艺设计制造,优化后的芯片面积约为3.0 mm×2.6 mm.测试结果表明,预期的电路功能已经基本实现. 展开更多
关键词 光伏电池 最大功率点跟踪 模拟控制 双极型-CMOS-DMOS(BCD)
在线阅读 下载PDF
AES算法的高速实现 被引量:16
15
作者 蔡宇东 沈海斌 严晓浪 《微电子学与计算机》 CSCD 北大核心 2004年第1期83-85,共3页
文章简要介绍了新的高级加密标准AES算法(Rijndael)的加密解密流程,分析了该算法自身的特点,解开了算法内部的轮循环,代之以流水线的方式实现。而且还分析了每次轮操作的内部过程,对轮操作内部的执行进行合并和简化,从而高速实现了AES... 文章简要介绍了新的高级加密标准AES算法(Rijndael)的加密解密流程,分析了该算法自身的特点,解开了算法内部的轮循环,代之以流水线的方式实现。而且还分析了每次轮操作的内部过程,对轮操作内部的执行进行合并和简化,从而高速实现了AES算法的加密和解密。 展开更多
关键词 AES算法 数据加密 状态矩阵 密钥 轮操作
在线阅读 下载PDF
直接LDA在人脸识别中的鉴别力分析 被引量:7
16
作者 赵武锋 沈海斌 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2010年第8期1479-1483,共5页
直接线性鉴别分析(DLDA)曾被声明利用类内离散矩阵零空间内外所有鉴别信息,为了分析声明的理论缺陷,对DLDA在人脸识别中的鉴别特性进行了研究.鉴于DLDA是在类间离散矩阵列空间中寻找最优解,理论分析从下面3方面内容展开:类间和类内离散... 直接线性鉴别分析(DLDA)曾被声明利用类内离散矩阵零空间内外所有鉴别信息,为了分析声明的理论缺陷,对DLDA在人脸识别中的鉴别特性进行了研究.鉴于DLDA是在类间离散矩阵列空间中寻找最优解,理论分析从下面3方面内容展开:类间和类内离散矩阵的列空间之间的关系、类间离散矩阵列空间与类内离散矩阵零空间的关系以及在保留全部鉴别矢量下的DLDA特性,结果表明,在小样本条件下,DLDA几乎没利用零空间内的信息,导致一些有用的鉴别信息的丢失;若保留全部的鉴别矢量,DLDA退化为类间离散矩阵的保留所有非零成分的主成分分析.在人脸数据库ORL和YALE上的比较实验结果显示:DLDA的识别率都次于其它几种线性鉴别分析扩展方法,与理论分析一致. 展开更多
关键词 人脸识别 主成分分析 线性鉴别分析 直接线性鉴别分析 小样本
在线阅读 下载PDF
阀控密封铅酸蓄电池充电控制集成电路设计 被引量:4
17
作者 赵梦恋 吴晓波 +2 位作者 汤俊斐 张毅 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2008年第9期1606-1610,共5页
为提高阀控密封铅酸(VRLA)蓄电池的充电效率和长期运行的可靠性与安全性,设计了一种智能型阀控密封铅酸蓄电池充电控制芯片,该芯片可控制充电电路实现4种不同模式的充电过程,在微处理器的支持下针对不同应用场合的需要进行编程,交替使用... 为提高阀控密封铅酸(VRLA)蓄电池的充电效率和长期运行的可靠性与安全性,设计了一种智能型阀控密封铅酸蓄电池充电控制芯片,该芯片可控制充电电路实现4种不同模式的充电过程,在微处理器的支持下针对不同应用场合的需要进行编程,交替使用4种模式对蓄电池进行充电,使充电效率及电池组的可靠性与安全性达到最佳化;此外该芯片内部设置了电源的欠压锁定、低电压的监测以及过流保护功能,该芯片已在1.5μm 50 V双极型-互补金属氧化半导体-双扩散金属氧化半导体(BCD)工艺下设计完成.测试结果表明,芯片工作正常,预期的全部充电控制功能均已实现. 展开更多
关键词 阀控密封铅酸蓄电池 涓流充电 大电流充电 恒压充电 双极型-互补金属氧化半导体-双扩散金属氧化半 导体工艺(BCD工艺)
在线阅读 下载PDF
基于运动目标检测的自嵌入视频水印 被引量:8
18
作者 楼斌 沈海斌 严晓浪 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2008年第3期382-386,共5页
为了在保证图像质量与算法鲁棒性的前提下,能有效保护图像的关键信息,提出了一种新的自嵌入视频水印算法.由于图像运动区域吸引人眼的注意力,并集中了监控视频的关键内容,该算法将视频中运动目标提取出来,进行类似JPEG压缩,再经过一种... 为了在保证图像质量与算法鲁棒性的前提下,能有效保护图像的关键信息,提出了一种新的自嵌入视频水印算法.由于图像运动区域吸引人眼的注意力,并集中了监控视频的关键内容,该算法将视频中运动目标提取出来,进行类似JPEG压缩,再经过一种独特的随机置乱,嵌入到视频I帧的离散余弦变换(DCT)系数最低位(LSB)中.实验表明,此水印算法保持了较高的视频图像质量,对码率影响很小,在I帧局部被篡改的情况下仍可恢复图像,有效地保护了视频内容.水印具备一定的鲁棒性,视频在较高压缩率下嵌入水印后,可承受原码率90%的重新压缩. 展开更多
关键词 视频水印 自嵌入 内容认证 运动目标检测
在线阅读 下载PDF
一种多处理器原型及其系统芯片设计方法 被引量:6
19
作者 黄凯 殷燎 +2 位作者 林锋毅 葛海通 严晓浪 《电子学报》 EI CAS CSCD 北大核心 2009年第2期305-311,共7页
随着嵌入式应用快速发展,系统芯片(SoC)设计日趋复杂.高效可靠的设计多处理器系统芯片逐渐成为一个巨大挑战.本文提出一种多处理器原型及其SoC设计方法,将多处理器及其通信统一建模于一个多层次、灵活和可配的软硬件原型中,通过分层次... 随着嵌入式应用快速发展,系统芯片(SoC)设计日趋复杂.高效可靠的设计多处理器系统芯片逐渐成为一个巨大挑战.本文提出一种多处理器原型及其SoC设计方法,将多处理器及其通信统一建模于一个多层次、灵活和可配的软硬件原型中,通过分层次、从高层抽象到底层实现逐步深入的方法解决软硬件接口验证问题和完善软硬件架构.H.264解码实验证明多处理器原型功能可行性和物理可实现性.基于该原型的多层次细化方法可有效确保SoC软硬件设计的正确性,并有助于软硬件结构协同设计优化. 展开更多
关键词 多处理器原型 系统芯片 软硬件协同设计
在线阅读 下载PDF
基于模型的光学校正系统的设计与实现 被引量:6
20
作者 王国雄 严晓浪 +1 位作者 史峥 陈志锦 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2004年第5期521-524,548,共5页
为了使光刻结果更好地符合版图设计,保证在硅片上制造出的电路在功能上与设计电路一致,提出了一种对掩模进行自动补偿的系统性技术.根据光刻机和光刻胶特性,模拟了实际的光刻过程.校正处理的核心是基于模型的掩模图形优化模块,通过调用... 为了使光刻结果更好地符合版图设计,保证在硅片上制造出的电路在功能上与设计电路一致,提出了一种对掩模进行自动补偿的系统性技术.根据光刻机和光刻胶特性,模拟了实际的光刻过程.校正处理的核心是基于模型的掩模图形优化模块,通过调用光刻模拟器直接对输入待校正的掩模图形进行优化.最后通过对掩模版图的验证,保证校正后的掩模图形满足成像图形的精度要求.应用实例证明,该系统准确实现了版图的精确设计与校正. 展开更多
关键词 光刻模拟 光学邻近校正 移相掩模
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部