软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间： 2014-01-15
上传用户：dudu1210004
本文是关于在印刷电路板 (PCB) 开发阶段使用数字输入/输出缓冲信息规范(IBIS) 模拟模型的系列文章之第 3 部分（共三部分）。“第 1 部分”讨论了 IBIS仿真模型的基本组成，以及它们在 SPICE 环境中产生的过程1。“第 2 部分”讨论了 IBIS 模型有效性验证。2 在设计阶段，我们会碰到许多信号完整性问题，而 IBIS 模型为这些问题带来了一种简单的解决方案。本文即“第 3 部分”，将介绍如何使用一个 IBIS 模型来提取一些重要的变量，用于信号完整性计算和确定 PCB 设计解决方案。请注意，该提取值是 IBIS 模型不可或缺的组成部分。
上传时间： 2013-10-15
上传用户：hehuaiyu
mos管门级驱动电阻计算
上传时间： 2013-12-19
上传用户：王楚楚
matlab中关于数字滤波器的函数介绍,很详细哦
上传时间： 2013-10-14
上传用户：685
关于MOSFET应用时的热设计方法。
上传时间： 2013-10-31
上传用户：shen954166632
计算二阶有源滤波、一阶有源滤波、阻容充放电。
上传时间： 2013-11-17
上传用户：hgmmyl
基于傅里叶计算全息技术，结合菲涅尔双随机相位加密系统，提出了一种数字图像加密方法。该方法以傅里叶计算全息图记录菲涅尔衍射双随机相位加密图像，傅里叶计算全息加密图像隐藏了原图像大小尺度信息，而且再现多个图像，必须针对加密图像共轭方可解密，提高了图像加密的安全性，并且解决了普通方法加密图像难存储的问题，作为原始明文的拥有者，两个随机相位板，应用波长，两次菲涅尔衍射的距离都可作为解密密钥。
上传时间： 2013-10-23
上传用户：YYRR
电磁阀设计中电磁力的工程计算方法
上传时间： 2013-11-21
上传用户：二驱蚊器
对于大型矩阵的乘积运算和高阶方阵的求逆运算, 构造了一种适用于多处理机系统的并行算法. 该方法能较大地节约计算机的工作单元, 提高计算速度和效率, 同时给出了具体的并行程序和计算结果.
上传时间： 2013-10-13
上传用户：zw380105939
本示例从简单的BUCK电路入手，详细说明了如何进行电源环路的计算和补偿，并通过saber仿真验证环路补偿的合理性。
上传时间： 2013-10-17
上传用户：shen954166632
