1、“.....分清故障间关系。最终系统分析小割集计算方法，为论文动态故障树模型的引出和分析提供铺垫。顺序门。顺序门与优先与门类似，都表示基本事件的时序性，顺序们可以由几个优先与门组合而成，如图。顺序门指定基本事件按照定的顺序发生，即从左到右的顺序，只有当左边的事基于动态故障树的伺服飞控软件故障诊断方法及应用论文原稿方法故障树的知识表示与推理方法静态故障树软件故障树分析是指通过系统的演绎推算，检查出可能导致系统失效的基础原因，计算引发故障的所有组合模式，统计各底事件对整个系统的顶事件发生的影响程度......”。

2、“.....如果故障门，当系统的元素之间存在顺序相关性，或者具有冷热备件的情况，单纯的静态逻辑门已经不能满足分析的需求，因此引入了动态逻辑门的概念，可以表征系统的些动态特性，比如时序关系依赖关系。具有个或个以上动态逻辑门的故障树称为动态故障障情况，再求得该树最小割集，得到最小测试集为个。本文方法所需测试点的数目减少了大约，在缩短了故障诊断时间的同时，保证了高故障诊断率，实验结果表明本文方法有效可行。参考文献沈作军载人航天故障统计分析及其安全要求系统研究中从图可以看出，该软件的总线指令解析模块由总线初始化指令响应等单元组成......”。

3、“.....测试点多，且该系统为伺服飞控软件核心功能，直接影响整个系统的功能完备性。对软件进行故障注入，对比两种诊断方式的诊断结果。如表所示。由位不准确，将潜在故障遗漏在产品中，则会严重影响软件质量。为了解决以上问题，本文将动态故障树模型引入到软件故障诊断的过程中，利用故障树对软件故障进行分析。在保证较高故障检查率的前提下，获得最小测试集，缩短了故障诊断时间。仿法进行仿真，并记录传统的专家代码审查故障诊断时间和基于动态故障树的故障诊断时间，对比两种方法的优势和劣势。型号伺服飞控软件的总线指令解析模块组成如图......”。

4、“.....本文方法所需测试点的数目减少了大约，在缩短了故障诊断时间的同时，保证了高故障诊断率，实验结果表明本文方法有效可行。参考文献沈作军载人航天故障统计分析及其安全要求系统研究中国航天，龙兵，宋立辉，荆武兴，姜兴解析模块由总线初始化指令响应等单元组成。该模块的功能点多，测试点多，且该系统为伺服飞控软件核心功能，直接影响整个系统的功能完备性。对软件进行故障注入，对比两种诊断方式的诊断结果。如表所示......”。

5、“.....利用故障注入的方法进行仿真，并记录传统的专家代码审查故障诊断时间和基于动态故障树的故障诊断时间，对比两种方法的优势和劣势。型号伺服飞控软件的总线指令解析模块组成如制喷管或空气舵的摆角，软件产品质量直接影响甚至决定整个伺服系统的质量。伺服飞控软件具有多指令多总线强实时等特点，导致其测试项多，测试不方便且测试时间较长等难题。为保证飞控软件的研制进度，进行故障诊断时需高效快速。如果故障逻辑门，当系统的元素之间存在顺序相关性......”。

6、“.....单纯的静态逻辑门已经不能满足分析的需求，因此引入了动态逻辑门的概念，可以表征系统的些动态特性，比如时序关系依赖关系。具有个或个以上动态逻辑门的故障树称为动态景下，航天嵌入式系统由过去的软硬件协同完成基本功能，向硬件软件化的趋势发展，许多重要的功能由软件实现。在导弹与火箭的伺服系统中，伺服飞控软件的主要功能为接收控制系统的姿态指令，采集伺服机构各传感器信号，通过高速运算精确控渭，李志航天器故障诊断技术回顾与展望北京导弹与航天运载技术......”。

7、“.....。仿真实验仿真实验选取型号伺服飞控软件的总线指令解析模块，利用故障注入的析模块的全部个函数，即个测试点进行查阅，传统方法的故障诊断率依赖专家经验，所以使用传统方法故障诊断时间长，诊断率有可能出现偏差。而本文方法通过构造总线指令解析模块的故障树，分析出完整的故障情况，再求得该树最小割集，得到最故障树。常用的动态逻辑门有优先与门，顺序门，冷备件门，热备件门，功能相关门等。搭建伺服飞控软件的动态故障树主要用到优先与门顺序门。基于动态故障树的伺服飞控软件故障诊断方法及应用论文原稿。从图可以看出......”。

8、“.....对于故障树的任意个割集，假如去掉其中任意的个底事件不再触发顶事件，则这个割集称为这棵故障树的最小割集。下面简要介绍静态故障树最小割集计算方法，为论文动态故障树模型的引出和分析提供铺垫。动态故障树静态故障树的逻辑门均为静与最小测试集求解是整个流程的目的。基于动态故障树的伺服飞控软件故障诊断方法及应用论文原稿。基于动态故障树的伺服飞控软件故障诊断方法故障树的知识表示与推理方法静态故障树软件故障树分析是指通过系统的演绎推算，检查出可能导都先于右边的事件发生......”。

9、“.....在这个过程中，即使有个事件不按照顺序发生，事件就永远进入不了顶事件。故障诊断方法设计基于动态故障树的故障诊断方法，按照系统故障分析动态故障树生成最小测试集求解树的些底事件同时发生时，会触发故障树的顶事件，则称这些底事件所组成的集合为这棵故障树的割集。对于故障树的任意个割集，假如去掉其中任意的个底事件不再触发顶事件，则这个割集称为这棵故障树的最小割集。下面简要介绍静态故障树最树。常用的动态逻辑门有优先与门，顺序门，冷备件门，热备件门，功能相关门等。搭建伺服飞控软件的动态故障树主要用到优先与门顺序门......”。