Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
4 ^  {' x( @0 |0 @: g
$ ~! w" q! l: q. X6 j' E& c我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
4 j% x5 }  m& Z, f1 S- W% ^IF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
ENDIF     
; b; R0 O, N) [' a- j
铣床：
0 z1 ]0 F- g" j# Q+ _# @action on finish：
IF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
ENDIF   
9 e* b3 h3 G3 e9 o9 H
磨床：
: Q2 [- W; q! g, j" Taction on finish：
IF RANDOM (3) <= 0.05
PEN =3
) y! c8 A. S5 d+ e* C) @( M0 L E= "green"
ENDIF

dragonet5

* q8 ~) m  O  C) c% o
你这个写得不够清楚。
5 N+ V) x4 b# z5 Z
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
6 J( s& R' e6 k% a) _- {! O4 T
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

/ K0 V4 P+ j$ s! X; n8 z' Z3 o最后问一下你的Witness版本。