容错机制
共 4 篇文章
容错机制 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 4 篇文章，持续更新中。
一种面向瞬时故障的容错技术的形式化方法
<span id="LbZY">软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形
基于遗传算法的组合逻辑电路设计的FPGA实现
<p>
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; line-height: 21px; ">基于遗传算法的组合逻辑电路的自动设计，依据给出的真值表，利用遗传算法自动生成符合要求的组合逻辑电路。由于遗传算法本身固有的并行性，采用软件实现的方法在速度上往往受到本质是串行计算的计算机制约，因此采用硬件化设
STD标准中信号模型同步和门控机制研究
<span style="color: rgb(0, 0, 0); font-family: 'Trebuchet MS', Arial; font-size: 11.818181991577148px; line-height: 21px;">随着对IEEE1641标准研究的逐渐深入，信号的构建成为了研究重点。对信号模型进行同步和门控控制，可以影响到TSF（测试信号框架）模型的输出，从而达到控制
基于Multisim11的饮水机制冷控制电路仿真设计
<span id="LbZY">文中结合制冷饮水机温控主要部件NTC热敏电阻的温度特性，利用Multisim11建立了该NTC的仿真模型，并根据模型参数设计了饮水机的自动制冷控制电路，最后对温控电路进行了基于水温变化的电路参数扫描分析，仿真运行的结果达到了设计预期要求。<br />
<img alt="" src="http://dl.eeworm.com/ele/img/829019-13062