论文部分内容阅读
本文试用一个线性界限自动机来描述格局可变微处理机多重冗余系统的格局变换;并对非粘失效及相关失效作了某些模型处理,以便能对这类系统的可靠性作更为切合实际的分析。文中以一个可变格局五重冗余系统为例计算了可靠性指标。
In this paper, a linear bound automaton is used to describe the pattern transformation of a variable-format microprocessor with multiple redundant systems. Some models of non-stick failure and related failures are processed in order to make the reliability of such systems more Practical analysis. In this paper, a variable pattern five redundant system as an example to calculate the reliability index.