Witness仿真生产线质量合格率

Rain_power

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

1 }& M# }1 X+ a& Y, i0 A/ H我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
# C' q( d6 K0 a+ ~7 M  P% Y车床：
+ T" h0 X$ }. g* iaction on finish：
# R9 w6 c, }! A/ ~IF RANDOM (1) <= 0.05
, }& z2 h% O; Z7 `# s8 @ PEN = 1
* Z3 ]! S) ~7 w  ^. M$ h" j C = "pink"
ENDIF     
  d2 z" T) _1 K# Q
铣床：
action on finish：
8 p: u5 L- {$ _( EIF RANDOM (2) <= 0.05
, M& g3 g; j2 P& e. M# _ PEN = 2
D = "yellow"
% l; J: B: Z, W3 z' o4 w; ~; e7 R- NENDIF   
: r$ P  ?# ~& S1 S
5 C# ]$ H* J! t' I$ @2 u磨床：
' C4 S' r5 T( E; B! vaction on finish：
IF RANDOM (3) <= 0.05
, O6 i8 @+ d* j1 k1 T& N" t PEN =3
E= "green"
( A# ?* B2 {/ l: P* N2 ~ENDIF

dragonet5

你这个写得不够清楚。
+ ]4 X7 ~/ O% n
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
9 s) ]8 L) n% _; X; I+ ~# \
+ ~7 g) V! |% Q然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。