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