Witness仿真生产线质量合格率

Rain_power

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

/ r! H# k2 p; ]9 x) K1 |* H; n  E我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
IF RANDOM (1) <= 0.05
PEN = 1
/ S) l- x  \+ f) \ C = "pink"
8 i" n: e" Q6 h, I" yENDIF     
; s/ h4 c, t/ T1 P8 t9 E3 w
  y4 k$ E: e. K$ W- D铣床：
3 E( M' o  t, ^5 @action on finish：
! Q5 D; L4 g) D: {4 D1 n" jIF RANDOM (2) <= 0.05
' |. T3 l  t+ m( ?" ^, J PEN = 2
( M4 g, ]) S8 L$ x( f8 e. d D = "yellow"
6 P0 o( G1 I) CENDIF   
7 x0 Z+ ]" G" M  l8 p1 H
7 C7 y7 J8 R/ b7 }) f磨床：
action on finish：
& i+ L7 c- J! m2 E0 Y* V: i; G" kIF RANDOM (3) <= 0.05
PEN =3
E= "green"
' e# p" u4 @; v  B8 V2 r$ AENDIF

dragonet5

. S- H% L% q0 g5 R4 Z6 `0 L7 Q: q* {
& `5 n, o; Y+ }/ _5 U7 Z' g8 j你这个写得不够清楚。
# \/ o6 X% e( B1 V6 U
. R% u0 H2 \: s! [( W6 x1 Y首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

  ]2 e- Q! L4 m2 k) g& |9 ]4 v最后问一下你的Witness版本。