Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
0 T4 F$ l% _8 I% w! ]
- c: \" V* }' d& _0 ?( v我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
7 o* l( S8 n5 Q' j; P0 oaction on finish：
! I0 F& _- W( T3 k, CIF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
ENDIF     
( c$ h  {! a; j$ T0 ]; T
铣床：
0 d) h; |* F1 ~$ O" \action on finish：
1 u/ P, F8 v* h5 E7 hIF RANDOM (2) <= 0.05
' b. Z3 `4 T0 j! Y  x  H PEN = 2
) K$ a, @5 k3 Y' T% x% C D = "yellow"
3 h9 V; F! t1 X( a+ M3 ~, L$ r, u; }ENDIF   
3 l- p# f8 _# C, O  ]
) A1 q/ Q  l2 Q. m- N! ^1 s! T磨床：
! A* D9 m( Q. m  v9 {action on finish：
IF RANDOM (3) <= 0.05
PEN =3
E= "green"
' u8 H$ C# x7 D% a- V2 o5 N7 l* OENDIF

dragonet5

0 z( z) ~/ K+ ?; m# ^
( ?6 l; F/ A) \; l' r% G6 y, {你这个写得不够清楚。
8 t5 ^! a& S2 ?5 ~7 d4 @8 S
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
' A( S4 w3 g* ~, u- d
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。