几张Protel的嵌入式原理图:DSP.sch,SPC3_profibus.sch,豆浆机.sch,位置控制.Sch
上传时间: 2013-09-18
上传用户:yeling1919
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法,以及对该方法的形式化方法,包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证,只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间: 2014-01-15
上传用户:dudu1210004
FPGA数字变频技术的方案,可以和DSP配合使用。
上传时间: 2013-11-22
上传用户:shen954166632
本文介绍了Flat— Cell结构和采用Flat— Cell技术的ROM设计方法。包括Flat—Cell的工艺技术、Flat—Cell基本电路结构和ROM 放大器电路。
标签: FlatP_Cell ROM 分
上传时间: 2013-11-15
上传用户:84425894
针对污水处理厂剩余污泥含水率高,达到70%~80%,不利于进一步处理的问题,根据污水成分及其处理工艺特点,提出了一种基于高压脉冲电场技术的污水处理的方法。本文从理论上系统地阐述了高压脉冲电场处理装置的研制,设计了低成本高压脉冲电源,最高电压10 kV,最大电流50 A,并且能方便的调节电场参数。
上传时间: 2013-10-10
上传用户:taiyang250072
开关电源技术的发展
上传时间: 2013-10-22
上传用户:农药锋6
基于CAE仿真技术,评估LED路灯在工作状态下的散热性能,并通过与实测数据的对比,证明CAE仿真技术的可靠性。在仿真数据的基础上,高效地评估LED路灯热设计优化方案的可行性。
上传时间: 2013-11-20
上传用户:wkchong
PWM DCDC全桥变换器软开关技术的基本工作原理,控制策略,切换方式等内容。
上传时间: 2013-12-18
上传用户:brain kung
通用变频器能量回馈PWM控制系统是一种采用有源逆变方式把电动机减速制动时产生的再生能量回馈电网的装置。它可以克服通用变频器传统制动电阻方式低效、难以满足快速制动和频繁正反转的不足,使通用变频器可在四象限运行。本文首先回顾了变频调速能量回馈控制技术的发展历史及现状,并介绍了常见的两个方案。
上传时间: 2013-11-12
上传用户:paladin
一 种基于 MSP430单片机技术的新型电压监测仪
上传时间: 2013-10-17
上传用户:二十八号