软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式 ...
/dl/20409.html
标签： 瞬时 容错技术
上传时间： 2014-01-15
上传用户：dudu1210004
为了将通信系统中数字基带信号调制到中频信号上，采用数字上变频技术，通过对数字I、Q两路基带信号进行FIR成形滤波、半带插值滤波、数字混频处理得到正交调制后的中频信号，最后经MATLAB仿真分析得到相应的时域和频域图，来验证电路设计的有效性。 ...
/dl/20760.html
标签： 通信系统 数字 变频技术
上传时间： 2013-10-22
上传用户：1318695663
针对于目前CMOS电流控制电流传输器（CCCII）中普遍存在的温度依赖性问题，提出一个新的温度补偿技术。这种技术主要使用电流偏置电路和分流电路为CCCII产生偏置电流，其中偏置电路中的电流和μC'OX成正比。基于0.5μm CMOS工艺参数，运用HSPICE仿真软件，对提出的电路进行仿真，仿真结果验证了电路的正确性。 ...
/dl/24506.html
标签： 电流控制 电流传输器 温度 补偿技术
上传时间： 2013-10-13
上传用户：归海惜雪
当今国内的医院护理系统的发展现状，采用MSP430单片机与DTMF技术设计医院呼叫对讲系统，该系统以MSP430F149单片机作为控制核心，采用DTMF信号收发电路、DTMF信号编译码电路、振铃检测电路和显示电路等外围电路，通过进行硬件模拟实验和MATLAB软件仿真实验，验证了该系统的可行性和可靠性，可以实现拨号通话、显示信息 ...
/dl/28213.html
标签： DTMF MSP 430 呼叫对讲系统
上传时间： 2013-11-23
上传用户：wvbxj
前言智能仪表课采用了《单片机原理与接口技术》作为教材，这是一门实践性极强的课程，理论和实验教学的有机结合，是提高教学质量的唯一途径。为密切配合理论教学，针对SICElab赛思开放式综合实验/仿真系统，我们编写了配套的实验教材。SICElab赛思开放式综合实验/仿真系统采用了符合单片机开发过程的“仿真式”组合设计思想 ...
/dl/29744.html
标签： 单片机原理 接口技术 实验 教材
上传用户：sunshie
本文介绍了利用EDA技术设计出与MCS-51系列微处理器指令集完全兼容的8位嵌入式微处理器芯片的IP核,并经过验证获得了满意的效果。
/dl/30068.html
标签： EDA 单片机 IP核
上传时间： 2013-10-28
上传用户：标点符号
/dl/30741.html
上传时间： 2013-11-14
上传用户：qq1604324866
随着SoC设计复杂度的提高，验证已成为集成电路设计过程中的瓶颈，而FPGA技术的快速发展以及良好的可编程特性使基于FPGA的原型验证越来越多地被用于SoC系统的设计过程。本文讨论了GPS基带的验证方案以及基于FPGA的设计实现，并对验证过程中的问题进行了分析，并提出相应的解决办法。 ...
/dl/32669.html
标签： FPGA GPS 原型 基带
上传用户：sxdtlqqjl
基于解决缓冲区溢出这一普遍发生的网络安全漏洞的目的，通过软件、硬件技术层面的验证方法，结合人工检查、静态发现技术、动态防御技术等实验手段，得出了在向缓冲区中传输数据时可以通过数组边界检
/dl/32931.html
标签： 缓冲区 溢出 攻击 技术分析
上传时间： 2013-10-30
上传用户：shawvi
介绍了美军标MIL-STD-188-110C定义的短波波形，阐述了Turbo均衡原理并详细介绍了基于MMSE的线性Turbo均衡算法，对MIL-STD-188-110C中定义的波形5在12 kHz和24 kHz带宽的情况下应用Turbo均衡进行仿真，验证Turbo均衡技术在宽带短波波形中的应用效果。 ...
/dl/33123.html
标签： MIL-STD Turbo 188 110
上传时间： 2013-10-24
上传用户：498732662
虫虫下载站 半导体技术网 电子研发网 源码地带 电源技术网 单片机技术网 医疗电子技术 嵌入式系统与单片机
