基于硬件可编程逻辑的SAT求解算法研究与进展 被引量：4

1

作者 马柯帆 肖立权 +1 位作者 张建民 黎铁军 《计算机工程与科学》 CSCD 北大核心 2016年第4期634-639,共6页

布尔可满足性SAT问题作为第一个被证明的NP完全问题,是计算机理论与应用的核心问题,有着重要的应用价值,因此近年来涌现了各种各样SAT求解器。但是,SAT求解器的运算效率始终是影响其应用的关键因素,所以利用硬件的高性能与并行性来加速... 布尔可满足性SAT问题作为第一个被证明的NP完全问题,是计算机理论与应用的核心问题,有着重要的应用价值,因此近年来涌现了各种各样SAT求解器。但是,SAT求解器的运算效率始终是影响其应用的关键因素,所以利用硬件的高性能与并行性来加速SAT求解过程已成为验证领域的一个研究热点。归纳总结了在SAT求解过程中,利用硬件现场可编程门逻辑FPGA的并行性和灵活性加速求解过程的各种算法研究,着重总结分析了应用型SAT求解器的加速策略。通过对各种方法的深入分析,指出它们的优缺点,为未来的研究提供了思路。 展开更多

关键词 现场可编程门逻辑 可满足性 求解器

在线阅读 下载PDF 职称材料

便携式e指数周期信号发生器的研制 被引量：1

2

作者 李翔 王磊 +1 位作者 付国恩 李海 《核电子学与探测技术》 CAS CSCD 北大核心 2013年第7期798-801,共4页

介绍了便携式e指数周期信号发生器(以下简称周期信号发生器)的研制。该周期信号发生器可以模拟反应堆的电离室探测器输出,产生按e为底的指数周期正负方向变化的微电流信号。该周期信号发生器适用于功率测量、周期测量以及反应性测量等... 介绍了便携式e指数周期信号发生器(以下简称周期信号发生器)的研制。该周期信号发生器可以模拟反应堆的电离室探测器输出,产生按e为底的指数周期正负方向变化的微电流信号。该周期信号发生器适用于功率测量、周期测量以及反应性测量等多种反应堆物理参数测量的专用仪器的调试和功能校验。本文介绍了周期信号发生器的硬件设计、软件设计、测试和应用。该周期信号发生器采用FPGA(现场可编程逻辑阵列)、单片机及LCM(液晶显示模块)等数字技术进行设计,具有集成度高、体积小、功耗低等特点,整机便于携带,操作简单直接,可以应用在狭小的工作空间。该周期信号发生器作为一种有效的手段,已经成功应用于多个反应堆相关设备的调试中。 展开更多

关键词 便携式e指数周期信号发生器 现场可编程逻辑门陈列 单片机 微电流

在线阅读 下载PDF 职称材料

基于查表原理的单对磁极编码器研制 被引量：27

3

作者 郝双晖 刘勇 +1 位作者 刘杰 郝明晖 《中国电机工程学报》 EI CSCD 北大核心 2006年第19期165-168,共4页

与光电编码器相比,磁性编码器结构简单、易微型化、且不受尘埃及结雾的影响,但其分辨率和精度较低且难以提高,严重制约了其应用和发展。针对单对磁极编码器,深入分析了传统处理方式上存在的缺陷,提出一种基于标定查表的信号处理方式。... 与光电编码器相比,磁性编码器结构简单、易微型化、且不受尘埃及结雾的影响,但其分辨率和精度较低且难以提高,严重制约了其应用和发展。针对单对磁极编码器,深入分析了传统处理方式上存在的缺陷,提出一种基于标定查表的信号处理方式。采用六路霍尔传感器均布在圆周上,把变化的磁场转换成电压信号,经差分得到查表用三相电压信号。在离线状态下,用高精度光电编码器对电压信号与电机旋转角度进行标定,并把角度数据存储在EEPROM中。工作过程中采用三相电压信号分区间查表得到电机旋转角度值,用FPGA(programmablegatearrayField)进行信号处理,实现了分辨率15位,精度14位(16384线)的角度输出,能够满足电机恶劣环境下高精度位置检测的要求。 展开更多

关键词 单对磁极编码器 现场可编程逻辑陈列 查表

在线阅读 下载PDF 职称材料

基于FPGA的气动柔性手指的神经网络控制器设计 被引量：3

4

作者 杨庆华 邵铁锋 +1 位作者 鲍官军 张立彬 《中国机械工程》 EI CAS CSCD 北大核心 2006年第24期2604-2607,共4页

研究了气动柔性手指智能控制策略的硬件实现,设计了气动柔性手指的神经网络控制器。气动柔性手指神经网络控制器是在已经对气动柔性手指进行运动学和动力学分析的前提下,使用MATLAB对神经网络进行试训,依据训练所得的权值和阈值,在现场... 研究了气动柔性手指智能控制策略的硬件实现,设计了气动柔性手指的神经网络控制器。气动柔性手指神经网络控制器是在已经对气动柔性手指进行运动学和动力学分析的前提下,使用MATLAB对神经网络进行试训,依据训练所得的权值和阈值,在现场可编程门阵列集成环境下,基于超高速集成电路硬件描述语言完成的。该控制器适用于具有复杂智能控制策略且对实时性要求高的多手指控制系统。 展开更多

关键词 气动柔性手指 神经网络 现场可编程门陈列 并行处理 控制

在线阅读 下载PDF 职称材料

基于Nios Ⅱ的LED显示屏控制系统 被引量：7

5

作者 孙伟 龚兆岗 杨忠根 《上海海事大学学报》 北大核心 2005年第2期74-77,共4页

主要阐述以ALTERA公司的FPGA为核心的基于Nios Ⅱ软核的嵌入式LED显示屏控制系统的设计方法。简要介绍片上系统(SOC)和可编程片上系统(SOPC)的概念,以及使用SOPC技术的灵活性和优越性;从系统的角度提出LED显示屏控制系统的完整设计方案... 主要阐述以ALTERA公司的FPGA为核心的基于Nios Ⅱ软核的嵌入式LED显示屏控制系统的设计方法。简要介绍片上系统(SOC)和可编程片上系统(SOPC)的概念,以及使用SOPC技术的灵活性和优越性;从系统的角度提出LED显示屏控制系统的完整设计方案,给出基于Cyclone Ⅱ芯片的Nios Ⅱ的LED控制器框图,并得到在Quatus Ⅱ中进行仿真的结果;结果表明利用ALTERA 的Cyclone Ⅱ芯片设计实现LED显示屏控制器优势明显。 展开更多

关键词 LED显示屏控制器 NIOS Ⅱ 片上系统(SOC) 可编程片上系统(SOPC) 现场可编程门陈列(FPGA)

在线阅读 下载PDF 职称材料

变压器套管介质损耗在线监测装置 被引量：6

6

作者 王卓 黄新波 +1 位作者 邓凸 王朝阳 《广东电力》 2013年第4期72-76,共5页

设计了一种变压器电容型套管介质损耗在线监测装置。针对谐波分析法,提出利用IRIG-B码授时实现异地高精度同步采样,并采用EIA-485总线实现监测装置与套管智能电子设备(intelligent electronic devices,IED)之间通信的介质损耗测量方案... 设计了一种变压器电容型套管介质损耗在线监测装置。针对谐波分析法,提出利用IRIG-B码授时实现异地高精度同步采样,并采用EIA-485总线实现监测装置与套管智能电子设备(intelligent electronic devices,IED)之间通信的介质损耗测量方案。采用内嵌处理器软核NiosⅡ的现场可编程门阵列器件EP1C6Q240I7完成对模数转换采样芯片ADS8505的控制,采用数字信号处理器TMS320F28335对信号进行快速傅里叶变换等处理,监测终端将数据信息通过EIA-485总线传送至套管IED。试验结果表明,该装置介质损耗测量的精确度和稳定度都比传统装置有很大的提高。 展开更多

关键词 变压器 套管 介质损耗 在线监测 谐波分析法 IRIG-B码 现场可编程门陈列

在线阅读 下载PDF 职称材料

基于FPGA的VGA汉字显示系统设计与实现 被引量：10

7

作者 袁堂青 张玉璘 《济南大学学报（自然科学版）》 CAS 北大核心 2011年第1期36-39,共4页

提出一种基于Xilinx公司的Spartan-3E的FPGA显示方案,由于FPGA芯片具有可靠性高、编程灵活、体积小等优点,采用其控制VGA接口进行汉字显示,有效地解决了通用处理器控制VGA接口显示汉字的缺点。对新方案进行理论分析和实验,结果证明该方... 提出一种基于Xilinx公司的Spartan-3E的FPGA显示方案,由于FPGA芯片具有可靠性高、编程灵活、体积小等优点,采用其控制VGA接口进行汉字显示,有效地解决了通用处理器控制VGA接口显示汉字的缺点。对新方案进行理论分析和实验,结果证明该方案达到了预期效果。 展开更多

关键词 显示绘图陈列 现场可编程门陈列 VGA汉字显示

在线阅读 下载PDF 职称材料

基于FPGA的信号与系统实验箱信号源设计 被引量：6

8

作者 吴涛 徐春燕 彭宏 《实验室研究与探索》 CAS 北大核心 2009年第6期44-47,共4页

介绍了自主设计开发的信号与系统实验箱中信号源模块的软硬件设计。整个设计以FPGA为核心,Quaturs Ⅱ为开发平台,采用VHDL语言,利用直接数字频率合成技术实现。可以通过灵活的按键开关进行频率、波形选择,输出实验模块所需信号。经仿真... 介绍了自主设计开发的信号与系统实验箱中信号源模块的软硬件设计。整个设计以FPGA为核心,Quaturs Ⅱ为开发平台,采用VHDL语言,利用直接数字频率合成技术实现。可以通过灵活的按键开关进行频率、波形选择,输出实验模块所需信号。经仿真验证和实际运行结果表明,信号源模块满足设计要求,在实际教学中获得良好效果。 展开更多

关键词 现场可编程门陈列 信号源 直接数字频率合成 信号与系统实验 超高速集成电路硬件描述语言

在线阅读 下载PDF 职称材料

消除CPLD/FPGA器件设计中的毛刺 被引量：10

9

作者 何伟 张玲 《重庆大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第12期69-73,共5页

复杂可编程逻辑器件CPLD和现场可编程门列阵FPGA在现代数字系统设计中起着越来越重要的作用 ,但系统设计中出现的毛刺往往成为系统设计成功与否的障碍。本文介绍了CPLD FPGA设计中毛刺产生的原因 ,详细分析了在EDA环境下对毛刺进行判断... 复杂可编程逻辑器件CPLD和现场可编程门列阵FPGA在现代数字系统设计中起着越来越重要的作用 ,但系统设计中出现的毛刺往往成为系统设计成功与否的障碍。本文介绍了CPLD FPGA设计中毛刺产生的原因 ,详细分析了在EDA环境下对毛刺进行判断与定位的原理 ,论述了利用EDA工具消除毛刺的 3种方法与具体实现。通过实例分析表明 ,借助于功能强大的EDA工具 ,不仅可以在设计中十分方便地发现毛刺 ,而且可以精确定位 ,进而寻找消除毛刺的最佳方法和进行结果的验证。 展开更多

关键词 CPLD/FPGA器件 毛刺 复杂可编程逻辑器件 现场可编程门列阵 电子设计自动化 EDA 竞争-冒险现象 大规模集成电路 数字系统设计

在线阅读 下载PDF 职称材料

海洋石油地震勘探拖缆模拟系统设计与实现 被引量：2

10

作者 曹桂平 宋克柱 +1 位作者 杨俊峰 王砚方 《核电子学与探测技术》 CAS CSCD 北大核心 2012年第8期937-941,共5页

大容量数据模拟系统一方面用于对现有系统进行极端性测试,揭露被测试系统存在的问题,从而使得系统更加完善;另一方面为被测试系统应用于更加严格条件下的工作做前导性试验和准备。论文基于海上石油勘探实际应用中的一个拖缆模拟系统,详... 大容量数据模拟系统一方面用于对现有系统进行极端性测试,揭露被测试系统存在的问题,从而使得系统更加完善;另一方面为被测试系统应用于更加严格条件下的工作做前导性试验和准备。论文基于海上石油勘探实际应用中的一个拖缆模拟系统,详细介绍了基于FPGA的大容量数据模拟系统的设计思想和基本实现,可作为此类应用的设计典范,提出的结构框架也可作为数据采集类应用的设计参考模型。 展开更多

关键词 现场可编程门陈列 数据模拟 Modelsim仿真

在线阅读 下载PDF 职称材料

基于FPGA的植物工厂控制系统研究 被引量：3

11

作者 曾松伟 刘敬彪 周巧娣 《农机化研究》 北大核心 2008年第4期92-95,共4页

提出了一个植物工厂控制系统的设计方案,并对方案的硬件实现进行了详细的阐述。系统的现场单元采用基于NIOS的嵌入式处理器为核心器件,以充分发挥基于FPGA的NiosⅡ处理器的优势。由FPGA-EP1C12Q240C8完成数据采集、数据处理及气候环境... 提出了一个植物工厂控制系统的设计方案,并对方案的硬件实现进行了详细的阐述。系统的现场单元采用基于NIOS的嵌入式处理器为核心器件,以充分发挥基于FPGA的NiosⅡ处理器的优势。由FPGA-EP1C12Q240C8完成数据采集、数据处理及气候环境参数调节等控制功能,并把数据通过串口传送给主机(PC机),从而实现控制系统的数据处理、监控和维护等功能。 展开更多

关键词 农业工程 植物工厂控制系统 设计 现场可编程门陈列

在线阅读 下载PDF 职称材料

基于IMPULSE C的GF(P)域椭圆加密算法的硬件加速 被引量：2

12

作者 崔强强 金同标 朱勇 《计算机应用》 CSCD 北大核心 2011年第9期2385-2388,共4页

研究了大素数域上的椭圆曲线加密算法,基于IMPULSE C语言,对该算法进行编程实现;在标准射影坐标系下,对点加和倍加算法进行并行化改进,并且在编程时利用编译器特性做了进一步的并行化。通过对加密算法合理的软硬件分割,将计算量大而且... 研究了大素数域上的椭圆曲线加密算法,基于IMPULSE C语言,对该算法进行编程实现;在标准射影坐标系下,对点加和倍加算法进行并行化改进,并且在编程时利用编译器特性做了进一步的并行化。通过对加密算法合理的软硬件分割,将计算量大而且复杂的点乘运算作为硬件部分,通过现场可编程门陈列(FPGA)进行硬件加速;将加密协议的其他部分作为软件部分,在传统CPU上执行,并将硬件部分生成VHDL代码。分别进行加密算法的CoDeveloper的桌面仿真和生成的硬件VHDL代码的ISE综合仿真。最后将该加速设计在Xilinx Virtex-5 xc5vfx70tFPGA开发板上作了实现,基于FPGA的实验结果表明,P-192上点乘运算处理在133 MHz时钟下用时2.9 ms,硬件资源分配合理,与现有的手工编写的HDL代码相比,具有并行加速优势。 展开更多

关键词 椭圆曲线密码学 素数域 射影坐标系 IMPULSE C 现场可编程门陈列

在线阅读 下载PDF 职称材料

视频运动矢量的获取FPGA实现 被引量：1

13

作者 杨数强 余成波 +1 位作者 龚大墉 崔焱喆 《计算机工程与设计》 CSCD 北大核心 2010年第3期571-573,646,共4页

提出一种视频运动检测的方法,通过融合帧间差法、色彩匹配法、区域特征匹配法、目标关键位置选取和光流场分析的视频运动检测方法,对视频数据流进行分析计算,获取运动目标的运动矢量。在Altera公司的FPGA试验平台DE1上,构建了视频运动... 提出一种视频运动检测的方法,通过融合帧间差法、色彩匹配法、区域特征匹配法、目标关键位置选取和光流场分析的视频运动检测方法,对视频数据流进行分析计算,获取运动目标的运动矢量。在Altera公司的FPGA试验平台DE1上,构建了视频运动检测矢量获取的验证系统。实践结果表明,该方法能够实时分析目标运动信息,快速准确获取视频流中目标的运动矢量。 展开更多

关键词 视频运动检测 帧差错 色彩匹配 光流场分析 现场可编程门陈列

在线阅读 下载PDF 职称材料

基于Nios Ⅱ的高精度多路温度测量系统设计 被引量：3

14

作者 杨秀增 孙友明 《仪表技术与传感器》 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 职称材料

基于FPGA的视频火灾检测系统设计 被引量：2

15

作者 李峰 付晓晓 《计算机工程与设计》 CSCD 北大核心 2012年第2期508-513,共6页

为了提高火焰检测精度和减少装置的成本,在Altera公司Cyclone II系列的FPGA实验板上实现了基于视频的火焰检测原型系统设计与开发。该系统在FPGA上建立混合高斯模型,对视频进行前期处理,极大地减少了类火焰区域的提取时间。随后将处理... 为了提高火焰检测精度和减少装置的成本,在Altera公司Cyclone II系列的FPGA实验板上实现了基于视频的火焰检测原型系统设计与开发。该系统在FPGA上建立混合高斯模型,对视频进行前期处理,极大地减少了类火焰区域的提取时间。随后将处理过的视频数据,通过DMA模式送入SOPC系统中的SDRAM存储,并进行后期算法处理。对20多个火灾视频进行测试与研究,实验结果表明,该系统能有效地检测火灾发生,具有较好的实时性,并且降低了成本,利于集成。 展开更多

关键词 视频火灾检测 混合高斯模型 FREEMAN链码 现场可编程逻辑门 可编程片上系统

在线阅读 下载PDF 职称材料

基于DSP＋FPGA的柔性臂混合控制系统设计 被引量：1

16

作者 廖亦凡 廖永忠 高金定 《计算机工程与应用》 CSCD 北大核心 2008年第30期237-238,共2页

针对难以控制的柔性机械臂,设计了强鲁棒性、强自适应能力的模糊滑模控制策略;并针对控制对象与控制算法的复杂性,设计了基于DSP+FPGA的控制系统,保证了系统的实时性和精确度。

关键词 数字信号处理 现场可编程门陈列 柔性机械臂 模糊控制 滑模控制

在线阅读 下载PDF 职称材料

基于FPGA的QAM信号发生器设计 被引量：1

17

作者 郝小江 缪志农 黄昆 《中国测试》 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 职称材料

硬盘控制器的FPGA实现 被引量：1

18

作者 王星睿 林涛 《郑州轻工业学院学报（自然科学版）》 CAS 2006年第4期89-91,共3页

介绍了以FPGA为基础,以Verilog硬件描述语言为载体,实现对硬盘控制的方法.该方法能够实现IDE硬盘的PIO模式或DMA模式的数据存储,并利用WishBone片上总线实现和系统中其他部分的连接,可广泛应用于视频、音频等需要大量数据存储的系统中,... 介绍了以FPGA为基础,以Verilog硬件描述语言为载体,实现对硬盘控制的方法.该方法能够实现IDE硬盘的PIO模式或DMA模式的数据存储,并利用WishBone片上总线实现和系统中其他部分的连接,可广泛应用于视频、音频等需要大量数据存储的系统中,完成对数据的高速安全存储. 展开更多

关键词 硬盘控制器 现场可编程门陈列 IDE硬盘 WishBone片上总线 PIO模式 DMA模式

在线阅读 下载PDF 职称材料

FPGA技术在相位精度指标测试中的应用

19

作者 赵巨波 李雪光 +1 位作者 吴初辉 宫国志 《系统工程与电子技术》 EI CSCD 北大核心 2004年第3期400-403,共4页

根据现场可编程门陈列(fieldprogrammablegatearray,FPGA)技术集成度高、体积小、工作稳定、引入随机误差小,设计的复杂程度低等特点,通过设计FPGA芯片,开发研制了同时测量12路定位信息、6路测速信息的相位随机误差和漂移误差的测试系统... 根据现场可编程门陈列(fieldprogrammablegatearray,FPGA)技术集成度高、体积小、工作稳定、引入随机误差小,设计的复杂程度低等特点,通过设计FPGA芯片,开发研制了同时测量12路定位信息、6路测速信息的相位随机误差和漂移误差的测试系统,提高了连续波干涉仪系统的可靠性和稳定性,提高了信道的工作质量,对高精度外弹道测量有一定的指导意义。 展开更多

关键词 现场可编程门陈列 相位精度 计数模块 嵌入阵列

在线阅读 下载PDF 职称材料

基于FPGA的实时PFFT处理器的高效实现

20

作者 凌小峰 宫新保 金荣洪 《上海交通大学学报》 EI CAS CSCD 北大核心 2012年第11期1811-1815,共5页

提出了一种在现场可编程门陈列(FPGA)器件上高效计算实时离散傅里叶变换(DFT)的处理器.该处理器采用实时质因子傅里叶变换(PFFT)算法实现,应用级联流水架构来获得实时处理能力;利用基于查找表(LUT)的分布式算法来获得与FPGA器件基本逻... 提出了一种在现场可编程门陈列(FPGA)器件上高效计算实时离散傅里叶变换(DFT)的处理器.该处理器采用实时质因子傅里叶变换(PFFT)算法实现,应用级联流水架构来获得实时处理能力;利用基于查找表(LUT)的分布式算法来获得与FPGA器件基本逻辑单元适配的特性;利用质数点DFT的循环卷积特性来显著降低LUT的规模.根据该方法,设计了一个16位、1 105点的实时PFFT处理器,并在Xilinx Virtex5FPGA平台上进行了实现验证.结果表明,该处理器达到了比现有1 024点快速傅里叶变换(FFT)更少的资源占用和更高的资源利用效率. 展开更多

关键词 质因子傅里叶变换 快速傅里叶变换 现场可编程门陈列 分布式算法 级联流水结构

在线阅读 下载PDF 职称材料