Witness仿真生产线质量合格率

Rain_power

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

) d( e$ f5 Z! \( \* E: e我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
1 m7 a$ u- `& v- QIF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
ENDIF     
2 e1 X4 {4 a! w$ A$ K; e; o+ R9 ?
4 ]& L5 z$ q% k6 i铣床：
# ^+ B& I; A, b  B, I9 C; l6 @1 |action on finish：
* {( m: P9 Y, t: `1 f. w5 `IF RANDOM (2) <= 0.05
PEN = 2
' Z; _) C6 h. y3 U7 ~ D = "yellow"
- z$ ?5 `  P4 u8 \% QENDIF   

磨床：
/ u9 o5 p9 h/ N5 o2 o2 Gaction on finish：
4 j# E% i5 ~( |8 T, I6 PIF RANDOM (3) <= 0.05
3 @+ K& D/ w9 O+ e, U# B3 i PEN =3
  {& v( R, C! B" Q6 j5 q E= "green"
ENDIF

dragonet5

; Z" W! C3 P9 {; D) O2 O# S
3 @) `1 y$ u- E- K3 D+ }: Z你这个写得不够清楚。
& A* F* P" T/ \8 @, Y2 J8 K
+ m% x3 W: I+ T  I首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
" t! D0 B* s4 E! c4 c
: y$ S/ t9 ?/ S6 i6 g然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。