一种扩展故障安全系统理论

A Theory of Extended Fail-safe Systems

本文以广义故障安全系统理论和扩展故障安全概念为基础，提出了一种扩展故障安全系统理论，它包括电路的扩展故障安全特性的有关定义、基本电路的模块结构及模块之间互连的条件等内容。一个基本扩展故障安全电路是由一个实现电路基本功能的基本功能模块和一个用于实现扩展故障安全的差错检测转换器所组成的。文中定义了表征扩展故障安全电路和差错检测转换器特性的若干概念；证明了基本功能模块与差错检测转换器互连，以构造具有不同扩展故障安全特性的基本电路所需满足的条件；最后以一个典型电路为例，对该理论如何用于电路分析作了说明。

On the basis of the concept and the theory of generalized fail-safe systems, a new theory of extendedfail-safe systems is proposed. Definitions of basic properties, modular structures and connection conditions of differ-ent modules for extended fail-safe systems are presented. A basic extended fail-safe circuit is composed of a basicfunctional module and an error-detecting translator. Several properties to characterize this kind of circuits are defined.The interconnection conditions, which basic functional modules and error-detecting translators must satisfy to con-struct basic circuits with different extended fail-safe properties, are proved. An example is given to demonstrate howto use the proposed theory for circuit analyzing.