Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
9 {& a- e/ u2 h- e车床：
& W5 q7 ]8 q( maction on finish：
8 n- h1 @. w# D# J  CIF RANDOM (1) <= 0.05
PEN = 1
) c4 ]) V' P0 ~ C = "pink"
& m) j) [# n5 S2 q6 G' ^) dENDIF     
1 u+ t3 M$ [3 F) I
! L  W- w1 m+ }8 F# Z4 @铣床：
action on finish：
IF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
ENDIF   

/ u! P. g: b3 U; I  |6 ]磨床：
action on finish：
) ~2 y: g( b6 K  a( w( MIF RANDOM (3) <= 0.05
' @6 q/ u8 U. A2 c" k PEN =3
E= "green"
ENDIF

dragonet5

& Q7 \& H7 }) V8 e
你这个写得不够清楚。
% U) J6 U" O, T" d8 N
1 E% J- T, ^% Y3 m5 L. E: Z首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
" k: m# \. `. T
7 ?1 }# u: I  ]+ p然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

. L, G1 f4 B; b( i$ v最后问一下你的Witness版本。