The Set of PossFaults(Cont'd)

{t5 -> S1,t7 - e ->, t7 -> S0, t8 - f ->, t8 -> S1, t9 -> S0}

{t5 -> S1,t7 - e ->, t7 -> S0, t8 - f ->, t8 -> S1, t9 -> S2}

{t5 -> S1,t7 - e ->, t7 -> S1, t8 - f ->, t8 -> S1, t9 -> S0}

{t5 -> S1,t7 - e ->, t7 -> S1, t8 - f ->, t8 -> S1, t9 -> S2}}

PossFaults[{t*5,t07,t*7,t04,t08,t*8}] = { }

PossFaults[{t*5,t07,t*9,t08,t*8} }] = {

{t5 -> S0,t7 - e ->, t7 -> S0, t8 - f ->, t8 -> S1, t9 -> S0}

{t5 -> S0,t7 - e ->, t7 -> S0, t8 - f ->, t8 -> S1, t9 -> S2}

{t5 -> S1,t7 - e ->, t7 -> S0, t8 - f ->, t8 -> S1, t9 -> S0}

{t5 -> S1,t7 - e ->, t7 -> S0, t8 - f ->, t8 -> S1, t9 -> S2}}

PossFaults[{t*5,t07,t04,t08,t*8}] = {}

PossFaults[{t*3,t08}] = {{t3 -> S0,t8 - f ->}}

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本