Witness仿真生产线质量合格率

Rain_power

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

$ z8 i) S$ u0 r" U2 N0 k我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
9 J# B  O6 i2 t& r+ w* j车床：
, _& k  X; X8 `3 taction on finish：
IF RANDOM (1) <= 0.05
$ N% b4 y4 J" G, G0 X! R- X, N2 L PEN = 1
C = "pink"
ENDIF     
: ~8 L8 D- P6 R6 @( v% [4 G
6 O$ V9 Y7 z3 q铣床：
action on finish：
+ D" U) B1 J& [IF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
: g( y) R# T, O2 W. L  bENDIF   
3 _* h0 O* c; d
/ ?4 t5 ^5 r$ w+ \1 _0 Q磨床：
action on finish：
, d" q6 i, [& z8 ]4 ]' R5 p$ Q5 O2 YIF RANDOM (3) <= 0.05
0 ]2 u: C6 ^6 R6 I PEN =3
! h- ]# q! V; P- G6 M& W6 E E= "green"
7 y2 j5 w/ ]. R  Y9 L8 i4 XENDIF

dragonet5

$ q; z3 d- R# `9 V6 E& x
你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
! j4 g% A0 s1 h
4 J9 w# {. a3 g# k( y, M$ c' e0 o7 [然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
+ ~6 l8 y8 T: @
最后问一下你的Witness版本。