计算机科技笔记： 容错计算机设计05 n模冗余系统 特殊的双模系统 & 复杂结构 非并行串行结构的两种计算方法

特殊的双模系统

双模系统有立即替代的计算

• 推导详见连接
  

双模系统有维修的计算

复杂结构

非并行串行结构

• 一个任务完成有三条路径：
  

方法一：

• 化简，C模块好和坏的状态：

• 某个i模块好坏两个状态概率相加：
  
• 尽量简化为并行或串行系统：
  
• （b）是并行加串行的结构，（a）图还需进一步简化

方法二：

• 将系统分解
  
  

• 估算系统可靠性（由于有公共模块，所以并非完全并行）：
  
  
  
  

• 从数学角度，$R_E^2$在概率上为两个事件都发生，这时去掉平方的角标就是精确答案值
  

• 更精确证明还需计算下界：

• 图论中AB是一个割集：