一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方...
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方...
针对齿轮故障特征信号具有强噪声背景、非线性、非平稳性特点,提出采用形态梯度小波对齿轮振动信号进行降噪。首先使用形态梯度小波把齿轮振动信号分解到多个尺度上,然后对各层的细节系数进行软阈值方法降噪处理,对经过处理后的小波系数进行重构。对降噪后的齿轮振动信号采用S变换多分辨率时频分析,能够从具有良好的时频...
介绍了晶闸管调速粗动装原理, 分析了典型故障的原因...
针对传统第二代电流传输器(CCII)电压跟随不理想的问题,提出了新型第二代电流传输器(CCCII)并通过采用新型第二代电流传输器(CCCII)构成二阶电流模式带通滤波器,此滤波器只需使用2个电流传输器和2个电容即可完成设计。设计结构简单,其中心频率可由电流传输器的偏置电流控制。利用HSpice软件仿...
介绍了广泛应用于各种电流模式电路的第二代电流控制电流传输器原件的跨导线性环特性和端口特性,以及其基本组成共源共栅电流镜,并提出了基于共源共栅电流镜的新型COMS电流传输器。在此基础上,设计了基于电流控制电流传输器的电流模式积分电路,并利用Hspice软件进行输入为正弦波和方波时的输出波形的仿真验证。...