一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的...
任务容错调度算法技术资料下载专区,收录31份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的...
The Reactor design pattern handles service requests that are delivered concurrently to an application by one or more c...
文中在阐释电磁干扰及电磁兼容性的基础上,结合工程实践,分析了处于强电磁环境中的节目传输调度系统干扰信号的耦合路径,就抑制系统内外的电磁干扰、改善和提高系统的电磁兼容性指标的措施进行了论证。 ...
基于MDK RTX 的COrtex—M3 多任务应用设计 武汉理工大学 方安平 武永谊 摘要:本文描述了如何在Cortex—M3 上使用MDK RL—RTX 的方法,并给出了一个简单的多任务应用设计。 关...
自适应信号处理的理论和技术已经成为人们常用滤波和去噪技术。文中讲述了自适应滤波的原理以及LMS算法和RLS算法两种基本自适应算法的原理及步骤。并用MATLAB分别对两种算法进行了自适应滤波仿真和实现。 ...
对于大型矩阵的乘积运算和高阶方阵的求逆运算, 构造了一种适用于多处理机系统的并行算法. 该方法能较大地节约计算机的工作单元, 提高计算速度和效率, 同时给出了具体的并行程序和计算结果....
在研究和分析指纹图像的强度场和方向场原理基础上,根据人眼的视觉原理,提出一种指纹图像分割与增强的方法。按照指纹图像前景色梯度大,背景色梯度小,可以将指纹前景色很好的分割出来。并且通过纹线方向进行滤波增强处理,可以得到良好的效果。对随机抽取的...