软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间： 2014-01-15
上传用户：dudu1210004
电子发烧友网核心提示：本文是关于ADI数据转换器基础知识精华集锦，其中阐述了逐次逼近模数转换器的基本原理、算法及优缺点；ADC和DAC的直流规格和交流规格分析；DAC数模转换器详解及应用举例。 一、逐次逼近型模数转换器 1.基本逐次逼近模数转换器
上传时间： 2013-12-16
上传用户：takako_yang
针对准确测量油气水多相流各分相含量的问题，采用了电容层析成像技术完成油气水多相流各分相含量测量。通过仿真分析了采用有限元分析方法的电极间的灵敏度特性，探讨了测量中的"软场"特性；结合灵敏度的分析，对单元滤波图象重建进行了仿真对比，得到单元滤波对图像重建有很大的改善。说明采用电容层析成像技术测量各分相含量的方案是可行的。
上传时间： 2013-10-15
上传用户：hustfanenze
介绍数据采集器的指南
上传时间： 2013-11-17
上传用户：黑漆漆
本文将以ADS1252 ADC为例介绍在使用过采样数据转换器设计同步取样系统时需要考虑到的一些因素。
上传时间： 2013-11-25
上传用户：nanfeicui
以某高速实时频谱仪为应用背景，论述了5 Gsps采样率的高速数据采集系统的构成和设计要点，着重分析了采集系统的关键部分高速ADC（analog to digital，模数转换器）的设计、系统采样时钟设计、模数混合信号完整性设计、电磁兼容性设计和基于总线和接口标准（PCI Express）的数据传输和处理软件设计。在实现了系统硬件的基础上，采用Xilinx公司ISE软件的在线逻辑分析仪（ChipScope Pro）测试了ADC和采样时钟的性能，实测表明整体指标达到设计要求。给出上位机对采集数据进行处理的结果，表明系统实现了数据的实时采集存储功能。
上传时间： 2014-11-26
上传用户：黄蛋的蛋黄
高速数据转换器评估平台(HSDCEP)是基于PC的平台，提供评估Maxim RF数/模转换器(RF-DAC，支持更新速率≥ 1.5Gsps)和Maxim数字上变频器(DUC)的齐全工具。HSDCEP可以在每对数据引脚产生速率高达1.25Gbps的测试码型，支持多达4条并行16位LVDS总线。通过USB 2.0端口将最长64兆字(Mw)、每字16位宽的数据码型装载至HSDCEP存储器
上传时间： 2013-10-25
上传用户：zycidjl
Protel99文件中导出坐标数据的操作流程
上传时间： 2013-10-26
上传用户：swz13842860183
随着数字仪控系统在工业行业应用的日益广泛，效率及可靠性更高的开关电源在数字仪控系统设计中的应用也越来越多。针对数字仪控系统工程中开关电源的典型应用配电回路，在电源扩容、电源冗余可靠性设计方面进行分析描述，同时结合试验分析由此设计而产生的电源模块均流问题对配电回路可靠性的影响。
上传时间： 2013-10-14
上传用户：huyiming139
电平转换在工业控制远距离数据传输过程中被广泛采用，取得了良好的效果。阐述了另一种数据传输的电路——电流环,该电路将电平信号转换为电流信号，以电流作为数据传输的载体，在恶劣工业环境下具有较强的抗噪、抗干扰的能力。
上传时间： 2014-12-24
上传用户：zhuce80001
