Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
4 j5 C2 Z# i) _% d8 m3 \
; u% i6 y% b8 b+ F4 x& m我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
* y- z, ^9 r4 X- s8 R( ^车床：
  v9 l" ]2 U% o; s. |action on finish：
) {- t' j, A; \* p1 `' _IF RANDOM (1) <= 0.05
PEN = 1
8 C! m7 _, L+ ^# T C = "pink"
* C8 r7 s: [% x3 f. H$ @ENDIF     

1 ?3 [/ O. P. C7 f: n+ e铣床：
action on finish：
: _+ U2 x( [4 z  aIF RANDOM (2) <= 0.05
- N5 W$ m- {* W- a. | PEN = 2
8 y" u- O9 Y5 f' \3 v5 n( e D = "yellow"
ENDIF   
  _8 G# Q8 |# P( e( r
9 z$ v, y& h& @1 V! ]0 I  j. g8 b! N磨床：
& k" q9 u. m4 _; a9 |' e" j5 Uaction on finish：
1 h3 r+ m" y* ?3 UIF RANDOM (3) <= 0.05
PEN =3
E= "green"
7 x5 n3 F0 g( c+ _: E) O3 aENDIF

dragonet5

$ F+ x- _: l0 ~# y0 E
8 S2 s7 I# b9 l) n4 V你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

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

最后问一下你的Witness版本。