Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
) c2 e8 L0 z% |车床：
action on finish：
IF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
ENDIF     

- _" b. Z2 R# c) b" h- e铣床：
action on finish：
# K9 j4 j! k/ c8 E" P) K) }IF RANDOM (2) <= 0.05
PEN = 2
3 S( A! L7 k) [7 f D = "yellow"
ENDIF   

* J* W# R# j4 M/ T$ v' `6 ]9 g磨床：
action on finish：
3 t, ?! p8 u4 ^/ m! Y/ U+ zIF RANDOM (3) <= 0.05
PEN =3
& c- H6 O  M7 z/ r5 e7 b& C# M* X E= "green"
) T- ~3 F9 w' d% ?2 x6 k$ ~- PENDIF

dragonet5

1 ^, D) B- Y: R& e0 B" n- e
$ V6 C$ u" P( B" R9 k! R2 P你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
" V5 }0 U& ?3 b& {2 Q
# q, b& O8 n; B然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

0 y1 {2 p$ C' i" M3 z/ W最后问一下你的Witness版本。