软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(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
上传用户:笨小孩
为得到性能优良、符合实际工程的锁相环频率合成器,提出了一种以ADI的仿真工具ADIsimPLL为基础,运用ADS(Advanced Design System 2009)软件的快速设计方法。采用此方法设计了频率输出为930~960 MHz的频率合成器。结果表明该频率合成器的锁定时间、相位噪声以及相位裕度等指标均达到了设计目标。
上传时间: 2013-12-16
上传用户:萍水相逢
ADIS16334是一款薄型、完全校准的MEMS惯性测量单元(IMU)。图1为该封装的顶视图,其中包括四个安装孔,配备嵌入式安装架,有助于控制附加硬件的整体高度。安装孔为M2 × 0.4 mm或2至56个机械螺丝提供了足够的间隙。
上传时间: 2013-11-11
上传用户:taozhengxin
iSensor IMU安装技巧
上传时间: 2014-01-10
上传用户:asdgfsdfht
Quartus_II_11.0_x86破解器下载方法: 首先安装Quartus II 11.0软件(默认是32/64-Bit一起安装): 用Quartus_II_11.0_x86破解器(内部版).exe破解C:\altera\11.0\quartus\bin下的sys_cpt.dll文件(运行Quartus_II_11.0_x86破解器(内部版).exe后,直接点击“应用补丁”,如果出现“未找到该文件。搜索该文件吗?”,点击“是”,(如果直接把该破解器Copy到C:\altera\11.0\quartus\bin下,就不会出现这个对话框,而是直接开始破解!)然后选中sys_cpt.dll,点击“打开”。安装默认的sys_cpt.dll路径是在C:\altera\11.0\quartus\bin下)。 把license.dat里的XXXXXXXXXXXX 用您老的网卡号替换(在Quartus II 11.0的Tools菜单下选择License Setup,下面就有NIC ID)。 在Quartus II 11.0的Tools菜单下选择License Setup,然后选择License file,最后点击OK。 注意:license文件存放的路径名称不能包含汉字和空格,空格可以用下划线代替。 此软件已经通过了诺顿测试,在其它某些杀毒软件下,也许被误认为是“病毒”,这是杀毒软件智能化程度不够的原因,所以只能暂时关闭之。
标签: Quartus_II 11.0 86 破解
上传时间: 2013-11-01
上传用户:hebmuljb
计算方法: 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