Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
" |' N7 _% p% E车床：
action on finish：
IF RANDOM (1) <= 0.05
- D( B- g; J$ O: W6 |+ H PEN = 1
5 \# f( u& t- `5 E C = "pink"
ENDIF     
" Y9 q2 I' I' k# r
铣床：
/ P& S# A: u; s( M: Maction on finish：
! C0 u" {% g; f4 D. G3 ~IF RANDOM (2) <= 0.05
PEN = 2
$ E" h; k1 [0 A' u D = "yellow"
ENDIF   
1 v2 c9 r; Q$ D+ f; ^5 l. ]! B. k+ h
2 W: A/ x5 h3 p, {: {磨床：
action on finish：
7 Q* R3 K- {- q4 k5 G5 G  iIF RANDOM (3) <= 0.05
PEN =3
. A! x) w4 H& B( Y+ P( [! U E= "green"
$ g# |3 N9 F# m+ FENDIF

dragonet5

+ d" H7 O3 C4 S. A4 q
, r+ Y6 v7 K9 f9 V你这个写得不够清楚。

+ F- }7 O+ `3 ^* x* T( H# z  X首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
' W9 \( f( E. P7 M9 a6 q6 h
' v7 ]3 C' F) r( V* h4 N; x( F/ u! A# r然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
: t. L6 W" K8 L, r
最后问一下你的Witness版本。