软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间： 2014-01-15
上传用户：dudu1210004
本文主要介绍对智能仪表中调节参数的一种新方法。米取了通用的徽调 电位器的硬件电路和经过数字化处理的软件方法, 使参数的调节及修正既方便又能 长期保存。文中给出了有关的数学推导、硬件电路及软件程序。
上传时间： 2013-12-21
上传用户：Late_Li
为了能够从同时存在常规PRI信号和复杂PRI信号并带有脉冲信号干扰或丢失的环境中正确分选出雷达信号，本文提出了一种序列差值直方图法（SDIF）与修正PRI变换法相结合的雷达信号分选方法，经过matlab仿真验证，该方法有着很好的分选效果。
上传时间： 2014-12-23
上传用户：ljd123456
运算放大器，开环电压增益AVOL的定义与量测方法。
上传时间： 2013-11-18
上传用户：rtsm07
提出了一种基于gm /ID方法设计的可变增益放大器。设计基于SMIC90nmCMOS工艺模型，可变增益放大器由一个固定增益级、两个可变增益级和一个增益控制器构成。固定增益级对输入信号预放大，以增加VGA最大增益。VGA的增益可变性由两个受增益控制器控制的可变增益级实现。运用gm /ID的综合设计方法，优化了任意工作范围内，基于gm /ID和VGS关系的晶体管设计，实现了低电压低功耗。为得到较宽的增益范围，应用了一种新颖的伪幂指函数。利用Cadence中spectre工具仿真，结果表明，在1.2 V的工作电压下，具有76 dB的增益，控制电压范围超过0.8 V，带宽范围从34 MHz到183.6 MHz，功耗为0.82 mW。
上传时间： 2013-11-10
上传用户：笨小孩
Multisim9安装方法,教会你如何完美安装不用愁
上传时间： 2013-10-23
上传用户：invtnewer
计算方法： 1) A值（相位）的计算：根据设置的相位值D（单位为度，0度-360度可设置），由公式A=D/360，得出A值，按四舍五入的方法得出相位A的最终值； 2) B偏移量值的计算：按B=512*(1/2VPP-VDC+20)/5； 3) C峰峰值的计算：按C=VPP/20V*4095；
上传时间： 2013-11-18
上传用户：xdqm
关于MOSFET应用时的热设计方法。
上传时间： 2013-10-31
上传用户：shen954166632
SIFT算法具有旋转、平移、尺度缩放和亮度的变化保持不变性的优点，也有算法复杂、计算时间长的缺点。本文提出了以街区距离代替欧式距离的新方法，来提高SIFT特征匹配效率，缩短匹配时间，提高SIFT算法的实时性。实验结果表明，该方法在保持图像匹配率和算法鲁棒性的同时，可以减少运算时间。
上传时间： 2013-10-28
上传用户：zhangzhenyu
为了提高图像去噪效果，提出了基于Contourlet域HMT模型的Cycle Spinning去噪方法。首先将待去噪图像进行循环平移，使用Contourlet域HMT模型对平移后的图像进行降噪处理，然后将降噪后的图像进行循环反平移，最后将不同循环平移量下的降噪图像进行平均处理，以减少去噪后图像的失真。实验结果表明，该方法不仅可以提高降噪后图像峰值信噪比，而且可以提高降噪后图像的视觉效果。
标签： Contourlet Spinning Cycle HMT
上传时间： 2014-12-23
上传用户：ddddddos
