Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
* F4 w7 D4 d  |1 O# q3 V1 z, n  taction on finish：
IF RANDOM (1) <= 0.05
PEN = 1
! f/ z  e) U5 y1 { C = "pink"
! |; i! ^* _% Y* [1 n  J$ ]ENDIF     

铣床：
6 ~+ y' b; g6 Q/ \$ |* S' P7 j/ jaction on finish：
8 [" [. T. M8 {) f9 L! }/ qIF RANDOM (2) <= 0.05
" I+ E  W# @  @% [& j5 }, x PEN = 2
D = "yellow"
% u# A' ?, j. ^* y. uENDIF   
8 i) ?2 R" Q* n$ i; j' A' v
磨床：
, i5 d* A( k7 g: oaction on finish：
6 l" |3 M7 f: {, zIF RANDOM (3) <= 0.05
PEN =3
, ?* c' {, t. r# b E= "green"
ENDIF

dragonet5

! G, C6 W9 P7 n) m
你这个写得不够清楚。
) x/ w5 w; ~* C# L
" k' D! h) Q. P% L$ h2 w5 j  F首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
  i8 H  ?) G1 r/ x/ N4 L
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。