软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间： 2014-01-15
上传用户：dudu1210004
为了将通信系统中数字基带信号调制到中频信号上，采用数字上变频技术，通过对数字I、Q两路基带信号进行FIR成形滤波、半带插值滤波、数字混频处理得到正交调制后的中频信号，最后经MATLAB仿真分析得到相应的时域和频域图，来验证电路设计的有效性。
上传时间： 2013-10-22
上传用户：1318695663
针对于目前CMOS电流控制电流传输器（CCCII）中普遍存在的温度依赖性问题，提出一个新的温度补偿技术。这种技术主要使用电流偏置电路和分流电路为CCCII产生偏置电流，其中偏置电路中的电流和μC'OX成正比。基于0.5μm CMOS工艺参数，运用HSPICE仿真软件，对提出的电路进行仿真，仿真结果验证了电路的正确性。
上传时间： 2013-10-13
上传用户：归海惜雪
当今国内的医院护理系统的发展现状，采用MSP430单片机与DTMF技术设计医院呼叫对讲系统，该系统以MSP430F149单片机作为控制核心，采用DTMF信号收发电路、DTMF信号编译码电路、振铃检测电路和显示电路等外围电路，通过进行硬件模拟实验和MATLAB软件仿真实验，验证了该系统的可行性和可靠性，可以实现拨号通话、显示信息、广播和护理级别设置等功能。该系统的设计简洁，主机芯片MSP430F149实现了低功耗，系统安装方便简单而且易于维护，成本比较低，具有较高的实用价值。
上传时间： 2013-11-23
上传用户：wvbxj
前言智能仪表课采用了《单片机原理与接口技术》作为教材，这是一门实践性极强的课程，理论和实验教学的有机结合，是提高教学质量的唯一途径。为密切配合理论教学，针对SICElab赛思开放式综合实验/仿真系统，我们编写了配套的实验教材。SICElab赛思开放式综合实验/仿真系统采用了符合单片机开发过程的“仿真式”组合设计思想，使得所有的实验模块及CPU资源均全力对用户开放，从而充分满足“验证式”→“模仿式”→“探索式”→“开发式”的由浅入深的各种实验要求。赛思开放式综合实验/仿真系统采用伟福G6W仿真器,为用户提供了一个大集成软件环境，统一的界面，包含一个项目管理器，一个功能强大的编辑器，汇编Make、build和调试工具并提供一个与第三方编译器的接口，具有DOS/WINDOWS双平台,仿真器与实验平台分离，采用“仿真”方式进行实验，同时，允许进行脱机运行工作，所以，实验过程是与实际开发过程完全一致的。仿真器使用的是双“CPU”架构方式，100%资源出让，100%实时，100%无条件硬件断点，可满足学生实验，毕业设计，参加电子竞争，教师科研所需。第一章简单介绍了赛思开放式综合实验/仿真系统的组成（包括实验平台、仿真器、软件支持、开关电源），实验内容，实验方式，支持器件等。第二章选编了二十例验证式实验，包括实验平台操作，连接仿真器、PC机，利用DOS和WINDOWS平台软硬件结合的实验，按由浅入深原则排列。第三章选编了十六例模仿和探索开发式实验。教师和学生可根据课时和具体情况选择实验内容，或自行设计新的实验内容。由于课时所限，有的实验可让学生在课后开放实验室时完成，以提高学生动手能力，提高教学质量，培养学生创新精神。附录一介绍了综合实验平台各模块的电路图，附录二是实验平台键盘操作仿真方法说明。由于时间匆忙，加上编者水平有限，难免有错漏之处，请读者不吝赐教。
上传时间： 2013-10-22
上传用户：sunshie
本文介绍了利用EDA技术设计出与MCS-51系列微处理器指令集完全兼容的8位嵌入式微处理器芯片的IP核,并经过验证获得了满意的效果。
上传时间： 2013-10-28
上传用户：标点符号
本文介绍了利用EDA技术设计出与MCS-51系列微处理器指令集完全兼容的8位嵌入式微处理器芯片的IP核,并经过验证获得了满意的效果。
上传时间： 2013-11-14
上传用户：qq1604324866
随着SoC设计复杂度的提高，验证已成为集成电路设计过程中的瓶颈，而FPGA技术的快速发展以及良好的可编程特性使基于FPGA的原型验证越来越多地被用于SoC系统的设计过程。本文讨论了GPS基带的验证方案以及基于FPGA的设计实现，并对验证过程中的问题进行了分析，并提出相应的解决办法。
上传时间： 2013-10-22
上传用户：sxdtlqqjl
基于解决缓冲区溢出这一普遍发生的网络安全漏洞的目的，通过软件、硬件技术层面的验证方法，结合人工检查、静态发现技术、动态防御技术等实验手段，得出了在向缓冲区中传输数据时可以通过数组边界检
上传时间： 2013-10-30
上传用户：shawvi
介绍了美军标MIL-STD-188-110C定义的短波波形，阐述了Turbo均衡原理并详细介绍了基于MMSE的线性Turbo均衡算法，对MIL-STD-188-110C中定义的波形5在12 kHz和24 kHz带宽的情况下应用Turbo均衡进行仿真，验证Turbo均衡技术在宽带短波波形中的应用效果。
上传时间： 2013-10-24
上传用户：498732662
