一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方...
技术方案技术资料
📦 资源总数：24699
💻 源代码：28276
🔌 电路图：2
🔥 技术方案热门资料
查看全部24699个资源 »基于多重加密技术的一个三重加密方案
分组密码的应用非常广泛，但由于差分密码攻击和线性密码攻击的出现，使分组密码受到致命的打击，文章基于能够保护已有软件和硬件使用分组密码投资的目的，采用多重加密的思想，通过对密码体制强化的方法，提出了一个新的三重加密方案，并分析了其安全性特征，得到了安全性更强的一种算法。 ...
一种X波段频率合成器的设计方案
在非相参雷达测试系统中，频率合成技术是其中的关键技术.针对雷达测试系统的要求，介绍了一种用DDS激励PLL的X波段频率合成器的设计方案。文中给出了主要的硬件选择及具体电路设计，通过对该频率合成器的相位噪声和捕获时间的分析，及对样机性能的测试，结果表明该X波段频率合成器带宽为800 MHz、输...
高速PCB基础理论及内存仿真技术(经典推荐)
第一部分 信号完整性知识基础.................................................................................5第一章 高速数字电路概述.............................................
逆变器无线并联控制方案的设计与实现
首先对逆变器无线并联的原理作了简单的介绍。其次依据逆变器技术指标设计了一种以dsPIC30F3011芯片为核心控制器的无线并联控制方案，结合系统主电路和相关控制原理，给出了该系统的硬件设计和软件设计。最后以两台逆变器并联为研究对象进行实验验证，实验结果表明该控制方案能够达到技术指标的要求并且能够有效...
💻 技术方案源代码
查看更多 »📂 技术方案资料分类