Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
4 n& y8 g$ G' r9 B1 j
, Y" u' W" x3 z, f我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
/ D0 Y8 X5 @; M/ x6 A7 ?6 Z7 [5 _车床：
action on finish：
+ R0 N1 `8 B  q/ y" j5 ]0 _3 y2 OIF RANDOM (1) <= 0.05
9 D7 C/ S0 }/ i' ]5 _ PEN = 1
$ G, o0 V) P4 R C = "pink"
ENDIF     
0 v5 F7 a9 Q! g; `% {/ |
铣床：
, G: m8 U! J3 }& P+ _5 \) Haction on finish：
IF RANDOM (2) <= 0.05
PEN = 2
/ b& L6 l( M6 ]7 Z# u0 D D = "yellow"
! N2 H- K/ X& y  H" nENDIF   

- K, d2 i- y% n5 h! K6 C8 }0 g磨床：
! H3 d. N% f# O5 G* z2 K- gaction on finish：
" N! r: j, S9 Z6 e  H% O/ uIF RANDOM (3) <= 0.05
; s$ G6 X, J( r6 f PEN =3
+ E) u4 O+ [3 F% V8 r E= "green"
ENDIF

dragonet5

你这个写得不够清楚。
5 t: u' ]2 M& |. U
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
* r. a3 d/ a; h" S
; L* Q: [) L1 b# d: d. j然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
: X, a, j5 p1 I+ }7 ?! [
最后问一下你的Witness版本。