Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
. z/ H9 }) f3 u% I
* Z- z9 e( `+ B1 \3 N我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
* M: @+ t/ b) ~4 Xaction on finish：
IF RANDOM (1) <= 0.05
; n" n" h( x8 e# B PEN = 1
0 |% x+ [* V0 ^3 v; B C = "pink"
; G$ R/ m6 `' ^- C4 @$ m) XENDIF     
' N: w! ]! O0 `4 C2 z
铣床：
action on finish：
IF RANDOM (2) <= 0.05
  C2 Y1 h# U/ P7 o1 |4 [ PEN = 2
D = "yellow"
ENDIF   

磨床：
" ~( Y& K' _! M' Y* ^" s0 taction on finish：
IF RANDOM (3) <= 0.05
0 ?/ h4 J. e9 B) k, e' t PEN =3
. o* P, B) t2 ^' g' ~ E= "green"
8 }5 k+ _) R+ ^# SENDIF

dragonet5

0 F/ O' L3 V3 a7 M1 X. W
  Z4 X4 Q" i9 h: J' j5 f; t' {) l( B9 g你这个写得不够清楚。
; c3 v) Z$ I# l9 J& H/ G1 B
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
5 s9 O+ b0 H' `9 a6 k
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
7 L0 O4 S8 h* R% @! }
2 R3 i: x( m- f( o最后问一下你的Witness版本。