Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
( r  ^: H# E' v# p& c车床：
4 q  I# ]6 O- t, S: caction on finish：
" v4 I! P0 i+ U$ L! D: XIF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
ENDIF     

- F7 B6 @0 q$ U# b/ W铣床：
7 x+ V% f+ a9 t+ H' l" Laction on finish：
/ {+ O( e: ?3 xIF RANDOM (2) <= 0.05
$ T  _8 _6 o+ g/ u% I# w6 R PEN = 2
D = "yellow"
/ a: M  @  [! P3 a  pENDIF   

磨床：
' @* T- G" n  X# S9 p9 Kaction on finish：
9 [- @  e) Z/ b' l# `3 yIF RANDOM (3) <= 0.05
# A5 {2 R9 T* u' d* D6 F PEN =3
3 [* n- ?1 i" A/ ?) D, d E= "green"
ENDIF

dragonet5

! n5 ?; v3 u4 f
你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
% o/ Q! _& a) ~, V
  l; U" |8 P4 [) |0 |- j2 p6 ?最后问一下你的Witness版本。