Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
2 ]5 d4 N) [6 G6 E( n& x6 H* f车床：
action on finish：
IF RANDOM (1) <= 0.05
1 r( f9 n# u4 \6 @ PEN = 1
C = "pink"
# C( C  }" T8 Z+ N' f; AENDIF     

铣床：
action on finish：
/ [3 C) h. W! Z' ~! J' NIF RANDOM (2) <= 0.05
PEN = 2
" G( s( T( a2 J2 C8 B1 \ D = "yellow"
ENDIF   

3 m; r" R! l" {9 o磨床：
* S/ |% \2 r. x) G% xaction on finish：
IF RANDOM (3) <= 0.05
+ j1 l" j+ ^. o0 \1 Y PEN =3
* S/ c  [. \  t3 [  {7 w) Z E= "green"
# U( p, l! S. A1 NENDIF

dragonet5

你这个写得不够清楚。

- h) F2 v; A9 m, _首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

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

最后问一下你的Witness版本。