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

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

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

西北工业大学自动化学院, 西安 710072

基金项目: 航空科学基金资助项目（20125853035）

详细信息

中图分类号: V24
计量
- 文章访问数: 1581
- HTML全文浏览量: 282
- PDF下载量: 415
- 被引次数: 0
出版历程
- 收稿日期: 2013-04-16
- 网络出版日期: 2014-02-20

Reliability analysis based on algebraic model for flight control computers

College of Automation,Northwestern Polytechnical University,Xi'an 710072,China

摘要

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

HTML全文

参考文献(18)

[1]	Yao Yiping, Cheng Minghua.The application on dynamic fault tree analysis for dissimilar fault-tolerant flight control system[C]//Proceedings of AIAA/IEEE Digital Avionics Systems Conference.Piscataway, NJ:IEEE, 1999, 1:3.B.1-1-3.B.1-6
[2]	韩炜, 臧红伟, 谢克嘉, 等.四余度容错计算机系统结构及其可靠性分析[J].计算机工程与科学, 2003, 25(1):98-100 Han Wei, Zang Hongwei, Xie Kejia, et al.Quad-redundant fault tolerant computer architecture and reliability analysis[J].Computer Engineering and Science, 2003, 25(1):98-100(in Chinese)
[3]	秦旭东, 陈宗基.基于Petri网的非相似余度飞控计算机可靠性分析[J].控制与决策, 2005, 20(10):1173-1176 Qin Xudong, Chen Zongji.Reliability analysis of dissimilar redundant flight control computers based on Petri nets[J].Control and Decision, 2005, 20(10):1173-1176(in Chinese)
[4]	陈宗基, 秦旭东, 高金源.非相似余度飞控计算机[J].航空学报, 2005, 26(3):320-327 Chen Zongji, Qin Xudong, Gao Jinyuan.Dissimilar redundant flight control computer system[J].Acta Aeronautica et Astronautica Sinica, 2005, 26(3):320-327(in Chinese)
[5]	安金霞, 朱纪洪, 王国庆, 等.多余度飞控计算机系统分级组合可靠性建模方法[J].航空学报, 2010, 31(2):301-309 An Jinxia, Zhu Jihong, Wang Guoqing, et al.Hierarchical combination reliability modeling method for multiple redundancy flight control computer system[J].Acta Aeronautica et Astronautica Sinica, 2010, 31(2):301-309(in Chinese)
[6]	孙岩, 苏媛, 洪冠新, 等.世界大型商用飞机飞控技术演变与发展分析[J].民用飞机设计与研究, 2009(S1):92-96 Sun Yan, Su Yuan, Hong Guanxin, et al.An analysis to the development and evolution of airliners' flight control technology in the world[J].Civil Aircraft Design and Research, 2009 (S1): 92- 96(in Chinese)
[7]	曹晋华, 程侃.可靠性数学引论[M].修订版.北京:高等教育出版社, 2006:43-243 Cao Jinhua, Cheng Kan.Introduction to the mathematics of reliability[M].Revised ed.Bejing:Higher Education Press, 2006: 43- 243(in Chinese)
[8]	Kodama M, Nakamichi H, Takamatsu S.Analysis of 7 models for the 2-dissimilar-unit, warm standby, redundant system[J].IEEE Transactions on Reliability, 1976, R-25(4):273-279
[9]	Dharmadhikari A, Gupta Y.Analysis of 1-out-of-2:G warm-standby repairable system[J].IEEE Transactions on Reliability, 1985, R-34(5):550-553
[10]	She J, Pecht M G.Reliability of a k-out-of-n warm-standby system[J]. IEEE Transactions on Reliability, 1992, 41(1):72-75
[11]	Zhang Tieling, Xie Min, Horigome M.Availability and reliability of k-out-of-(M+N):G warm standby systems[J].Reliability Engineering & System Safety, 2006, 91(4):381-387
[12]	Amari S V, Dill G.A new method for reliability analysis of standby systems[C]//Annual Reliability and Maintainability Symposium.Piscataway, NJ:IEEE, 2009:417-422
[13]	Merle G, Roussel J M, Lesage J J.Algebraic determination of the structure function of dynamic fault trees[J].Reliability Engineering & System Safety, 2011, 96(2):267-277
[14]	Merle G, Roussel J M, Lesage J J, et al.Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events[J].IEEE Transactions on Reliability, 2010, 59(1): 250- 261
[15]	Merle G, Roussel J M, Lesage J J, et al.Algebraic expression of the structure function of a subclass of dynamic fault trees[C]//Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems.Laxenburg:International Federation of Automatic Control, 2009, 2(1):117-122
[16]	张竞凯, 章卫国, 刘小雄, 等.基于贮备门DFT的飞控系统可靠性分析方[J].计算机测量与控制, 2013, 21(1):142-145 Zhang Jingkai, Zhang Weiguo, Liu Xiaoxiong, et al.A method of reliability analysis based on DFTs for FCS with spare gates[J].Computer Measurement and Control, 2013, 21(1):142-145(in Chinese)
[17]	Dugan B, Sullivan K J, Coppit D.Developing a low-cost high-quality software tool for dynamic fault-tree analysis[J].IEEE Transactions on Reliability, 2000, 49(1):49-59
[18]	Ibá ñez-Llano C, Rauzy A, Melénadez E, et al.A reduction approach to improve the quantification of linked fault trees through binary decision diagrams[J].Reliability Engineering & System Safety, 2010, 95(12):1314-1323