时序电路的状态测试研究

根据时序电路单固定故障所产生的状态变换特征 ,分析了基于单状态变换故障模型的测试问题 ,给出了测试序列的精简方法 ,最后简要分析了无复位时序电路的测试问题。     

复位电路设计应注意的问题

计算机应用系统的硬件电路中，除ＣＰＵ外若尚有其他需要复位的芯片，简单地共用一个复位电路常会产生许多预想不到的故障。本文分析了产生故障的原因，并给了解决这类问题的软、硬件措施。     

一种推挽式电路故障诊断方法的仿真研究*

提出了基于小波变换和神经网络的推挽式电路故障诊断方法。先仿真得到各种故障状态下的输出电压信号,然后对输出电压信号进行Daubechies小波变换获取多尺度低频系数和高频系数,并对小波系数进行处理提取故障特征量,最后利用故障特征矢量训练神经网络确定了推挽式电路故障诊断的神经网络模型。仿真结果表明基于小波变换和神经网络的推挽式电路故障诊断方法取得了较好的效果。     

检修各种彩显无光栅故障的通用方法

笔者在多次检修各种类型彩显故障的实践中，发现造成显示器无光栅故障的原因一般只有4种情况：（1）自动消磁电路短路造成交流输入电路保险丝烧断开路，交流加不到开关电源中；（2）开关电源电路中元器件损坏，使开关电源不工作；（3）行振荡电路有故障；（4）显像管及相应电路有故障。其中，第二种情况较为普遍。彩显开关电源的输出电压一般都在100V以上，它除了直接供应高压变换电路、行振荡电路、视频电路等需要外，还要由高压变换电路为电路的其他部分提供约12V左右的低电压。高压变换电路不但通过降压供应12V左右的低电压，而且还要…     

一种高可靠性的复位电路

介绍了复位电路的一些基本功能和一些常见的复位电路。提出了单片UP监控芯片MAX706在系统复位电路中的应用方法。介绍了在80kV绝缘油测试仪中应用的高可靠性复位电路。     

液晶电视机复位电路的设计

文章主要介绍一种应用在液晶电视机中的复位电路,本复位电路使用元件少、实用性强、易于实现,文中分析了该电路的功能和实现方法,以及在实际电路中的具体应用。     

单片机系统中复位电路的可靠性设计探讨

单片机应用系统中的复位电路能否可靠工作对整个系统致关重要，本文对常用复位电路中存在的一些问题进行了分析，并提出了解决方法。     

小波神经网络在模拟电路故障诊断中的应用

研究模拟电路优化问题,电路系统存在非线性和漂移会引起系统故障.针对BP神经网络在模拟电路故障诊断上存在的收敛速度慢、易陷入局部最小等不足,为解决上述问题,提出基于小波神经网络的模拟电路故障诊断方法.采用正弦信号仿真模拟电路,应用小波变换对模拟电路响应的采样信号进行故障特征提取,建立故障字典,利用神经网络对各种状态下的特征向量进行分类决策,实现模拟电路的故障诊断.故障诊断仿真表明,保证较高故障诊断正确率RBF网络的训练次数得到了极大地缩小,极大地提高了模拟电路故障诊断的效率,为设计提供了依据.     

微机失控后的自动复位电路

一、自动复位电路的工作原理以８０３１单片机应用系统为例，电路原理如图１所示。图２是自动复位的工作时序。Ａ信号为微机系统正常工作时不间断发出的正常状态信号，如在智能仪器仪表中，可以把程序定期扫描键盘的信号作为Ａ信号；在故障检测系统中，可以把查询故障的译码脉冲作为Ａ信号。４０９８是双路ＣＭＯＳ单稳态触发器，第一路的ＴＲ１（＋）和地连接，构成可再触发的单稳态触发器方式，下降沿触发。第二路的ＴＲ２（＋）和Ｑ２连接，构成不可再触发的单稳态触发器方式，下降沿触发。计算机一旦开始运转后，Ａ信号的第一个下降沿脉…     

基于小波包Tsallis熵和RVM的模拟电路故障诊断

针对模拟电路故障难以识别等问题,提出一种基于小波包Tallis熵和多分类相关向量机(Rele-vance Vector Machine,RVM)的模拟电路故障诊断方法.该方法采用脉冲信号仿真模拟电路,应用小波包变换对采集到的故障响应信号进行分解,通过提取不同频带内的Tsallis熵作为故障特征值,利用相关向量机对各种状态下的特征向量进行分类决策,实现模拟电路的故障定位.实验结果表明,提出的故障诊断方法相较于现有的故障诊断方法能较好地提取故障特征,极大地提高模拟电路故障诊断的效率.     

Heuristics for fault diagnosis when testing from finite state machines

When testing from finite state machines, a failure observed in the implementation under test (IUT) is called a symptom. A symptom could have been caused by an earlier state transfer failure. Transitions that may be used to explain the observed symptoms are called diagnosing candidates. Finding strategies to generate an optimal set of diagnosing candidates that could effectively identify faults in the IUT is of great value in reducing the cost of system development and testing. This paper investigates fault diagnosis when testing from finite state machines and proposes heuristics for fault isolation and identification. The proposed heuristics attempt to lead to a symptom being observed in some shorter test sequences, which helps to reduce the cost of fault isolation and identification. The complexity of the proposed method is analysed. A case study is presented, which shows how the proposed approach assists in fault diagnosis. Copyright © 2006 John Wiley & Sons, Ltd.     

基于时间自动机的测试用例自动生成及执行方法

为了实现对时间自动机模型的测试,采用符号状态拆分算法对时间自动机的状态空间进行等价划分,以得到最简稳定符号状态转移图,并将其中的抽象时间延迟转移替换为时间延迟变量;针对系统中每个时间自动机建立各自的符号状态转移图,再采用基于符号迁移系统的测试方法分别生成相应的转移动作序列;最后通过对这些序列进行组合产生系统的测试用例,为了执行测试用例,利用TTCN-3的多PTC并发执行能力来实施测试.     

Test suite minimization for testing in context

Testing a component embedded into a complex system, in which all other components are assumed fault‐free, is known as embedded testing. This paper proposes a method for minimizing a test suite to perform embedded testing. The minimized test suite maintains the fault coverage of the original test suite with respect to faults within the embedded component. The minimization uses the fact that the system is composed of a fault‐free context and a component under test, specified as communicating, possibly non‐deterministic finite state machines (FSMs). The method is illustrated using an example of telephone services on an intelligent network architecture. Other applications of the proposed approach for testing a system of communicating FSMs are also discussed. Copyright © 2003 John Wiley & Sons, Ltd.     

基于测试数据的装备健康状态评估方法

针对当前装备健康状态评估方法无法反映健康状态变化过程的问题,提出了一种基于测试数据的装备健康状态评估方法。该方法通过对待测部件进行测试,观察测试数据变化规律并对比测试数据的正常范围,分别计算测试部件的基本健康度、健康度变化率和健康度变化幅度,得到了装备动态变化过程中的健康度数学模型,并建立了串联、并联系统的武器装备健康状态评估方法。利用该方法分别对某型潜射导弹发动机、伺服机构液压源的测试数据进行实例分析,结果表明该方法可准确真实反映装备健康状态的变化过程,提供使用者科学有效的故障预测和维修决策依据,更加符合装备基于状态的维修要求,提高了装备完好率和任务完成率,具有较强的可操作性。     

基于状态转换符的时序电路冗余状态变换设计

在分析了时序电路冗余状态基础上,提出了基于状态转换符的时序电路冗余状态变换设计,可以把时序电路在４ 变量以内产生的冗余状态故障自动变换为合法状态,从而避免了状态验证和测试生成等较为繁琐的步骤,可以方便地设计出各种给定状态的具有自启动能力的时序电路,简洁方便、设计效率高,尤为适应采用Ｍａｔｌａｂ 程序对各类同步时序电路进行分析、化简和设计,具有较为实际的应用价值     

基于改进HMM的模拟电路早期故障识别和诊断

针对模拟电路运行过程中存在的不确定性,对传统的隐马尔可夫模型（HMM）进行了改进,将模型中满足不变性的状态转移概率矩阵改为时变状态转移概率矩阵,使之更符合实际情况。在状态初期为了防止状态转移概率发生过度更新,设置了更新概率控制因子。采用线性辨别分析（LDA）方法对测量信号进行特征提取,用于HMM的训练和测试,从而实现模拟电路早期故障的识别和诊断。仿真结果表明,改进后的HMM具有更强的故障识别和诊断能力。     

Generation of complete test suites from mealy input/output transition systems

Model-based testing overcomes challenges in software testing by generating automated test cases from behavior models, e.g. finite state machine (FSM) and input/output transition system (IOTS). Despite the existence of methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods from IOTSs do not provide the same support offered by the existing theory for FSMs, as complete fault coverage. In this paper, we propose a test generation method for IOTSs based on the W method developed for FSMs. The basic idea is to generate a transition cover set and a characterization set and concatenate them to generate complete test suites for IOTSs in a bounded number of steps. The method generates test suites with complete fault coverage for a given fault domain and is targeted at a class of IOTSs, called mealy IOTS, which accepts inputs only in stable states. Results from a case study show the proposed algorithm can achieve better results than a classical method for IOTSs.     

基于EFSM的自检测试

在 EFSM (Extended Finite State Machine)的测试中 ,通常需要一些特征序列来判断当前的状态 ,以确定是否存在转换错误 .由于 EFSM中转换可执行条件的存在 ,使这些序列的生成比较困难 .本文引入了自检测试思想 ,通过比较待测实现与从 EFSM得到的直接实现的执行结果 ,来确定是否到达了正确的状态 ,从而避免了特征序列的生成     

基于状态的面向对象软件测试的策略

面向对象的测试是一种不断发展、不断完善的技术。文中主要针对面向对象技术的特点,介绍了几种基于状态的面向对象测试的策略，论证了基于状态的面向对象测试的最佳策略。分析了各种测试策略的实现原理,并从理论上分析了这些测试策略的优缺点，从而引入和讨论了N十测试策略。从它的测试的展平状态模型人手，通过一个具体的实例覆盖了实施该策略的基本过程：展平类图、回路测试、潜行路径测试和确定结果状态。最后，通过对比和事实，证明N十测试策略能够发现更多的错误状态和不正确的转换错误．是比较充足的。     

基于观测器的发电机功角与故障估计

针对发电机功角与故障估计这个问题,提出一种利用观测器的方法.该方法通过对系统数学模型进行状态变换,将数学模型分为含故障与不合故障两部分.对不合故障部分设计观测器,然后经过状态变换可以得到功角信息.在故障估计过程中,通过增广误差系统设计增广观测器可以得到故障的幅值.最后通过Matlab仿真分析,验证基于观测器功角与故障估计方法的有效性,结果表明该方法具有速度快、误差小的优点.