Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
! {! o  Y+ k/ O/ C+ M; i
! J! s7 f; E0 t$ _! w我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
IF RANDOM (1) <= 0.05
PEN = 1
' V- {4 ^$ B5 P+ D' r C = "pink"
' D; X9 _- g, h$ I  j7 |4 l1 L2 ^ENDIF     
  T7 S! k0 {9 h: R4 h( D; D. f
3 {1 G; n3 a- K铣床：
7 I) n9 W' U7 [- i3 X$ Kaction on finish：
1 D0 J* v, Y/ yIF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
# N2 H/ ^) t5 G% v% I7 DENDIF   

; F5 n% A% k* U3 O% w2 r: {+ Q5 W) j磨床：
- F! N/ D( Z* y( ~: v" X, n& w& _action on finish：
9 c4 m( `0 P& N: F+ w& g5 MIF RANDOM (3) <= 0.05
& U" Q6 O. y3 r# H7 K" S PEN =3
E= "green"
ENDIF

dragonet5

$ N/ J* ]7 d" h4 H8 `你这个写得不够清楚。
" j: w. o3 f/ D- }3 ]( L! D
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
& @& ?9 }. v0 j. j. d
最后问一下你的Witness版本。