组合逻辑线路的冒险识别

本文研究了组合逻辑线路的动态特性,建立了与各种冒险相关联的代数结构,提出了一个识别冒险的新的、系统的方法。该方法不仅明确地指出使网络输出产生静态0—冒险,静态1—冒险,动态负跳冒险和动态正跳冒险的所有瞬变输入赋值,而且使判定一种冒险需要验证的瞬变输入赋值的数目大大减少,易于计算机程序实现。     

同步时序线路多故障测试的动态布尔方程方法

本文提出了同步时序线路多故障测试动态布尔方程方法,它将同步时序线路中的“异或”运算归结为逻辑加运算,可一次求出被测线上双固定型故障s-a-1和s-a-0的全部测试集.用动态布尔方程方法实现同步时序线路中双固定型故障的测试,简单、直观,在计算机上容易实现.     

CMOS电路内结点桥接故障的动态IDDQ可测性研究

采用了动态IDDQ测试方法来探讨静态CMOS电路桥接故障的可测性,详细证明了静态CMOS电路任意桥接故障都是动态IDDQ测试可测的     

组合线路中的桥接故障及二极管短路故障

组合线路中的桥接故障及二极管短路故障均可分成两种类型:组合型和反馈型。根据可测试性,反馈型故障本身又可划分成三类:组合可测,时序可测,振荡可测。所有上述故障可测的充要条件都得到证明。并提出了组合型故障的完整测试集公式及反馈型的组合,时序,振荡可测等故障的完整测试集公式。本文比文献〔1〕,〔2〕,〔3〕,〔4〕更具有普遍性,所以本文结论能包含上述文献的大多数结论。因线或桥接及二级管短路故障和线与桥接及二极管短路故障的结论完全相似,所以本文只给出了线与故障的结论。     

逻辑与延时故障统一检测的PLA易测试设计

本文提出了一种新式可编程逻辑阵列的易测试设计方案。该方案以极低的附加硬件资源获得了极高的故障被测度,可以检测包括附加电路在内的各类单重和多重固定故障、邻线桥接故障、多余丢失交叉点故障以及上升下降传输延时故障,而且逻辑故障和传输延时故障可以同时进行检测,测试输入矢量和测试响应不需要任何计算就可以直接得到。     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

一种改进的SRAM故障内建自检测算法

面向March C+算法故障覆盖率的问题,本文提出一种改进的March CS算法来完成存储器SRAM的内建自测试.通过增加原算法元素的读写操作来敏化存储单元的故障,检测原算法不能敏化的静态故障和动态故障,从而提高故障覆盖率.最后,通过对1 024*32位静态随机存储器进行故障仿真验证,以及FPGA对SRAM芯片的应用性测试,March CS算法检测静态故障和动态故障的覆盖率分别达到91.67%和76.93%.     

航空发动机滑油系统动态故障分析

 为解决航空发动机滑油系统安全性分析中容错与余度备份系统的故障建模与分析,提出了基于动态逻辑门和模块化思想的动态故障树分析方法。针对滑油系统某典型的故障状态,开展动态故障树建模,与传统的静态故障树建模方法进行比较。分析结果表明,使用静态故障树建模得到的滑油系统故障发生频率远远偏离系统真实的故障发生频次(误差将近20 倍);动态故障树建模可以准确描述系统故障的时序关系,且在保证分析效率的前提下精确评估滑油系统的故障发生概率。动态故障树建模方法在航空发动机系统尤其是民用航空发动机系统安全性评估中具有非常广泛的应用前景。     

一种基于电压控制的扫描测试功耗优化方法

提出了一种通过电压控制来实现扫描测试低功耗优化的方法(压控法).该方法主要采用插入门控晶体管来控制组合逻辑单元供电,从而有效地解决了在扫描测试移入过程中测试信号向组合逻辑的无用传播,由于组合逻辑的供电受到控制,因此压控法不仅有效降低了无用的动态功耗,同时也大大降低了由于供电所产生的漏电静态功耗.而且门控晶体管的插入对于...     

基于二阶滑模观测器的非线性动态系统故障估计

研究了一类非线性动态系统的执行器故障估计问题.采用Takagi-Sugeno(T-S)模糊模型对非线性动态系统建模,克服了以往研究需对非线性动态系统作Lipschitz条件假设的局限性.为避免传统滑模观测器在实现故障估计时的抖振问题,设计二阶滑模观测器实现了故障估计.为方便观测器设计,通过坐标变换分离出系统的可测状态;采用Lyapunov泛函与线性矩阵不等式设计观测器,并证明了观测误差动态系统的稳定性,进而得到了执行器故障的渐近估计.所提方法只需观测器与系统的输出信息,实现了故障的在线估计.通过一个液压传动系统的仿真分析验证了所提方法的有效性.     

浅谈网络的管理和维护

网络故障可以根据其性质分为物理故障和逻辑故障，也可以根据故障的对象分为线路故障、路由器故障和主杌故障。简要介绍了这些故障的诊断和排除方法，并介绍了一些简单、实用的网络管理工具，包括连通性测试程序(ping)，路由跟踪程序(traceroute)和MIB变量浏览器。     

混合值逻辑及其应用

混合值逻辑是布尔逻辑和多值逻辑的一种自然推广, 是本文作者及其研究小组引进的一个新概念。 它在系统控制及相关领域中得到许多应用, 显示了很强的生命力。 本文的目的是对混合值逻辑的定义、运算及其应用给出一个较为系统的综述, 并使相关概念及记号规范化。利用矩阵半张量积, 本文首先介绍混合值逻辑算子的定义、计算方法及主要性质。 其次, 论文分别介绍混合值逻辑的3个方面的应用: (1) 有限记忆的动态博弈; (2) 解模糊关系方程; (3) 动态-静态布尔网络。     

利用集成逻辑门构成交流小信号放大器的探讨

认为通常用于处理数字信号的集成逻辑门在设置合适的静态工作点以后可以构成交流小信号放大器，并给出了两种为逻辑门设置静态工作点构成放大器的方法以及逻辑门放大器的测试结果。     

基于最小集合覆盖求解方法的测试向量集约简

TetraMAX ATPG作为业界性能较优的自动测试向量生成工具，能够使用较短时间产生高故障覆盖率的测试向量集.本文通过对TetraMAX ATPG产生的初始测试向量集进行建模，提出了基于最小集合覆盖求解方法的最小完备测试集生成方法，利用这一算法可以在保证测试向量集故障覆盖率不变的基础上有效地缩减测试集规模，从而降低电路测试成本.实验结果表明该方法对于固定故障类型和静态电路故障类型均具有良好的约简效果.     

基于核回归区间模型的电液位置伺服系统故障检测

针对电液位置伺服系统在运行过程中存在非线性、干扰性、复杂性以及参数不确定性等问题,提出了基于核回归区间模型的电液位置伺服系统故障检测方法。该方法利用反映系统诸多不确定性的无故障可测输入-输出数据,建立能控制核回归模型精度、又能平衡该模型结构复杂性的区间模型,用于判断电液位置伺服系统的实际输出是否越过系统健康运行时的区间输出,进而实现故障检测。该方法由于考虑了基于区间的动态阈值对故障进行检测,消除了传统的固定阈值易引起故障误报现象,所以具有一定的自适应性能力。实验论证了所提出的故障检测方法,可用于电液位置伺服系统故障的实时检测。     

基于Verilog-HDL的逻辑分析卡中双向端口的设计

介绍了自行设计逻辑分析卡的系统构成,给出各个功能模块的逻辑框图。然后,从应用的角度简单介绍了ISSI公司的静态RAM芯片IS61LV256,并阐明了将其作为逻辑分析卡外部RAM的使用方法,设计了该RAM与CPLD的硬件接口。应用Verilog-HDL语言对双向(inout)端口所进行了描述,在此基础上以一个简化了的双向(inout)端口模块为例,设计了对该双向(in-out)端口的仿真方法,并给出了仿真结果。最后给出一种简易的硬件测试方法对双向(inout)端口进行测试,证明了该设计以及对其的仿真的正确性。     

船用北斗示位仪安装及防拆措施分析

为有效消除渔民私自关闭或拆移北斗示位仪的现象,进一步加强渔民作业规范管理,减少渔船发生海损事故和违规作业现象,根据测试船不同位置安装北斗示位仪,采用静态(测试船停泊状态)、动态(测试船航行状态)两种方式,对雷达信号、航行通导设备电磁波、船舶震荡等干扰因素进行测试,分析最佳安装位置和固定方法.底座式焊接安装方式对设备的防...     

可编程逻辑阵列嵌入自测试设计

本文提出的设计方案,以极低的附加硬件资源覆盖了包括附加电路在内的所有单重固定故障、交叉点故障、邻线桥接故障和几乎所有的多重故障。同现今通行的设计方案相比,具有下列明显优点:1) 极低的附加硬件资源;2) 极高的故障被测度;3) 对可编程逻辑阵列的正常操作没有影响;4) 减少了测试延迟;5) 故障检测异常简单。     

星算法在组合线路多重故障检测中的应用

本文研究星算法〔1〕在组合线路多重故障检测中的应用。首先,文章简要介绍星算法概要,推导了若干公式和定理,并较详细地陈述了利用星算法求组合线路的多重故障测试的过程。并以此为基础,提出了为组合线路所有故障重数假定不超过M的固定故障建立完全测试集的算法,然后同用来解决同一问题的布尔差分进行了比较。显然,本文提出的方法具有更多的优点。