一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的...
预录像技术技术资料下载专区,收录74份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的...
分组密码的应用非常广泛,但由于差分密码攻击和线性密码攻击的出现,使分组密码受到致命的打击,文章基于能够保护已有软件和硬件使用分组密码投资的目的,采用多重加密的思想,通过对密码体制强化的方法,提出了一个新的三重加密方案,并分析了其安全性特征,...
基于模拟电子技术课程设计是电类专业学生重要实践环节的目的,通过介绍模拟电子系统的设计思路,结合音频信号发生器的设计实例,基于虚拟实验平台进行设计及仿真,得到了振荡器起振及等幅振荡过程的正确结果。使学生能够巩固和运用在《模拟电子技术》中所学的...