Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
+ |, }4 W% q. P  w车床：
! E! T( K- S* X4 B0 Qaction on finish：
+ w; ]3 e/ @" |IF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
ENDIF     
  y8 Z) K% M! F
0 \7 s1 J5 ^) I+ M) B, Q; C: E铣床：
action on finish：
  U3 `0 h6 x* J. r- EIF RANDOM (2) <= 0.05
* `! |" t  [5 S5 ?- x8 e2 f* o$ v. h PEN = 2
* E2 l; v; U) s! Z2 V0 n/ N D = "yellow"
) p/ z; x) n; ^  S( w, _4 W0 jENDIF   
& r! P- w7 E( ?9 h7 h) Y$ w* O: [9 P
) U. T+ D4 Z. [; ]' Y& x& T7 t磨床：
" D& F  p+ u$ j4 Daction on finish：
- x4 s! x9 W2 dIF RANDOM (3) <= 0.05
PEN =3
/ {- E: D" w) s E= "green"
* @# _, g8 O7 q0 a+ p% F/ K! zENDIF

dragonet5

$ v# q+ ~# Z+ a- b5 k
1 Y$ e# h- p: C8 D! K7 Z: F你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
1 w5 d% N0 ^8 ?% o# A
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

& h( ^+ g: Q1 q/ o+ v最后问一下你的Witness版本。