Witness仿真生产线质量合格率

Rain_power

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

5 n: M2 H' F1 Q" D2 {4 d我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
9 |: x# u" _- a! B  U3 u/ b: F: r车床：
( ]6 n. O/ N2 O, m; _action on finish：
IF RANDOM (1) <= 0.05
+ f. J2 a7 ~8 z  v. e PEN = 1
C = "pink"
& A( m! n2 w! j  O/ C* c" u) t4 DENDIF     
* k0 S& x: ]+ \
9 J0 O5 t2 o! I* V: `铣床：
action on finish：
& }: Z9 [' F8 t4 b" ^IF RANDOM (2) <= 0.05
  a3 t! m$ W- M8 n8 t; f PEN = 2
! O, G. Z# H9 K5 Q D = "yellow"
. @1 B0 _9 p! i0 WENDIF   
" F" _/ [  |, D! d$ G  t
磨床：
action on finish：
) s( e# p2 C3 Z% f3 Z. R& @IF RANDOM (3) <= 0.05
1 D7 a; q6 R0 D PEN =3
E= "green"
* {, K2 z  i) zENDIF

dragonet5

$ w  z# K) J0 f7 b# u你这个写得不够清楚。
! _+ I8 j! e! x6 r# B# _; v4 F
* H' ^/ ]. _7 z6 b3 N. y首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
9 G) l1 P0 T7 b2 Y8 ]0 }
& H2 {% R; q. ]* i! N然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

2 L4 o; x, ^7 Q! L" y! z( p- |最后问一下你的Witness版本。