软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间： 2014-01-15
上传用户：dudu1210004
整流滤波电路是直流稳压电源设备中常用电路，其中滤波电容的设计选取，直接影响到纹波电压的大小，关系到输出直流电压的质量。本文通过在设定条件下，依据整流滤波电路原理，阐述了纹波电压产生的过程，给出了一种滤波电容设计与选取计算方法，建立了电容选取的计算模型，描绘出了纹波电压、负载电阻与滤波电容之间关系曲线，并通过实验验证其科学性，有利于滤波电容的设计与选用。
上传时间： 2013-11-11
上传用户：kytqcool
基于图形处理器单元（GPU）提出了一种帧间差分与模板匹配相结合的运动目标检测算法。在CUDA-SIFT（基于统一计算设备架构的尺度不变特征变换）算法提取图像匹配特征点的基础上，优化随机采样一致性算法（RANSAC）剔除图像中由于目标运动部分产生的误匹配点，运用背景补偿的方法将静态背景下的帧间差分目标检测算法应用于动态情况，实现了动态背景下的运动目标检测，通过提取目标特征与后续多帧图像进行特征匹配的方法最终实现自动目标检测。实验表明该方法对运动目标较小、有噪声、有部分遮挡的图像序列具有良好的目标检测效果。
上传时间： 2013-10-09
上传用户：ifree2016
将模拟信号转换为数字信号后再进行处理,是当前信号处理普遍使用的方法,模数转换器（ADC）就是将模拟信号转换为数字信号的器件,所以计算其有效转换位数对系统性能评估就显得尤为重要。文中结合项目工程实践,讨论了ADC有效转换位数的两种测试方法:噪声测试法和信噪比测试法,并对两种方法进行了仿真与分析。
上传时间： 2013-12-17
上传用户：1184599859
提出了一种改进的基于直接频率合成技术（DDS）的任意波形发生器在现场可编程门阵列（FPGA）上的实现方法。首先将三角波、正弦波、方波和升/降锯齿波的波形数据写入片外存储器，当调用时再将相应的数据移入FPGA的片上RAM，取代分区块的将所有类型波形数据同时存储在片上RAM中的传统方法；再利用正弦波和三角波的波形在4个象限的对称性以及锯齿波的线性特性，通过硬件反相器对波形数据和寻址地址值进行处理，实现了以1/4的数据量还原出精度不变的模拟信号，从而将整体的存储量减小为原始设计方案的5%。经验证，这种改进方法正确可行，能够大大降低开发成本。
上传时间： 2013-12-25
上传用户：日光微澜
磁芯电感器的谐波失真分析 摘 要：简述了改进铁氧体软磁材料比损耗系数和磁滞常数ηB，从而降低总谐波失真THD的历史过程，分析了诸多因数对谐波测量的影响，提出了磁心性能的调控方向。 关键词：比损耗系数， 磁滞常数ηB ，直流偏置特性DC-Bias，总谐波失真THD Analysis on THD of the fer rite co res u se d i n i nductancShi Yan Nanjing Finemag Technology Co. Ltd., Nanjing 210033 Abstract: Histrory of decreasing THD by improving the ratio loss coefficient and hysteresis constant of soft magnetic ferrite is briefly narrated. The effect of many factors which affect the harmonic wave testing is analysed. The way of improving the performance of ferrite cores is put forward. Key words: ratio loss coefficient，hysteresis constant，DC-Bias，THD 近年来，变压器生产厂家和软磁铁氧体生产厂家，在电感器和变压器产品的总谐波失真指标控制上，进行了深入的探讨和广泛的合作，逐步弄清了一些似是而非的问题。从工艺技术上采取了不少有效措施，促进了质量问题的迅速解决。本文将就此热门话题作一些粗浅探讨。 一、 历史回顾 总谐波失真（Total harmonic distortion） ，简称THD，并不是什么新的概念，早在几十年前的载波通信技术中就已有严格要求<1>。1978年邮电部公布的标准YD/Z17－78“载波用铁氧体罐形磁心”中，规定了高μQ材料制作的无中心柱配对罐形磁心详细的测试电路和方法。如图一电路所示，利用LC组成的150KHz低通滤波器在高电平输入的情况下测量磁心产生的非线性失真。这种相对比较的实用方法，专用于无中心柱配对罐形磁心的谐波衰耗测试。 这种磁心主要用于载波电报、电话设备的遥测振荡器和线路放大器系统，其非线性失真有很严格的要求。 图中 ZD —— QF867 型阻容式载频振荡器，输出阻抗 150Ω， Ld47 —— 47KHz 低通滤波器，阻抗 150Ω，阻带衰耗大于61dB， Lg88 ——并联高低通滤波器，阻抗 150Ω，三次谐波衰耗大于61dB Ld88 ——并联高低通滤波器，阻抗 150Ω，三次谐波衰耗大于61dB FD —— 30～50KHz 放大器， 阻抗 150Ω， 增益不小于 43 dB，三次谐波衰耗b3(0)≥91 dB, DP —— Qp373 选频电平表，输入高阻抗， L ——被测无心罐形磁心及线圈， C ——聚苯乙烯薄膜电容器CMO-100V-707APF±0.5%,二只。 测量时，所配用线圈应用丝包铜电磁线SQJ9×0.12(JB661-75)在直径为16.1mm的线架上绕制 120 匝， （线架为一格） ， 其空心电感值为 318μH（误差1％） 被测磁心配对安装好后，先调节振荡器频率为 36.6～40KHz， 使输出电平值为+17.4 dB， 即选频表在 22′端子测得的主波电平 （P2）为+17.4 dB，然后在33′端子处测得输出的三次谐波电平（P3）， 则三次谐波衰耗值为：b3(+2)= P2+S+ P3 式中：S 为放大器增益dB 从以往的资料引证， 就可以发现谐波失真的测量是一项很精细的工作，其中测量系统的高、低通滤波器，信号源和放大器本身的三次谐波衰耗控制很严，阻抗必须匹配，薄膜电容器的非线性也有相应要求。滤波器的电感全由不带任何磁介质的大空心线圈绕成，以保证本身的“洁净” ，不至于造成对磁心分选的误判。 为了满足多路通信整机的小型化和稳定性要求， 必须生产低损耗高稳定磁心。上世纪 70 年代初，1409 所和四机部、邮电部各厂，从工艺上改变了推板空气窑烧结，出窑后经真空罐冷却的落后方式，改用真空炉，并控制烧结、冷却气氛。技术上采用共沉淀法攻关试制出了μQ乘积 60 万和 100 万的低损耗高稳定材料，在此基础上，还实现了高μ7000～10000材料的突破，从而大大缩短了与国外企业的技术差异。当时正处于通信技术由FDM（频率划分调制）向PCM（脉冲编码调制） 转换时期， 日本人明石雅夫发表了μQ乘积125 万为 0.8×10 ，100KHz）的超优铁氧体材料<3>，其磁滞系数降为优铁
上传时间： 2014-12-24
上传用户：7891
电路板级的电磁兼容设计:本应用文档从元件选择、电路设计和印制电路板的布线等几个方面讨论了电路板级的电磁兼容性（EMC）设计。本文从以下几个部分进行论述：第一部分：电磁兼容性的概述第二部分：元件选择和电路设计技术第三部分：印制电路板的布线技术附录A：电磁兼容性的术语附录B：抗干扰的测量标准第一部分 — 电磁干扰和兼容性的概述电磁干扰是现代电路工业面对的一个主要问题。为了克服干扰，电路设计者不得不移走干扰源，或设法保护电路不受干扰。其目的都是为了使电路按照预期的目标来工作——即达到电磁兼容性。通常，仅仅实现板级的电磁兼容性这还不够。虽然电路是在板级工作的，但是它会对系统的其它部分辐射出噪声，从而产生系统级的问题。另外，系统级或是设备级的电磁兼容性必须要满足某种辐射标准，这样才不会影响其他设备或装置的正常工作。许多发达国家对电子设备和仪器有严格的电磁兼容性标准；为了适应这个要求，设计者必须从板级设计开始就考虑抑制电子干扰。
上传时间： 2013-10-12
上传用户：xiaoyaa
AutoCAD是美国Autodesk公司首次于1982年生产的自动计算机辅助设计软件，用于二维绘图、详细绘制、设计文档和基本三维设计。Autodesk公司借助世界领先的二维和三维设计软件之一--AutoCAD ，软件中强大、灵活的功能，实现卓越的设计和造型。 AutoCAD 2012特点： (1)具有完善的图形绘制功能。 (2)有强大的图形编辑功能。 (3)可以采用多种方式进行二次开发或用户定制。 (4)可以进行多种图形格式的转换，具有较强的数据交换能力。 (5)支持多种硬件设备。 (6)支持多种操作平台。 (7)具有通用性、易用性，适用于各类用户此外，从AutoCAD2000开始，该系统又增添了许多强大的功能，如AutoCAD设计中心（ADC）、多文档设计环境。 AutoCAD 2012官方简体中文正式版安装说明： 1.启动安装 Autodesk AutoCAD 2012 2.输入AutoCAD安装序列号： 666-69696969, 667-98989898, 400-45454545 3.输入AutoCAD密匙： 001D1 4.完成安装，重启AutoCAD。 5.点击激活按钮之前 你有两个选择: a)禁用您的网络或拔掉网线; b)点击激活后它会告诉您,您的序列号是错误的,这时点击上一步等一会再点击激活即可。 选择了a或b后看下一步。 6.在激活界面中选择我拥有一个Autodesk激活码 7.一旦到了激活屏幕:启动注册机如果你是32位的请启用32位的注册机如果是64位的请启动64位的注册机。 8.先粘贴激活界面的申请号至注册机中的Request中， 9.点击Generate算出激活码,在注册机里点Mem Patch键，否则无法激活，提示注册码不正确。 10.最后复制Activation中的激活码至“输入激活码”栏中，并点击下一步，即会提示激活成功。
上传时间： 2013-11-16
上传用户：zxh122
利用v自步离散法，得到变换器输入控制变量与状态变量之间的直接映射关系，基于混杂系统理论分析系统的动态方程，建立其分段仿射模型。在此模型的基础上，结合非线性预测控制算法，通过模型预测系统的输出，利用反馈校正误差，给出二次型性能指标的优化计算方法，并由此设计预测控制器。最后，以Buck功率变换器为研究对象，通过与峰值电流控制算法的仿真结果进行比较，验证模型的正确性以及控制器设计的有效性。
上传时间： 2013-10-30
上传用户：teddysha
对并联谐振逆变器的工作原理(即换流过程) 进行了分析,详细地分析并联逆变器各种情况下的工作状态;通过分析得出逆变器的最佳工作状态,即容性工作状态。对锁相环的结构做了简要分析,并给出其相位模型;在此基础上以CD4046为例介绍锁相环(PLL) 电路参数的计算方法。设计了一种他激重复扫频转自激的逆变器启动电路,大大提高了逆变器启动的成功率。
上传时间： 2013-10-26
上传用户：busterman
