数字电路并发差错检测的新概念

并发差错检测是提高数字电路与系统可信的重要技术。文中建立了一种基于并发差错检测电路的结构模型。它由实现电路基本功能的基本功能模块和实现电路并发差错检测功能的检测器部分联所构成;提出了表征基于部分自校验概念的并发差错检测机制的一组新概念：精简强故障保险、精简强变量分离、精简强自校验、ｋ－容错精简强故障保险、ｋ－容错精简强变量分离和ｋ－容错精简强自校验,并研究了数字电路并发差错检测的主要概念之间的关系     

基于故障字典的数字电路故障定位过程研究

分析了LASAR仿真生成的故障字典、管脚网络表和节点真值表等文件的内容,找出了其中进行电路故障定位所需的信息,总结出在此基础上对电路进行测试、实现故障定位的过程,设计了数字电路故障诊断系统,可将故障点定位至元件管脚。     

关于数字电路故障诊断的探讨

现如今开发了一种可以进行故障诊断定位的软件,是为了解决当前数字电路的生产环节中一些电路故障诊断效率过低的问题,它能够对数字电路中的桥接故障和固定故障进行有效的诊断定位,该软件的应用能够把查找数字电路中故障的时间有效的缩短,它对数字电路开发速度的高速提高有着重要的意义。     

Logo!编程环境下的数字电路分析方法

通过应用LOGO!编程软件中的基本功能模块和特殊功能模块,实现数字电路逻辑运算以及时间脉冲产生电路和基本时序逻辑电路的仿真,使数字电路的验证直观清晰,方便初学者进行数字电路设计和验证.     

新型装甲车载短波/超短波电台维修辅助系统的设计与实现

针对新型装甲车载短波/超短波电台电路原理与结构复杂、自检虚警率高、内部模块不易在线检测进行故障定位的实际问题,综合采用电路智能检测技术、数字信号处理技术、数据库软件技术,以平板电脑为核心构建硬件平台,开发嵌入式软件系统,研制便携式新型车载短波/超短波电台维修辅助系统。该系统可以依托电台内部固有的电气连接在电台不解体情况下对电台内部模块进行在线性能检测与故障定位,实现电台故障维修信息的实时存储与电台维修资料的查询,从而解决新型装甲车载短波/超短波电台维修手段不足、维修保障困难的实际问题。     

N为偶数的并发差错可定位N-模冗余结构

N－模冗余结构是一种广泛应用的容错结构，其有效性是建立在它所包含的故障模型块数不超过[（N－1）／2]的假设之上的，而破坏该假设的可能途径有故障累积和同时故障，防止故障模块累积的方法之一是使冗余系统具有故障定位能力，然后及时地将故障模块予隔离和替换。传统的静态和动态硬件冗余结构或都不具有故障定位能力，中者不提供显式的故障定位信息，并且对附电路本身的故障是无法处理的，为此，针对静态硬件冗余结构，作者等人曾提出了N为奇数情况下的差错定位解决方案，而该文则提出了N为偶数情况下的相应解决方案。     

Logo!编程环境下的数字电路分析方法

通过应用LOGO!编程软件中的基本功能模块和特殊功能模块．实现数字电路逻辑运算以及时间脉冲产生电路和基本时序逻辑电路的仿真，使数字电路的验证直观清晰．方便初学者进行教字电路设计和验证。     

基于IEEE1149.4标准的模拟电路故障诊断研究

随着电子系统的集成度越来越高,内部结构越来越复杂,传统的物理探针已经无法满足测试要求。简要介绍了IEEE1149.4标准和支持向量机理论基础,提出了一种基于IEEE1149.4标准的模拟电路故障诊断方案。该方法利用SVM实现故障检测,结合电路分块方法和IEEE1149.4标准中的开关矩阵对电路分块,实现故障定位。最后对此方法的可行性和准确性进行了仿真验证,结果表明此方法在准确判断电路是否存在故障的同时,也能实现故障定位,达到误判率为零的结果 。     

交替互补定位器及其用于双模比较冗余结构的差错定位

双模比较冗余结构是一种广泛应用的低成本容错结构。当两个冗余模块之一发生故障时,比较器将给出差错检测指示输出,该输出既可以按中断信号形式通知系统作出相应的差错处理,也可以按硬件信号形式直接用于终止系统工作或启动重构,目的是防止故障冗余结构给出错误输出,或者确保系统能够提供连续的服务。这种冗余结构的缺点是比较器不能确切指明故障模块,并因此而需要较大的时间开销来完成系统重构和恢复操作。为解决这一问题,提出了一种具有并发输出差错定位功能的双重比较冗余结构。其中单个冗余模块的输出是一个交替矢量,两个冗余模块的输出形成了一个交替互补矢量,该矢量送入一个交替互补定位器。在正常输入情况下,根据定位器的输出就可以确定冗余系统是无差错的、还是冗余模块或定位顺本身存在故障。交替互补定位器由D型触发器和通用门电路构成,它被证明为是一个完全故障定位的定位器。由于所提出的双模比较冗余结构是基于时间冗余原理工作的,因此它适用于对速度要求并不是非常苛刻的容错系统。     

基于故障传播的模块化BP神经网络电路故障诊断

大规模的数模混合电路所含故障模式众多,电路故障状态复杂,且易发生传播,因而电路故障诊断难度较大。针对大规模电路发生故障时存在故障传播的问题,提出一种基于故障传播的模块化BP神经网络（MBPFP）故障诊断方法。首先,在电路模块划分的基础上分析子电路间的故障传播,并将故障源和故障传播源"模块化";然后,通过子电路的异常检测模型进行一级定位,缩小故障原因集合,确定故障模块;最后,利用目标模块的BP神经网络模型进行二级定位,实现故障诊断并识别故障模式。与传统BP神经网络等方法进行比较的实验结果表明,MBPFP故障诊断方法具有较高的故障覆盖率,在定位准确率方面提高了至少8个百分点,其性能优于传统BP神经网络等方法。     

Fault-tolerant systems with concurrent error-locating capability

Fault-tolerant systems have found wide applications in military,industrial and commercial areas.Most of these systems are constructed by multiple-modular redundancy or error control coding techniques,They need some fault-tolerant specific components (such as voter,switcher,encoder,or decoder) to implement error-detecting or error-correcting functions.However, the problem of error detection location or correction for fault-tolerance specific components them-selves has not been solved properly so far.Thus ,the dependability of a whole fault-tolerant system will be greatly affected.This paper presents a theory of robust fault-masking digital circuits for characterizing fault-tolerant systems with the ability of concurrent error location and a new scheme of dual-modular redundant systems with partially robust fault-masking prperty.A Basic robust fault-masking circuit is composed of a basic functional circuit and an error-locting corrector,Such a circuit not only has the ability of concurrent error correction,but also has the ability of concurrent error location.According to this circuit model ,for a partially robust fault-making dual-modular redundant system,two redundant modules based on alternating-complementary logic consist of the basic functional circuit.An error-correction specific circuit named as alternating-complementary corrector is used as the error-locating corrector.The performance(such as hardware complexity, time delay) of the scheme is analyzed.     

基于代码检测的软件故障定位方法

针对现有软件故障定位方法的缺陷,提出了一种基于代码检测的软件故障定位方法,用嵌入式模块获取软件发生故障时的模块运行序列,分析出软件故障可疑模块集及其故障系数,在此基础上对故障模块进行代码的分类检测,根据上述过程中得到的结果进行综合分析运算,得出软件故障的可疑代码集和故障系数,采用代码分析辅助工具进行排查,定位故障。该方法已成功应用于软件密集型系统的故障诊断,能快速有效地实现软件故障定位。     

Overview of a development environment

The CYBA-M multimicroprocessor research vehicle has been constructed to enable the investigation of several aspects of the design and implementation of an information processing product based upon several concurrent processing elements working programs and physical digital circuits. The way connection between separate processing elements, as well as the abstract interconnection between concurrent processes, are of paramount importance. Furthermore, there is a requirement to develop the concurrent programs for the product and also to measure the performance of the interworking programs and physical digital circuits. The way in which these factors have influenced the specification of CYBA-M will be summarized.     

基于多目标自适应遗传算法的逻辑电路门级进化方法

提出一种改进的遗传算法，通过网表级编码、多目标评估和遗传参数自适应等措施，可依据多个设计目标，以较少的运算量自动生成和优化逻辑电路．在数字乘法器、偶校验器等进化设计实验中，通过比手工设计和同类方法更优的新奇设计结果展示了该方法的有效性和先进性．     

基于多故障模型的并发测试生成方法

精简测试向量集是解决电路测试问题的一种行之有效的方法。针对故障电路,采用多故障模型方法可以简化有多个单故障的电路,且保持电路功能完整。论文在结构分析的基础上,利用多故障模型寻找故障集中的并发故障,建立并发关系图,并运用分团的思想对故障集中的并发故障进一步划分,以获得故障集的并发测试集。与传统的方法相比,并发测试生成将获得更加精简的测试向量集。     

三维可重构阵列互连资源在线分布式容错方法

设计了一种新型三维可重构阵列结构, 并且对其互连资源在线分布式容错方法进行了研究。系统由相同的功能细胞和开关块以三维结构组成, 通过在线输入测试向量对互连线进行故障定位, 并且实现故障连线分层自修复。以四位加法/减法器电路为设计实例, 对可重构阵列功能和容错能力进行验证。实验结果表明该方法可有效完成容错, 且时间开销小、容错能力强、资源利用率高。     

FCT网络的并发错误检测结构

文中提出了一种快速离散余弦变换电路的开发错误检测结构。为了达到１００％的故障覆盖率,ＦＣＴ采用基于第３类离散余弦变换的Ｂ．Ｇ．Ｌｃｅ算法蝶型结构实现。