点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：计算技术与自动化

关键字：CCAR33-R2.75;动态故障树;离散时间马尔科夫链;概率模型检测;PRISM;

摘要：随着航空发动机技术的不断发展,对其性能要求不断提高,使得航空发动机的安全性和可靠性变得愈发重要。然而,当前针对航空发动机的可靠性分析方法较少考虑系统失效时的动态特性,面向《航空发动机适航规定》(CCAR33-R2),考虑航空发动机危害性发动机后果发生时系统的动态特性,提出了一种将动态故障树和概率模型检测相结合的可靠性分析方法,对航空发动机的可靠性进行分析。首先,通过动态故障树对航空发动机的动态行为进行建模,并将其转换到离散时间马尔科夫链模型;然后基于概率模型检测语言PRISM对离散时间马尔科夫链模型进行描述,并利用相应工具进行定量分析,将顶事件发生概率和《CCAR33-R2.75》条款规定的故障发生概率比较,验证航空发动机是否符合《CCAR33-R2.75》条款安全性要求;最后对某型航空涡轮发动机进行实例建模分析,验证所提方法的正确性与可行性。

ISSN号：1003-6199

是否译文：否

发表时间：2019-07-03

合写作者：宛伟健,葛晓瑜

通讯作者：谢健