Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
, ?: y/ h5 A6 V  k7 b+ {7 A: w
* u# A+ e9 B6 L) u. u3 ~我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
IF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
ENDIF     
  ~' T- e- V/ W) {; u2 B
4 M" k/ m9 d- ]5 G8 [% W. a铣床：
, _/ }9 Z1 q$ j5 M( z" {action on finish：
) l2 n+ {1 b4 D  X* P$ tIF RANDOM (2) <= 0.05
PEN = 2
3 B; `4 L( v. y3 ~ D = "yellow"
ENDIF   
( s8 f" {. A2 F
磨床：
% }  y7 |/ \, L  Aaction on finish：
IF RANDOM (3) <= 0.05
# @6 ~9 Q0 r. ]5 u1 k PEN =3
3 n7 i# n* d1 k7 H: E0 j) m3 R# | E= "green"
ENDIF

dragonet5

" y3 O) ~+ \& i
6 [4 k. }0 t4 v: Q你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
( }; U3 Y3 t4 _* G/ P+ V
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
, Z: [8 F! k! t' a
最后问一下你的Witness版本。