Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
3 N+ d# u( c9 r4 Xaction on finish：
2 e( k( R. B" ^9 M7 _IF RANDOM (1) <= 0.05
7 E; O- p3 A0 ^8 B4 _ PEN = 1
% h; }- ]( S3 p. } C = "pink"
ENDIF     
% c) z' c! c) t+ ?
铣床：
4 [. d3 w1 L( F$ Z- k% }action on finish：
IF RANDOM (2) <= 0.05
PEN = 2
9 W% T, p/ q! K4 K+ ?( U1 i D = "yellow"
ENDIF   

6 r+ B9 p& J$ f7 \# n2 J磨床：
% @5 c$ s+ ]' Q- Uaction on finish：
1 `  z9 L8 }0 `4 W& W! p2 e) i$ lIF RANDOM (3) <= 0.05
3 u' |& H8 d! F1 E- ~/ ` PEN =3
E= "green"
ENDIF

dragonet5

你这个写得不够清楚。
# t+ `7 j8 M3 g. p1 A
$ Q) D, K0 e! V1 ?: `' i首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。