Witness仿真生产线质量合格率

Rain_power

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

: s  L( C* \. D- p/ c! ]我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
" ~& ?2 K; g! |车床：
: y  o9 ?8 w, k! q; |0 D+ T" Iaction on finish：
% k- h% I1 t# n0 p: I. N0 {$ rIF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
' C$ z- }) I3 XENDIF     

铣床：
action on finish：
  U9 a/ |4 B2 m# F% ^IF RANDOM (2) <= 0.05
PEN = 2
: a2 N( B7 c5 u0 e D = "yellow"
+ B. I* Q, U6 E4 `2 dENDIF   

磨床：
action on finish：
IF RANDOM (3) <= 0.05
( v( X  |& B+ m# X6 D PEN =3
8 W: T- G8 L. m E= "green"
- s3 \6 u6 a: j' A# A- Z% RENDIF

dragonet5

你这个写得不够清楚。
" Q% J0 k' X) [" E+ g
, |" H" e9 n. m* O. q+ D6 _/ E首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
" t$ ^* A" j# l$ J" K* `
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
( t3 R* T$ i% e3 }2 K: L
最后问一下你的Witness版本。