Witness仿真生产线质量合格率

Rain_power

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

9 f; U# C1 d( j5 }/ S. p0 Q) e我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
! u2 R2 U/ g) d# _* M8 P5 Haction on finish：
! K3 O( _" k- s) i& ~& KIF RANDOM (1) <= 0.05
PEN = 1
9 G9 D9 Q5 K/ f C = "pink"
, s2 P, V4 c# Z, t- d  m6 B% ]1 OENDIF     
4 y. T: J! _8 [* l$ f0 t
铣床：
% Q0 @* V, [( c( B3 D# _action on finish：
IF RANDOM (2) <= 0.05
: m" e$ w6 v: }$ [) L5 N4 B PEN = 2
4 O+ s+ Z1 h8 y1 ?# [ D = "yellow"
ENDIF   

3 @. q/ ?( G' v. i9 G  D5 g7 X+ W磨床：
action on finish：
" U7 L$ J# _# kIF RANDOM (3) <= 0.05
PEN =3
0 g- |; A- Z& H: |0 {6 D E= "green"
ENDIF

dragonet5

1 }4 u: J& |$ R6 k1 c
你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
7 V; l1 Z: t$ i. H  L" ]+ Q
2 p! d* a: J: S7 Z  U7 c- w然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

* v  T7 P8 [* y* X最后问一下你的Witness版本。