Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
/ q  t0 w1 c2 d2 i' _车床：
7 Z; T7 ]  U# J2 f8 ^" ]action on finish：
. y/ h' @6 |# u1 h) d" G! kIF RANDOM (1) <= 0.05
9 B) e! U) u" n9 h3 ~$ d PEN = 1
C = "pink"
* H0 J& V( M# T9 R; {  O' z8 cENDIF     
; @. C' b( J1 }) D9 {' x5 G* c
铣床：
  m- }3 f; y5 R  f7 U( s8 haction on finish：
6 i7 K1 e. Z/ D& E/ Z, \% bIF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
ENDIF   
1 A4 w: ]: X4 T0 ^$ r
( P3 z- C% }2 H  F# l2 m( Y$ q# z磨床：
action on finish：
. G9 U3 c6 s' E+ B" ?$ Y7 VIF RANDOM (3) <= 0.05
PEN =3
E= "green"
ENDIF

dragonet5

0 _4 ~9 x. |3 j! {1 m0 I你这个写得不够清楚。
2 ]! P) y- U& ^; H( P- G
* C3 a: P. y' H首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

7 ?. |. m: ?# b3 {然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
& Q: A/ E) g8 D1 z( N
最后问一下你的Witness版本。