Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
% w& r( r2 ~& j" f" p  @
我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
4 t; M$ I) K! s+ ~6 c, Z, H( WIF RANDOM (1) <= 0.05
- o! P" z3 {( |" } PEN = 1
: C3 `& n0 _- v8 Q5 i2 U/ x& U( ?8 p C = "pink"
ENDIF     
9 F  z1 y3 a8 b6 V
/ a8 g: A# K+ i铣床：
action on finish：
IF RANDOM (2) <= 0.05
PEN = 2
6 g# u4 P% X- Y5 Q; i D = "yellow"
; d# Y+ o: ^( [ENDIF   
7 O* m8 x1 F: e+ ~4 G. a+ [
磨床：
action on finish：
5 P( \; w. K( m% o, w. sIF RANDOM (3) <= 0.05
8 e% H/ V% Q  |/ W2 r PEN =3
E= "green"
6 |- c; z* S& I/ R, C7 d5 I% S4 f2 bENDIF

dragonet5

% H- R+ z1 R/ b0 I: r你这个写得不够清楚。
" A% Y: R5 F. A" y
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
1 ^7 d0 _; a) Q  G* `5 l9 B+ K) O2 ^7 b
& N5 t  _: K8 G3 k然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
: {" x) O5 A! K1 m7 R5 e
  t0 j5 {  c) n$ C8 ~$ L% `最后问一下你的Witness版本。