Witness仿真生产线质量合格率

Rain_power

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

! `! ~' `% @1 j我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
( K; U! n" l; N# p" eaction on finish：
IF RANDOM (1) <= 0.05
9 w! x7 ~& U& R" i) y9 {) s PEN = 1
C = "pink"
ENDIF     
/ ]0 X3 G) [) t; M* G( j
& `, X! g4 [& C* A" o& y* W4 u铣床：
action on finish：
IF RANDOM (2) <= 0.05
' b: b/ Y: h$ U0 R* o PEN = 2
2 N6 E* v% U% u4 \ D = "yellow"
) A, u, E) ^# gENDIF   
) G5 Y1 ?6 k/ S1 o5 v0 t) a1 M
磨床：
action on finish：
IF RANDOM (3) <= 0.05
& M. |7 ~6 J+ S: @+ g PEN =3
E= "green"
ENDIF

dragonet5

. R  N% s: o' {& @# s你这个写得不够清楚。

+ ]" s6 ~( s; m1 t6 G" E' J: V6 Q首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
/ @& _' N$ }; m- `7 b! y' i5 [; s
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
7 `7 B4 j( ^+ X
最后问一下你的Witness版本。