Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
+ N" g: R$ g; i
& b. {/ f: F. I. Q9 k! i4 `我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
IF RANDOM (1) <= 0.05
PEN = 1
C = "pink"
# Q- K- s* e$ BENDIF     
1 ?7 E2 M/ w! f# C; H
% l! y$ l) `0 h9 j" y5 ]铣床：
! b; a) ^- [) d- I% R3 p9 q, C- uaction on finish：
IF RANDOM (2) <= 0.05
# D8 X  n: L7 s) e PEN = 2
D = "yellow"
3 m5 ?2 J% `' }# H, jENDIF   
( A7 x5 r8 S" u$ @  x3 f  e+ v
磨床：
5 y- P1 k: R) |$ @8 {: paction on finish：
IF RANDOM (3) <= 0.05
PEN =3
4 H% ?2 U+ \( ]; d* i E= "green"
# A1 w3 H* H2 t& X( V3 F- fENDIF

dragonet5

* j& g- h- l4 u0 y& {! H6 y
你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
- q# J* ^: `' X, r6 B
3 _5 A' h, G  {& D* E然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
8 M2 q2 ~$ q/ g# ]# u6 O
5 Y  Y, D4 ?# X' h! t$ t7 O2 d" c最后问一下你的Witness版本。