软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间： 2014-01-15
上传用户：dudu1210004
本文主要介绍对智能仪表中调节参数的一种新方法。米取了通用的徽调 电位器的硬件电路和经过数字化处理的软件方法, 使参数的调节及修正既方便又能 长期保存。文中给出了有关的数学推导、硬件电路及软件程序。
上传时间： 2013-12-21
上传用户：Late_Li
摘要ADF4350是ADI公司生产的集成了电压控制振荡器(VCO)的宽带频率合成器。介绍了该宽带频率合成器的基本原理和工作特性，给出了一种用C8051F320单片机控制ADF4350的硬件电路结构和软件程序设计方法， 得到了应用在测量船的s和C频段信号源。该信号源通过上位机软件的简单设置， 可以方便地实现现场控制，满足测量船的使用要求。经测试表明，该信号源覆盖了测量船s和c频段系统的全部频点，锁相效果良好，控制简便，性能可靠。
上传时间： 2013-10-12
上传用户：hanbeidang
为了能够从同时存在常规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
差分对信号的设置与布线
上传时间： 2013-11-13
上传用户：wuchunzhong
关于MOSFET应用时的热设计方法。
上传时间： 2013-10-31
上传用户：shen954166632
TLV5616 12 位 3微秒 DAC 串行输入可编程设置时间 功耗
上传时间： 2013-11-02
上传用户：xinyuzhiqiwuwu
