Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
2 X0 W0 w; o. v0 N! l6 M1 k
我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
) S1 v2 V: ~4 Z/ [! O2 C% h+ Daction on finish：
IF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
. r% y7 e% c5 u" l7 L1 pENDIF     

8 T, o; B0 P/ i# e. ^铣床：
4 z. ]; s% ^5 f9 oaction on finish：
7 H. c* ?) k. q& p0 t! b0 j& RIF RANDOM (2) <= 0.05
. Y* ^% e" ]1 b PEN = 2
! B2 @9 e9 K& `# ]& _7 j4 C+ A D = "yellow"
ENDIF   

磨床：
action on finish：
. `0 w! z- d- Q. c( F  dIF RANDOM (3) <= 0.05
" l2 d9 ^! y3 |+ x' k PEN =3
E= "green"
& _/ g& ~' r( @( d; eENDIF

dragonet5

- i5 Z' j% f: Q# W3 N2 J; ?/ J/ S
8 X/ h1 Z* r$ H' J/ ~你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
5 v  F! {. `, T$ z+ B, z
. n6 {& D, d  T+ U$ r/ r" _然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
* t1 @/ S! Q  _- R5 A5 t
$ e& k. ~' r+ ]7 P7 t9 U最后问一下你的Witness版本。