Witness仿真生产线质量合格率

Rain_power

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

+ v2 j& l+ }" q7 q6 n5 ^8 o我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
IF RANDOM (1) <= 0.05
PEN = 1
& P" H( Z$ |# f C = "pink"
ENDIF     
% X4 T  y* k0 a) D8 X
5 f9 U+ R* Z' A; `$ [8 [' R! p铣床：
action on finish：
# G- ~( F9 e$ J# w* j/ z; kIF RANDOM (2) <= 0.05
; J( M4 n" _( Q+ j+ l4 R" w PEN = 2
5 I; J  k; t6 Q" }& Z D = "yellow"
7 w4 f- f0 B8 F* ]( iENDIF   
! c- W1 ?/ y$ e& i( h6 b. K/ l3 y
+ E3 m6 ]3 H9 i7 a磨床：
) G& Y, d' ^5 ~8 @0 W6 g: Maction on finish：
0 l  ^  G' P2 M3 xIF RANDOM (3) <= 0.05
: h+ ]1 N$ `% q PEN =3
E= "green"
( w/ ~9 Z) a) o* v! i& H/ e: ?ENDIF

dragonet5

4 N; F6 a! [' m+ p8 P1 M) f3 D
1 A9 k! g( ~% G( H$ [你这个写得不够清楚。

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

然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
$ y+ U. S5 K' x: a6 @
最后问一下你的Witness版本。