Witness仿真生产线质量合格率

Rain_power

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

2 C) V9 E0 @% [6 x' j. S# b9 \. h我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
  U. }) s- c# c6 f车床：
( }+ K' p# o% w; N7 B, x0 y- baction on finish：
IF RANDOM (1) <= 0.05
5 u% D# |+ \( L( a PEN = 1
C = "pink"
+ u' [7 ^! @2 f6 C# v$ a+ AENDIF     

铣床：
action on finish：
0 w' T1 l: X3 D7 bIF RANDOM (2) <= 0.05
  W' x  f2 N& ~  B$ x7 ] PEN = 2
/ u& m5 e: \1 t D = "yellow"
9 k2 x$ }' `& ]8 w% RENDIF   

7 w8 \4 \% h! k; C( H5 R% Y/ J磨床：
. i8 u" P, _0 L5 ~action on finish：
9 Q3 c, m" ~" d! j6 GIF RANDOM (3) <= 0.05
  ]/ k* h! x+ v) `. R* @3 p PEN =3
E= "green"
" F3 V) m  v& `" X# K$ dENDIF

dragonet5

你这个写得不够清楚。
: V' A1 W7 T5 L" q, R1 t5 N& @) f
3 p, b* A( x3 `8 o首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
! i/ Z8 T7 a8 S7 U8 I$ z* i7 _
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
) r  v( H' u2 ]5 ?( c9 A! S. ~
/ `- s. \3 X/ T9 _- d! _$ i最后问一下你的Witness版本。