Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
3 W  L8 I2 T- C0 u7 \( i
我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
! j" U: N; f# @' U, D7 R车床：
5 F$ P; S: W& e9 Oaction on finish：
7 [# Z/ g% y0 \% Z8 XIF RANDOM (1) <= 0.05
PEN = 1
7 c8 d2 t/ ~& M5 I% \1 w! @7 T C = "pink"
  S/ ~9 r. p' s2 d/ e/ L8 [ENDIF     

% d* F" }7 P" H- l3 B& i: w+ Y铣床：
9 {/ O# t( R& l4 ^! Z* @action on finish：
IF RANDOM (2) <= 0.05
8 J  g& b6 n: w. W PEN = 2
D = "yellow"
0 S" R* T4 u0 h% e8 Z/ MENDIF   

; U; a: O" R2 G3 Q8 h+ U6 O磨床：
action on finish：
IF RANDOM (3) <= 0.05
" I, _0 L6 X$ L PEN =3
! a# y" r9 t2 K) z$ s E= "green"
+ F/ c4 p% {9 k* T- m/ `) _9 ~ENDIF

dragonet5

) w; j1 u) u( e9 i& @6 Y. M
) J- Q+ c3 n! }5 n7 e6 F3 y你这个写得不够清楚。

8 F+ O" A& K4 a6 u3 A首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
2 c, B: S8 e$ [- |8 G* |
9 i$ ^# f$ w, o! S) C$ P( U. _然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

: J* x3 V+ Z( V* n/ s最后问一下你的Witness版本。