论文部分内容阅读
随着我国民用飞机事业的发展,适航验证是保证民用飞机技术成功和市场成功的重要工作。针对民用飞机复杂系统的适航验证,安全性评估是适航验证的主要方法之一,其中故障树分析方法(FTA)是安全性评估的常用工具。在工程实践中,利用故障树分析方法进行适航安全性评估遇到难以描述复杂系统故障动态逻辑的问题,本文对这些问题进行了相关的研究。针对复杂系统的动态特性,提出引入动态逻辑门,建立动态故障树的分析方法。动态故障树分析(DFTA)综合了故障树分析和马尔可夫链法两者的优点,通过引入表征动态特性的新的逻辑门类型,是解决具有动态特性的系统的安全性评估的有效途径。为了便于飞机的适航取证,本文提出结合飞机/系统结构模块化,建立动态故障树。再对动态故障树本身进行模块化,将动态故障树分为独立的静态子树和动态子树,再分别用二元决策图法(BDD)和马尔可夫链进行求解。文中研究了故障树的模块化,利用二元决策图分析动态故障树的静态子树,利用马尔科夫模型分析动态子树。在研究飞机复杂系统适航要求的基础上,分析安全性评估常用方法和步骤,提出动态故障树进行安全性评估工作程序,提高工程可操作性。本文研究我国大型飞机适航验证中的安全性评估方法,根据适航规章对飞机系统安全性的要求,分析适航验证中常用的安全性评估方法。通过传统故障树分析方法,深入研究动态故障树分析方法及其在飞机系统适航安全性评估中的应用,为我国民机复杂系统适航验证提供支持。