Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
1 K4 f8 D( r8 `. Caction on finish：
IF RANDOM (1) <= 0.05
# J, a4 Y8 R2 Q6 c" A  P9 I4 O1 ~ PEN = 1
C = "pink"
ENDIF     

铣床：
9 k- H% h; l/ N6 [action on finish：
% j  z6 l2 F$ f0 v+ MIF RANDOM (2) <= 0.05
. K" l0 ~, W% {* V PEN = 2
D = "yellow"
2 d& m7 g- Y  h5 p2 d/ n5 E+ XENDIF   

8 y' o+ t8 h& q$ ?* ^, t磨床：
2 @6 Z% I5 |* k  E: [action on finish：
( v$ U+ A# S1 _7 M% JIF RANDOM (3) <= 0.05
4 b, X. B2 N& |$ Y  w: z: I PEN =3
) O* J, r. K  Y E= "green"
- l: ?9 p& \( T0 ?# LENDIF

dragonet5

你这个写得不够清楚。

2 p' O+ j& Z/ j1 r4 m首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
% q0 C& s1 `4 a8 n1 U- h9 F: w$ B
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
* ]6 X" Z; C: _" G
6 ]# l! s. w0 w; m4 V最后问一下你的Witness版本。