软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间： 2014-01-15
上传用户：dudu1210004
针对齿轮故障特征信号具有强噪声背景、非线性、非平稳性特点，提出采用形态梯度小波对齿轮振动信号进行降噪。首先使用形态梯度小波把齿轮振动信号分解到多个尺度上，然后对各层的细节系数进行软阈值方法降噪处理，对经过处理后的小波系数进行重构。对降噪后的齿轮振动信号采用S变换多分辨率时频分析，能够从具有良好的时频分辨率的S变换谱图提取齿轮故障特征。通过仿真试验和故障轴承的信号分析证明，该方法具有短时傅里叶变换和小波变换的优点，不存在Wigner-Ville分布的交叉干扰和负频率，能有效地提取隐含在噪声中的齿轮故障特征，适合齿轮故障的在线监测和诊断。
上传时间： 2013-11-01
上传用户：AISINI005
介绍了晶闸管调速粗动装原理, 分析了典型故障的原因
上传时间： 2013-11-16
上传用户：cmc_68289287
针对传统第二代电流传输器（CCII）电压跟随不理想的问题，提出了新型第二代电流传输器（CCCII）并通过采用新型第二代电流传输器（CCCII）构成二阶电流模式带通滤波器，此滤波器只需使用2个电流传输器和2个电容即可完成设计。设计结构简单，其中心频率可由电流传输器的偏置电流控制。利用HSpice软件仿真分析并验证了理论设计的准确性和可行性。
上传时间： 2013-11-15
上传用户：jqy_china
介绍了广泛应用于各种电流模式电路的第二代电流控制电流传输器原件的跨导线性环特性和端口特性，以及其基本组成共源共栅电流镜，并提出了基于共源共栅电流镜的新型COMS电流传输器。在此基础上，设计了基于电流控制电流传输器的电流模式积分电路，并利用Hspice软件进行输入为正弦波和方波时的输出波形的仿真验证。
上传时间： 2013-10-22
上传用户：wtrl
模糊综合评判法是一种基于模糊数学的综合评判方法，该综合评判法根据模糊数学的隶属度理论把定性评判转化为定量评判，即用模糊数学对受到多种因素制约的事物或对象做出一个总体的评判。它具有结果清晰，系统性强的特点，能较好地解决模糊的、难以量化的问题，适合各种非确定性问题的解决。本文以新一代天气雷达发射机故障为例，论述了该方法如何获取故障诊断数据，如何进行故障定位等过程。
上传时间： 2013-10-17
上传用户：yxgi5
为了解决模拟电路故障诊断复杂多样难于辨识的问题, 有效提高分类的准确度, 提出了一种模拟电路故障诊断的新方法。
上传时间： 2013-11-03
上传用户：guanhuihong
针对传统诊断方法的不足之处，介绍了基于人工智能和现代信息信号处理的现代故障诊断方法，包括专家系统诊断方法、神经网络诊断方法、模糊诊断方法和基于核的诊断方法，同时系统地分析了每种方法的基本原理、优缺点、研究进展和典型应用。最后探讨了目前模拟电路故障诊断研究存在的问题和未来的发展方向。
上传时间： 2013-10-30
上传用户：maricle
故障样本数据的获取是模拟电路故障诊断中最基本的步骤。为了实现短时间内多次进行故障注入、获取大量样本数据，提出了基于SLPS的样本数据自动获取技术。利用SLPS将PSpice与Matlab结合，采用Matlab编程，实现故障模拟电路仿真数据获取的自动化。实际应用表明该方法操作简便，自动化程度高。
上传时间： 2013-10-23
上传用户：ZJX5201314
一、电压放大电路故障检修技巧 二、功率放大电路故障检修技巧 三、显像管座板故障检修技巧 按元器件分类有：分立元件放大电路，集成运算放大电路。 按功能分类有：电压放大电路，功率放大电路，低频放大电路，高频放大电路等。
上传时间： 2014-11-23
上传用户：w230825hy
