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

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

Reliability analysis based on algebraic model for flight control computers

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.