一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方...
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方...
DAC3484 和DAC34H84 是德州仪器(Texas Instruments)新推出的低功耗,高密度,高采样率,高性能的数模转换芯片,这款芯片目前已经广泛的应用在通信行业。本文详细介绍了DAC3484,DAC34H84 与正交调制器的输出接口以及输出功率定标的计算问题。 ...
功率合成器是大功率固态高功放的重要组成器件。应用散射参数原理对功率合成器的合成效率进行了研究,对一路或者几路功率合成器输入失效时的合成效率进行了分析,并在某型大功率固态高功放功率合成器中进行了验证。...
用AD8362制作功率计,用于测量射频功率...
设计了用于汽车防撞雷达的功率放大器,为了消除在K波段的寄生效应的影响,设计了直流偏置、输入输出匹配网络、耦合隔直和电源滤波的微带网络。通过ADS仿真,得到了噪声系数为2.33,最大输出功率为18.5 dBm,增益为8.5 dB的功率放大器。文中设计的功率放大器适用于FMCW雷达系统。 ...