Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
1 {5 ~9 @: g  }5 r5 y& J
' [  i7 x# \, _& N1 L4 k我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
8 s" O3 l4 w% \1 }( \! z* eaction on finish：
0 J6 q0 I) Y+ x) s0 `. \6 z/ ZIF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
5 U. R% X  N3 \8 wENDIF     

3 n' ]7 [) a$ Z6 P% t, c4 u, i铣床：
action on finish：
# d6 P( c+ }: h% ~6 D. d8 ?IF RANDOM (2) <= 0.05
, p2 [' u/ D, G$ G2 ~) N$ n( @ PEN = 2
D = "yellow"
9 F7 I! W& g* ^2 m# {# t. E" K, \ENDIF   

7 p) M: [: B  `2 R' i& k磨床：
6 T# O& C) M- ?3 O6 H' p' ~6 maction on finish：
IF RANDOM (3) <= 0.05
PEN =3
E= "green"
& g+ [* l) p- c1 R/ _ENDIF

dragonet5

7 ?$ s1 b. E6 T6 F, i8 P) M你这个写得不够清楚。

" R" f1 P+ Z8 W6 Q& p首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
4 K2 R; K6 x% w% S. u* U6 P
0 s& F1 _  Z3 e% a. u4 A: @然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

& S+ h5 z  c. `: N最后问一下你的Witness版本。