-
本文工作使用基于Hoare逻辑的汇编语言级形式程序验证框架，对垃圾收集器的安全性和正确性，以及垃圾收 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
电源是把电能从一台设备转换到另一台设备的元件、子系统或系统，其通常从交流(AC)电源转换成直流(DC ...
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次下载
-
可穿戴生命体征监护(VSM)设备正在改变着医疗保健行业，使我们随时随地都可以监护自己的生命体征和活动 ...
by
齐欣|上传于 2015-06-17
|163次下载
-
本文讨论了基于单片机的LED 点阵显示控制系统设计所用的各种方法，制作出一个以单片机作为控制单元的点 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
现在出的微控制器，几乎没有不带PWM输出的。PWM一般都用特殊的定时器电路实现。
PW ...
by
永不止步步|上传于 2015-06-17
|163次下载
-
该应用报告描述了旋转检测器的实现，该旋转检测器使用一对可检测磁场的巨磁阻GMR（Giant Magn ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
通过分析滞环控制的特点,采用串联电阻采样技术,结合匹配电流源结构,在保证响应速度和采样精度的同时,降 ...
by
谷宗卿|上传于 2015-06-17
|163次下载
-
串补用火花间隙的放电特性试验需要一种工频正弦平顶波高压试验电源。为此设计了一种程控波形发生器和与之相 ...
by
宝啦宝呀|上传于 2015-06-16
|163次下载
-
随着现代社会汽车数量的日益增多，汽车防撞技术的研究已成为保障人民生命安全和提高运输业的关键。课题旨在 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
人类的发展可分为三个阶段，第一个阶段是人类通过制造工具，扩展体力活动的能力；第二个阶段通过提高判断能 ...
by
齐欣|上传于 2015-06-16
|163次下载
-
介绍了由两个DC/DC开关电源模块并联构成的供电系统电路结构和工作原理。该系统采用ARM芯片STM3 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
设计了一种以FX3U系列PLC为控制核心的太阳能自动跟踪控制系统。该跟踪控制系统将视日运动轨迹跟踪与 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
为了提高太阳能光伏组件的充电效率以及适应外界气候变化，设计了一套具有自适应四种充电模式且具备最大功率 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
设计了一种基于L6562的单级PFC反激LED电源，阐述了该电源的工作原理，对相关公式进行了推导，对 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
出了一种新型的低成本单相在线不间断电源（UPS）。该系统包括具有功率因数校正（PFC）功能的整流/升 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
-
针对模块电源的发展趋势和有源钳位电路的工作原理，研究了一种采用磁放大技术和固定伏特秒控制技术的有源钳 ...
by
谷宗卿|上传于 2015-06-16
|163次下载
畅学电子
