-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架，对垃圾收集器的安全性和正确性，以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
文中从脉冲压缩信号时延和频移强耦合特性入手,结合弹载SAR的前斜视RD成像算法,推导了弹载SAR的移 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
在开发的实验平台上实现了这一传输过程。借助TI公司的DSP调试平台CCS把接收到的图像数据恢复成图像 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
提出了用一对正交天线来测量辐射源的极化,通过对此方法进行Matlab仿真实验,并分析实验结果,证明了 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
提出了一种改进的基于直接频率合成技术(DDS)的任意波形发生器在现场可编程门阵列(FPGA)上的实现 ...
by
宝啦宝呀|上传于 2015-06-17
|163次下载
-
介绍了由两个DC/DC开关电源模块并联构成的供电系统电路结构和工作原理。该系统采用ARM芯片STM3 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
为了提高太阳能光伏组件的充电效率以及适应外界气候变化，设计了一套具有自适应四种充电模式且具备最大功率 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
针对模块电源的发展趋势和有源钳位电路的工作原理，研究了一种采用磁放大技术和固定伏特秒控制技术的有源钳 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
提出一种基2FFT的FPGA方法,完成了基于FPGA高精度浮点运算器的FFT的设计。利用VHDL语言 ...
by
一线蓝光|上传于 2015-06-15
|163次下载
-
该ALU采取层次化设计方法，由控制模块、逻辑模块、加减法模块、乘法模块和除法模块组成，能实现32位有 ...
by
谷宗卿|上传于 2015-06-15
|163次下载
-
出了在电力系统中正确、合理地计量电参数的参数自适应准同步采样法不仅适用于线性系统、而且在非线性系统中 ...
by
宝啦宝呀|上传于 2015-06-01
|163次下载
-
最近搞了一个红外测温，在网上找了很久，用的比较多的芯片是MLX90614,在淘宝上看看其价格还挺贵的 ...
by
永不止步步|上传于 2015-06-01
|163次下载
-
数据加密标准DES是对密码体系中应用最广泛的算法之一。为了满足信息安全和加密型数据采集系统的秘钥的有 ...
by
宝啦宝呀|上传于 2015-05-13
|163次下载
-
基尔霍夫定律和元件特性是电路分析的两个基本依据，支路方程是元件特性的具体体现形式。随着计算机技术在电 ...
by
宝啦宝呀|上传于 2015-05-11
|163次下载
-
针对音频信号的冗余特性!提出了专用于广播系统的音频延迟器设计方案!利用CPLD 实现渐近延迟!改变了 ...
by
宝啦宝呀|上传于 2015-05-11
|163次下载
-
通过实验验证,系统的无线通信模块能正确地发射和接受信息,所设计的不停车自动收费系统运行稳定,车辆在有 ...
by
宝啦宝呀|上传于 2015-05-05
|163次下载
-
为实现设备中存在的低速数据光纤通信的同步复接/ 分接,提出一种基于FPGA 的帧同步头信号提取检测方 ...
by
YYJ|上传于 2015-05-29
|163次下载
-
数字下变频(DDC，Digital Down Conversion)是软件无线电系统的关键技术之一， ...
by
YYJ|上传于 2015-05-29
|163次下载
-
介绍了一种基于FPGA 的超高速数据采集与处理系统，给出了系统实现的方案，并详细阐述了各硬件 ...
by
YYJ|上传于 2015-05-28
|163次下载
-
目前工业探伤中所采用的A型扫描超声波探伤仪，是利用脉冲反射法进行探伤的，完全依靠观察、分析荧 ...
by
YYJ|上传于 2015-05-27
|163次下载
畅学电子
