Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
# k  |+ Z3 V( q. k
, c. r, ?- f3 N我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
' l& }7 {0 \* O4 \' q; e9 Waction on finish：
, d* }9 ]( I! c9 j; O" TIF RANDOM (1) <= 0.05
PEN = 1
4 U6 ?1 @7 ?& z! W- U: { C = "pink"
ENDIF     
4 ?4 x8 f! I8 C  Q! D
铣床：
  ^/ F- _: T& Q6 O  M- S8 O' jaction on finish：
IF RANDOM (2) <= 0.05
* X  D$ s2 `! z0 X4 j8 M* C PEN = 2
D = "yellow"
ENDIF   
. n: ~5 y1 S0 w9 _. _, {
3 u" @( x1 x& I0 b2 v磨床：
action on finish：
( {& M8 S: @9 a1 T' e5 ^! uIF RANDOM (3) <= 0.05
- ^& K' \: @& @& c  k PEN =3
/ x# X# z: ^  q E= "green"
8 V2 s) }5 o. g. ~2 }ENDIF

dragonet5

6 p' Y/ U& u3 ~, l, w8 k你这个写得不够清楚。
4 Y# J- F0 G. j% E% t$ T5 W
+ I5 v, ~  c# ?0 k. ^首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

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

0 @1 W9 `8 X1 J5 ^; A7 R* d9 I最后问一下你的Witness版本。