Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
4 S8 {; O& c  _) c1 L+ v( f' y* w
; S6 }) E, c1 z' m我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
- r5 ~4 w+ G1 H. [. Haction on finish：
- j: V2 B' ]) d* j/ Y9 \IF RANDOM (1) <= 0.05
! m* I9 q; m4 N3 x* a PEN = 1
C = "pink"
  R$ c+ q! v% ?) j1 j6 zENDIF     
$ j# ^( i$ D5 X/ H" o* z; O$ y* E9 D
铣床：
action on finish：
7 U8 E, a# s' nIF RANDOM (2) <= 0.05
PEN = 2
7 v8 u. L6 H; q6 g/ k D = "yellow"
6 ]: P. E4 p4 l" qENDIF   

磨床：
, h+ ^; |! g0 `  M5 s2 xaction on finish：
IF RANDOM (3) <= 0.05
4 I; {* N' o( m- O. a/ h, E4 Z PEN =3
4 \5 [2 {: v: h  o* T- b E= "green"
" J+ l, V6 q* ~! f1 a0 W( _ENDIF

dragonet5

9 b, z: r$ M9 s4 k5 W, R你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
7 T# d0 U) [! g. K" ^
/ ^1 S* r( Z1 J% S6 A然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
; S, S8 H4 I0 A0 {
最后问一下你的Witness版本。