Witness仿真生产线质量合格率

Rain_power

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

9 X$ @; \4 S8 a) C5 c2 }我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
4 x% h6 w" r% M7 P4 q车床：
$ D$ A2 e; t; haction on finish：
IF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
& _: G3 p* Z# B; L- L3 U  ?ENDIF     

铣床：
3 E; g# z7 g3 a1 zaction on finish：
3 E: S5 q4 y+ OIF RANDOM (2) <= 0.05
- `  F' V! n) F" z PEN = 2
D = "yellow"
& D$ Z. K, F. n7 I* z" W6 PENDIF   
4 L+ V7 R8 ?/ C" v; F2 T/ |
' E) W$ ]3 ^) Y% [+ T磨床：
action on finish：
IF RANDOM (3) <= 0.05
PEN =3
" |" v" L: `: g, {; }- i E= "green"
: g; C9 I9 c( \ENDIF

dragonet5

  W) L3 [! Y- l- Q, v: T% g
0 Y! T; e* c# V* K) {6 X+ W你这个写得不够清楚。
: C% Y6 {% M( L
1 e7 m3 t' a% M首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
- m) J1 o& V4 a  U" l/ w/ J, N
9 }# {" d, X/ O7 a7 }* S然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。