北京航空航天大学学报 ›› 2014, Vol. 40 ›› Issue (2): 262-267.

• 论文 • 上一篇    下一篇

基于代数模型的飞控计算机可靠性分析方法

张竞凯, 章卫国, 刘小雄, 王晓光   

  1. 西北工业大学 自动化学院, 西安 710072
  • 收稿日期:2013-04-16 出版日期:2014-02-20 发布日期:2014-03-03
  • 基金资助:
    航空科学基金资助项目(20125853035)

Reliability analysis based on algebraic model for flight control computers

Zhang Jingkai, Zhang Weiguo, Liu Xiaoxiong, Wang Xiaoguang   

  1. College of Automation,Northwestern Polytechnical University,Xi'an 710072,China
  • Received:2013-04-16 Online:2014-02-20 Published:2014-03-03

摘要: 针对现有大型客机飞行控制计算机的体系结构,运用动态故障树分析方法对系统进行可靠性分析.通过引入时间算子,为系统所包含的温贮备门事件建立了可靠性代数模型,并且在借助逻辑符号系统得到的结构函数基础上,推演出非相似余度温贮备可靠性分析的量化表达形式.这种代数模型方法可以适用于包含任何寿命分布类型部件的系统.通过对一个典型的电传飞控计算机系统进行研究,将其和经典Markov方法比较,体现出该种方法在工程中的有效性和便捷性.

Abstract: According to the architecture of modern airliners' flight control computers, a method dynamic fault tree analysis was used to assess the system reliability. Algebraic models with temporal operators which can handle dynamic logics were built for warm spare gates included in the system. Based on the expressions of logical symbols such as structure functions, the quantitative formulation was deduced to analyze a warm spare gate with dissimilar redundancy. The algebraic models proposed are applicable in any distribution type of lifetime. Compared to the classical Markov method, the application using algebraic models for a case of a typical flight control computer system shows the efficiency and convenience in practice.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发