用cpld实现曼彻斯特编码\r\n用verilog HDL进行曼彻斯特编码，用于通信中
上传时间： 2013-09-07
上传用户：786334970
软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间： 2014-01-15
上传用户：dudu1210004
现代信息处理应用中，对模数转换器的速度、精度、功耗和动态性能等关键性能指标不断提出更高的要求。针对模数转换的实际应用，提出并设计了一种基于TI公司生产的双通道14 位 250MSPS 低功耗A / D转换器 ADS4249的RGB视频编码器电路设计。这款A / D转换器的技术创新点在于其完美的实现高动态性能的同时又能拥有1.8 V超低功耗。这一特性使得ADS4249非常适合多载波，宽带通信的信号处理应用。
上传时间： 2013-10-28
上传用户：kiklkook
设计了一种集编码器信号接收、光电隔离、鉴相、频率电压转化和电压调整输出功能于一体的综合性电路，并对电路各组成部分作了较为详细的分析和阐述。实践证明，该电路通用性强、操作简单、性能可靠、实用性强。
上传时间： 2013-11-25
上传用户：joheace
VD5026，VD5027是CMOS大规模数字集成电路(见图1)。前者是编码器，后者是译码器。他们组合应用起来构成一个发射—接收数字编译码系统。
上传时间： 2013-12-26
上传用户：jennyzai
编码规范(华为)
上传时间： 2013-11-09
上传用户：wentianyou
为了提升电力飞机配电系统电压供应品质，本论文利用重构控制理论来设计电压调节器用以有效的达到电压调节的目的。利用Dobson和Chiang提出的电力系统模型并假设在配电系统中电容器与变压器为有效的控制输入，在本论文提出了电压调节器设计准则。更进一步我们以容错控制的观念来设计主动式及被动式容错控制律，使得飞机配电系统在控制器发生故障或异常情况时，依然可以达到电压调节的目的。
上传时间： 2013-11-02
上传用户：梧桐
STM32脉冲编码器驱动
上传时间： 2013-11-20
上传用户：潜水的三贡
很好用的通用遥控编码逻辑分析软件。
上传时间： 2013-11-20
上传用户：CHINA526
LED编码器
上传时间： 2013-11-07
上传用户：落花无痕
