Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
) ^" z7 z! v+ p  S% P
我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
, h. A- x9 s* c* Eaction on finish：
0 i4 l' ^) o/ e6 x: S! q* kIF RANDOM (1) <= 0.05
+ c, q& B2 O# u. K% R PEN = 1
C = "pink"
8 G( G1 q$ B8 d# I$ X0 X9 S; T: eENDIF     
6 w5 M( Y. v2 H: K4 n& Z$ c* M
! a" u# T7 n4 m铣床：
. m$ V( `( m- V+ [" P' }3 k- M; i' Oaction on finish：
IF RANDOM (2) <= 0.05
: Y( s7 i+ Q! D" N6 } PEN = 2
" ~9 h+ L$ c) `9 V$ E5 i0 R. J D = "yellow"
# T. F4 S9 n/ H, o7 F: CENDIF   

磨床：
action on finish：
& j; F6 K- m; m8 NIF RANDOM (3) <= 0.05
) _4 _1 F% {& t1 W2 `; ^ PEN =3
E= "green"
# @5 O( G; b5 x# U4 ~8 rENDIF

dragonet5

2 a7 S2 e( i4 d6 ^( W$ ^% H& w1 E' T你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

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

最后问一下你的Witness版本。