基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

快速的平行码临界路径跟踪故障模拟

针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。     

有线通信管理信息系统的设计

本文主要介绍了有线通信管理信息系统的基本设计思想,系统技术性能指标,系统软硬件组成及主要技术方案和措施。该系统将为我军有线通信设备提供先进的检测维护手段和管理方法。     

HP5890-5971气相色谱-质谱仪离子源灯丝和热继电器故障修复

介绍了ＨＰ５８９０－５９７１气相色谱－质谱仪离子源灯丝烧毁和扩散泵热继电器故障现象和判断,以及自行更换和修复损坏部件的经验和具体操作步骤。     

基于自适应原理的传感器增益故障诊断方法

基于自适应原理提出一种传感器增益故障诊断方法。首先将传感器增益故障表示为传感器偏差故障,再将其表示为执行机构故障,利用自适应原理估计出传感器偏差故障幅度,最后用最小二乘法估计出增益故障幅度。分别对有、无系统噪声和模型误差的情况进行了讨论,最后给出仿真结果     

基于Matlab／Simulink的三相桥式整流电路仿真

电力电子器件的应用已十分广泛,对其仿真尤其是进行故障仿真,有利于电力电子器件的故障诊断。建立了基于Matlab／Simulink的三相桥式整流电路的仿真模型,对正常工作及故障时的电路进行了分类及编码。仿真表明了Simulink仿真的简单及快速性,仿真结果中所含的信息可用于电力电子装置的故障诊断。并对用神经网络实现电力电子装置的故障诊断时,如何采集神经网络的样本进行了讨论。     

某新型手枪不抽壳故障的原因分析及处理

某新型手枪在部队试用过程中出现不抽壳的不允许故障,通过对该故障的分析,验证,找出了该故障的原因并提出了解决办法。     

基于EEMD和平滑能量算子解调的轴向柱塞泵故障特征提取

针对液压泵振动信号出现的调制现象,提出基于集总平均经验模态分解(ensemble empirical mode decomposition,EEMD)和平滑能量算子解调相结合的方法进行解调,并运用小波包分解频带能量的方法提取了轴向柱塞泵的特征向量.首先,利用EEMD将采集到的柱塞泵振动加速度信号分解成若干个平稳的本征模函数(IMF);然后,选取包含主要故障信息的本征模函数通过能量算子解调的方法进行包络解调,从而提取振动信号在高频谐振带的包络成分;最后,运用小波包理论提取各频带的能量作为特征向量.结果表明:基于EEMD和平滑能量算子解调的方法能有效地避免模态混叠现象,提取振动信号的包络成分,成功获得各种状态下的特征向量.     

基于振动烈度的柴油机供油系统断油故障检测方法

研究了振动烈度的相关方法和理论,以WD615柴油机供油系断油故障诊断为例,通过各缸断油时振动烈度值与正常状态下振动烈度值的比较分析,验证了利用振动烈度进行发动机供油系统故障诊断方法的正确性。