期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于硬件可编程逻辑的SAT求解算法研究与进展 被引量:4
1
作者 马柯帆 肖立权 +1 位作者 张建民 黎铁军 《计算机工程与科学》 CSCD 北大核心 2016年第4期634-639,共6页
布尔可满足性SAT问题作为第一个被证明的NP完全问题,是计算机理论与应用的核心问题,有着重要的应用价值,因此近年来涌现了各种各样SAT求解器。但是,SAT求解器的运算效率始终是影响其应用的关键因素,所以利用硬件的高性能与并行性来加速... 布尔可满足性SAT问题作为第一个被证明的NP完全问题,是计算机理论与应用的核心问题,有着重要的应用价值,因此近年来涌现了各种各样SAT求解器。但是,SAT求解器的运算效率始终是影响其应用的关键因素,所以利用硬件的高性能与并行性来加速SAT求解过程已成为验证领域的一个研究热点。归纳总结了在SAT求解过程中,利用硬件现场可编程门逻辑FPGA的并行性和灵活性加速求解过程的各种算法研究,着重总结分析了应用型SAT求解器的加速策略。通过对各种方法的深入分析,指出它们的优缺点,为未来的研究提供了思路。 展开更多
关键词 现场可编程门逻辑 可满足性 求解器
在线阅读 下载PDF
基于FPGA的QAM信号发生器设计 被引量:1
2
作者 郝小江 缪志农 黄昆 《中国测试》 CAS 2010年第2期53-55,共3页
在直接数字频率合成技术原理和正交幅度调制信号发生器原理的基础上,利用FPGA的DSP开发工具DSPBuilder对正交幅度调制信号发生器建模设计,对模型进行算法仿真产生QAM信号。然后利用ALTERA公司提供的Singalcompiler工具对其进行编译,产生... 在直接数字频率合成技术原理和正交幅度调制信号发生器原理的基础上,利用FPGA的DSP开发工具DSPBuilder对正交幅度调制信号发生器建模设计,对模型进行算法仿真产生QAM信号。然后利用ALTERA公司提供的Singalcompiler工具对其进行编译,产生QuartusII能够识别的VHDL源程序和ATOM网表文件,同时用ModelSim和QuartusII进行功能仿真和时序仿真,仿真结果表明设计方法的正确性和实用性。 展开更多
关键词 现场可编程门逻辑 正交幅度调制信号发生器 直接数字频率合成 DSP BUILDER 仿真
在线阅读 下载PDF
一种用于嵌入式软核的动态可重构容错方案 被引量:2
3
作者 谭龙生 梁华国 王存 《合肥工业大学学报(自然科学版)》 CAS CSCD 北大核心 2015年第11期1502-1507,共6页
FPGA的应用使得电路设计及实现具有更大的灵活性,但同时由于其结构特性,FPGA也更易受到外界的影响,发生瞬态故障,引起软错误。FPGA动态可重构功能的出现及应用为提高FPGA电路设计可靠性提供了一种解决方案。文章提出了一种针对嵌入式软... FPGA的应用使得电路设计及实现具有更大的灵活性,但同时由于其结构特性,FPGA也更易受到外界的影响,发生瞬态故障,引起软错误。FPGA动态可重构功能的出现及应用为提高FPGA电路设计可靠性提供了一种解决方案。文章提出了一种针对嵌入式软核的重构容错方案,以三模冗余为基础,通过处理器之间的相互控制方法,在实现快速检错的同时,降低了硬件开销及时间开销。 展开更多
关键词 现场可编程门逻辑阵列 可重构 嵌入式 三模冗余
在线阅读 下载PDF
基于Nios Ⅱ的高精度多路温度测量系统设计 被引量:3
4
作者 杨秀增 孙友明 《仪表技术与传感器》 CSCD 北大核心 2010年第7期72-73,77,共3页
设计了基于Nios Ⅱ的高精度多路温度测量系统。采用DS18B20温度传感器,并设计了DS18B20控制IP核,采用USB-UART桥集成芯片CP2101实现USB通信,通过例化DS18B20控制IP核设计多路温度测量系统,每一个传感器与FPGA的一个I/O口相连。以封闭于... 设计了基于Nios Ⅱ的高精度多路温度测量系统。采用DS18B20温度传感器,并设计了DS18B20控制IP核,采用USB-UART桥集成芯片CP2101实现USB通信,通过例化DS18B20控制IP核设计多路温度测量系统,每一个传感器与FPGA的一个I/O口相连。以封闭于保温瓶内的空气为测试对象,对系统进行测试。测试结果表明:该设计具有温度测量精度高、集成度高和抗干扰能力强等优点,有较好的实用价值。 展开更多
关键词 多路温度测量 DS18B20 现场可编程逻辑列阵 NiosⅡ
在线阅读 下载PDF
便携式e指数周期信号发生器的研制 被引量:1
5
作者 李翔 王磊 +1 位作者 付国恩 李海 《核电子学与探测技术》 CAS CSCD 北大核心 2013年第7期798-801,共4页
介绍了便携式e指数周期信号发生器(以下简称周期信号发生器)的研制。该周期信号发生器可以模拟反应堆的电离室探测器输出,产生按e为底的指数周期正负方向变化的微电流信号。该周期信号发生器适用于功率测量、周期测量以及反应性测量等... 介绍了便携式e指数周期信号发生器(以下简称周期信号发生器)的研制。该周期信号发生器可以模拟反应堆的电离室探测器输出,产生按e为底的指数周期正负方向变化的微电流信号。该周期信号发生器适用于功率测量、周期测量以及反应性测量等多种反应堆物理参数测量的专用仪器的调试和功能校验。本文介绍了周期信号发生器的硬件设计、软件设计、测试和应用。该周期信号发生器采用FPGA(现场可编程逻辑阵列)、单片机及LCM(液晶显示模块)等数字技术进行设计,具有集成度高、体积小、功耗低等特点,整机便于携带,操作简单直接,可以应用在狭小的工作空间。该周期信号发生器作为一种有效的手段,已经成功应用于多个反应堆相关设备的调试中。 展开更多
关键词 便携式e指数周期信号发生器 现场可编程逻辑陈列 单片机 微电流
在线阅读 下载PDF
基于FPGA的视频火灾检测系统设计 被引量:2
6
作者 李峰 付晓晓 《计算机工程与设计》 CSCD 北大核心 2012年第2期508-513,共6页
为了提高火焰检测精度和减少装置的成本,在Altera公司Cyclone II系列的FPGA实验板上实现了基于视频的火焰检测原型系统设计与开发。该系统在FPGA上建立混合高斯模型,对视频进行前期处理,极大地减少了类火焰区域的提取时间。随后将处理... 为了提高火焰检测精度和减少装置的成本,在Altera公司Cyclone II系列的FPGA实验板上实现了基于视频的火焰检测原型系统设计与开发。该系统在FPGA上建立混合高斯模型,对视频进行前期处理,极大地减少了类火焰区域的提取时间。随后将处理过的视频数据,通过DMA模式送入SOPC系统中的SDRAM存储,并进行后期算法处理。对20多个火灾视频进行测试与研究,实验结果表明,该系统能有效地检测火灾发生,具有较好的实时性,并且降低了成本,利于集成。 展开更多
关键词 视频火灾检测 混合高斯模型 FREEMAN链码 现场可编程逻辑 可编程片上系统
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部