Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
5 h5 j) p5 S* E/ ~
我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
1 E: Q) Q% z; R  R, M, K+ _车床：
: u: e; G- I: b2 p8 y. _& daction on finish：
5 K  L1 ~. H* A" B  c+ VIF RANDOM (1) <= 0.05
PEN = 1
/ g4 S& U- N5 M3 X: `0 g C = "pink"
3 [8 D% Y  m% \* {# Y: o$ W' }. GENDIF     
- e) D) A: k! p* E, m- F1 e2 b
& c8 n  B5 I, _5 m铣床：
4 O) ^; K$ L% C. r- X, b0 y: Xaction on finish：
. V, `$ ^; v3 s8 qIF RANDOM (2) <= 0.05
3 j  Z4 S9 y2 Q8 f1 s& m6 i2 u+ T; h PEN = 2
D = "yellow"
, v7 Z  J6 O- j6 U) kENDIF   
3 F; m$ I7 X- `2 a1 _
磨床：
action on finish：
0 X. u$ C6 j9 ^4 U4 i2 KIF RANDOM (3) <= 0.05
: S& u% Y( [2 C6 g6 T: V PEN =3
E= "green"
ENDIF

dragonet5

* W9 h% e4 z* k你这个写得不够清楚。
$ p; @3 r  i1 t5 L5 c' M
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
$ w: u0 R8 Y9 i1 ], w( R# [
, v. H% c3 @8 O- N; `# J然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
9 J) A$ _# R) Y0 c- E, O
最后问一下你的Witness版本。