一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的...
探索NanoGL,一个基于OpenGL ES 1.0实现OpenGL 1.0功能的强大库,专为嵌入式系统和移动设备优化。拥有超过328,920个资源,涵盖从基础教程到高级应用案例,是图形开发者的宝贵工具箱。无论是初学者还是经验丰富的工程师,都能在这里找到提升技能所需的一切。适用于游戏开发、UI设计及...
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的...
低噪声放大器是接收机中最重要的模块之一,文中采用了低噪声、较高关联增益、PHEMT技术设计的ATF-35176晶体管,设计了一种应用于5.5~6.5 GHz频段的低噪声放大器。为了获得较高的增益,该电路采用三级级联放大结构形式,并通过ADS...
Abstract: This tutorial discusses proper printed-circuit board (PCB) grounding for mixed-signal designs. Formost appli...
本文的目的在于,介绍如何计算具有狭窄气隙的圆形转子电机中的绕组感应。我们仅处理理想化的气隙磁场,不考虑槽、外部周边或倾斜电抗。但我们将考察绕组磁动势(MMF)的空间谐频。 在图1中,给出了12槽定子的轴截面示意图。实际上,所显示的是薄钢片的...
时分多址(TDMA)接入是一种按时间划分节点传输信息的传输方式 。本文利用Matlab/Simulink对TDMA(时分多址)协议进行了仿真研究,并对噪声环境下TDMA系统的抗干扰能力做出了分析研究。分析结果表明TDMA协议有良好地抗干扰能...
空间多媒体通信过程中存在的不可预测的分组数据丢失、乱序,可变的链路传输及处理时延抖动以及收发端时钟不同步与漂移等问题,这可能导致接收端在对音视频数据进行显示播放时产生音视频不同步现象。为了解决此问题,提出了一种改进的基于时间戳的空间音视频同...
介绍了基于采用分立元件设计的LC谐振放大器的设计方案与实现电路, 可用于通信接收机的前端电路,主要由衰减器、谐振放大器、AGC电路以及电源电路四部分组成。通过合理分配各级增益和多种措施提高抗干扰性,抑制噪声,具有中心频率容易调整、稳定性高的...
针对基本蚁群算法在机器人路径规划问题中容易陷入局部最优的问题,提出了一种改进的蚁群算法,利用遗传算法加入了变异因子使最优路径产生变异,从而降低了蚁群算法陷入局部极小的可能性,同时改善了基本蚁群算法不收敛或收敛速度比较慢的缺点,加快了收敛速度...
氛及其子体的能谱测量中常用到钝化离子注人硅探测器或金硅面垒探测器。本文介绍了一种用于这两类硅半导体探测器的电荷灵敏放大器的实例,它由电荷灵敏级和电压放大级构成。给出了它的设计思想和调试过程。介绍了测试手段并测试了它的技...