Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
( }5 B4 y# Y3 t/ \/ F车床：
# [  W* R8 M) {7 ~: \) e* l! ~, Paction on finish：
- N% r- f9 J' V# o# g# T: Z- DIF RANDOM (1) <= 0.05
PEN = 1
% R5 Y3 m0 a. N C = "pink"
ENDIF     
( l: I# r0 x; _  B! x
铣床：
, R% h3 i* e& a1 ]. Xaction on finish：
IF RANDOM (2) <= 0.05
PEN = 2
8 N- j0 h) j5 [! S; S- q  x3 M7 x+ p D = "yellow"
( T6 |( |! V7 J) J- d4 z0 zENDIF   

; e, T9 B0 z5 x9 r5 g1 Q磨床：
action on finish：
IF RANDOM (3) <= 0.05
PEN =3
# |3 X( w; d) T% {/ q1 M E= "green"
1 U# m3 G0 O$ eENDIF

dragonet5

2 D' n% A# }+ H* K. e3 D( |
你这个写得不够清楚。
" x/ ?! P9 [2 K% }+ G! b
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
, t0 y& l: T" z. X  {6 ^- U
& Z: S% {$ {, R3 T7 G最后问一下你的Witness版本。