Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
( F/ }8 Z. ~- M9 M  i
; l) s6 Z- P- _4 T; A$ A我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
% A7 A/ ~7 X+ M, Q车床：
7 P- f. _7 N) y8 ?! W9 T+ E, laction on finish：
! o9 Y/ r/ e* zIF RANDOM (1) <= 0.05
PEN = 1
6 `2 {" K. `% J3 w  u C = "pink"
" u$ o+ O- @1 _& v; UENDIF     
9 m/ ?6 D) a0 |
) Z" i; P# g' u7 l铣床：
8 `: O4 @; S5 v- a8 m- p1 n" s( e6 s# ]action on finish：
1 X2 Q$ ?* _6 y" c7 ^* G* M! e" nIF RANDOM (2) <= 0.05
PEN = 2
0 Y! U) a" m& b0 z D = "yellow"
$ |- ]" ?6 m2 {" G$ O! p! j" ~; R' |ENDIF   
4 ^8 b3 W& Z9 ]+ k# R6 P8 h
磨床：
/ E; _1 _2 n, X! {) z6 haction on finish：
8 u5 i6 ~' A3 h8 |. tIF RANDOM (3) <= 0.05
PEN =3
' c6 d' K# h- a  ]1 q! L E= "green"
ENDIF

dragonet5

1 i7 @+ e) X) `9 v5 T) n1 \  G
你这个写得不够清楚。
4 }/ j# {* s4 {& k/ D9 f9 X
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
" e/ }2 K8 X6 u. K9 [
最后问一下你的Witness版本。