Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？

1 u; Q3 Z2 y( F# R6 d0 Y我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
# q8 p: P/ C5 d! {( G2 bIF RANDOM (1) <= 0.05
PEN = 1
! z* T/ o7 P8 A* N1 x' D1 } C = "pink"
ENDIF     
5 ?1 C4 @, a+ j' @% T6 L% V2 d3 N& I
$ p1 o+ T* q! j9 J! ~! h9 f$ m铣床：
) d9 ]- E! P( z: T- ?action on finish：
  h' i( r) ?. YIF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
' D+ t1 W  d, ?ENDIF   

* E% Z: s$ v. W* e/ k3 C0 H磨床：
7 a, |3 W; w! O1 }7 b4 |! }action on finish：
, ?9 ~) l3 w: u) H# K) D+ u8 IIF RANDOM (3) <= 0.05
1 k5 s( o  U2 b, o% ^; H PEN =3
E= "green"
" Y' Q  s4 b! f' u8 T( E1 @& YENDIF

dragonet5

你这个写得不够清楚。

$ q. M, p- t" c8 z* ]6 v0 F9 X  x首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

* ?- M+ B- q* d6 r然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
9 i. K* X& \7 V, \5 s
最后问一下你的Witness版本。