Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
/ F% v+ ?2 N6 S  R) K( l
. |. l  y. O, W9 U% G, E/ s我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
0 U9 l# g. @1 q' {! k- ^4 o车床：
% j" U( }9 R" Q  r' maction on finish：
9 b( f. q1 U4 E3 R% NIF RANDOM (1) <= 0.05
PEN = 1
+ V: v" m, p' m. ]' m C = "pink"
: J  m0 D& F' h4 b* T' bENDIF     

铣床：
action on finish：
IF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
ENDIF   

磨床：
3 K8 c$ c/ l2 Z/ t. ]2 Baction on finish：
IF RANDOM (3) <= 0.05
PEN =3
" H. N3 h$ y" j E= "green"
ENDIF

dragonet5

1 S, u4 t3 ^+ R- M' P- @6 V# a( p你这个写得不够清楚。
: S/ }! x& s4 k9 m" y9 l! q% G& |$ g
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
* a. l# _4 }( [5 {
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
  U+ T- Y+ `$ {3 d
最后问一下你的Witness版本。