Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
4 Q$ D6 M% ?) O- x9 l
我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
0 ^' G4 G) m3 y: B! D, c. L车床：
action on finish：
  l+ T3 b: e5 F+ G8 VIF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
ENDIF     

铣床：
# h8 n, u& R" W  k% ~7 vaction on finish：
/ `+ V& c- j5 H1 h; p! F# b7 ZIF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
+ m6 a2 @1 o0 }4 ]$ k" u" LENDIF   

+ f- ?6 g3 o# Z  D# z磨床：
0 o. I& C3 v6 r9 [% R8 z. baction on finish：
1 N; n2 \. f% F  XIF RANDOM (3) <= 0.05
0 D3 C( d: [5 _  { PEN =3
, K9 D- [- `4 `5 R  X E= "green"
ENDIF

dragonet5

' n# R# G) t- i4 \8 D
% y4 T5 H! O1 q2 K! H你这个写得不够清楚。

% G! O+ L5 k+ d6 b7 ~, H首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
- R  v: I. t# x" R* K  E" X2 y
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
3 p( J5 n5 o4 K/ r
3 e; @! P' h0 C% e最后问一下你的Witness版本。