Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
( J; c! }6 O6 p5 M: @7 H# R( ?
我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
8 P$ t/ a. f# u9 s! raction on finish：
( s" k! C+ j- d1 j) X& kIF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
! G2 m, j- m2 z, @1 c4 p% mENDIF     
! u  S: e( j! k  O5 z. m! x
) v! H8 o' L5 h' y: u2 d铣床：
action on finish：
IF RANDOM (2) <= 0.05
PEN = 2
- e8 C8 i9 K6 J8 n5 q% n5 a D = "yellow"
ENDIF   
6 u6 f: h/ j/ o  _8 ~
磨床：
6 ~0 _! N: k2 m$ baction on finish：
- c% q- f! B& E* g; gIF RANDOM (3) <= 0.05
PEN =3
$ A% ]! x( x8 c, n" h" b2 K E= "green"
2 P/ i: m/ {( z* oENDIF

dragonet5

+ ]1 ~+ i  G/ k7 Y+ Q7 N
你这个写得不够清楚。
1 D5 l" ], l# t1 {
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

5 h# A4 {! ^! ^然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
2 ?4 e; C# ]$ T; w* W
最后问一下你的Witness版本。