Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
' f3 `. n2 a; H& M. ?
; }. u7 n8 H0 a! m; r2 h我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
; |) b  R( p6 ^" W1 D! m. \) `7 R车床：
( e5 n( U6 ^; w* Aaction on finish：
: L. K+ s, Q0 J5 RIF RANDOM (1) <= 0.05
PEN = 1
$ s: [. q, A, z. z( g5 s C = "pink"
6 m, z# f( I0 _ENDIF     
/ M9 \& K! l: [9 r
铣床：
7 i% H$ i5 I0 w/ p3 X+ Uaction on finish：
. ?7 T7 |: \/ \5 d% o* xIF RANDOM (2) <= 0.05
3 T3 L" J: ~% x0 n" y% _- f PEN = 2
6 A5 f( _  o5 a( U3 y D = "yellow"
8 w7 o# `- }3 E, T: V1 m9 u4 JENDIF   

& T% q: ]: c( n! h7 ?: i: l% u, c磨床：
4 E# {$ t$ W; x2 |& raction on finish：
IF RANDOM (3) <= 0.05
& H/ N$ D5 j2 O5 [9 c' d  S7 g PEN =3
E= "green"
ENDIF

dragonet5

1 W! w5 E' n% d3 Z0 X- Z
你这个写得不够清楚。

1 U/ C& V; y# \, _% v首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

0 u0 a' ?3 V6 Z! E然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
" z- ^- x+ M) q$ {3 s% C/ e
最后问一下你的Witness版本。