一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难...
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难...
为了将通信系统中数字基带信号调制到中频信号上,采用数字上变频技术,通过对数字I、Q两路基带信号进行FIR成形滤波、半带插值滤波、数字混频处理得到正交调制后的中频信号,最后经MATLAB仿真分析得到相应...
针对于目前CMOS电流控制电流传输器(CCCII)中普遍存在的温度依赖性问题,提出一个新的温度补偿技术。这种技术主要使用电流偏置电路和分流电路为CCCII产生偏置电流,其中偏置电路中的电流和μC'OX...
当今国内的医院护理系统的发展现状,采用MSP430单片机与DTMF技术设计医院呼叫对讲系统,该系统以MSP430F149单片机作为控制核心,采用DTMF信号收发电路、DTMF信号编译码电路、振...
前言智能仪表课采用了《单片机原理与接口技术》作为教材,这是一门实践性极强的课程,理论和实验教学的有机结合,是提高教学质量的唯一途径。为密切配合理论教学,针对SICElab赛思开放式综合实验/仿真系统,...
本文介绍了利用EDA技术设计出与MCS-51系列微处理器指令集完全兼容的8位嵌入式微处理器芯片的IP核,并经过验证获得了满意的效果。...
本文介绍了利用EDA技术设计出与MCS-51系列微处理器指令集完全兼容的8位嵌入式微处理器芯片的IP核,并经过验证获得了满意的效果。...
随着SoC设计复杂度的提高,验证已成为集成电路设计过程中的瓶颈,而FPGA技术的快速发展以及良好的可编程特性使基于FPGA的原型验证越来越多地被用于SoC系统的设计过程。本文讨论了GPS基带的验证方案...
基于解决缓冲区溢出这一普遍发生的网络安全漏洞的目的,通过软件、硬件技术层面的验证方法,结合人工检查、静态发现技术、动态防御技术等实验手段,得出了在向缓冲区中传输数据时可以通过数组边界检 ...
介绍了美军标MIL-STD-188-110C定义的短波波形,阐述了Turbo均衡原理并详细介绍了基于MMSE的线性Turbo均衡算法,对MIL-STD-188-110C中定义的波形5在12 kHz和2...