基于动态故障树的航空发动机可靠性分析方法研究
    点此下载全文
引用本文:宛伟健1,2,谢健1,2,葛晓瑜1,2.基于动态故障树的航空发动机可靠性分析方法研究[J].计算技术与自动化,2019,(2):1-7
摘要点击次数: 77
全文下载次数: 0
作者单位
宛伟健1,2,谢健1,2,葛晓瑜1,2 (1.南京航空航天大学 计算机科学与技术学院江苏 南京 211106 2.高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)江苏 南京 211106) 
中文摘要:随着航空发动机技术的不断发展,对其性能要求不断提高,使得航空发动机的安全性和可靠性变得愈发重要。然而,当前针对航空发动机的可靠性分析方法较少考虑系统失效时的动态特性,面向《航空发动机适航规定》(CCAR33-R2),考虑航空发动机危害性发动机后果发生时系统的动态特性,提出了一种将动态故障树和概率模型检测相结合的可靠性分析方法,对航空发动机的可靠性进行分析。首先,通过动态故障树对航空发动机的动态行为进行建模,并将其转换到离散时间马尔科夫链模型;然后基于概率模型检测语言PRISM对离散时间马尔科夫链模型进行描述,并利用相应工具进行定量分析,将顶事件发生概率和《CCAR33-R2.75》条款规定的故障发生概率比较,验证航空发动机是否符合《CCAR33-R2.75》条款安全性要求;最后对某型航空涡轮发动机进行实例建模分析,验证所提方法的正确性与可行性。
中文关键词:CCAR33-R2.75  动态故障树  离散时间马尔科夫链  概率模型检测  PRISM
 
Analysis Method for Aeroengine Reliability Based on Dynamic Fault Tree
Abstract:With the development of technology of aeronautical engine and the increasing requirements for its performance,engine's safety and reliability has become more and more important. However,analytical methods applied to previous studies on reliability of aeronautical paid less attention to dynamic behavior followed by system failure. The paper puts forward a method to analyze reliability of aeronautical engine that combines DFT (Dynamic Fault Tree) and PMC (Probabilistic Model Checking) in accordance with the rules on airworthiness of aeronautical engine. First,the paper will complete a modeling for the dynamic behavior of aeronautical engine through DFT,and transform it to the model of DTMC (Discrete Time Markov Chins). Next,the paper will provide the expression of DTMC by PRISM based on the probability model,and make a quantitative analysis by means of corresponding methods comparing the occurrence rate of Top-Event with that stipulated by “CCAR33-R2.75” to test whether the safety of aeronautical engine complies with it. At last,a modeling analysis of a certain type of aeronautical turbine engine will be made to prove the correctness and feasibility of the method proposed in this paper.
keywords:CCAR33-R2.75  dynamic fault tree  discrete time Markov chins  probabilistic model checking  PRISM
查看全文   查看/发表评论   下载pdf阅读器