集成电路高层故障模型评估方法

给出了利用测试向量进行评估的基本理论方法，以及强对应集和弱对应集的定义及推论。按该方法，依不同模型生成测试向量，然后进行相互间的覆盖计算，以比较模型的优劣。最后对ITC99-benchmark电路进行实验，结果表明该方法是有效的。     

基于EMD-ARIMA模型的地铁门传动系统早期故障预测

地铁门夹紧力峰值数据在一定程度上可以反映其传动系统的退化状态.基于此,本文运用研发的数据采集系统对新上线地铁门的夹紧力进行实时地采集、存储、显示和查询.分别采用ARIMA模型与EMD-ARIMA模型对夹紧力峰值的均值和标准差随累积运行时间的变化趋势进行预测,依据预测结果确定地铁门传动系统发生早期故障的概率.通过两种模型预测对比结果表明,EMD-ARIMA模型可以较好地预测地铁门夹紧力峰值的变化趋势,这种改进的预测方法可以对处于调试期车门退化状态的预测提供新思路.     

基于Nenman故障源的实故障源模型

基于Ｎｅｕｍａｎ故障源，建立一种新的故障源模型，即具有实输入数组的故障源模型（简称实故障源）。利用概率分析方法研究在实故障源作用下，由函数单元构成的控制系统的可靠性，并给出了系统不可靠度的下界估计。可靠性估计定理给出的下限值可作为工程实践中很有价值的参考点。     

基于模型的飞机虚假故障过滤方法

故障探测技术的不完善导致飞机故障处理系统收到一些虚假故障,关联着驾驶舱效应的虚假故障必然会对驾驶者的心理造成不同程度的影响.如何快速精准地过滤飞机虚假故障是目前急需解决的问题.提出一种过滤飞机虚假故障的方法,通过构建的故障关联模型和致命故障模型来设计虚假故障过滤器.该方法能有效地过滤虚假故障,对减轻驾驶员负担、提高飞行安全有着重要意义.     

基于灰色GM(1,1)模型的故障预测方法

首先介绍灰色GM(1,1)模型,但该模型的预测精度往往受原始序列光滑度的影响,对于不能够满足光滑度的序列,预测精度并不高。提出一种通过变换原始序列来改善光滑度的方法,并将此方法应用于故障预测中,取得了良好的效果。通过用MAT-LAB对实例仿真并进行精度检验说明,提出的方案在故障预测精度上有明显的提高。     

面向缺陷的故障模型研究进展

纳米技术应用下,面向缺陷的故障模型的研究显得日益重要。本文利用诱导故障分析的方法,总结了缺陷和故障模型。研究表明,层次化方法、串话故障及互连线间阻值非零的桥接故障仍需要研究和完善。     

移动代理的故障模型分析

容错是移动代理系统实现的重要条件。该文提出移动代理的故障模型分类方法LAPSe。介绍了基于暂存复制和基于空间复制分类方法,据此分类方法比较了部分现有移动代理容错模型,结论是:其中基于空间复制类的代理系统容错性能最好。讨论了移动代理的容错研究需要解决的关键问题。     

基于扩展有限状态机模型的故障检测

提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证。实验表明,该算法可以快速准确地定位软件中故障发生的位置。     

浅析软件测试中故障模型的建立

软件测试在软件的迅速发展中越来越突显其重要性,在软件测试中,会碰到各种类型灵活性很强的软件故障,所以测试用例的设计显得很重要.针对软件测试用例的难以确定性,通过故障模型的建立,利用故障树分析原理,对故障模式判决软件进行测试用例的设计.     

基于功能模型的故障仿真

在复杂系统智能故障诊断问题的驱动下,提出了一种功能建模策略,并进行了详细的说明。根据该策略,建立了某种型号履带车辆的功能模型。最后,利用自己开发的故障仿真工具,基于该模型进行了故障仿真。仿真结果证明了建模策略的有效性,为下一步的工作奠定了基础。     

非线性模拟电路软故障诊断方法

针对非线性模拟电路故障诊断中软故障诊断的难题,提出了Volterra级数结合隐马尔科夫模型（HMM）进行故障诊断的方法。首先利用梯度搜索算法求解Volterra级数并提取出故障特征,然后利用提取出来的故障特征构造出观察变量对隐马尔科夫模型进行训练,最后用训练好的隐马尔科夫模型完成故障诊断。实验结果表明,该方法能有效提取故障特征,提高故障诊断效果。     

故障树分析法在油断路器故障预测中的应用

通过对故障树分析法的研究，给出故障树数学模型、顶事件故障率算法和底事件重要度算法，并应用于油断路器故障预测，结果表明用故障树方法对系统进行故障分析，能够清晰发现对顶事件发生影响最大的因素，为农网故障提前预测和故障预防工作提供依据。     

DEDS对象化高级Petri网模型研究--柔性生产线对象化高级Petri网模型

在加色网基础上,提出一种新的扩展Petri网模型.该模型具以下特点:对进程演化的有序结构建立偏序集数据抽象,使网络的几何结构与代数运算脱离具体进程特征;使用谓词集对加入变迁的token进行覆盖,可以集中描述物理事件集的层次逻辑结构;能方便有效地描述非固定流程生产系统.     

方程诊断算法在Malek故障模型中的应用

采用方程模式来描述Malek故障模型，把求该模型全体相容故障模式的问题转换为求方程组的解集，并通过实例讲解如何求解方程组的解集和以此得到Malek模型的诊断结果，为系统研究这类模型的方程诊断算法提供了典型示范和奠定了理论基础。     

Malek故障模型的方程诊断算法设计

首先给出Malek模型的方程组定义形式,然后在不以“t-可诊断性”和“相信大多数”作前提假设的情况下,通过引入“集团”的概念给出了求其全体相容故障模式的具体方法—方程诊断算法,丰富了Malek模型的故障诊断方式。     

VFSim: Concurrent Fault Simulation at Register Transfer Level

VLSI testing is being pushed to the high-level based technology. In this paper a Verilog Register transfer level Model (VRM) for integrated circuits is proposed. The model provides a text format file, which is convenient and more practical for developing succeeding Register Transfer Level (RTL) test tools, such as fault simulation, test pattern generation and so forth. Based on the VRM, an RTL concurrent fault simulation approach is presented. After RTL fault models and super faults defined, the concurrent fault simulation algorithm is given. The corresponding RTL concurrent fault simulator, VFSim, was implemented. The initial experiments show that the RTL fault simulator is efficient for VLSI circuits.     

A New Approach to Robust and Fault Tolerant Control

In this paper, we shall summarize a new approach to robust and fault tolerant control proposed recently by the author. This approach is based on a variation of all controller parametrization. This robust and fault-tolerant control design consists of two parts: a nominal performance controller and a robustness controller, and works in such a way that when a component (sensor, actuator, etc.) failure is detected, the controller structure is reconfigured by adding a robustness loop to compensate the fault. We shall illustrate how this strategy works under various situations.     

一种基于小波网络的故障检测方法

本文针对突变故障给出了一种基于小波网络的检测方法。故障检测方法一般分为两种：一种是基于信号分析；而另一种是基于过程的数学模型。本文给出了一种基于小波网络的故障检测方法，它具有信号分析，数学模型两者优点，从而更准确地检测出突变故障。