Witness仿真生产线质量合格率

Rain_power

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

( S& A& N, O7 V! k$ g, s- u; v我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
( C( F! H9 Z7 V' g( n/ I  raction on finish：
IF RANDOM (1) <= 0.05
# T& K1 d6 i6 K6 R PEN = 1
C = "pink"
ENDIF     

铣床：
action on finish：
" G; P. L' b# h/ L- }/ U5 wIF RANDOM (2) <= 0.05
4 i) Q2 }3 n* r# ?0 R0 H PEN = 2
' Z) M$ ^3 @: v  N9 o5 y; {% | D = "yellow"
4 \" p- {7 e+ a- [% t6 t7 [ENDIF   
% F8 a& r/ {. F' X8 B* P( ]( ^
磨床：
action on finish：
& ~  @7 S) W, a) yIF RANDOM (3) <= 0.05
- K1 [6 S; j+ g4 G- P PEN =3
E= "green"
/ ?- }  D9 S. |  Y& E& P4 CENDIF

dragonet5

' A% B! l3 G/ Z
你这个写得不够清楚。

6 q) h6 W: _) r9 G; ^, ]% D! A# d首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
. V4 k8 M- i2 p. L# q% w( E; |
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
9 m* j6 a! _8 v8 D% b
! \0 t" `. A/ O2 S最后问一下你的Witness版本。