Witness仿真生产线质量合格率

Rain_power

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

8 ~# g' d6 m" U& R: g$ ~. a我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
" Q$ r; T& G- {* Q  }, U+ V车床：
: k: m2 B9 X- @1 _/ ~3 b0 laction on finish：
- s& Z, O* Y* T7 H- X& t9 A: yIF RANDOM (1) <= 0.05
$ y/ u/ k$ s* D+ _! e PEN = 1
C = "pink"
* j$ W% ^- E2 l* K! c2 U7 o+ H$ Y# R: sENDIF     

0 u9 c+ a+ s6 E( ]5 j+ S铣床：
5 S# t+ Q, @2 Y$ eaction on finish：
/ z" k8 v: Z/ H) dIF RANDOM (2) <= 0.05
PEN = 2
+ f& f* G* u* {; \1 N8 z6 t D = "yellow"
ENDIF   
# e  e+ t4 Z. d5 P2 N! y- U, q3 i+ v
4 Z8 z3 U. x0 p$ [磨床：
action on finish：
IF RANDOM (3) <= 0.05
; O5 c" f" F) d, D5 N PEN =3
E= "green"
ENDIF

dragonet5

8 A* d$ q  Z( Z' I, L) K你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
$ U$ O: s) w7 x, ~% g
- ~8 v* y5 Y7 y4 {然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
1 [4 u3 w% R. K, a  E4 U- m: S1 m
- O1 Q: V- W: r最后问一下你的Witness版本。