才是
共 2 篇文章
才是 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 2 篇文章，持续更新中。
三菱电机可视化整合制胜原动力
<P>目前，制造业所处的环境正在发生显著的变化。伴随着激烈的价格竞争与提高顾客满意度的需求，不仅需要提高生产力、提高质量、提高成品率，生产现场还需要能够应对迅速变化的措施。</P>
<P>一直以来，三菱电机作为FA产品综合制造商，致力于提高机器、设备的功能和性能，为客户提供多样化的产品。而根据实际结果和经验找出生产现场中潜在的问题、并实施变革，这才是今后的使命。</P>
一种面向瞬时故障的容错技术的形式化方法
<span id="LbZY">软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形