一种基于UML类图和活动图的故障树生成方法

针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障树模型的转换规则,将活动图中动态行为信息和类图静态状态信息转化为故障树中的节点要素。基于转换规则设计算法逆向遍历活动图和类图,自顶向下生成故障树。经过实例建模生成故障树,表明该方法能反映系统的动态行为和静态状态两方面的故障信息,为故障树生成提供了一种新的有效途径。     

TEE：一个用于故障树自动生成的专家系统环境

故障树的自动生成是系统可靠性分析家们十分关心的问题。本文介绍了一个故障树自动生成的专家系统环境ＴＥＥ。作为一个开发故障树自动生成专家系统的工具，ＴＥＥ仅可以用来开发为一般复杂系统自动生成故障树的专家系统，也可以用来开发为带控制环的复杂系统自动生成故障树的专家系统。本文讨论了ＴＥＥ的总体结构、知识库组织和知识表示、推理机的算法设计等问题。     

基于故障配置的故障树生成

故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析。首先,定义故障特征图模型用于刻画系统故障间的约束关系,基于Kripke结构定义故障标记迁移系统来描述系统的行为;然后,基于模型的语义建立通过模型检测生成故障树的过程;最后,通过时序逻辑描述系统安全属性,利用模型检测工具SNIP验证安全属性进而生成故障树。案例研究验证了该方法的有效性。     

基于Internet的故障树自动生成系统的研究

目前,计算机自动生成故障树技术的开发已经得到了广泛关注。为了增强故障树的可读性,简化大系统故障树生成的复杂性,并能够实现故障树生成技术的资源共享,本文介绍了一种基于Internet、利用JSP/Servlet技术的远程控制系统故障树生成系统的体系结构,并阐述了该体系结构下系统主要功能模块。最后,结合一个液位控制系统的例子验证了基于Inter-net的故障树生成系统的有效性和可行性。     

故障树自动生成技术的研究与实现

故障树自动生成技术在故障树生成中,根据控制系统流程图和有向图确定系统的邻接矩阵,利用邻接矩阵描述系统各子要素之间的直接关系,并求得的系统可达矩阵.通过搜索顶部结构各节点并结合故障树结构模型,从数据库中调用相关的因果模型,自动生成系统故障树.应用该技术大大增强了故障树的可读性,简化了系统故障树生成的复杂性,为故障树生成节省大量重复劳动,使生成的故障树具有更强的理论依据和可行性.     

基于模型的故障树自动生成方法

基于模型的安全性分析方法能够提高复杂安全关键系统的建模与分析能力.目前故障树被广泛应用于系统安全及可靠性分析中.故障树分析(Fault Tree Analysis,FTA)是一种自上而下的演绎式失效方法,根据故障树分析系统中不希望出现的状态,系统工程中可以尽早确定当前系统模型可能出现的问题并及时避免.面向一类安全关键性系统领域中的系统安全性建模语言AltaRica,基于其语义模型卫士转换系统(Guarded Transition Systems,GTS),设计了从平展化的GTS模型自动构造系统故障树的方法,节省了人工构造故障树的时间,从而加快了系统分析的进度.根据AltaRica3.0语言的语义规则,提取平展化GTS模型的数据构建实例对象;设计了GTS模型划分算法,得到一组独立GTS模型与一个独立断言,通过邻接矩阵构建独立GTS的可达图并获取关键事件序列.最后将处理结束的独立GTS与独立断言相结合,通过断言传播算法得到整个系统的状态及关键事件序列,生成系统故障树.最后通过实例来检验算法的有效性,结果表明,该算法能有效完成从平展化GTS模型自动生成故障树.     

基于FMECA的故障树分析自动生成方法研究

以产品设计阶段生成的FMECA（Failure Mode Effect and Criticality Analysis,故障模式、影响及危害性分析）为基础,对其故障诊断分析模型进行了比较深入、系统的研究,提出了一种基于FMECA的故障树分析系统自动生成的新方法。通过研究产品设计知识生成诊断知识,很好地缓解了诊断知识匮乏带来的窘境。与手工建树相比,这种方法可以高效、准确地得到具有较完备诊断知识的故障树。     

PDM 结合FMEA 进行金融设备的故障诊断

金融系统的故障诊断要求标准高,针对金融系统金融产品从设计到生产相关文档齐全,各零部件参数详细,有着明确统一的标准的特点。在简单介绍PDM 和FMEA 的基础上,提出了PDM 与FMEA 相结合生成故障树进行金融设备故障诊断与维护的方法,将金融产品构成信息、产品功能信息及维修信息并融合产品设计阶段获取的诊断知识,进行诊断,使产品的设计、诊断与维护形成一个有机整体。详细阐述了PDM 结合FMEA 的生成故障树的知识表达及规则生成的原理,并以ATM 机为例进行了验证。     

基于Petri网的联锁软件测试用例动态生成

根据Petri网可动态描述和分析系统行为的特性,设计铁路计算机联锁软件安全需求Petri网模型,进而提出基于Petri网故障树的最小割集求解算法以及基于形式化故障树最小割集的测试用例动态生成算法。虚拟站场上的测试结果表 明,该方法能有效地降低测试过程的资源消耗,提高软件测试的效率,为联锁软件的设计与改进提供测试依据。     

自动生成模拟电路故障树的一种方法

故障树法是应用于模拟电路故障诊断的一种常用方法;使用这种方法的关键是针对被测件(UUT)的不同故障模式,预先开发详细的故障树;传统的故障树开发方法是人工设计,其缺点是效率低,且容易出错;针对这一问题,提出了一种基于eXpress可测试性分析软件自动生成故障树的方法,描述了用eXpress自动生成故障树的过程,介绍了eXpress诊断报告的应用方法,通过示例验证了该方法的可行性和实用性;该方法的优点是能借助eXpress软件自动生成故障树、效率高、不易出错。     

The reliability of general vague fault-tree analysis on weapon systems fault diagnosis

An algorithm of vague fault-tree analysis is proposed in this paper to calculate fault interval of system components from integrating expert's knowledge and experience in terms of providing the possibility of failure of bottom events. We also modify Tanaka et al's definition and extend the new usage on vague fault-tree analysis in terms of finding most important basic system component for managerial decision-making. In numerical verification, the fault of automatic gun is presented as a numerical example. For advanced experiment, a fault tree for the reactor protective system is adopted as simulation example and we compare the results with other methods. This paper also develops vague fault tree decision support systems (VFTDSS) to generate fault-tree, fault-tree nodes, then directly compute the vague fault-tree interval, traditional reliability, and vague reliability interval.     

使用故障树技术分析面向对象的软件

故障树技术已广泛应用于工业系统,然而在软件中的应用较少论及,在面向对象软件中的应用更不多见。本文首先简要介绍了故障树的基本概念,原理和方法,然后将故障树技术引入面向对象软件分析,提出了一种由面向对象软件中消息发送关系图导出故障树的新方法,给出了相应的故障树造算法。     

自修复技术在小型飞行器机载计算机中的应用

自修复技术在可靠性设计中愈来愈显示出其重要性。本文针对小型飞行器的特殊使用环境,从自修复技术的四项关键技术（故障树的产生、故障诊断与隔离、故障后的动态重构及新旧系统之间的无痕迹切换）出发,提出机载计算机中自修复技术的应用原则,并以某机载计算机为例给出具体实现方法。     

Safety verification of Ada programs using software fault trees

The software fault-tree analysis technique is explained. It is then extended to allow its use on a more complex language involving such features as concurrency and exception handling. Ada is used as the example language because many safety-critical projects are using or planning to use Ada. It also contains complex, real-time programming facilities found in other languages used in these types of projects. Software fault-tree analysis uses failure-mode templates to generate the fault tree. The templates provided can be used to define the procedures for applying the technique to programs written in most other declarative languages. To explain the use of the templates an example Ada program, for a traffic-light-control system, is analyzed. The cost and practicality of the method and its implications for software reuse are assessed. The application of the safety analysis procedures to requirements modeling and specification languages is considered     

A novel general approach to evaluating the PCBA for components with different membership function

The logistic support of high tech industry all emphasize that reliability design start, one must fully considers its life cycle. The reliability analysis and prediction are the main work objectives. The purpose is to ensure that the system (product) can achieve its designed functions under specific operating conditions. However, the incomplete failure data and different fault probability density function of the system elementary event also increase the difficulty of reliability design and calculation. It cannot be fully solved by traditional probability reliability. Therefore, a more general and efficient algorithm to assess the system reliability is needed. This paper proposed speculation by experts’ opinions according to incomplete information condition. It reasonably gives different fault membership function of possibility of failure distribution under different bottom event. It also applies fault-tree analysis, α-cut of vague set, and interval arithmetic operations of vague set to obtain fault interval and reliability interval of the system. Moreover, this paper also modifies Tanaka et al.’s fuzzy fault-tree definition and extended the new usage to fit different membership function of vague fault-tree. Then, find out the critical elementary event that affects the reliability of the system, which could be used for managerial decision-making, and as the bases to future system maintenance strategy. In numerical verification, a malfunction of printed circuit board assembly (PCBA) is presented as a numerical example. The result of the proposed method is compared with the listing approaches of reliability analysis methods.     

基于框架表示法的某武器系统嵌入式智能诊断

讨论针对某武器系统的一种基于框架表示法的嵌入式智能诊断系统,诊断系统采用故障树分析法来构造推理机,采用正向推理为主、反向推理为辅,正反向混合推理的控制策略。围绕故障分离树进行深度优先搜索,通过问题框架与知识库的匹配进行故障诊断。武器系统的操作人员借助嵌入式智能诊断系统进行故障诊断,可以很大程度上提高故障诊断的效率,同时加强操作人员对武器系统性能、构造的把握和了解。该系统对于充分发挥武器系统的效力,具有较大的现实意义。     

可视化基站发电管理系统

针对以前的发电管理系统或只是数据呈现,提供市电及发电相关数据信息,或只是提供出车轨迹,主要实现对出车的管理,不能全面反应发电全过程且不便于对发电事件进行分析的情况,提出可视化发电管理系统的概念。在简要介绍了LBS系统、动力环境监控系统后,讲述了可视化基站发电管理系统的组成以及通过LBS定位管理、短信互动、实时监测数据等进行系统实现。可视化发电管理系统通过可视化的界面帮助发电管理人员进行管理,直观、便捷。     

Development of fault tree for reliability studies of a data-processing system

In this paper a systematic approach is developed for generating the fault-tree logic, which is the basic requirement in any reliability studies of large complex systems using Monte Carlo simulation or deterministic approaches. The entire network is decomposed into sub-networks, each sub-network involving several loops, and it becomes quite easy to determine failure logic for these loops and thus for the subnetworks. Failure of such subnetworks between the source and the sink node leads to a major system failure and therefore this successive development results in a fault tree for the whole network.These loops can be automatically generated.

The failure event for each node in such an approach can also be accounted for. The advantage of the present methodology is that the fault-tree logic is automatically developed, which can be directly used as a sub-programme on a computer for various reliability studies of the system.     

一个面向IPv6的网络拓扑管理系统的实现

探讨了基于IPv6的下一代互联网的拓扑发现遇到的问题,实现了一个基于拓扑结构的IPv6环境下的综合网络管理系统并对实际运行中的各种网络现象进行了分析。目前系统已经在中日IPv6试验网和中国高速互联研究试验网(NSFCNET)上进行了实际测试,发现了若干网络中的配置错误和路由的不稳定性,网络管理员可以根据系统结果调整路由的配置。     

煤电钻综合装置电子插件的故障诊断

针对煤电钻综合装置,特别是电子插件部分易出现故障这一缺陷,文章采用故障树模型分析法对煤电钻综合装置电子插件的故障进行诊断,建立了电子插件故障树模型,编制了故障诊断程序,并以短路保护拒动和电钻不能启动2种故障为例进行了具体的诊断分析。