关于大系统可靠性的逻辑描述与解法

本文提出了一种应用集合概念设计计算大系统可靠度的方法。用这种方法可以处理具有表决器和相关部件的系统可靠度计算的问题。系统的结构特征采用逻辑联词“与”、“或”描述。而系统状态和部件状态之间的关系采用集合映射的概念描述。本文给出了算法的要点和一个算例。算例的源程序是用FORTRANⅣ编写的,并在FELIX C—256计算机上调试通过。