关键词：动态故障树 离散时间马尔科夫链 概率模型检测 prism 

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

计算技术与自动化杂志要求:

{1}参考文献请参考国家标准格式著录。

{2}要求选题新颖、观点鲜明、资料准确、数据翔实，具有一定的学术交流价值或普遍借鉴意义。

{3}除非作者另有声名，本刊对稿件有权修改。

{4}论文若多作者署名时必须排序，应注明每位作者的工作单位和邮政编码。第一作者还须提供性别、出生年、学位、职称、是否为研究生导师等方面的信息。通信作者应注明联系电话及其电子信箱。

{5}正文标题层次分级：一般不超过4级。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社