Witness仿真生产线质量合格率

Rain_power

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

+ p0 W' s/ p" @- S我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
IF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
ENDIF     

) z) b3 A; H) l- z$ h9 A/ G铣床：
action on finish：
IF RANDOM (2) <= 0.05
! V) F: o+ a4 g PEN = 2
D = "yellow"
  y+ q$ v  N3 L$ |  X! {, MENDIF   

9 t$ B6 N9 z" W3 h  C' q磨床：
! u" [( p8 U, v0 p& U5 `action on finish：
IF RANDOM (3) <= 0.05
4 x; j' J8 S0 j, }! z8 s" P: H# v PEN =3
9 n& G; K" z9 h2 [0 C E= "green"
6 L0 M5 |; h0 \" ]! dENDIF

dragonet5

" L* {/ A2 `% B( f
你这个写得不够清楚。

0 i1 B) j2 z6 O2 k' }% W首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
6 O4 u/ F* F3 X, N9 o, p
最后问一下你的Witness版本。