Witness仿真生产线质量合格率

Rain_power

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

! @, @. k9 J; I2 s$ d我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
* I1 Q8 _3 p/ V+ i- E3 Naction on finish：
IF RANDOM (1) <= 0.05
3 D% m8 D# B& T6 F% x4 w: [ PEN = 1
C = "pink"
, B( o# c% V* J# w4 x; {# q% IENDIF     
+ }, A/ u; e; F: s/ ~8 C* L+ n
铣床：
action on finish：
IF RANDOM (2) <= 0.05
6 W$ y* J! w, D PEN = 2
D = "yellow"
8 }% ~" M3 q( D& w( ^- cENDIF   

" t$ a$ h3 s2 d0 [/ \: F0 t+ k磨床：
7 [2 K# O+ ?7 B- caction on finish：
% d8 |$ e: a( z" ~" a, S0 w! m1 mIF RANDOM (3) <= 0.05
. O' p/ o2 A: g5 T! Q1 I PEN =3
E= "green"
% X# N/ e. G; j4 [4 y  T" o1 OENDIF

dragonet5

% f  a) X9 t; T* ]! C. Q  g/ i( k你这个写得不够清楚。

' v, ?1 Q% r" _( ^2 o首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
2 G& _& H8 V" J; P3 V4 @2 g7 [
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
/ J$ c/ B& u" ^  C2 n8 P7 x# ?
5 N+ u) s) k; v最后问一下你的Witness版本。