Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
9 U, e; ?: v8 w0 K4 J0 A
" J* j6 k0 R! I% r我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
! U0 \6 j3 D9 ^! B车床：
action on finish：
IF RANDOM (1) <= 0.05
PEN = 1
/ \: H) q) K" W" @8 J3 i) T' j C = "pink"
ENDIF     

铣床：
$ w) {  [& f3 j) V; P8 maction on finish：
IF RANDOM (2) <= 0.05
9 x/ r3 r) G( J( k0 e( U+ V/ O PEN = 2
8 S% f  J, n' u% Y! I' P' i# o- G9 c D = "yellow"
$ [$ C0 t  u/ z8 \7 o6 t* GENDIF   

磨床：
$ K$ i/ E' r1 m! x2 f( D$ eaction on finish：
IF RANDOM (3) <= 0.05
8 s6 T- C) w, [, Q6 ~: v PEN =3
- b( V0 l/ V" f! Y: y E= "green"
+ @- a( W: e, P" {0 |* bENDIF

dragonet5

/ Y& c& w9 R( a0 s; o+ }你这个写得不够清楚。
: @( X5 V/ k) O$ e/ r' L
# b$ e: B, Z: K首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

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

4 E% W" J/ F( f# d" g! \最后问一下你的Witness版本。