Witness仿真生产线质量合格率

Rain_power

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

/ A0 q; G2 @( B1 K- J: i/ M- U% W我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
, `5 @5 Y+ r/ u) H% Yaction on finish：
IF RANDOM (1) <= 0.05
PEN = 1
7 t$ B4 |% y& q' A% G C = "pink"
ENDIF     
) u# g7 G6 o  d* L+ T5 e. m) }- z+ `
3 L, \% I& P2 Z; c7 G铣床：
% m4 h; e0 ?  Y. M4 a/ daction on finish：
0 R% E  ?' C& D6 l* q# X) JIF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
3 _/ {) P  [2 JENDIF   

磨床：
action on finish：
9 y) D1 n/ ^& `9 O- rIF RANDOM (3) <= 0.05
PEN =3
E= "green"
ENDIF

dragonet5

$ _8 {! {  A! Q5 D" @) ?* k, l你这个写得不够清楚。
6 i2 b- x9 `& i1 P/ m9 E3 R& _
2 I* ^) f& Z% W* x( k) L+ l首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
4 K" W: T7 {3 h0 a0 x
# z" \) ?. d! J9 P/ I: l/ q( ~然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
1 D% I" z' V' ], ?
最后问一下你的Witness版本。