基于最小割集的安全性测试用例的动态生成

利用故障树的原理和方法,对基于故障树最小割集的安全性测试用例动态生成进行了研究.首先阐述了故障树和故障树最小割集的概念及数学描述,然后给出了故障树最小割集的生成算法,最后在此基础上提出了基于故障树最小割集的动态生成安全性测试用例的算法.     

基于故障树最小割集和最小路集的诊断方法研究

利用故障树的原理和方法,对基于故障树最小割集和最小路集的诊断方法进行了研究。首先给出了故障树最小割集和最小路集的数学描述,在此基础上开发了基于故障树最小割集和最小路集的诊断推理策略,最后提出了测点配置和优化的方法。     

海水淡化系统反渗透膜故障诊断研究

故障树分析是一种图形演绎的故障诊断方法,在能源工程和航天器可靠性等领域已得到成功应用。基于反渗透系统,对系统中关键元件反渗透膜的结构和系统工作机理进行研究,给出了"脱盐率下降"作为顶事件的故障树,并求出了最小割集和最小径集,完成了对故障基本事件的结构重要度分析。针对传统故障树分析中不确定事件得不到有效解决以及知识获取困难的这一问题,提出将粗糙集与故障树分析相结合的混合的方法。     

基于BDD的关联故障树定量分析法研究

利用二元决策图(BDD)中的B—割集和节点概率,提出了基于BDD的关联故障树定量分析新算法。推导了故障树顶事件发生概率和绝对失效强度算法公式,将故障树顶事件发生概率和绝对失效强度计算结合起来,避免了复杂的最小割集和不交化求解过程,显著地减少了布尔代数运算量,给出了算法递归步骤。大量的实例分析验证了此算法的工程实用性。     

基于SAT求解器的故障树最小割集求解算法

故障树分析广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析。求解故障树的最小割集是故障树分析的关键步骤。目前,对于大规模故障树的最小割集的求解方法主要是将故障树转化为二元决策图之后求解,其主要缺点在于算法在时间和空间上的消耗严重依赖良好的变量顺序。为了减少存储资源并加快求解速度,提出了一种基于可满足性问题的故障树最小割集求解算法。首先,将求解故障树最小割集问题转化为求解布尔可满足性问题。然后,利用可满足性问题求解器,通过迭代分析求得最小可满足解集合,即为对应故障树的最小割集。实验表明,本文算法求得的最小割集准确、有效并且在空间和时间上的消耗均要优于传统的基于二元决策图的故障树最小割集求解算法。     

基于故障树分析法的软件测试技术研究

将安全性评估领域广泛应用的故障树分析法引入软件测试中,融合基于软件故障概率分析和风险分析的方法,对软件测试的故障树建模进行了重点研究.提出了建模的基本思想和方法,给出了软件测试故障树最小割集的算法,对故障树模型进行了定性和定量分析,并将分析结果指导和应用于软件测试实践中.     

基于故障树的故障诊断IDSS的设计

将智能决策支持技术引入故障诊断，给出系统的总体设计，并详细阐述基于故障树的知识库和推理机的设计。采用面向对象基于框架、规则、元知识集成的广义故障树知识表示方法，同时给出了基于故障树最小割集和最小路集的故障快速推理算法，实现了故障的迅速诊断。     

基于故障树的电梯故障诊断专家系统设计

设计了一种基于故障树的专家系统结构,建立了电梯系统的故障树模型和专家诊断知识库,提出了一种基于故障树专家系统的电梯故障诊断方法,开发了基于该方法的电梯故障诊断实验平台.该方法通过对电梯系统故障树模型进行分析提取故障树最小割集及最小割集重要度,并作为诊断规则并存入专家系统知识库,运用基于故障树最小割集重要度的推理机实现故障树与专家系统的交互操作,最后完成诊断并输出结果.实验表明,该方法较好地解决了专家系统知识获取难和知识完整性差的问题,实现了电梯故障的快速准确诊断.     

基于FTA的箱式变电站故障诊断系统研究

鉴于箱式变电站在工商业及城镇输配电系统中的重要性,完善箱式变电站故障诊断技术具有重要的意义。针对箱式变电站故障诊断的特点,本文运用故障树分析技术对箱式变电站故障诊断技术进行了研究,应用可信度方法对故障诊断进行了不确定性处理,并运用最小割集故障系数的概念改进故障树分析中的最小割集诊断法,提高故障诊断的效率。最后,本文以故障实例检验了该故障诊断系统的运行效果。     

基于故障树的故障诊断IDSS的设计

将智能决策支持技术引入故障诊断,给出系统的总体设计,并详细阐述基于故障树的知识库和推理机的设计。采用面向对象基于框架、规则、元知识集成的广义故障树知识表示方法,同时给出了基于故障树最小割集和最小路集的故障快速推理算法,实现了故障的迅速诊断。     

A Simple Method to Derive Minimal Cut Sets for a Non-coherent Fault Tree

Minimal cut sets (or prime implicants: minimal combinations of basic event conditions leading to system failure) are important information for reliability/safety analysis and design. To obtain minimal cut sets for general non-coherent fault trees, including negative basic events or multi-valued basic events, a special procedure such as the consensus rule must be applied to the results obtained by logical operations for coherent fault trees, which will require more steps and time. This paper proposes a simple method for a non-coherent fault tree, whose top event is represented as an AND combination of monotonic sub-trees. A "monotonic" sub-tree means that it does not have both positive and negative representations for each basic event. It is proven that minimal cut sets can be obtained by a conventional method for coherent fault trees. An illustrative example of a simple event tree analysis shows the detail and characteristics of the proposed method.     

一种容错系统可靠性分析方法

传统的故障树分析（Fault Tree Analysis,简称FTA）方法是一种基于静态逻辑或静态故障机理的方法,但这种方法对容错系统的可靠性分析已不适用。引入一种新的逻辑门,应用动态故障树分析技术,是解决容错系统的可靠性分析问题的一种有效途径。本文在故障树模型中引入了一种带有公用备件的热备件逻辑门,并给出了这种逻辑门转化为为马尔可夫链的方法。这种具有动态特性的逻辑门引入后所形成的动态故障树模型,扩展了传统故障树对容错系统可靠性分析的适用性。文章以某装备的电子设备系统为例,给出了用这种方法建立的动态故障树模型及其计算系统可靠度的方法和分析结果。     

A simple fault-tolerant adaptive and minimal routing approach in 3-D meshes

In this paper we propose a sufficient codition for minimal routing in 3-dimensional (3-D) meshes with faulty nodes,It is based on an early work of the author on minial routing in 2-dimensional(2-D) meshes,Unlike many traditional models that assume all the nodes know global fault distribution or just adjacent fault information,our approach is based on the concept of limited global fault information,First,we propose a fault model called faulty cube in which all faulty nodes in the system are contained in a set of faulty cubes.Fault information is then distributed to limited number of nodes while it is still sufficeint to support minimal routing.The limited fault information collcted at each node is represented by a vector caaled extended safety level.The extended safety level associated with a node can be used to determine the existence of a minimal path from this node to a given destination .Specifically,we study the existence of minimal paths at a given source node,limited distribution of fault information,minimal routing,and deadlock-free and livelock-free routing.our results show that any minimal routing that is partially adaptive can be applied in our model as long as the dstination node meets a certain conditon.We also propose a dynamic planar-adaptive routing scheme that offers better fault tolerance and adaptivity than the planar-adaptive routing scheme in 3-D meshes.Our approach is the first attempt to address adaptive and minimal routing is 3-D meshes with faulty nodes using limited fault information.     

基于最小故障感知器的分布式测控网络诊断

在分布式测控网络诊断中,为提高网络故障诊断的效率往往需要利用较短的故障搜索路径进行查找,为此,通过研究一类分布式测控网络拓扑结构图,基于网络中某些特定节点到其他节点的最短路径组合惟一性,提出以这些特定节点构建最小故障感知器的概念,研究表明利用最小故障感知器进行故障搜索具有较小的路径开销,由此给出基于最小故障感知器的分布...     

一般有向图法的实现及其应用

讨论了一般有向图法实现中的元部件完全模型知识表示、算法实现中的子算法以及 对一个专家系统环境TEE的改造等问题,并给出了一个应用实例.     

基于一致性的最小正常诊断及其应用

本文给出了基于一致性的最小正常诊断的概念，并将它与基于一致性的最小反常诊断加以区别。证明了若将系统描述限制在故障理论或在故障理论中扩展有限的正常行为知识，那么使用最小正常诊断能够刻画基于一致性的诊断空间，即最小正常诊断假设成立。本文还指出：使用最小正常诊断可以缩小只针对正常行为模型的最小反常诊断所产生的诊断空间，帮助我们找到真正的故障。文中最后还指出了最小正常诊断所适合的诊断任务及诊断领域。