Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
5 O* w; b/ ?7 j' P车床：
action on finish：
IF RANDOM (1) <= 0.05
" Y' P2 g7 k. m/ p; G PEN = 1
5 ?+ O$ l$ e; a# C( c0 V% {) _5 n C = "pink"
ENDIF     

" n9 u9 i7 `, L& O5 S7 i铣床：
& P5 a8 X8 Z% v8 p" i. Paction on finish：
IF RANDOM (2) <= 0.05
% y! g  L* S' X# C3 B9 Z7 I PEN = 2
' o7 }" y4 l! n' t D = "yellow"
ENDIF   

- s) T8 g. g/ R2 k1 i* A) ?磨床：
action on finish：
$ E! S8 q* i3 \. @9 I' X+ qIF RANDOM (3) <= 0.05
  @9 a; O5 }$ k: C( m PEN =3
$ C4 ~$ v2 F/ S  l+ @ E= "green"
ENDIF

dragonet5

你这个写得不够清楚。

9 p+ p0 E$ g) [. P& J# b1 L首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
5 H, {" T. q! q
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

  V; u% e+ H% [/ S最后问一下你的Witness版本。