Witness仿真生产线质量合格率

Rain_power

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

0 U7 X% |( h* V0 e. ]- {0 n4 a* T我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
6 }8 t+ g: @& J3 U/ Z" x0 e车床：
action on finish：
  ~/ v# G9 z6 I, [4 H1 VIF RANDOM (1) <= 0.05
PEN = 1
& V* [6 g. i, c C = "pink"
4 m/ ?/ c6 ], o0 `* }" ~ENDIF     

铣床：
action on finish：
IF RANDOM (2) <= 0.05
5 r: Z5 j8 }8 A# a" }+ T# ` PEN = 2
7 z) P+ s# v: s$ N0 c  w5 A, ^ D = "yellow"
1 [0 l9 z4 _; H. m2 i' sENDIF   
$ E/ m' H8 e. P6 A! w
磨床：
) T, N' D  X6 n3 Taction on finish：
- J7 D9 B$ ~6 t0 `1 S$ I3 Z2 G6 VIF RANDOM (3) <= 0.05
9 _4 N4 }) D9 S$ N8 s* {6 u* d( Q+ I PEN =3
E= "green"
* l9 o0 V6 x( [" ^, @% @% gENDIF

dragonet5

5 a+ t' `3 @' B2 @6 _5 p3 m
) }: [2 R; Y4 O, A! a你这个写得不够清楚。
- O" h3 k$ s& X/ m0 q
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
) u- ]$ \; ]) z. A
! h5 U* v; b- o" ]然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。