I
n
d
on
e
s
i
an
Jo
u
r
n
al
o
f
El
e
c
t
r
i
c
al
En
gi
n
e
e
r
i
n
g
an
d
C
o
m
p
u
te
r
S
c
i
e
n
c
e
V
o
l
.
40
,
N
o
.
3
,
D
e
c
em
b
e
r
2025
,
pp
.
1
430
~
1
438
IS
S
N
:
2502
-
4752
,
D
O
I
:
10.
1
1591
/
i
j
e
e
c
s
.
v
40
.i
3
.
pp
1
43
0
-
1
438
1430
Jou
r
n
al
h
o
m
e
pa
ge
:
ht
t
p:
/
/
i
j
e
e
c
s
.
i
a
e
s
c
or
e
.
c
om
Fo
r
m
a
l
i
z
a
t
i
o
n
o
f
m
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
p
r
o
b
l
e
m
i
n
o
n
t
o
l
o
g
y
-
b
a
s
e
d
d
a
t
a
b
a
ses
Be
r
y
L
e
o
u
r
o
M
b
ai
o
s
s
ou
m
1
,
N
ar
k
o
y
B
a
to
u
m
a
1
,
A
tte
i
b
D
o
u
t
ou
m
M
ah
am
at
1
,
O
u
c
h
ar
C
h
e
r
i
f
A
l
i
2
,
Lan
g
D
i
o
n
l
ar
1
,
Lad
j
e
l
Be
l
l
atr
e
c
h
e
3
1
De
p
a
rt
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
,
F
a
c
u
l
t
y
o
f
E
x
a
c
t
a
n
d
A
p
p
l
i
e
d
S
c
i
e
n
c
e
s
,
U
n
i
v
e
r
s
i
t
y
o
f
N
d
j
a
m
e
n
a
,
N
’D
j
a
m
e
n
a
,
C
h
a
d
2
De
p
a
rt
m
e
n
t
o
f
C
o
m
p
u
t
e
r
S
c
i
e
n
c
e
,
I
n
s
t
i
t
u
t
N
a
t
i
o
n
a
l
S
u
p
é
r
i
e
u
r
d
e
s
S
c
i
e
n
c
e
s
e
t
T
e
c
h
n
i
q
u
e
d
’
A
b
é
c
h
é
,
A
b
é
c
h
é
,
C
h
a
d
3
L
IA
S
,
É
c
o
l
e
N
a
t
i
o
n
a
l
e
S
u
p
é
ri
e
u
r
e
d
e
M
é
c
a
n
i
q
u
e
e
t
d
'A
é
r
o
t
e
c
h
n
i
q
u
e
(E
N
S
M
A
)
,
P
o
i
t
i
e
r
s
,
F
ra
n
c
e
A
r
ti
c
l
e
I
n
fo
A
B
S
TR
A
C
T
Ar
t
i
c
l
e
h
i
s
t
or
y
:
R
e
c
e
i
v
e
d
O
c
t
16
,
2024
R
e
v
i
s
e
d
J
ul
19
,
202
5
A
c
c
e
pt
e
d
O
c
t
15
,
2
025
M
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
a
r
e
e
s
s
e
nt
i
a
l
f
o
r
o
pt
i
m
i
z
i
ng
t
he
p
e
r
f
o
r
m
a
nc
e
o
f
t
r
a
di
t
i
o
na
l
d
a
t
a
ba
s
e
s
a
n
d
d
a
t
a
w
a
r
e
ho
us
e
s
by
a
c
c
e
l
e
r
a
t
i
ng
que
r
y
r
e
s
po
ns
e
s
.
H
o
w
e
v
e
r
,
t
he
i
r
s
u
bs
t
a
n
t
i
a
l
s
t
o
r
a
g
e
r
e
qui
r
e
m
e
nt
s
a
nd
t
he
i
m
pr
a
c
t
i
c
a
l
i
t
y
o
f
m
a
t
e
r
i
a
l
i
z
i
ng
a
l
l
po
s
s
i
b
l
e
v
i
e
w
s
r
a
i
s
e
t
he
pr
o
bl
e
m
o
f
s
e
l
e
c
t
i
ng
w
h
i
c
h
v
i
e
w
s
t
o
pe
r
s
i
s
t
,
a
f
un
da
m
e
n
t
a
l
phy
s
i
c
a
l
de
s
i
g
n
c
ha
l
l
e
ng
e
.
T
hi
s
a
r
t
i
c
l
e
p
r
e
s
e
nt
s
a
r
i
g
o
r
o
us
f
o
r
m
a
l
i
z
a
t
i
o
n
o
f
t
hi
s
p
r
o
bl
e
m
w
i
t
hi
n
t
he
c
o
nt
e
x
t
o
f
s
e
m
a
nt
i
c
da
t
a
ba
s
e
s
.
T
h
e
m
e
t
ho
do
l
o
gy
e
m
pl
oy
e
d
i
nc
l
ude
s
a
c
o
m
pr
e
he
ns
i
v
e
l
i
t
e
r
a
t
ur
e
r
e
v
i
e
w
a
i
m
e
d
a
t
i
d
e
n
t
i
f
y
i
ng
t
he
v
a
r
i
e
t
y
of
s
e
-
m
a
nt
i
c
da
t
a
b
a
s
e
r
e
p
r
e
s
e
n
t
a
t
i
o
ns
.
T
hi
s
a
na
l
y
s
i
s
r
e
v
e
a
l
e
d
a
s
i
g
ni
f
i
c
a
nt
d
i
v
e
r
s
i
t
y
i
n
d
a
t
a
m
o
de
l
s
a
nd
q
ue
r
y
l
a
ng
ua
g
e
s
u
s
e
d
.
B
a
s
e
d
o
n
t
h
i
s
a
n
a
l
y
s
i
s
,
a
g
e
ne
r
i
c
f
o
r
m
a
l
i
z
a
t
i
o
n
f
r
a
m
e
w
o
r
k
i
s
pr
o
-
po
s
e
d.
T
h
i
s
f
r
a
m
e
w
o
r
k
e
n
a
bl
e
s
t
he
e
xp
r
e
s
s
i
o
n
o
f
v
a
r
i
o
us
r
e
s
o
l
u
t
i
o
n
a
pp
r
o
a
c
he
s
t
o
t
h
e
m
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
e
l
e
c
t
i
o
n
pr
o
b
l
e
m
,
t
a
ki
ng
i
nt
o
a
c
c
o
unt
t
h
e
s
pe
c
i
f
i
c
i
t
i
e
s
o
f
s
e
m
a
n
t
i
c
da
t
a
ba
s
e
s
.
I
t
o
f
f
e
r
s
br
o
a
d
a
p
pl
i
c
a
b
i
l
i
t
y
t
o
a
ny
da
t
a
ba
s
e
m
a
n
a
g
e
m
e
nt
s
y
s
t
e
m
,
pr
o
v
i
di
ng
a
c
o
m
m
o
n
l
a
n
g
ua
g
e
t
o
de
s
c
r
i
be
a
n
d
c
o
m
pa
r
e
v
i
e
w
s
e
l
e
c
t
i
o
n
m
e
t
ho
ds
.
Ke
y
w
or
d
s
:
M
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
O
nt
o
l
o
g
y
-
b
a
s
e
d
-
da
t
a
b
a
s
e
s
fo
r
m
a
l
i
z
a
t
i
o
n
S
e
m
a
n
t
i
c
da
t
a
b
a
s
e
s
S
P
A
R
Q
L
que
r
i
e
s
T
hi
s
i
s
an
ope
n
ac
c
e
s
s
ar
t
i
c
l
e
u
nde
r
t
he
C
C
B
Y
-
SA
l
i
c
e
ns
e
.
Cor
r
e
s
pon
di
n
g
Au
t
h
or
:
B
e
r
y
L
e
o
ur
o
M
b
a
i
o
s
s
o
um
D
e
pa
rt
m
e
n
t
o
f
Co
m
put
e
r
S
c
i
e
n
c
e
,
F
a
c
ul
t
y
of
E
xa
c
t
a
nd
A
pp
l
i
e
d
S
c
i
e
n
c
e
s
,
U
ni
v
e
r
s
i
t
y
of
N
dj
a
m
e
na
Ro
ut
e
de
F
a
r
c
ha
,
N
dj
a
m
e
na
,
C
ha
d
E
m
a
i
l
:
b
e
r
y
.
m
b
a
i
o
s
s
o
um
@
gm
a
i
l
.
c
o
m
1.
I
N
TR
O
D
U
C
TI
O
N
Q
ue
r
y
o
pt
i
m
i
z
a
t
i
o
n
i
s
a
n
i
m
po
rt
a
nt
i
s
s
ue
i
n
t
h
e
c
o
nt
e
xt
of
da
t
a
b
a
s
e
s
.
S
h
e
ha
s
a
l
w
a
y
s
h
a
d
a
n
i
m
po
rt
a
nt
pl
a
c
e
a
c
r
o
s
s
t
h
e
di
f
f
e
r
e
n
t
ge
n
e
ra
t
i
o
n
s
o
f
da
t
a
b
a
s
e
s
:
t
r
a
d
i
t
i
o
n
a
l
d
a
t
a
b
a
s
e
s
,
X
M
L
da
t
a
b
a
s
e
s
,
d
a
t
a
w
a
r
e
h
o
us
e
s
,
s
t
a
t
i
s
t
i
c
a
l
a
n
d
s
c
i
e
nt
i
f
i
c
da
t
a
b
a
s
e
s
,
a
n
d
s
e
m
a
nt
i
c
da
t
a
b
a
s
e
s
.
S
i
n
c
e
d
a
t
a
b
a
s
e
a
ppl
i
c
a
t
i
o
n
s
a
r
e
a
l
w
a
y
s
l
o
o
ki
n
g
f
o
r
m
o
r
e
e
f
f
i
c
i
e
n
t
que
r
y
pr
o
c
e
s
s
i
n
g
t
i
m
e
s
,
s
e
v
e
r
a
l
w
o
r
ks
h
a
v
e
b
e
e
n
c
a
rri
e
d
o
ut
t
o
m
a
ke
que
r
y
o
pt
i
m
i
z
e
r
s
m
o
r
e
e
f
f
i
c
i
e
n
t
.
I
n
t
ra
di
t
i
o
na
l
d
a
t
a
b
a
s
e
s
,
s
e
v
e
r
a
l
q
u
e
r
y
o
pt
i
m
i
z
a
t
i
o
n
t
e
c
hn
i
que
s
ha
v
e
b
e
e
n
p
r
o
po
s
e
d
a
n
d
s
o
m
e
ha
v
e
gi
v
e
n
go
o
d
r
e
s
ul
t
s
.
W
e
c
a
n
c
i
t
e
f
o
r
i
n
s
t
a
n
c
e
,
t
h
e
t
e
c
h
n
i
q
ue
s
of
i
n
de
xi
ng,
c
l
us
t
e
ri
n
g
,
f
r
a
g
m
e
nt
a
t
i
o
n,
a
n
d
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
.
M
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
a
r
e
o
n
e
o
f
t
h
e
m
o
s
t
s
uc
c
e
s
s
f
ul
o
pt
i
m
i
z
a
t
i
o
n
t
e
c
hn
i
que
s
i
n
r
e
l
a
t
i
o
na
l
d
a
t
a
b
a
s
e
s
(R
D
B
)
[1]
a
n
d
i
n
d
a
t
a
w
a
r
e
h
o
us
e
s
[2]
-
[5].
I
n
de
e
d,
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
m
a
ke
i
t
po
s
s
i
b
l
e
t
o
r
e
s
po
n
d
e
ff
i
c
i
e
n
t
l
y
t
o
que
ri
e
s
,
e
s
pe
c
i
a
l
l
y
i
n
t
e
r
m
s
o
f
e
xe
c
ut
i
o
n
t
i
m
e
.
H
ow
e
v
e
r
,
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
o
c
c
up
y
e
n
o
ugh
s
t
o
ra
ge
s
pa
c
e
t
h
a
t
i
t
i
s
di
f
f
i
c
ul
t
t
o
m
a
t
e
ri
a
l
i
z
e
a
l
l
t
h
e
po
s
s
i
b
l
e
v
i
e
w
s
.
It
i
s
t
h
e
n
n
e
c
e
s
s
a
r
y
t
o
s
e
l
e
c
t
s
o
m
e
o
f
t
h
e
m
f
o
r
m
a
t
e
ri
a
l
i
z
a
t
i
o
n.
V
i
e
w
s
e
l
e
c
t
i
o
n
t
rul
y
e
m
e
r
ge
d
a
s
a
p
h
y
s
i
c
a
l
de
s
i
g
n
p
r
o
b
l
e
m
w
i
t
h
t
h
e
de
v
e
l
o
pm
e
n
t
o
f
da
t
a
w
a
r
e
h
o
us
e
s
[2],
[6]
.
In
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
s
,
l
i
t
t
l
e
w
o
r
k
o
n
o
pt
i
m
i
z
i
n
g
que
r
i
e
s
us
i
n
g
m
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
h
a
s
b
e
e
n
c
a
rri
e
d
o
ut
.
A
nd
a
m
o
n
g
t
h
e
w
o
r
ks
c
a
rr
i
e
d
o
ut
[7]
-
[9]
,
v
e
r
y
fe
w
re
a
l
l
y
t
a
ke
i
nt
o
a
c
c
o
un
t
t
h
e
s
e
m
a
nt
i
c
di
m
e
n
s
i
o
n
Evaluation Warning : The document was created with Spire.PDF for Python.
In
do
n
e
s
i
a
n
J
E
l
e
c
E
ng
&
Co
m
p
S
c
i
IS
S
N
:
2502
-
4752
F
or
m
al
i
z
at
i
on
of
m
at
e
r
i
a
l
i
z
e
d
v
i
e
w
pr
obl
e
m
i
n
ont
o
l
og
y
-
bas
e
d
d
at
ab
as
e
s
(
B
e
r
y
L
e
our
o
Mba
i
os
s
oum
)
1431
(o
n
t
o
l
o
gi
c
a
l
di
m
e
n
s
i
o
n
)
o
f
t
h
e
s
e
da
t
a
b
a
s
e
s
.
T
h
e
d
a
t
a
b
a
s
e
s
a
r
e
c
o
n
s
i
de
r
e
d
a
s
t
a
b
l
e
s
o
f
t
ri
pl
e
s
.
B
ut
t
h
e
s
e
da
t
a
b
a
s
e
s
c
a
n
a
do
pt
s
e
ve
r
a
l
r
e
p
r
e
s
e
n
t
a
t
i
o
n
s
c
h
e
m
e
s
.
I
n
a
ddi
t
i
o
n
,
t
h
e
s
e
w
o
r
ks
de
a
l
w
i
t
h
R
D
F
t
y
pe
da
t
a
,
w
hi
l
e
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
s
us
e
o
t
h
e
r
da
t
a
f
o
r
m
a
l
i
s
m
s
s
uc
h
a
s
O
W
L
[
10],
a
n
d
P
L
i
b
[11]
.
In
t
hi
s
w
o
r
k,
w
e
w
i
l
l
fo
c
us
o
n
m
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
f
o
r
t
h
e
o
pt
i
m
i
z
a
t
i
o
n
o
f
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
s
.
W
e
w
i
l
l
c
o
n
s
i
de
r
t
h
e
di
v
e
r
s
i
t
i
e
s
p
r
e
s
e
nt
e
d
b
y
s
e
m
a
n
t
i
c
d
a
t
a
b
a
s
e
s
.
A
s
i
n
t
r
a
d
i
t
i
o
na
l
d
a
t
a
b
a
s
e
s
,
t
h
e
p
r
o
b
l
e
m
i
s
t
ha
t
of
s
e
l
e
c
t
i
n
g
v
i
e
w
s
t
o
pe
r
s
i
s
t
.
T
h
e
n,
w
e
w
i
l
l
p
r
e
s
e
n
t
t
h
e
p
r
o
b
l
e
m
o
f
s
e
l
e
c
t
i
n
g
m
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
a
n
d
w
e
w
i
l
l
pr
o
po
s
e
a
f
o
r
m
a
l
i
z
a
t
i
o
n
o
f
t
h
e
p
r
o
b
l
e
m
w
h
i
c
h
w
i
l
l
m
a
ke
i
t
po
s
s
i
b
l
e
t
o
c
i
r
c
u
m
s
c
r
i
b
e
t
h
e
di
f
f
e
r
e
n
t
a
p
p
r
o
a
c
h
e
s
t
o
s
o
l
v
i
n
g
t
h
i
s
p
r
o
b
l
e
m
.
A
n
d
w
e
w
i
l
l
p
r
o
po
s
e
a
r
e
s
o
l
ut
i
o
n
s
c
h
e
m
a
o
f
t
h
i
s
p
r
o
b
l
e
m
.
A
s
a
p
l
a
n
f
o
r
t
h
i
s
w
o
r
k,
w
e
f
i
r
s
t
p
r
e
s
e
n
t
t
h
e
p
r
o
b
l
e
m
o
f
v
i
e
w
s
e
l
e
c
t
i
o
n
i
n
c
l
a
s
s
i
c
a
l
da
t
a
b
a
s
e
s
a
n
d
i
n
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
s
.
W
e
w
i
l
l
p
r
o
po
s
e
,
s
e
c
o
n
dl
y
,
a
f
o
r
m
a
l
i
z
a
t
i
o
n
o
f
t
h
e
v
i
e
w
s
e
l
e
c
t
i
o
n
p
r
o
b
l
e
m
i
n
s
e
m
a
nt
i
c
da
t
a
b
a
s
e
s
.
W
e
w
i
l
l
de
f
i
n
e
t
h
e
di
f
f
e
r
e
n
t
c
o
m
po
n
e
n
t
s
o
f
t
h
i
s
f
o
r
m
a
l
i
z
a
t
i
o
n
,
n
o
t
a
b
l
y
t
h
e
s
e
t
o
f
v
i
e
w
s
i
n
t
h
e
di
f
fe
r
e
nt
t
y
pe
s
of
s
e
m
a
nt
i
c
d
a
t
a
b
a
s
e
s
.
N
e
xt
,
w
e
w
i
l
l
di
s
c
us
s
t
h
e
r
e
s
o
l
ut
i
o
n
s
c
h
e
m
a
o
f
t
h
i
s
p
r
o
b
l
e
m
.
F
i
na
l
l
y
,
w
e
w
i
l
l
di
s
c
us
s
t
h
e
c
ha
ra
c
t
e
ri
z
a
t
i
o
n
s
o
f
t
h
e
que
r
i
e
s
a
nd
a
c
o
nc
l
us
i
o
n
w
i
l
l
f
o
l
l
ow
.
2.
M
ET
H
O
D
T
o
t
a
c
kl
e
t
hi
s
w
o
r
k
,
w
e
pe
r
f
o
rm
a
l
i
t
e
ra
t
u
r
e
re
v
i
e
w
a
nd
a
n
a
n
a
l
y
s
i
s
o
f
t
he
re
s
e
a
r
c
h
s
t
u
d
i
e
s
f
o
c
us
i
ng
o
n
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
i
n
o
rde
r
t
o
d
i
s
c
o
v
e
r
t
h
e
m
a
i
n
c
o
m
po
n
e
nt
s
o
f
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
p
r
o
b
l
e
m
t
o
f
o
rm
a
l
i
z
e
.
A
f
t
e
r
t
ha
t
,
b
a
s
e
d
o
n
t
he
o
b
s
e
r
v
e
d
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
p
r
o
b
l
e
m
s
o
l
v
i
ng
a
p
p
r
o
a
c
h
e
s
,
w
e
p
r
o
po
s
e
a
gl
o
b
a
l
re
s
o
l
u
t
i
o
n
s
c
h
e
m
a
o
f
t
hi
s
p
r
o
b
l
e
m
.
S
o
,
w
e
s
t
a
rt
b
y
s
t
a
t
i
ng
t
h
e
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
p
r
o
b
l
e
m
i
n
d
i
f
f
e
r
e
nt
t
y
pe
s
o
f
d
a
t
a
b
a
s
e
s
.
2.
1
.
M
ate
r
i
a
l
i
z
e
d
v
i
e
w
s
e
l
e
c
ti
o
n
p
r
o
b
l
e
m
i
n
t
r
ad
i
t
i
o
n
al
d
atab
as
e
s
In
R
D
B
a
n
d
da
t
a
w
a
r
e
h
o
us
e
s
,
t
h
e
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
e
l
e
c
t
i
o
n
p
r
o
b
l
e
m
i
s
f
o
r
m
u
l
a
t
e
d
a
s
:
g
i
v
e
n
Q
=
{
q1,
q
2,
.
.
.
,
q
n
}
,
a
s
e
t
o
f
que
r
i
e
s
,
D
B
S
,
a
s
c
h
e
m
a
d
a
t
a
b
a
s
e
i
.
e
.
,
D
B
S
=
{
R
1,
R
2,
.
.
.
,
R
k}
w
h
e
r
e
t
h
e
R
i
a
r
e
t
a
b
l
e
s
;
a
n
d
s
o
m
e
c
o
n
s
t
r
a
i
n
t
s
(s
t
o
r
a
ge
s
pa
c
e
,
v
i
e
w
m
a
i
nt
e
n
a
n
c
e
c
o
s
t
,
a
n
d
n
u
m
b
e
r
o
f
v
i
e
w
s
).
T
h
e
o
b
j
e
c
t
i
ve
f
un
c
t
i
o
n
c
o
n
s
i
s
t
s
o
f
f
i
n
di
n
g
a
s
e
t
o
f
v
i
e
w
s
w
h
i
c
h
o
pt
i
m
i
z
e
s
t
h
e
que
r
i
e
s
o
f
Q
a
n
d
w
h
i
c
h
r
e
s
pe
c
t
s
t
h
e
c
o
n
s
t
ra
i
nt
s
[2
].
T
h
e
da
t
a
b
a
s
e
s
c
h
e
m
a
i
s
k
n
o
w
n
.
T
h
i
s
i
s
ge
ne
r
a
l
l
y
t
h
e
r
e
l
a
t
i
o
na
l
m
o
de
l
.
T
h
e
e
nt
i
r
e
r
e
s
o
l
ut
i
o
n
pr
o
c
e
s
s
i
s
b
a
s
e
d
o
n
i
t
.
2.
2
.
M
ate
r
i
a
l
i
z
e
d
v
i
e
w
s
e
l
e
c
ti
o
n
p
r
o
b
l
e
m
i
n
s
e
m
an
ti
c
d
at
ab
as
e
s
In
s
e
m
a
nt
i
c
d
a
t
a
b
a
s
e
s
,
t
h
e
r
e
a
r
e
s
e
v
e
r
a
l
w
a
y
s
t
o
r
e
p
r
e
s
e
nt
o
nt
o
l
o
gi
e
s
a
n
d
t
h
e
i
r
i
n
s
t
a
n
c
e
s
.
T
h
e
c
o
m
m
o
n
l
y
us
e
d
r
e
pr
e
s
e
n
t
a
t
i
o
n
s
a
r
e
:
t
h
e
v
e
rt
i
c
a
l
r
e
p
r
e
s
e
n
t
a
t
i
o
n
[1
2]
-
[17]
a
nd
t
h
e
h
y
b
r
i
d
r
e
p
r
e
s
e
n
t
a
t
i
o
n
.
S
o
,
t
h
e
da
t
a
b
a
s
e
s
c
h
e
m
a
i
s
n
o
t
a
l
w
a
y
s
k
n
o
w
n
i
n
a
dv
a
n
c
e
.
T
h
e
p
r
o
b
l
e
m
o
f
s
e
l
e
c
t
i
n
g
m
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
i
s
ge
n
e
ri
c
a
l
l
y
pr
e
s
e
n
t
e
d
a
s
:
g
i
v
e
n
a
n
o
n
t
o
l
o
g
y
a
n
d
i
t
s
po
pul
a
t
i
o
n
,
a
s
e
t
o
f
que
r
i
e
s
Q
=
{
q1
,
q
2,
.
.
.
,
q
n
}
a
nd
s
o
m
e
c
o
n
s
t
ra
i
nt
s
(e
.
g
.
s
p
a
c
e
o
f
s
t
o
r
a
ge
,
v
i
e
w
m
a
i
nt
e
na
n
c
e
c
o
s
t
,
n
u
m
b
e
r
o
f
v
i
e
w
s
,
a
n
d
r
e
s
po
n
s
e
t
i
m
e
).
T
h
e
o
b
j
e
c
t
i
ve
f
un
c
t
i
o
n
c
o
n
s
i
s
t
s
o
f
f
i
n
d
i
n
g
a
s
e
t
o
f
v
i
e
w
s
w
h
i
c
h
m
i
ni
m
i
z
e
s
t
h
e
p
r
o
c
e
s
s
i
n
g
o
f
Q
que
r
i
e
s
a
n
d
w
hi
c
h
r
e
s
pe
c
t
s
t
h
e
c
o
n
s
t
ra
i
nt
s
.
A
s
t
h
e
s
c
h
e
m
a
o
f
t
h
e
r
e
p
r
e
s
e
n
t
a
t
i
o
n
o
f
t
h
e
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
i
s
t
h
e
r
e
f
o
r
e
n
o
t
i
m
m
e
di
a
t
e
l
y
kn
o
w
n
,
t
hi
s
g
i
v
e
s
r
i
s
e
t
o
t
w
o
a
ppr
o
a
c
h
e
s
f
o
r
s
o
l
v
i
n
g
t
hi
s
p
r
o
b
l
e
m
:
–
E
i
t
h
e
r
w
e
t
a
r
ge
t
a
r
e
p
r
e
s
e
n
t
a
t
i
o
n
o
f
o
n
t
o
l
o
gi
e
s
(s
c
h
e
m
a
a
n
d
i
n
s
t
a
n
c
e
s
)
a
n
d
w
e
b
a
s
e
a
l
l
t
h
e
r
e
a
s
o
ni
n
g
o
n
t
h
e
l
a
t
t
e
r,
w
e
s
pe
a
k
o
f
t
a
r
ge
t
e
d
v
i
e
w
s
.
M
o
s
t
o
f
t
h
e
m
e
t
h
o
ds
e
n
c
o
unt
e
r
e
d
f
o
r
s
o
l
v
i
n
g
t
h
e
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
e
l
e
c
t
i
o
n
p
r
o
b
l
e
m
(P
S
V
M
)
us
e
t
h
i
s
a
p
p
r
o
a
c
h,
–
o
r
w
e
r
e
a
s
o
n
a
t
t
h
e
l
e
v
e
l
of
t
h
e
o
nt
o
l
o
g
y
s
c
h
e
m
a
,
t
h
e
n
w
e
a
da
pt
t
h
e
r
e
s
ul
t
s
t
o
a
n
i
m
p
l
e
m
e
n
t
a
t
i
o
n
a
t
t
h
e
t
i
m
e
o
f
pr
o
duc
t
i
o
n,
w
e
w
i
l
l
t
a
l
k
a
b
o
ut
ge
n
e
r
i
c
v
i
e
w
s
.
H
ow
e
ve
r
,
w
e
n
o
t
e
t
h
a
t
t
h
e
f
o
r
m
a
l
i
z
a
t
i
o
n
o
f
t
h
i
s
p
r
o
b
l
e
m
i
n
t
h
e
t
w
o
t
y
p
e
s
of
da
t
a
b
a
s
e
s
(R
D
B
a
n
d
S
D
B
)
i
s
a
l
m
o
s
t
i
de
n
t
i
c
a
l
.
T
h
e
m
a
i
n
di
f
f
e
r
e
n
c
e
i
s
t
h
a
t
i
n
t
h
e
c
a
s
e
o
f
S
D
B
,
t
h
e
r
e
p
r
e
s
e
n
t
a
t
i
o
n
s
c
h
e
m
a
o
f
t
h
e
o
n
t
o
l
o
g
y
a
n
d
t
ha
t
o
f
i
t
s
i
n
s
t
a
n
c
e
s
a
r
e
n
o
t
k
n
o
w
n
.
S
o
,
t
o
b
e
a
b
l
e
t
o
s
o
l
v
e
t
h
i
s
p
r
o
b
l
e
m
i
n
s
e
m
a
nt
i
c
d
a
t
a
b
a
s
e
s
,
w
e
n
e
e
d
o
t
h
e
r
i
n
f
o
r
m
a
t
i
o
n
i
n
c
l
ud
i
n
g
o
n
t
o
l
o
gy
r
e
pr
e
s
e
nt
a
t
i
o
n
s
c
h
e
m
e
s
a
n
d
o
n
t
o
l
o
gi
c
a
l
i
n
s
t
a
n
c
e
s
.
I
n
o
t
h
e
r
w
o
r
ds
,
t
h
e
f
o
r
m
a
l
i
z
a
t
i
o
n
o
f
t
h
e
p
r
o
b
l
e
m
a
s
p
r
e
s
e
n
t
e
d
i
s
i
n
c
o
m
pl
e
t
e
.
W
e
s
e
e
t
h
i
s
e
v
e
n
i
n
c
l
a
s
s
i
c
d
a
t
a
b
a
s
e
s
,
m
a
i
n
l
y
i
n
d
a
t
a
w
a
r
e
h
o
us
e
s
w
h
e
r
e
t
h
e
r
e
a
r
e
di
f
f
e
r
e
n
t
w
a
y
s
o
f
i
m
pl
e
m
e
n
t
i
n
g
t
h
e
m
[18]
:
r
e
l
a
t
i
o
na
l
O
L
A
P
(
R
O
L
A
P
),
m
ul
t
i
di
m
e
n
s
i
o
n
a
l
O
L
A
P
(
M
O
L
A
P
)
,
a
nd
h
y
b
r
i
d
O
L
A
P
(
H
O
L
A
P
).
T
o
m
a
ke
t
hi
s
f
o
r
m
a
l
i
z
a
t
i
o
n
uni
f
o
r
m
f
o
r
a
l
l
t
y
pe
s
of
da
t
a
b
a
s
e
s
,
w
e
p
r
o
po
s
e
t
o
pr
o
v
i
de
a
c
ha
r
a
c
t
e
r
i
s
t
i
c
d
i
m
e
n
s
i
o
n
o
f
t
h
e
da
t
a
b
a
s
e
s
.
T
o
do
t
hi
s
,
w
e
w
i
l
l
us
e
t
h
e
S
D
B
f
o
r
m
a
l
i
z
a
t
i
o
n
t
ha
t
w
e
p
ro
pos
e
d
i
n
[1
9]
w
hi
c
h
p
r
o
v
i
de
s
a
l
l
t
h
e
i
n
f
o
r
m
a
t
i
o
n
o
n
a
gi
v
e
n
s
e
m
a
nt
i
c
d
a
t
a
b
a
s
e
.
W
e
w
i
l
l
f
o
c
us
o
n
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
s
b
ut
i
t
i
s
po
s
s
i
b
l
e
t
o
a
da
pt
t
h
e
w
o
r
k
t
o
t
h
e
c
a
s
e
o
f
c
l
a
s
s
i
c
da
t
a
b
a
s
e
s
.
L
e
t
us
r
e
c
a
l
l
t
h
i
s
f
o
r
m
a
l
i
z
a
t
i
o
n.
2.
3
.
F
o
r
m
al
i
z
ati
o
n
o
f
s
e
m
an
ti
c
d
atab
as
e
s
W
i
t
h
t
h
e
g
r
o
w
t
h
o
f
o
n
t
o
l
o
gi
c
a
l
i
n
s
t
a
n
c
e
s
,
s
e
ve
r
a
l
da
t
a
b
a
s
e
m
o
de
l
s
t
h
a
t
c
a
n
s
up
po
r
t
t
h
e
s
e
i
n
s
t
a
n
c
e
s
ha
v
e
b
e
e
n
p
r
o
po
s
e
d.
T
h
e
s
e
da
t
a
b
a
s
e
s
a
r
e
c
a
l
l
e
d
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
s
(S
D
B
)
o
r
o
n
t
o
l
o
g
y
-
b
a
s
e
d
da
t
a
b
a
s
e
s
(O
B
D
B
).
T
h
e
de
v
e
l
o
pm
e
n
t
o
f
n
u
m
e
r
o
us
S
D
B
r
e
s
ul
t
s
m
a
i
nl
y
f
r
o
m
:
a)
T
h
e
di
v
e
r
s
i
t
y
of
fo
r
m
a
l
i
s
m
s
:
e
a
c
h
O
B
D
B
us
e
s
a
p
a
r
t
i
c
ul
a
r
f
o
r
m
a
l
i
s
m
t
o
de
f
i
n
e
i
t
s
o
nt
o
l
o
gi
e
s
(R
D
F
,
O
W
L
,
P
L
IB
o
r
F
L
IG
H
T
);
Evaluation Warning : The document was created with Spire.PDF for Python.
IS
S
N
:
2502
-
4752
In
do
n
e
s
i
a
n
J
E
l
e
c
E
ng
&
Co
m
p
S
c
i
,
V
o
l
.
40
,
N
o
.
3
,
D
e
c
em
be
r
20
25
:
1
43
0
-
1
438
1432
b)
T
h
e
d
i
v
e
r
s
i
t
y
o
f
s
t
o
ra
ge
m
o
de
l
s
:
u
nl
i
ke
t
ra
d
i
t
i
o
na
l
d
a
t
a
b
a
s
e
s
,
w
h
e
r
e
t
h
e
l
o
g
i
c
a
l
m
o
de
l
i
s
s
t
o
r
e
d
u
s
i
ng
a
r
e
l
a
t
i
o
na
l
a
p
p
r
o
a
c
h,
i
n
s
e
m
a
nt
i
c
d
a
t
a
b
a
s
e
s
,
a
v
a
ri
e
t
y
o
f
s
t
o
ra
ge
m
o
de
l
s
(
h
o
ri
z
o
nt
a
l
a
nd
s
pe
c
i
f
i
c
r
e
p
re
s
e
nt
a
t
i
o
n
)
a
re
u
s
e
d
t
o
s
t
o
r
e
t
h
e
t
w
o
l
e
v
e
l
s
o
f
m
o
de
l
i
ng
:
o
nt
o
l
o
gy
l
e
v
e
l
a
nd
o
nt
o
l
o
g
i
c
a
l
i
ns
t
a
nc
e
s
l
e
v
e
l
;
c)
T
h
e
di
v
e
r
s
i
t
y
of
t
a
r
ge
t
a
r
c
h
i
t
e
c
t
ur
e
s
us
e
d
by
t
h
e
d
a
t
a
b
a
s
e
m
a
na
ge
m
e
n
t
s
y
s
t
e
m
:
a
n
O
B
D
B
c
a
n
us
e
a
s
i
ngl
e
o
r
s
e
v
e
r
a
l
da
t
a
b
a
s
e
s
c
h
e
m
a
s
t
o
s
t
o
r
e
a
l
l
t
h
e
da
t
a
.
T
h
e
d
i
v
e
r
s
i
t
i
e
s
o
f
t
he
O
B
D
B
p
r
o
po
s
e
d
m
a
ke
d
i
f
f
i
c
u
l
t
t
he
f
o
rm
a
l
i
z
a
t
i
o
n
o
f
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
p
r
o
b
l
e
m
s
.
T
hus
,
w
e
p
r
o
po
s
e
t
o
us
e
t
h
e
f
o
l
l
o
w
i
ng
f
o
rm
a
l
i
z
a
t
i
o
n
o
f
O
B
D
B
t
o
f
a
c
i
l
i
t
a
t
e
t
h
e
f
o
rm
a
l
i
z
a
t
i
o
n
o
f
t
he
p
r
o
b
l
e
m
o
f
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
.
T
hi
s
f
o
rm
a
l
i
z
a
t
i
o
n
o
f
O
B
D
B
i
s
a
n
a
b
s
t
ra
c
t
s
t
ruc
t
u
r
e
a
l
l
o
w
i
ng
t
he
d
i
v
e
r
s
i
t
y
i
n
O
B
D
B
t
o
b
e
r
e
p
re
s
e
nt
e
d
i
n
t
e
rm
s
o
f
:
o
nt
o
l
o
gy
m
o
de
l
,
o
nt
o
l
o
g
i
c
a
l
i
ns
t
a
n
c
e
s
,
o
nt
o
l
o
g
i
c
a
l
m
o
de
l
s
t
o
ra
ge
s
c
h
e
m
a
,
o
nt
o
l
o
gi
c
a
l
i
ns
t
a
nc
e
s
t
o
ra
ge
s
c
h
e
m
a
a
nd
O
B
D
B
a
r
c
hi
t
e
c
t
u
r
e
.
T
he
n,
l
e
t
us
r
e
c
a
l
l
t
he
f
o
rm
a
l
i
z
a
t
i
o
n
o
f
o
nt
o
l
o
gy
m
o
de
l
.
2.
4
.
F
o
r
m
al
i
z
ati
o
n
o
f
th
e
o
n
to
l
o
gy
mo
d
e
l
A
n
o
nt
o
l
o
g
y
m
o
de
l
i
s
ge
n
e
ri
c
a
l
l
y
fo
r
m
a
l
i
z
e
d
b
y
t
h
e
f
ol
l
o
w
i
n
g
5
-
t
upl
e
:
<
C
,
P
,
A
p
pl
i
c
,
R
e
f
,
F
or
m
al
i
s
m
>
[20]
w
h
e
r
e
:
–
C
r
e
p
r
e
s
e
n
t
s
t
h
e
c
l
a
s
s
e
s
of
t
h
e
o
n
t
o
l
o
gy
m
o
de
l
;
–
P
r
e
p
r
e
s
e
n
t
s
a
l
l
t
h
e
p
r
o
pe
r
t
i
e
s
o
f
t
h
e
o
nt
o
l
o
g
y
m
o
de
l
;
–
A
ppl
i
c
:
C
2
P
i
s
a
f
u
n
c
t
i
o
n
w
hi
c
h
a
l
l
o
w
s
t
o
l
i
n
k
e
a
c
h
c
l
a
s
s
t
o
t
h
e
p
r
o
pe
r
t
i
e
s
a
t
t
a
c
h
e
d
t
o
i
t
;
–
R
e
f
:
C
(
ope
r
at
or
,
E
x
p(
C)
)
i
s
a
f
un
c
t
i
o
n
w
h
i
c
h
a
s
s
o
c
i
a
t
e
s
e
a
c
h
c
l
a
s
s
w
i
t
h
a
n
o
pe
r
a
t
o
r
(i
n
c
l
us
i
o
n
o
r
e
qui
v
a
l
e
n
c
e
)
a
nd
a
n
e
xp
r
e
s
s
i
o
n
o
n
o
t
h
e
r
c
l
a
s
s
e
s
.
T
h
e
e
xp
r
e
s
s
i
o
n
s
de
f
i
n
e
d
f
o
r
O
W
L
o
n
t
o
l
o
gi
e
s
b
a
s
e
d
o
n
de
s
c
r
i
pt
i
o
n
l
o
gi
c
s
p
r
e
s
e
n
t
,
f
r
o
m
o
ur
po
i
nt
o
f
v
i
e
w
,
a
c
o
m
pl
e
t
e
s
e
t
o
f
o
pe
r
a
t
o
r
s
c
o
ve
r
i
n
g
s
e
v
e
r
a
l
fo
r
m
a
l
i
s
m
s
o
f
o
n
t
o
l
o
gi
e
s
.
T
h
e
s
e
e
xp
r
e
s
s
i
o
n
s
us
e
t
h
e
f
o
l
l
ow
i
n
g
o
pe
r
a
t
o
r
s
:
s
e
t
o
pe
ra
t
o
r
s
(
i
n
t
e
r
s
e
c
t
i
o
n
O
f
(…),
u
ni
o
n
O
f
(
…),
c
o
m
pl
e
m
e
n
t
O
f
(
C)),
p
r
o
pe
r
t
y
r
e
s
t
ri
c
t
i
o
n
s
(A
l
l
V
a
l
ue
s
F
r
o
m
,
S
o
m
e
V
a
l
ue
s
F
r
o
m
,
H
a
s
V
a
l
ue
)
a
nd
c
a
r
di
na
l
i
t
i
e
s
o
pe
r
a
t
o
r
s
(
~
n
R
.
C
,
<
n
R
.
C)
.
E
x
p
c
a
n
b
e
t
h
e
i
de
n
t
i
t
y
f
un
c
t
i
o
n
t
ha
t
a
s
s
o
c
i
a
t
e
s
a
c
l
a
s
s
w
i
t
h
t
h
e
s
a
m
e
c
l
a
s
s
(c
l
a
s
s
de
f
i
n
e
s
i
t
s
e
l
f
a
s
t
h
e
l
a
rge
s
t
c
l
a
s
s
i
n
t
h
e
“
T
h
i
n
g
”
h
i
e
r
a
r
c
h
y
).
–
F
or
m
al
i
s
m
i
s
,
a
s
i
t
s
na
m
e
i
n
d
i
c
a
t
e
s
,
t
h
e
f
o
r
m
a
l
i
s
m
o
f
t
h
e
o
n
t
o
l
o
g
y
m
o
de
l
a
do
pt
e
d.
F
o
r
e
xa
m
p
l
e
,
a
P
L
IB
o
n
t
o
l
o
g
y
w
i
l
l
b
e
d
e
f
i
n
e
d
a
s
a
n
i
n
s
t
a
nc
e
of
t
h
e
f
o
l
l
ow
i
n
g
5
-
t
up
l
e
s
:
<
C
l
a
s
s
e
s
,
P
r
o
pe
r
t
i
e
s
,
A
pp
l
i
c
,
O
nt
o
S
ub
(…),
P
L
IB
>
.
P
l
i
b
'
s
O
n
t
o
S
ub
o
pe
r
a
t
o
r
i
s
a
n
o
pe
r
a
t
o
r
f
o
r
de
f
i
ni
n
g
p
a
r
t
i
a
l
i
nh
e
ri
t
a
n
c
e
,
w
h
e
r
e
a
c
l
a
s
s
r
e
f
e
r
e
n
c
e
s
a
n
o
t
h
e
r
c
l
a
s
s
b
y
i
nh
e
r
i
t
i
n
g
a
l
l
o
r
p
a
r
t
o
f
i
t
s
pr
o
pe
rt
i
e
s
.
A
n
O
W
L
o
n
t
o
l
o
g
y
w
i
l
l
b
e
de
f
i
n
e
d
by
:
<
C
l
a
s
s
e
s
,
P
r
o
pe
rt
i
e
s
,
A
ppl
i
c
,
D
e
s
c
ri
pt
i
o
n
L
o
gi
c
o
pe
r
a
t
o
r
s
,
O
W
L
>
.
F
or
m
al
i
z
at
i
o
n
o
f
B
D
B
O
s
.
W
e
de
f
i
n
e
a
S
D
B
f
o
r
m
a
l
l
y
a
s
a
7
-
t
upl
e
:
SD
B
:<
MO
,
I,
S
c
h
,
P
op
,
SMMO
,
SMIns
t
,
A
r
>
,
w
he
r
e
:
–
MO
:
r
e
p
r
e
s
e
nt
s
a
ge
n
e
r
i
c
o
nt
o
l
o
g
y
m
o
de
l
<
C,
P
,
A
ppl
i
c
,
R
e
f
,
F
or
m
al
i
s
m
>
;
–
I
:
r
e
p
r
e
s
e
n
t
s
a
l
l
o
nt
o
l
o
g
y
i
n
s
t
a
n
c
e
s
;
–
Sc
h:
C
2
P
i
s
a
f
un
c
t
i
o
n
w
hi
c
h
a
s
s
o
c
i
a
t
e
s
w
i
t
h
e
a
c
h
c
l
a
s
s
t
h
e
s
e
t
o
f
pr
o
pe
r
t
i
e
s
f
o
r
w
h
i
c
h
t
h
e
i
n
s
t
a
n
c
e
s
of
t
h
i
s
c
l
a
s
s
a
r
e
v
a
l
ue
d;
–
P
op:
C
2
I
,
i
s
a
f
u
n
c
t
i
o
n
w
h
i
c
h
a
s
s
o
c
i
a
t
e
s
e
a
c
h
c
l
a
s
s
w
i
t
h
i
t
s
i
n
s
t
a
n
c
e
s
,
p
a
r
t
o
f
t
h
e
s
e
t
I
;
–
SMMO
:
t
h
e
s
t
o
r
a
ge
m
o
de
l
w
hi
c
h
i
s
s
t
o
ra
ge
s
c
h
e
m
a
o
f
t
h
e
o
nt
o
l
o
g
y
m
o
de
l
(ve
r
t
i
c
a
l
a
n
d
h
o
ri
z
o
n
t
a
l
);
–
SMIns
t
:
s
t
o
ra
ge
m
o
de
l
w
h
i
c
h
i
s
s
t
o
r
a
ge
s
c
h
e
m
a
f
o
r
o
n
t
o
l
o
g
y
i
n
s
t
a
n
c
e
s
.
–
A
r
c
h
i
t
e
c
t
ur
e
m
o
de
l
(A
r
)
:
t
h
e
a
r
c
hi
t
e
c
t
u
r
e
t
y
pe
of
t
h
e
d
a
t
a
b
a
s
e
(T
y
pe
I,
II
,
o
r
III)
.
A
c
c
o
r
di
n
g
t
o
t
hi
s
f
o
r
m
a
l
i
z
a
t
i
o
n
,
t
h
e
S
D
B
o
f
O
r
a
c
l
e
,
IB
M
S
O
R
,
a
n
d
O
nt
o
D
B
a
r
e
r
e
s
pe
c
t
i
v
e
l
y
r
e
p
r
e
s
e
n
t
e
d
by
:
SDB
-
O
r
a
c
l
e
:
<
M
O
:
<
Cl
a
s
s
e
s
,
P
r
o
pe
rt
i
e
s
,
A
ppl
i
c
,
O
pe
ra
t
o
r
s
(
R
D
F
S
,
O
W
L
S
IF
a
n
d
O
W
L
P
ri
m
e
)
,
(R
D
F
S
,
O
W
L
S
IF
o
r
O
W
L
P
r
i
m
e
de
pe
n
di
ng
o
n
t
h
e
v
e
r
s
i
o
n
)>
,
R
D
F
i
n
s
t
a
n
c
e
s
,
φ
,
ta
b
l
e
s
R
D
F
_l
i
n
k
a
nd
R
D
F
_
v
a
l
ue
s
t
a
b
l
e
s
gi
v
i
n
g
t
h
e
i
n
s
t
a
n
c
e
s
o
f
e
a
c
h
c
l
a
s
s
,
V
e
rt
i
c
a
l
,
V
e
r
t
i
c
a
l
,
T
y
pe
I>
.
T
h
e
f
un
c
t
i
o
n
φ
a
s
s
o
c
i
a
t
e
s
w
i
t
h
e
a
c
h
c
l
a
s
s
t
h
e
s
e
t
o
f
pr
o
pe
rt
i
e
s
f
o
r
w
h
i
c
h
t
h
e
i
n
s
t
a
n
c
e
s
of
t
hi
s
c
l
a
s
s
a
r
e
v
a
l
ue
d;
φ
c
a
n
b
e
a
que
r
y
o
n
t
h
e
da
t
a
b
a
s
e
.
SDB
-
I
B
M
:
<
M
O
:
<
C
l
a
s
s
e
s
,
P
r
o
pe
rt
i
e
s
,
A
ppl
i
c
(p
r
o
pe
rt
i
e
s
of
e
a
c
h
c
l
a
s
s
),
de
s
c
ri
pt
i
o
n
l
o
gi
c
o
pe
ra
t
o
r
s
,
O
W
L
>
,
O
w
l
In
s
t
a
n
c
e
s
,
s
c
h
(que
r
y
r
e
t
u
rn
i
n
g
t
h
e
v
a
l
ue
d
p
r
o
pe
r
t
i
e
s
f
o
r
e
a
c
h
c
l
a
s
s
)
,
I
n
s
t
a
n
c
e
s
o
f
e
a
c
h
c
l
a
s
s
,
H
o
r
i
z
o
n
t
a
l
,
B
i
na
r
y
,
T
y
p
e
II>
.
SDB
-
O
n
t
o
D
B
:
<
M
O
:
<
Cl
a
s
s
e
s
,
P
r
o
pe
r
t
i
e
s
,
A
p
pl
i
c
(p
r
o
pe
rt
i
e
s
o
f
e
a
c
h
c
l
a
s
s
),
O
n
t
o
S
ub
o
pe
r
a
t
o
r
,
P
L
IB
>
,
P
l
i
b
i
n
s
t
a
n
c
e
s
,
S
c
h
⊆
A
ppl
i
c
,
I
n
s
t
a
n
c
e
s
o
f
e
a
c
h
c
l
a
s
s
,
H
o
r
i
z
o
nt
a
l
,
H
o
r
i
z
o
nt
a
l
,
T
y
pe
III>
.
3.
R
ES
U
LTS
A
N
D
D
I
S
C
U
S
S
I
O
N
3.
1
.
F
o
r
m
al
i
z
ati
o
n
o
f
th
e
m
ate
r
i
a
l
i
z
e
d
v
i
e
w
s
e
l
e
c
ti
o
n
p
r
o
b
l
e
m
H
a
v
i
n
g
a
d
a
t
a
b
a
s
e
t
h
us
f
o
r
m
a
l
i
z
e
d,
w
e
h
a
v
e
a
go
o
d
kn
o
w
l
e
d
ge
o
f
i
t
,
i
n
p
a
r
t
i
c
ul
a
r
t
h
e
s
t
o
ra
ge
s
c
h
e
m
a
of
i
t
s
o
n
t
o
l
o
g
y
m
o
de
l
,
t
h
e
s
t
o
r
a
ge
s
c
h
e
m
a
o
f
i
t
s
i
n
s
t
a
n
c
e
s
a
nd
i
t
s
i
m
pl
e
m
e
nt
a
t
i
o
n
a
r
c
hi
t
e
c
t
u
r
e
.
T
h
e
n,
w
e
fo
r
m
a
l
i
z
e
t
h
e
p
r
o
b
l
e
m
o
f
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
a
s
a
4
-
t
up
l
e
:
<
S
D
B
,
Q
,
C
,
V
>
w
h
e
r
e
–
SD
B
:
<
MO
,
I
,
Sc
h
,
P
op,
SMMO
,
SMIns
t
,
A
r
>
,
a
s
e
m
a
nt
i
c
d
a
t
a
b
a
s
e
;
Evaluation Warning : The document was created with Spire.PDF for Python.
In
do
n
e
s
i
a
n
J
E
l
e
c
E
ng
&
Co
m
p
S
c
i
IS
S
N
:
2502
-
4752
F
or
m
al
i
z
at
i
on
of
m
at
e
r
i
a
l
i
z
e
d
v
i
e
w
pr
obl
e
m
i
n
ont
o
l
og
y
-
bas
e
d
d
at
ab
as
e
s
(
B
e
r
y
L
e
our
o
Mba
i
os
s
oum
)
1433
–
Q
:
a
l
o
a
d
o
f
r
e
que
s
t
s
;
–
C
:
c
o
n
s
t
ra
i
nt
s
r
e
l
a
t
i
n
g
t
o
t
h
e
p
r
o
b
l
e
m
a
n
d
;
–
V
:
a
s
e
t
o
f
po
s
s
i
b
l
e
v
i
e
w
s
.
T
h
e
p
r
o
b
l
e
m
t
h
e
r
e
fo
r
e
c
o
n
s
i
s
t
s
t
o
f
i
nd
W
⊆
V
s
uc
h
t
ha
t
W
m
i
ni
m
i
z
e
s
t
h
e
t
r
e
a
t
m
e
n
t
o
f
t
h
e
c
ha
r
ge
Q
a
n
d
s
a
t
i
s
f
i
e
s
t
h
e
c
o
n
s
t
r
a
i
n
t
s
C
.
W
i
t
h
t
hi
s
m
o
de
l
,
w
e
h
a
v
e
go
o
d
kn
o
w
l
e
dge
of
t
h
e
da
t
a
b
a
s
e
i
n
q
ue
s
t
i
o
n
a
nd
w
e
c
a
n
f
o
c
us
o
n
s
e
a
r
c
h
i
ng
W
w
hi
c
h
i
s
a
n
o
pt
i
m
a
l
s
e
t
o
f
v
i
e
w
s
.
W
e
w
i
l
l
s
ub
s
e
que
n
t
l
y
c
h
a
ra
c
t
e
ri
z
e
t
h
e
di
f
f
e
r
e
n
t
c
o
m
po
n
e
n
t
s
o
f
t
h
i
s
f
o
r
m
a
l
i
z
a
t
i
o
n,
m
a
i
n
l
y
t
h
e
s
e
t
o
f
po
s
s
i
b
l
e
v
i
e
w
s
V
a
n
d
t
h
e
que
r
i
e
s
.
3.
2
.
P
o
s
s
i
b
l
e
v
i
e
w
s
to
b
e
m
ate
r
i
a
l
i
z
e
d
T
h
e
s
e
t
o
f
po
s
s
i
b
l
e
v
i
e
w
s
de
pe
n
ds
o
n
t
h
e
s
c
h
e
m
a
a
do
pt
e
d
f
o
r
t
h
e
r
e
p
r
e
s
e
n
t
a
t
i
o
n
o
f
o
n
t
o
l
o
g
y
i
n
s
t
a
n
c
e
s
.
T
o
do
t
hi
s
,
w
e
w
i
l
l
i
de
n
t
i
fy
t
h
i
s
s
e
t
f
o
r
e
a
c
h
t
y
p
e
of
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
.
W
e
r
e
c
a
l
l
t
h
a
t
t
h
e
r
e
a
r
e
t
hr
e
e
m
a
i
n
t
y
pe
s
o
f
S
D
B
:
S
D
B
of
t
y
pe
I
(S
D
B
I):
t
h
e
s
e
a
r
e
t
h
e
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
s
w
h
i
c
h
us
e
t
h
e
v
e
r
t
i
c
a
l
a
pp
r
o
a
c
h
c
o
n
s
i
s
t
i
n
g
o
f
s
t
o
r
i
n
g
t
h
e
o
n
t
o
l
o
g
y
a
n
d
i
t
s
i
n
s
t
a
n
c
e
s
i
n
a
t
a
b
l
e
w
i
t
h
t
hr
e
e
c
o
l
um
n
s
(s
ub
j
e
c
t
,
p
r
e
di
c
a
t
e
,
o
b
j
e
c
t
)
r
e
p
r
e
s
e
n
t
i
n
g
r
e
s
pe
c
t
i
v
e
l
y
:
(
i
)
t
h
e
i
de
nt
i
f
i
e
r
o
f
t
h
e
o
n
t
o
l
o
gi
c
a
l
r
e
s
o
ur
c
e
(c
l
a
s
s
,
p
r
o
pe
rt
y
o
r
o
n
t
o
l
o
gi
c
a
l
i
n
s
t
a
n
c
e
),
(
ii
)
t
h
e
n
a
m
e
o
f
t
h
e
r
e
s
o
ur
c
e
,
a
n
d
(
i
i
i
)
t
h
e
v
a
l
ue
o
f
t
hi
s
r
e
s
o
ur
c
e
.
T
hi
s
r
e
p
r
e
s
e
nt
a
t
i
o
n
ha
s
t
h
e
a
dv
a
n
t
a
ge
o
f
f
a
c
i
l
i
t
a
t
i
ng
t
h
e
i
m
pl
e
m
e
nt
a
t
i
o
n
a
nd
i
n
s
e
r
t
i
o
n
of
n
e
w
t
ri
pl
e
s
.
B
ut
que
r
y
i
n
g
i
t
i
s
c
o
m
pl
e
x
b
e
c
a
us
e
i
t
m
a
y
r
e
qui
r
e
s
e
v
e
r
a
l
s
e
l
f
-
j
o
i
n
o
pe
ra
t
i
o
n
s
.
S
e
m
a
nt
i
c
da
t
a
b
a
s
e
s
[12]
-
[
14]
us
e
t
hi
s
r
e
p
r
e
s
e
n
t
a
t
i
o
n.
S
B
D
of
t
y
pe
II
(S
D
B
II):
i
n
t
hi
s
t
y
pe
,
t
h
e
a
pp
r
o
a
c
h
us
e
d
f
o
r
t
h
e
r
e
p
r
e
s
e
n
t
a
t
i
o
n
o
f
o
n
t
o
l
o
g
y
i
n
s
t
a
n
c
e
s
i
s
t
h
e
b
i
na
r
y
a
pp
r
o
a
c
h
:
i
t
c
o
n
s
i
s
t
s
o
f
de
c
o
m
po
s
i
n
g
t
h
e
r
e
l
a
t
i
o
n
s
h
i
ps
i
nt
o
t
w
o
c
a
t
e
go
r
i
e
s
:
u
n
a
r
y
r
e
l
a
t
i
o
n
s
h
i
ps
(f
o
r
c
l
a
s
s
m
e
m
b
e
r
s
h
i
p),
a
n
d
b
i
na
r
y
r
e
l
a
t
i
o
ns
h
i
ps
(f
o
r
p
r
o
pe
r
t
y
v
a
l
ue
s
).
T
h
i
s
b
i
na
r
y
a
pp
r
o
a
c
h
c
o
m
e
s
i
n
t
h
r
e
e
v
a
ri
a
nt
s
de
pe
n
d
i
n
g
o
n
t
h
e
a
p
pr
o
a
c
h
a
do
pt
e
d
f
o
r
t
h
e
r
e
p
r
e
s
e
n
t
a
t
i
o
n
o
f
i
nh
e
ri
t
a
n
c
e
:
(
i
)
a
s
i
n
g
l
e
t
a
b
l
e
f
o
r
a
l
l
c
l
a
s
s
e
s
o
f
t
h
e
o
nt
o
l
o
gy
,
(
ii
)
o
n
e
t
a
b
l
e
pe
r
c
l
a
s
s
w
i
t
h
t
a
b
l
e
i
nhe
ri
t
a
nc
e
(i
f
a
n
o
b
j
e
c
t
re
l
a
t
i
o
na
l
D
B
M
S
i
s
us
e
d
)
,
a
nd
(
iii
)
o
n
e
t
a
b
l
e
pe
r
c
l
a
s
s
w
i
t
h
o
u
t
t
a
b
l
e
i
nhe
ri
t
a
n
c
e
.
T
hi
s
a
pp
r
o
a
c
h
i
s
u
s
e
d
i
n
S
D
B
[
15
]
,
[
1
7]
.
S
D
B
o
f
t
y
p
e
III
(S
D
B
III):
i
n
t
h
i
s
t
y
pe
of
S
D
B
,
w
e
us
e
t
h
e
h
o
ri
z
o
n
t
a
l
a
pp
r
o
a
c
h
w
h
i
c
h
i
s
s
i
m
i
l
a
r
t
o
t
h
e
t
r
a
d
i
t
i
o
n
a
l
r
e
p
r
e
s
e
n
t
a
t
i
o
n
us
e
d
by
r
e
l
a
t
i
o
na
l
D
B
M
S
.
I
t
c
o
n
s
i
s
t
s
o
f
a
s
s
o
c
i
a
t
i
n
g
w
i
t
h
e
a
c
h
o
n
t
o
l
o
g
y
c
l
a
s
s
a
t
a
b
l
e
h
a
v
i
n
g
a
c
o
l
um
n
f
o
r
e
a
c
h
p
r
o
pe
r
t
y
a
s
s
oc
i
a
t
e
d
w
i
t
h
a
v
a
l
ue
fo
r
a
t
l
e
a
s
t
o
n
e
i
n
s
t
a
n
c
e
of
t
hi
s
c
l
a
s
s
.
T
h
e
S
D
B
O
n
t
o
D
B
[20]
us
e
s
t
h
e
h
o
r
i
z
o
n
t
a
l
a
p
p
r
o
a
c
h
f
o
r
t
he
r
e
p
r
e
s
e
n
t
a
t
i
o
n
o
f
i
t
s
o
nt
o
l
o
g
y
m
o
de
l
a
n
d
a
l
s
o
o
f
i
t
i
n
s
t
a
n
c
e
s
.
3.
2
.
1
.
P
o
s
s
i
b
l
e
v
i
e
w
s
i
n
S
D
B
I
I
an
d
S
D
B
I
I
I
In
t
h
e
s
e
t
w
o
t
y
pe
s
of
s
e
m
a
nt
i
c
da
t
a
b
a
s
e
s
,
w
e
us
e
r
e
l
a
t
i
o
n
a
l
o
r
o
b
j
e
c
t
-
r
e
l
a
t
i
o
na
l
m
o
de
l
w
i
t
h
a
s
e
t
of
t
a
b
l
e
s
.
W
e
us
e
t
h
e
n
o
t
i
o
n
o
f
t
h
e
u
ni
v
e
r
s
a
l
r
e
l
a
t
i
o
n
i
n
R
D
B
t
o
de
f
i
n
e
t
h
e
s
e
t
o
f
po
s
s
i
b
l
e
v
i
e
w
s
.
T
h
e
u
ni
v
e
r
s
a
l
r
e
l
a
t
i
o
n
i
s
a
r
e
l
a
t
i
o
n
t
ha
t
r
e
s
ul
t
s
f
r
o
m
t
h
e
na
t
u
ra
l
j
o
i
n
i
ng
o
f
a
l
l
r
e
l
a
t
i
o
n
s
i
n
t
h
e
da
t
a
b
a
s
e
.
I
t
i
s
a
c
o
n
c
e
pt
t
h
a
t
i
s
c
o
m
m
o
n
l
y
us
e
d
t
o
e
xpr
e
s
s
t
h
e
s
e
m
a
n
t
i
c
s
o
f
de
pe
n
de
n
c
i
e
s
i
n
R
D
B
.
T
h
e
f
unda
m
e
nt
a
l
i
de
a
i
s
t
o
r
e
l
i
e
v
e
t
h
e
us
e
r
(o
r
t
h
e
us
e
r
p
r
o
g
r
a
m
)
o
f
t
h
e
e
xpl
a
n
a
t
i
o
n
o
f
t
h
e
da
t
a
a
c
c
e
s
s
pa
t
h
s
,
by
pr
o
v
i
di
n
g
h
i
m
a
n
i
nt
e
r
f
a
c
e
w
h
i
c
h
g
i
v
e
s
hi
m
t
h
e
i
m
p
r
e
s
s
i
o
n
t
h
a
t
t
h
e
q
ue
ri
e
s
a
r
e
m
a
de
o
n
a
s
i
n
g
l
e
r
e
l
a
t
i
o
n
.
L
e
t
R
(P
1,
P
2,
.
.
.
,
P
n
)
b
e
t
h
e
u
ni
que
r
e
l
a
t
i
o
n
c
o
m
pos
e
d
of
a
l
l
t
h
e
a
t
t
r
i
b
ut
e
s
o
f
t
h
e
da
t
a
b
a
s
e
.
R
i
s
a
s
ub
s
e
t
o
f
t
h
e
Ca
r
t
e
s
i
a
n
p
r
o
duc
t
o
f
t
h
e
da
t
a
b
a
s
e
a
t
t
r
i
b
ut
e
s
P
i
,
U
=
P
1
×
P
2
×
.
.
.
×
P
n
.
By
gr
o
upi
ng
c
e
rt
a
i
n
p
r
o
pe
r
t
i
e
s
,
w
e
c
a
n
de
c
o
m
po
s
e
R
i
nt
o
s
m
a
l
l
r
e
l
a
t
i
o
n
s
.
R
c
a
n
ha
v
e
s
e
ve
r
a
l
de
c
o
m
po
s
i
t
i
o
n
s
,
s
o
m
e
o
f
w
h
i
c
h
c
a
rr
y
t
he
r
i
s
k
o
f
l
o
s
s
of
i
n
f
o
r
m
a
t
i
o
n.
F
r
a
s
i
n
c
a
r
e
t
a
l
.
[2
1
]
s
h
o
w
e
d
t
ha
t
w
e
c
a
n
de
c
o
m
po
s
e
R
i
nt
o
s
e
v
e
r
a
l
t
a
b
l
e
s
w
i
t
h
o
ut
l
o
s
s
o
f
i
n
f
o
r
m
a
t
i
o
n
by
c
o
n
s
i
de
r
i
ng
f
un
c
t
i
o
na
l
de
pe
n
de
n
c
i
e
s
a
nd
j
o
i
n
de
pe
n
de
n
c
i
e
s
.
W
h
i
c
h
a
m
o
unt
s
t
o
pl
a
c
i
n
g
t
h
e
a
t
t
r
i
b
ut
e
s
i
n
t
h
e
i
r
r
e
s
pe
c
t
i
v
e
t
a
b
l
e
s
i
f
t
h
e
de
pe
nde
n
c
i
e
s
e
xi
s
t
.
R
b
e
c
o
m
e
s
a
s
e
ri
e
s
o
f
j
o
i
n
s
o
f
da
t
a
b
a
s
e
t
a
b
l
e
s
.
I
n
o
t
h
e
r
w
o
r
ds
,
U
i
s
t
h
e
Ca
r
t
e
s
i
a
n
p
r
o
duc
t
o
f
t
h
e
r
e
l
a
t
i
o
n
s
R
i
o
f
t
h
e
S
D
B
(U
=
×
R
i
).
W
e
de
f
i
n
e
a
v
i
e
w
a
s
t
h
e
r
e
s
ul
t
o
f
a
n
a
l
ge
b
r
a
i
c
o
pe
r
a
t
i
o
n
o
n
t
h
e
u
n
i
v
e
r
s
a
l
r
e
l
a
t
i
o
n
U
.
T
h
e
n
,
t
h
e
s
e
t
o
f
po
s
s
i
b
l
e
v
i
e
w
s
i
s
:
V
=
{
v
|
v
∈
U}
,
w
h
e
r
e
U
i
s
a
uni
v
e
r
s
a
l
r
e
l
a
t
i
o
n
a
n
d
v
i
s
a
r
e
s
ul
t
o
f
a
q
ue
r
y
o
n
U
(i
.
e
.
,
a
v
i
e
w
).
3.
2
.
2
.
P
o
s
s
i
b
l
e
v
i
e
w
s
i
n
S
D
B
I
In
t
h
i
s
t
y
pe
of
s
e
m
a
n
t
i
c
d
a
t
a
b
a
s
e
s
,
w
e
a
r
e
de
a
l
i
n
g
w
i
t
h
a
s
i
ngl
e
t
a
b
l
e
.
T
h
e
s
e
t
o
f
po
s
s
i
b
l
e
v
i
e
w
s
c
a
n
b
e
de
f
i
n
e
d
i
n
s
e
v
e
r
a
l
w
a
y
s
a
i
m
i
n
g
a
t
t
h
e
a
t
t
i
t
u
de
w
e
a
do
pt
t
o
w
a
r
ds
t
h
e
que
r
i
e
s
:
w
e
c
a
n
de
f
i
n
e
t
h
e
s
e
t
o
f
po
s
s
i
b
l
e
v
i
e
w
s
by
c
o
n
s
i
de
ri
n
g
e
i
t
h
e
r
t
h
e
S
D
B
a
n
d
t
h
e
que
r
i
e
s
o
r
t
h
e
S
D
B
a
l
o
n
e
.
A.
P
r
o
po
s
a
l
c
o
n
s
i
de
r
i
n
g
t
h
e
S
D
B
a
n
d
que
r
i
e
s
W
e
h
a
v
e
Q
a
l
o
a
d
o
f
que
r
i
e
s
.
T
o
a
n
s
w
e
r
e
a
c
h
que
r
y
,
a
c
e
r
t
a
i
n
num
b
e
r
o
f
s
e
l
f
-
jo
i
n
s
o
n
t
h
e
t
ri
p
l
e
t
a
b
l
e
a
r
e
n
e
c
e
s
s
a
r
y
.
If
w
e
de
n
o
t
e
by
n
t
h
e
m
a
x
i
m
u
m
n
u
m
b
e
r
o
f
s
e
l
f
-
j
o
i
n
s
o
n
t
h
e
t
a
b
l
e
o
f
t
ri
pl
e
s
t
o
a
n
s
w
e
r
a
l
l
t
h
e
que
r
i
e
s
o
f
Q
.
T
h
i
s
n
u
m
b
e
r
n
i
s
l
e
s
s
t
ha
n
o
r
e
qua
l
t
o
t
h
e
n
u
m
b
e
r
o
f
t
r
i
pl
e
s
o
f
t
h
e
l
a
rge
s
t
que
r
y
of
t
h
e
l
o
a
d
(b
e
c
a
us
e
c
e
r
t
a
i
n
t
ri
p
l
e
s
c
o
n
s
t
i
t
u
t
e
f
i
l
t
e
r
s
a
n
d
do
n
o
t
r
e
qui
r
e
a
s
e
l
f
-
j
o
i
n
o
f
t
h
e
t
ri
p
l
e
s
t
a
b
l
e
).
T
h
e
n,
a
n
y
v
i
e
w
i
s
a
r
e
s
ul
t
o
f
a
n
a
l
ge
b
r
a
i
c
o
pe
r
a
t
i
o
n
o
n
t
h
e
C
a
r
t
e
s
i
a
n
p
r
o
duc
t
T
×
T
×
.
.
.
×
T
,
(
n
t
i
m
e
s
),
w
i
t
h
T
t
h
e
t
a
b
l
e
o
f
t
r
i
p
l
e
s
.
W
e
de
f
i
n
e
a
l
l
o
f
t
h
e
s
e
v
i
e
w
s
by
:
V
=
{
v
|
v
∈
T
^
n}
w
h
e
r
e
T
^
n
i
s
t
h
e
nt
h
C
a
rt
e
s
i
a
n
p
r
o
duc
t
o
f
t
h
e
t
a
b
l
e
of
t
r
i
p
l
e
s
,
a
n
d
n
t
h
e
m
a
x
i
m
u
m
n
um
b
e
r
o
f
s
e
l
f
-
j
o
i
n
s
f
o
r
Q
i
ndi
c
a
t
e
d
a
b
o
ve
.
Evaluation Warning : The document was created with Spire.PDF for Python.
IS
S
N
:
2502
-
4752
In
do
n
e
s
i
a
n
J
E
l
e
c
E
ng
&
Co
m
p
S
c
i
,
V
o
l
.
40
,
N
o
.
3
,
D
e
c
em
be
r
20
25
:
1
43
0
-
1
438
1434
B.
P
r
o
po
s
a
l
c
o
n
s
i
de
r
i
n
g
o
nl
y
t
h
e
S
D
B
In
t
h
i
s
a
p
p
r
o
a
c
h,
w
e
o
n
l
y
c
o
n
s
i
de
r
t
h
e
t
a
b
l
e
o
f
t
ri
pl
e
s
.
If
w
e
pe
r
f
o
r
m
a
h
o
r
i
z
o
n
t
a
l
r
e
p
r
e
s
e
n
t
a
t
i
o
n
o
f
t
h
i
s
t
a
b
l
e
,
w
e
o
b
t
a
i
n
a
t
a
b
l
e
w
h
o
s
e
c
o
l
um
n
s
a
r
e
t
h
e
p
r
o
pe
r
t
i
e
s
of
t
h
e
o
n
t
o
l
o
g
y
a
n
d
t
h
e
r
o
w
s
a
r
e
t
h
e
i
n
s
t
a
n
c
e
s
of
t
h
e
o
n
t
o
l
o
g
y
.
F
i
gu
r
e
1
p
r
o
v
i
de
s
a
n
i
l
l
us
t
ra
t
i
o
n.
T
h
i
s
r
e
p
r
e
s
e
nt
a
t
i
o
n
i
s
n
o
t
o
pt
i
m
a
l
f
o
r
t
h
e
s
i
m
p
l
e
f
a
c
t
t
h
a
t
i
t
p
r
e
s
e
nt
s
s
e
v
e
r
a
l
n
u
l
l
v
a
l
ue
s
.
B
ut
i
t
s
e
r
v
e
s
t
o
e
xpr
e
s
s
t
h
e
s
e
t
o
f
p
o
s
s
i
b
l
e
v
i
e
w
s
.
Inde
e
d,
w
i
t
h
t
hi
s
r
e
p
re
s
e
n
t
a
t
i
o
n,
a
nd
a
c
c
o
r
di
ng
t
o
[2
2
]
,
t
h
e
u
n
i
v
e
r
s
a
l
r
e
l
a
t
i
o
n
i
s
t
h
e
Ca
rt
e
s
i
a
n
p
r
o
duc
t
o
f
a
l
l
t
h
e
a
t
t
r
i
b
ut
e
s
o
f
t
h
e
d
a
t
a
b
a
s
e
:
U
=
P
1
×
P
2
×
.
.
.
×
P
n
w
i
t
h
t
h
e
P
i
t
h
e
att
ri
b
ut
e
s
of
t
h
e
h
o
ri
z
o
n
t
a
l
r
e
l
a
t
i
o
n
(
r
e
p
r
e
s
e
n
t
a
t
i
o
n
)
o
f
t
h
e
t
a
b
l
e
of
t
r
i
p
l
e
t
s
.
T
h
e
s
e
t
o
f
v
i
e
w
s
i
s
t
h
e
n
de
f
i
n
e
d
by
:
V
=
{
v
|
v
∈
R
U
=
Id
×
P
1
×
P
2
×
.
.
.
×
P
n}
.
C.
P
r
o
po
s
a
l
t
a
ki
ng
i
n
t
o
a
c
c
o
un
t
t
h
e
t
a
b
l
e
o
f
t
r
i
p
l
e
s
a
nd
t
h
e
o
nt
o
l
o
g
y
s
c
h
e
m
a
A
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
t
y
pe
I
us
e
s
t
h
e
s
a
m
e
s
c
h
e
m
a
f
o
r
t
h
e
r
e
p
r
e
s
e
n
t
a
t
i
o
n
o
f
t
h
e
o
nt
o
l
o
g
y
a
n
d
f
o
r
t
h
o
s
e
of
t
h
e
i
n
s
t
a
n
c
e
s
.
A
l
l
d
a
t
a
i
s
s
t
o
r
e
d
i
n
t
h
e
s
a
m
e
t
a
b
l
e
i
n
t
h
e
f
o
r
m
o
f
t
r
i
pl
e
t
s
.
I
t
i
s
po
s
s
i
b
l
e
t
o
i
de
nt
i
f
y
t
h
e
r
e
f
e
r
e
n
c
e
c
l
a
s
s
f
o
r
e
a
c
h
t
ri
pl
e
t
.
T
h
us
,
l
e
t
I
b
e
t
h
e
s
e
t
o
f
i
n
s
t
a
n
c
e
s
o
f
t
h
e
o
n
t
o
l
o
g
y
(I
=
{
i
|
i
i
n
s
t
a
n
c
e
o
f
C}
).
If
w
e
pl
a
c
e
e
a
c
h
i
n
s
t
a
n
c
e
i
i
n
i
t
s
m
e
m
b
e
r
s
hi
p
c
l
a
s
s
Ci
,
a
nd
i
f
w
e
e
xt
r
a
po
l
a
t
e
t
ha
t
a
r
e
l
a
t
i
o
n
R
i
c
o
rr
e
s
po
n
di
ng
t
o
Ci
e
xi
s
t
s
,
t
h
e
n
w
e
c
a
n
a
ppl
y
t
h
e
de
f
i
n
i
t
i
o
n
o
f
t
h
e
u
n
i
v
e
r
s
a
l
r
e
l
a
t
i
o
n
o
f
[U
l
m
a
n
,
F
a
g
i
n
]
o
n
t
hi
s
d
a
t
a
b
a
s
e
.
T
hus
,
t
h
e
s
e
t
o
f
v
i
e
w
s
i
s
de
f
i
n
e
d
a
s
:
V
=
{
v
|
v
∈
U
=
R
_1×
R
_
2
×
…
×
R
_n}
,
v
a
r
e
s
ul
t
o
f
a
q
ue
r
y
o
n
U
(i
.
e
.
,
a
v
i
e
w
).
F
i
gu
r
e
1
.
T
a
b
l
e
s
o
f
t
ri
pl
e
t
s
a
n
d
h
o
ri
z
o
n
t
a
l
t
a
b
l
e
c
o
r
r
e
s
po
n
d
i
ng
3.
3
.
R
e
s
o
l
u
ti
o
n
o
f
th
e
P
S
V
M
T
h
e
p
r
o
b
l
e
m
o
f
s
e
l
e
c
t
i
n
g
m
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
h
a
v
i
n
g
t
h
us
b
e
e
n
f
o
r
m
ul
a
t
e
d,
i
t
s
r
e
s
o
l
ut
i
o
n
w
i
l
l
c
o
n
s
i
s
t
of
f
i
n
d
i
n
g
a
f
un
c
t
i
o
n
ϕ
de
f
i
n
e
d
a
s
:
ϕ
:<
SD
B
,
Q
,
C,
V
>
→
W
w
h
e
r
e
W
⊆
V
a
n
d
i
f
f
i
s
a
c
o
s
t
f
u
n
c
t
i
o
n
,
f
o
r
a
l
l
W'
⊆
V
,
f
(
W)
≤
f
(
W
'
)
a
nd
W
s
a
t
i
s
f
i
e
s
t
h
e
s
e
t
o
f
c
o
n
s
t
ra
i
nt
s
C
.
T
h
e
f
u
n
c
t
i
o
n
ϕ
r
e
p
r
e
s
e
n
t
s
a
n
y
a
pp
r
o
a
c
h
t
o
s
o
l
v
i
n
g
t
h
e
m
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
pr
o
b
l
e
m
.
I
n
s
e
m
a
n
t
i
c
d
a
t
a
b
a
s
e
s
,
ϕ
c
a
n
r
e
p
r
e
s
e
n
t
f
o
r
e
xa
m
pl
e
t
h
e
a
pp
r
o
a
c
h
o
f
Ca
s
t
i
l
l
o
a
n
d
L
e
s
e
r
[7]
.
I
n
o
t
h
e
r
w
o
r
ds
,
t
h
e
l
a
t
t
e
r
i
s
a
n
i
n
s
t
a
n
t
i
a
t
i
o
n
o
f
ϕ
.
W
e
t
h
e
r
e
f
o
r
e
w
r
i
t
e
:
W
=
ϕ
(
SdbI
,
Q
,
S
,
V
)
w
i
t
h
SdbI:
<
MO
:<
C
l
as
s
e
s
,
P
r
ope
r
t
i
e
s
,
A
ppl
i
c
,
O
pe
r
a
t
or
s
(
R
D
F
S)
,
R
D
F
>
,
R
D
F
Ins
t
anc
e
s
,
φ
,
T
r
i
p
l
e
t
T
abl
e
,
V
e
r
t
i
c
a
l
,
V
e
r
t
i
c
al
,
T
y
p
e
I>
.
T
he
A
pp
l
i
c
f
u
nc
t
i
o
n
c
a
n
b
e
a
q
ue
r
y
w
hi
c
h,
f
o
r
e
a
c
h
c
l
a
s
s
c
,
re
t
u
rns
a
l
l
t
he
p
r
o
pe
rt
i
e
s
.
I
n
S
P
A
R
Q
L
,
t
hi
s
que
r
y
w
i
l
l
l
o
o
k
l
i
ke
:
s
e
l
e
c
t
?
p
w
he
r
e
(?
p
rdf
s
:
do
m
a
i
n
c
)
.
P
o
p(c
)
w
hi
c
h
re
t
u
r
ns
t
he
i
ns
t
a
nc
e
s
o
f
e
a
c
h
c
l
a
s
s
c
,
l
o
o
ks
l
i
ke
:
s
e
l
e
c
t
?
i
w
h
e
r
e
(?
i
rdf
:
t
y
pe
c
).
Q
=
{
Λ
t
r
i
p
l
e
t
s
}
,
C
:
s
t
o
ra
ge
s
p
a
c
e
,
V
:
a
l
l
v
i
e
w
s
o
n
t
h
e
t
a
b
l
e
o
f
t
ri
pl
e
t
s
.
T
h
e
f
u
n
c
t
i
o
n
ϕ
m
us
t
t
h
e
r
e
f
o
r
e
b
e
i
n
s
t
a
n
t
i
a
t
e
d
b
y
a
l
l
r
e
s
o
l
ut
i
o
n
a
pp
r
o
a
c
h
e
s
o
f
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
pr
o
b
l
e
m
.
B
ut
u
n
f
o
r
t
u
na
t
e
l
y
,
i
n
s
o
m
e
a
pp
r
o
a
c
h
e
s
,
q
ue
r
y
r
e
w
r
i
t
i
ng,
w
hi
c
h
i
s
a
n
i
m
po
rt
a
nt
p
ha
s
e
i
n
s
o
l
v
i
n
g
t
h
e
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
pr
o
b
l
e
m
,
i
s
p
r
o
c
e
s
s
e
d
s
i
m
ul
t
a
n
e
o
us
l
y
w
i
t
h
t
h
e
s
e
a
r
c
h
f
o
r
t
h
e
o
pt
i
m
a
l
s
e
t
o
f
v
i
e
w
s
.
T
h
e
n,
t
h
e
r
e
i
s
a
p
r
o
b
l
e
m
b
e
c
a
us
e
ϕ
do
e
s
n
o
t
t
a
ke
i
nt
o
a
c
c
o
un
t
t
h
e
r
e
w
r
i
t
i
n
g
o
f
que
r
i
e
s
.
F
o
r
t
h
e
s
e
a
pp
r
o
a
c
h
e
s
,
w
e
pr
o
po
s
e
a
n
o
t
h
e
r
f
u
n
c
t
i
o
n
t
a
k
i
n
g
i
nt
o
a
c
c
o
un
t
t
h
e
r
e
w
r
i
t
i
n
g
o
f
que
r
i
e
s
.
L
e
t
γ
b
e
t
hi
s
f
u
n
c
t
i
o
n.
γ
:<
B
D
B
O
,
Q
,
C
,
V
>
→<
W
,
R
e
>
w
h
e
re
W
⊆
V
a
nd
R
e
=
{
r
(
q)
|
r
(
q)
:
r
e
w
r
i
t
i
ng
o
f
q
,
q
∈
Q}
,
t
h
e
s
e
t
o
f
que
ri
e
s
re
w
ri
t
t
e
n.
If
f
i
s
a
c
o
s
t
f
u
n
c
t
i
o
n,
f
o
r
a
l
l
W'
⊆
V
,
f
(
W
)
<
f
(
W
’)
a
nd
W
s
a
t
i
s
f
i
e
s
t
h
e
c
o
n
s
t
ra
i
nt
s
e
t
C
.
T
he
f
u
nc
t
i
o
n
γ
re
p
r
e
s
e
nt
s
a
n
y
a
p
p
r
o
a
c
h
de
a
l
i
ng
s
i
m
u
l
t
a
n
e
o
us
l
y
w
i
t
h
t
he
s
e
l
e
c
t
i
o
n
a
nd
q
ue
ri
e
s
r
e
w
ri
t
i
ng
.
F
o
r
i
ns
t
a
n
c
e
,
[8
]
p
re
s
e
nt
s
a
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
p
r
o
b
l
e
m
r
e
s
o
l
u
t
i
o
n
w
hi
c
h
c
a
n
b
e
re
p
re
s
e
nt
e
d
a
s
:
<
W
,
R
>
=
γ
(
Sd
b
I
,
Q
,
S
,
V
)
w
i
t
h
S
db
I:
<
MO
:<
C
l
as
s
e
s
,
P
r
o
p
e
r
t
i
e
s
,
A
p
p
l
i
c
,
O
p
e
r
at
or
s
(
R
D
F
S)
,
R
D
F
>
,
R
D
F
i
ns
t
a
nc
e
s
,
φ
,
T
ri
p
l
e
s
t
a
b
l
e
,
V
e
rt
i
c
a
l
,
V
e
rt
i
c
a
l
,
T
y
pe
I>
,
Q
=
{
Λ
t
r
i
p
l
e
s
}
,
V
:
a
l
l
v
i
e
w
s
o
n
t
he
t
ri
p
l
e
s
t
a
b
l
e
a
nd
C
=
{
p
r
o
c
e
s
s
i
n
g
c
o
s
t
,
s
t
o
r
a
g
e
c
o
s
t
,
c
o
s
t
o
f
m
a
i
n
t
e
n
a
n
c
e
}
,
W
:
o
p
t
i
m
a
l
s
e
t
o
f
v
i
e
w
s
a
nd
R
:
s
e
t
o
f
q
u
e
ri
e
s
re
w
ri
t
t
e
n
o
n
W
.
3.
4
.
C
h
ar
a
c
te
r
i
z
at
i
o
n
o
f
q
u
e
r
i
e
s
In
m
o
s
t
que
r
y
l
a
n
gua
ge
s
,
w
e
c
a
n
c
h
a
ra
c
t
e
r
i
z
e
que
ri
e
s
by
t
h
e
i
r
t
y
pe
s
(s
e
l
e
c
t
a
n
d
upd
a
t
e
)
,
t
h
e
d
a
t
a
s
o
ur
c
e
t
h
e
y
r
e
l
a
t
e
t
o
,
a
n
d
t
h
e
i
r
r
e
s
ul
t
s
.
I
n
R
D
B
s
,
S
Q
L
i
s
t
h
e
s
t
a
nda
r
d
que
r
y
l
a
n
gu
a
ge
.
T
h
e
t
y
p
e
s
of
S
Q
L
que
r
i
e
s
a
r
e
:
s
e
l
e
c
t
i
o
n,
p
r
o
j
e
c
t
i
o
n
,
j
o
i
n
,
m
o
di
f
i
c
a
t
i
o
n
(upd
a
t
e
),
a
nd
s
e
t
o
pe
ra
t
i
o
n
s
.
T
h
e
m
a
i
n
d
a
t
a
s
o
ur
c
e
i
s
a
s
e
t
of
t
a
b
l
e
s
i
.
e
.
,
a
r
e
l
a
t
i
o
na
l
da
t
a
b
a
s
e
(b
ut
w
e
c
a
n
ha
v
e
o
t
h
e
r
da
t
a
s
o
ur
c
e
s
s
uc
h
a
s
t
e
xt
f
i
l
e
s
)
a
n
d
i
t
s
r
e
s
ul
t
s
a
r
e
a
s
e
t
o
f
t
upl
e
s
.
I
n
o
b
j
e
c
t
-
o
r
i
e
n
t
e
d
d
a
t
a
b
a
s
e
s
(O
O
D
B
)
o
r
ob
j
e
c
t
-
r
e
l
a
t
i
o
n
a
l
d
a
t
a
b
a
s
e
s
(O
R
D
B
),
t
h
e
s
t
a
n
d
a
r
d
l
a
n
gu
a
ge
s
a
r
e
O
Q
L
a
n
d
S
Q
L
.
T
h
e
i
r
que
r
y
t
y
pe
s
a
r
e
t
h
o
s
e
of
R
D
B
t
o
w
h
i
c
h
w
e
a
dd
s
o
m
e
m
e
t
h
o
d
i
n
v
o
c
a
t
i
o
n
a
n
d
pa
t
h
e
xp
r
e
s
s
i
o
n
o
pe
ra
t
i
o
n
s
(f
l
a
t
t
e
n,
c
o
a
l
e
n
c
e
).
T
h
e
da
t
a
s
o
u
r
c
e
i
s
t
h
e
s
e
t
o
f
t
a
b
l
e
s
a
n
d
t
h
e
r
e
s
ul
t
s
a
r
e
Evaluation Warning : The document was created with Spire.PDF for Python.
In
do
n
e
s
i
a
n
J
E
l
e
c
E
ng
&
Co
m
p
S
c
i
IS
S
N
:
2502
-
4752
F
or
m
al
i
z
at
i
on
of
m
at
e
r
i
a
l
i
z
e
d
v
i
e
w
pr
obl
e
m
i
n
ont
o
l
og
y
-
bas
e
d
d
at
ab
as
e
s
(
B
e
r
y
L
e
our
o
Mba
i
os
s
oum
)
1435
e
i
t
h
e
r
a
c
o
l
l
e
c
t
i
o
n
(s
e
t
,
b
a
g,
a
rra
y
)
of
obj
e
c
t
s
,
l
i
t
e
ra
l
s
,
o
r
a
n
o
bj
e
c
t
o
r
a
l
i
t
e
r
a
l
.
I
n
S
D
B
,
t
h
e
c
o
m
m
o
nl
y
us
e
d
que
r
y
l
a
n
gua
ge
i
s
t
h
e
S
P
A
R
Q
L
l
a
ngua
ge
[
2
1
]
,
[
23
],
de
s
i
g
na
t
e
d
b
y
t
h
e
W
3C
c
o
n
s
o
r
t
i
um
a
s
t
h
e
s
t
a
n
d
a
r
d
l
a
n
gu
a
ge
f
o
r
s
e
m
a
n
t
i
c
que
ri
e
s
.
I
n
S
P
A
R
Q
L
,
t
h
e
r
e
a
r
e
f
i
v
e
t
y
pe
s
of
que
r
i
e
s
:
S
e
l
e
c
t
,
A
s
k,
de
s
c
ri
b
e
,
c
o
n
s
t
r
uc
t
,
a
n
d
upd
a
t
e
.
T
h
e
d
a
t
a
s
o
ur
c
e
de
pe
n
ds
o
n
t
h
e
t
y
pe
of
S
D
B
us
e
d:
t
a
b
l
e
o
f
t
r
i
pl
e
t
s
(s
i
ngl
e
t
a
b
l
e
o
r
s
e
ve
r
a
l
t
a
b
l
e
s
i
f
t
h
e
re
i
s
s
t
a
nd
a
rd
i
z
a
t
i
o
n
)
f
o
r
a
S
D
B
o
f
t
y
pe
I
,
a
s
e
t
o
f
t
a
b
l
e
s
f
o
r
S
D
B
o
f
t
y
pe
s
II
a
nd
I
II
.
W
e
c
a
n
e
nc
a
ps
u
l
a
t
e
t
hi
s
d
i
s
p
a
ri
t
y
us
i
ng
t
he
S
D
B
f
o
rm
a
l
i
z
a
t
i
o
n
p
ro
po
s
e
d
a
b
o
v
e
.
T
h
e
r
e
s
u
l
t
s
o
f
a
que
r
y
a
re
a
s
e
t
o
f
t
u
p
l
e
s
o
r
a
v
a
l
ue
.
In
a
n
a
b
s
t
r
a
c
t
a
n
d
f
o
r
m
a
l
w
a
y
,
w
e
c
a
n
de
f
i
n
e
a
que
r
y
by
a
qua
d
r
up
l
e
t
<
E
,
D
S
,
T
,
R
>
w
h
e
r
e
E
i
s
t
h
e
a
l
ge
b
r
a
i
c
e
xp
r
e
s
s
i
o
n
o
f
t
h
e
que
r
y
,
D
S
i
s
t
h
e
d
a
t
a
s
o
ur
c
e
(a
SD
B
<
MI,
I
,
S
c
h,
P
op,
MS
MI,
MSI
,
A
r
>
),
T
i
s
que
r
y
t
y
pe
(s
e
l
e
c
t
a
nd
a
s
k
)
a
nd
R
i
s
s
e
t
o
f
t
u
pl
e
s
re
s
ul
t
s
f
r
o
m
que
r
y
e
xe
c
u
t
i
o
n.
T
i
s
p
a
rt
o
f
t
he
e
x
p
r
e
s
s
i
o
n
f
o
r
E
.
T
h
e
s
e
t
o
f
que
r
i
e
s
Q
i
n
t
h
e
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
pr
o
b
l
e
m
i
s
t
h
e
re
fo
r
e
a
s
e
t
o
f
t
h
e
s
e
qua
d
r
upl
e
t
s
.
I
n
t
h
e
r
e
s
o
l
ut
i
o
n
of
t
h
e
m
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
pr
o
b
l
e
m
,
q
que
r
y
r
e
w
r
i
t
i
ng
c
a
n
t
h
e
n
b
e
e
xpr
e
s
s
e
d
by
:
<
E
,
W
,
T
,
R
>
w
h
e
r
e
E′
i
s
a
n
e
w
a
l
ge
b
r
a
i
c
e
xp
r
e
s
s
i
o
n
o
f
t
h
e
q
ue
r
y
q
o
n
t
h
e
v
i
e
w
s
,
W
i
s
t
h
e
s
e
t
o
f
o
pt
i
m
a
l
v
i
e
w
s
o
n
w
h
i
c
h
t
h
e
que
r
y
w
i
l
l
b
e
e
x
e
c
ut
e
d,
T
i
s
que
r
y
t
y
pe
(s
e
l
e
c
t
a
n
d
a
s
k
)
a
n
d
R
i
s
s
e
t
o
f
t
upl
e
r
e
s
ul
t
s
o
f
que
r
y
e
xe
c
ut
i
o
n
.
If
a
q
ue
r
y
i
s
n
o
t
c
o
m
pl
e
t
e
l
y
c
o
ve
r
e
d
by
t
h
e
v
i
e
w
s
a
nd
m
us
t
b
e
c
o
ve
r
e
d
by
da
t
a
b
a
s
e
t
a
b
l
e
s
,
t
h
e
n
W
w
i
l
l
t
h
e
r
e
f
o
r
e
b
e
c
o
m
po
s
e
d
of
t
h
e
o
pt
i
m
a
l
s
e
t
o
f
v
i
e
w
s
a
n
d
t
h
e
t
a
b
l
e
s
of
t
h
e
da
t
a
b
a
s
e
.
3.
5
.
C
l
as
s
i
f
i
c
a
ti
o
n
o
f
S
D
B
q
u
e
r
i
e
s
In
t
h
e
s
t
a
n
d
a
r
d
s
e
m
a
n
t
i
c
d
a
t
a
b
a
s
e
que
r
y
l
a
n
gu
a
ge
,
S
P
A
R
Q
L
[23
]
,
[
2
4],
q
ue
ri
e
s
a
r
e
e
xp
r
e
s
s
e
d
i
n
t
h
e
fo
r
m
o
f
a
s
e
r
i
e
s
o
f
t
r
i
p
l
e
t
s
c
o
nt
a
i
ni
n
g
v
a
r
i
a
b
l
e
s
f
o
l
l
ow
e
d
by
f
i
l
t
e
r
s
,
o
r
de
ri
n
g
c
l
a
us
e
,
s
o
r
t
i
n
g
o
r
a
gg
r
e
ga
t
i
o
n
s
.
T
h
e
s
e
que
n
c
e
o
f
t
h
e
s
e
t
ri
pl
e
s
i
s
i
nt
e
rp
r
e
t
e
d
a
s
a
s
e
que
n
c
e
o
f
j
o
i
n
s
.
T
h
e
i
nt
e
r
p
r
e
t
a
t
i
o
n
o
f
t
h
e
s
e
que
ri
e
s
c
e
r
t
a
i
n
l
y
de
pe
n
ds
o
n
t
h
e
r
e
p
r
e
s
e
nt
a
t
i
o
n
o
f
t
h
e
S
D
B
b
ut
t
h
e
s
e
que
r
i
e
s
c
a
n
b
e
r
e
duc
e
d
t
o
que
r
i
e
s
o
f
t
h
e
s
e
l
e
c
t
i
o
n
-
pr
o
j
e
c
t
i
o
n
-
j
o
i
n
f
o
r
m
.
W
e
d
i
s
t
i
ngui
s
h
t
h
e
f
o
l
l
o
w
i
n
g
t
y
p
e
s
of
r
e
que
s
t
s
a
c
c
o
r
di
n
g
t
o
t
h
e
i
r
i
n
t
e
r
e
s
t
s
.
a)
S
e
l
e
c
t
t
y
pe
que
r
i
e
s
:
t
h
e
s
e
a
r
e
que
ri
e
s
c
o
m
po
s
e
d
of
a
s
i
ngl
e
t
ri
pl
e
t
pa
t
t
e
rn
i
.
e
.
,
t
h
e
y
a
r
e
o
f
t
h
e
f
o
r
m
s
e
l
e
c
t
?x
w
he
r
e
(
?x
,
!p,
!o)
w
h
e
r
e
!c
m
e
a
n
s
t
ha
t
c
c
a
n
b
e
a
c
o
n
s
t
a
nt
o
r
a
v
a
r
i
a
b
l
e
).
I
n
s
e
m
a
n
t
i
c
d
a
t
a
b
a
s
e
o
f
t
y
p
e
I,
i
t
i
s
a
s
e
l
e
c
t
i
o
n
o
n
t
h
e
t
a
b
l
e
o
f
t
r
i
pl
e
t
s
,
i
n
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
of
t
y
pe
II,
i
t
i
s
a
l
s
o
a
s
e
l
e
c
t
i
o
n
i
f
t
h
e
pr
o
pe
rt
y
i
s
s
e
t
.
T
h
e
c
a
s
e
w
h
e
r
e
t
h
e
p
r
o
pe
rt
y
i
s
n
o
t
s
e
t
r
e
t
u
rn
s
t
h
e
e
n
t
i
r
e
d
a
t
a
b
a
s
e
a
n
d
i
s
n
o
t
i
n
t
e
r
e
s
t
i
n
g
.
O
n
t
h
e
o
t
h
e
r
h
a
nd,
i
n
s
e
m
a
nt
i
c
d
a
t
a
b
a
s
e
of
t
y
pe
III,
t
h
e
s
e
que
r
i
e
s
c
a
n
b
e
i
nt
e
rp
r
e
t
e
d
a
s
a
u
n
i
o
n
o
f
t
h
e
s
e
l
e
c
t
i
o
n
s
m
a
de
o
n
t
h
e
d
i
f
f
e
r
e
n
t
t
a
b
l
e
s
r
e
l
a
t
i
ng
t
o
t
h
e
c
l
a
s
s
o
f
t
h
e
p
r
o
pe
r
t
y
p
.
b)
J
o
i
n
s
t
y
pe
que
r
i
e
s
(A
N
D
):
t
h
e
s
e
a
r
e
que
r
i
e
s
m
a
de
up
o
f
a
t
l
e
a
s
t
t
w
o
t
ri
pl
e
t
pa
t
t
e
rn
s
s
h
a
ri
n
g
a
t
l
e
a
s
t
t
h
e
s
a
m
e
v
a
ri
a
b
l
e
.
I
n
a
l
l
s
e
m
a
n
t
i
c
da
t
a
b
a
s
e
s
,
t
h
e
y
a
r
e
i
nt
e
r
p
r
e
t
e
d
a
s
na
t
u
ra
l
j
o
i
n
s
.
I
n
s
e
m
a
nt
i
c
d
a
t
a
b
a
s
e
of
t
y
p
e
III,
t
h
e
y
c
a
n
a
l
s
o
us
e
u
n
i
o
n
o
pe
ra
t
i
o
n
s
.
c)
L
e
f
t
o
ut
e
r
j
o
i
n
s
(
O
P
T
IO
N
A
L
)
t
y
pe
que
r
i
e
s
:
t
h
e
s
e
a
r
e
s
e
l
e
c
t
i
o
n
o
r
j
o
i
n
que
r
i
e
s
c
o
n
t
a
i
ni
n
g
a
t
l
e
a
s
t
o
n
e
o
pt
i
o
n
a
l
t
ri
p
l
e
t
p
a
t
t
e
rn.
I
n
a
l
l
s
e
m
a
nt
i
c
d
a
t
a
b
a
s
e
s
,
t
h
e
y
a
r
e
i
nt
e
r
p
r
e
t
e
d
a
s
l
e
f
t
o
ut
e
r
j
o
i
n
s
.
I
n
s
e
m
a
nt
i
c
da
t
a
b
a
s
e
s
of
t
y
pe
III,
t
h
e
y
c
a
n
us
e
u
ni
o
n
o
pe
r
a
t
i
o
n
s
.
d)
F
i
l
t
e
r
t
y
pe
que
r
i
e
s
:
t
h
e
s
e
que
ri
e
s
a
r
e
c
ha
r
a
c
t
e
r
i
z
e
d
by
t
h
e
p
re
s
e
n
c
e
of
t
h
e
F
i
l
t
e
r
ke
y
w
o
r
d.
T
h
e
s
e
l
e
c
t
i
o
n
c
r
i
t
e
ri
o
n
e
xp
r
e
s
s
i
o
n
c
o
n
c
e
rn
s
v
a
ri
o
us
t
y
pe
s
of
da
t
a
a
n
d
o
pe
r
a
t
o
r
s
(
=
,
>
=
,
e
t
c
.
)
.
e)
N
e
ga
t
i
o
n
t
y
pe
que
r
i
e
s
(F
IL
T
E
R
,
B
O
U
N
D
):
t
h
e
s
e
a
r
e
q
ue
ri
e
s
m
a
r
ke
d
by
t
h
e
p
r
e
s
e
n
c
e
o
f
a
p
a
t
t
e
rn
w
i
t
h
F
i
l
t
e
r
N
o
t
E
xi
s
t
(
…)
o
r
t
h
e
p
r
e
s
e
n
c
e
o
f
t
h
e
M
IN
U
S
o
pe
r
a
t
o
r
.
E
v
a
l
ua
t
i
n
g
que
r
i
e
s
w
i
t
h
a
pa
t
t
e
rn
w
i
t
h
F
i
l
t
e
r
N
o
t
E
xi
s
t
(…)
i
n
v
o
l
ve
s
f
i
n
di
n
g
a
s
o
l
ut
i
o
n
f
o
r
t
h
e
g
r
a
ph
pa
t
t
e
rn
a
n
d
e
l
i
m
i
na
t
i
ng
s
o
l
ut
i
o
n
s
t
ha
t
do
n
o
t
m
a
t
c
h
t
h
e
f
i
l
t
e
r
.
F
o
r
que
r
i
e
s
w
i
t
h
M
IN
U
S
,
w
e
r
e
m
o
v
e
f
r
o
m
a
l
l
t
h
e
r
e
s
ul
t
s
o
f
t
h
e
f
i
r
s
t
e
xp
r
e
s
s
i
o
n
,
t
h
e
c
o
m
pa
t
i
b
l
e
r
e
s
ul
t
s
o
f
t
h
e
s
e
c
o
n
d
e
xp
r
e
s
s
i
o
n
.
f)
D
i
s
t
i
n
c
t
t
y
p
e
que
r
i
e
s
:
t
h
e
s
e
a
r
e
que
r
i
e
s
w
h
o
s
e
dupl
i
c
a
t
i
o
n
o
f
t
upl
e
s
i
s
n
o
t
a
ut
h
o
ri
z
e
d
i
n
t
h
e
r
e
s
ul
t
s
.
T
h
e
y
a
r
e
r
e
c
o
gn
i
z
a
b
l
e
by
t
h
e
ke
y
w
o
r
d
D
IS
T
IN
CT
o
r
U
N
IQ
U
E
.
g)
P
a
rt
i
a
l
r
e
s
ul
t
t
y
pe
que
r
i
e
s
:
t
h
e
s
e
que
ri
e
s
c
o
n
t
a
i
n
L
i
m
i
t
o
r
O
f
fs
e
t
ke
y
w
o
r
ds
w
h
i
c
h
de
l
i
m
i
t
t
h
e
i
r
r
e
s
u
l
t
s
.
h)
S
o
r
t
t
y
pe
que
r
i
e
s
:
t
h
e
s
e
a
r
e
que
r
i
e
s
w
h
o
s
e
r
e
s
ul
t
s
a
r
e
s
o
rt
e
d
a
c
c
o
r
di
n
g
t
o
t
h
e
o
r
de
r
i
n
d
i
c
a
t
e
d
by
t
h
e
O
R
D
E
R
B
Y
c
l
a
us
e
.
i)
A
g
g
r
e
ga
t
e
t
y
pe
q
ue
ri
e
s
:
t
h
e
s
e
a
re
que
ri
e
s
i
n
c
l
ud
i
ng
t
he
g
r
o
u
p
b
y
c
l
a
us
e
w
hi
c
h
a
nno
u
n
c
e
s
t
he
g
r
o
u
pi
ng
o
f
r
e
s
u
l
t
s
o
n
t
h
e
i
nd
i
c
a
t
e
d
v
a
ri
a
b
l
e
.
T
he
re
,
w
e
f
i
nd
t
he
a
g
g
r
e
g
a
t
e
f
u
nc
t
i
o
ns
(C
O
U
N
T
,
S
U
M
,
M
IN
,
M
A
X
,
A
V
G
,
G
R
O
U
P
_
C
O
N
CA
T
a
nd
S
A
M
P
L
E
)
.
T
hi
s
t
y
p
e
o
f
q
u
e
r
y
i
s
t
a
k
e
n
i
nt
o
a
c
c
o
u
nt
f
ro
m
S
P
A
R
Q
L
1
.
1
[
2
5
]
.
O
f
a
l
l
t
h
e
s
e
t
y
p
e
s
of
que
r
i
e
s
,
j
o
i
n
que
r
i
e
s
a
r
e
b
y
f
a
r
t
h
e
o
n
e
s
t
h
a
t
c
o
n
s
um
e
t
h
e
m
o
s
t
r
e
s
o
ur
c
e
s
(CP
U
,
m
e
m
o
r
y
,
a
n
d
I/
O
).
4.
C
O
N
C
LU
S
I
O
N
M
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
a
r
e
a
v
e
r
y
i
m
po
rt
a
nt
t
e
c
hn
i
q
ue
f
o
r
t
h
e
p
h
y
s
i
c
a
l
de
s
i
g
n
a
n
d
a
d
m
i
ni
s
t
r
a
t
i
o
n
(t
u
n
i
ng)
o
f
a
n
y
da
t
a
b
a
s
e
.
W
e
f
oc
us
e
d
o
n
t
h
e
f
o
r
m
a
l
i
z
a
t
i
o
n
o
f
t
h
e
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
e
l
e
c
t
i
o
n
p
r
o
b
l
e
m
i
n
t
h
e
c
o
n
t
e
xt
o
f
o
n
t
o
l
o
g
y
-
b
a
s
e
d
da
t
a
b
a
s
e
s
.
W
e
p
r
o
po
s
e
d
a
f
o
r
m
a
l
i
z
a
t
i
o
n
o
f
t
h
e
p
r
o
b
l
e
m
a
n
d
de
f
i
n
e
d
t
h
e
di
f
f
e
r
e
n
t
c
o
m
po
n
e
n
t
s
.
W
e
a
l
s
o
p
r
o
po
s
e
d
a
r
e
s
o
l
ut
i
o
n
s
c
h
e
m
a
t
o
t
h
e
pr
o
b
l
e
m
.
O
u
r
f
o
r
m
a
l
i
z
a
t
i
o
n
i
s
i
nt
e
nde
d
t
o
b
e
a
ge
n
e
ri
c
f
r
a
m
e
w
o
r
k
t
ha
t
c
a
n
c
i
r
c
um
s
c
r
i
b
e
t
h
e
d
i
f
fe
r
e
nt
m
e
t
ho
ds
fo
r
s
o
l
v
i
n
g
t
h
e
p
r
o
b
l
e
m
o
f
s
e
l
e
c
t
i
n
g
v
i
e
w
s
t
o
pe
r
s
i
s
t
.
A
c
ha
ra
c
t
e
ri
z
a
t
i
o
n
o
f
que
ri
e
s
i
s
d
i
s
c
us
s
e
d.
T
hi
s
w
o
r
k
o
n
s
e
m
a
nt
i
c
d
a
t
a
b
a
s
e
s
c
a
n
b
e
a
ppl
i
e
d
t
o
o
t
h
e
r
Evaluation Warning : The document was created with Spire.PDF for Python.
IS
S
N
:
2502
-
4752
In
do
n
e
s
i
a
n
J
E
l
e
c
E
ng
&
Co
m
p
S
c
i
,
V
o
l
.
40
,
N
o
.
3
,
D
e
c
em
be
r
20
25
:
1
43
0
-
1
438
1436
t
y
p
e
s
of
da
t
a
b
a
s
e
s
.
A
s
pe
r
s
pe
c
t
i
v
e
s
of
t
hi
s
w
o
r
k,
i
t
w
o
ul
d
b
e
go
o
d
t
o
a
pp
r
o
a
c
h
t
hi
s
f
o
r
m
a
l
i
z
a
t
i
o
n
t
o
di
s
t
r
i
b
ut
e
d
da
t
a
b
a
s
e
s
m
a
i
nl
y
c
l
o
ud
da
t
a
b
a
s
e
s
.
N
o
S
Q
L
da
t
a
b
a
s
e
s
w
h
i
c
h
us
e
d
i
f
fe
r
e
nt
s
c
h
e
m
a
s
f
o
r
da
t
a
r
e
p
r
e
s
e
n
t
a
t
i
o
n
c
o
ul
d
a
l
s
o
b
e
a
go
o
d
f
i
e
l
d
of
pr
o
s
pe
c
t
i
ng
w
o
r
ks
.
F
U
N
D
I
N
G
I
N
F
O
R
M
A
TI
O
N
A
ut
h
o
r
s
s
t
a
t
e
n
o
f
un
d
i
n
g
i
n
v
o
l
v
e
d.
A
U
TH
O
R
C
O
N
TR
I
B
U
TI
O
N
S
S
TA
T
EM
EN
T
N
am
e
o
f
A
u
th
o
r
C
M
So
Va
Fo
I
R
D
O
E
Vi
Su
P
Fu
B
e
r
y
L
e
o
ur
o
M
b
a
i
o
s
s
o
um
N
a
r
koy
B
a
t
o
um
a
A
t
t
e
i
b
D
o
ut
o
um
M
a
h
a
m
a
t
O
uc
h
a
r
C
h
e
r
i
f
A
l
i
L
a
n
g
D
i
o
n
l
a
r
L
a
dj
e
l
B
e
l
l
a
t
r
e
c
h
e
C
:
C
o
n
c
e
p
t
u
a
l
i
z
a
t
i
o
n
M
:
M
e
t
h
o
d
o
l
o
g
y
So
:
So
f
t
w
a
r
e
Va
:
Va
l
i
d
a
t
i
o
n
Fo
:
Fo
r
m
a
l
a
n
a
l
y
s
i
s
I
:
I
n
v
e
s
t
i
g
a
t
i
o
n
R
:
R
e
s
o
u
rc
e
s
D
:
D
a
t
a
Cu
ra
t
i
o
n
O
:
W
ri
t
i
n
g
-
O
ri
g
i
n
a
l
D
ra
ft
E
:
W
ri
t
i
n
g
-
Re
v
i
e
w
&
E
d
i
t
i
n
g
Vi
:
Vi
s
u
a
l
i
z
a
t
i
o
n
Su
:
Su
p
e
r
v
i
s
i
o
n
P
:
P
ro
j
e
c
t
a
d
m
i
n
i
s
t
ra
t
i
o
n
Fu
:
Fu
n
d
i
n
g
a
c
q
u
i
s
i
t
i
o
n
C
O
N
F
LI
C
T
O
F
I
N
T
ER
ES
T
S
TA
T
EM
EN
T
A
ut
h
o
r
s
s
t
a
t
e
n
o
c
o
n
f
l
i
c
t
o
f
i
nt
e
r
e
s
t
.
D
A
TA
A
V
A
I
LA
B
I
LI
T
Y
D
a
t
a
a
v
a
i
l
a
b
i
l
i
t
y
i
s
n
o
t
a
p
p
l
i
c
a
b
l
e
t
o
t
hi
s
p
a
pe
r
a
s
n
o
ne
w
d
a
t
a
w
e
r
e
c
r
e
a
t
e
d
o
r
a
na
l
y
z
e
d
i
n
t
hi
s
s
t
u
dy
.
R
EF
ER
EN
C
ES
[1
]
E
.
Ba
ra
l
i
s
,
S
.
P
a
ra
b
o
s
c
h
i
,
a
n
d
E
.
T
e
n
i
e
n
t
e
,
“
M
a
t
e
r
i
a
l
i
z
e
d
v
i
e
w
s
e
l
e
c
t
i
o
n
i
n
a
m
u
l
t
i
d
i
m
e
n
s
i
o
n
a
l
d
a
t
a
b
a
s
e
,
”
V
L
D
B
,
v
o
l
.
9
7
,
1
9
9
7
.
[2
]
H
.
G
u
p
t
a
,
“
S
e
l
e
c
t
i
o
n
o
f
v
i
e
w
s
t
o
m
a
t
e
ri
a
l
i
z
e
i
n
a
d
a
t
a
w
a
re
h
o
u
s
e
,
”
i
n
L
e
c
t
u
r
e
No
t
e
s
i
n
Co
m
p
u
t
e
r
S
c
i
e
n
c
e
(
i
n
c
l
u
d
i
n
g
s
u
b
s
e
r
i
e
s
L
e
c
t
u
r
e
No
t
e
s
i
n
A
r
t
i
f
i
c
i
a
l
I
n
t
e
l
l
i
g
e
n
c
e
a
n
d
L
e
c
t
u
r
e
No
t
e
s
i
n
B
i
o
i
n
f
o
r
m
a
t
i
c
s
)
,
v
o
l
.
1
1
8
6
,
S
p
ri
n
g
e
r
Be
rl
i
n
H
e
i
d
e
l
b
e
rg
,
1
9
9
7
,
p
p
.
9
8
–
1
1
2
.
[3
]
G
.
W
a
n
g
e
t
a
l
.
,
“
T
e
m
p
o
ra
l
g
ra
p
h
c
u
b
e
,
”
IE
E
E
T
r
a
n
s
a
c
t
i
o
n
s
o
n
K
n
o
w
l
e
d
g
e
a
n
d
D
a
t
a
E
n
g
i
n
e
e
r
i
n
g
,
v
o
l
.
3
5
,
n
o
.
1
2
,
p
p
.
1
3
015
–
1
3
0
3
0
,
D
e
c
.
2
0
2
3
,
d
o
i
:
1
0
.
1
1
0
9
/
T
K
D
E
.
2
0
2
3
.
3
2
7
0
4
6
0
.
[4
]
S
.
Bi
m
o
n
t
e
,
E
.
G
a
l
l
i
n
u
c
c
i
,
P
.
M
a
r
c
e
l
,
a
n
d
S
.
Ri
z
z
i
,
“
L
o
g
i
c
a
l
d
e
s
i
g
n
o
f
m
u
l
t
i
-
m
o
d
e
l
d
a
t
a
w
a
re
h
o
u
s
e
s
,
”
K
n
o
wl
e
d
g
e
a
n
d
In
f
o
r
m
a
t
i
o
n
S
y
s
t
e
m
s
,
v
o
l
.
6
5
,
n
o
.
3
,
p
p
.
1
0
6
7
–
1
1
0
3
,
N
o
v
.
2
0
2
3
,
d
o
i
:
1
0
.
1
0
0
7
/
s
1
0
1
1
5
-
0
2
2
-
01788
-
0.
[5
]
P
.
S
r
i
n
i
v
a
s
a
ra
o
a
n
d
A
.
R
.
S
a
t
i
s
h
,
“
M
u
l
t
i
-
o
b
j
e
c
t
i
v
e
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
e
l
e
c
t
i
o
n
u
s
i
n
g
fl
a
m
i
n
g
o
s
e
a
r
c
h
o
p
t
i
m
i
z
a
t
i
o
n
a
l
g
o
ri
t
h
m
,
”
S
o
f
t
w
a
r
e
-
P
r
a
c
t
i
c
e
a
n
d
E
x
p
e
r
i
e
n
c
e
,
v
o
l
.
5
3
,
n
o
.
4
,
p
p
.
9
8
8
–
1
0
1
2
,
D
e
c
.
2
0
2
3
,
d
o
i
:
1
0
.
1
0
0
2
/
s
p
e
.
3
1
7
4
.
[6
]
A
.
Y
a
d
a
v
a
n
d
B
.
S
i
n
g
h
,
“
I
m
p
ro
v
e
t
h
e
p
e
r
f
o
r
m
a
n
c
e
o
f
m
u
l
t
i
d
i
m
e
n
s
i
o
n
a
l
d
a
t
a
fo
r
O
L
A
P
b
y
u
s
i
n
g
a
n
o
p
t
i
m
i
z
a
t
i
o
n
a
p
p
r
o
a
c
h
,
”
i
n
A
I
P
Co
n
f
e
r
e
n
c
e
P
r
o
c
e
e
d
i
n
g
s
,
2
0
2
3
,
v
o
l
.
2
7
4
5
,
n
o
.
1
,
p
.
2
0
0
1
6
,
d
o
i
:
1
0
.
1
0
6
3
/
5
.
0
1
3
2
4
7
4
.
[7
]
R.
Ca
s
t
i
l
l
o
a
n
d
U
.
L
e
s
e
r
,
“
S
e
l
e
c
t
i
n
g
m
a
t
e
ri
a
l
i
z
e
d
v
i
e
w
s
fo
r
RD
F
d
a
t
a
,
”
i
n
L
e
c
t
u
r
e
No
t
e
s
i
n
Co
m
p
u
t
e
r
S
c
i
e
n
c
e
(i
n
c
l
u
d
i
n
g
s
u
b
s
e
r
i
e
s
L
e
c
t
u
r
e
No
t
e
s
i
n
A
r
t
i
f
i
c
i
a
l
In
t
e
l
l
i
g
e
n
c
e
a
n
d
L
e
c
t
u
r
e
No
t
e
s
i
n
B
i
o
i
n
f
o
r
m
a
t
i
c
s
)
,
v
o
l
.
6
3
8
5
L
N
CS
,
2
0
1
0
,
p
p
.
1
2
6
–
137.
[8
]
F
.
G
o
a
s
d
o
u
é
,
K
.
K
a
ra
n
a
s
o
s
,
J
.
L
e
b
l
a
y
,
a
n
d
I.
M
a
n
o
l
e
s
c
u
,
“
V
i
e
w
s
e
l
e
c
t
i
o
n
i
n
s
e
m
a
n
t
i
c
w
e
b
d
a
t
a
b
a
s
e
s
,
”
P
r
o
c
e
e
d
i
n
g
s
o
f
t
h
e
V
L
D
B
E
n
d
o
w
m
e
n
t
,
v
o
l
.
5
,
n
o
.
2
,
p
p
.
9
7
–
1
0
8
,
O
c
t
.
2
0
1
1
,
d
o
i
:
1
0
.
1
4
7
7
8
/
2
0
7
8
3
2
4
.
2
0
7
8
3
2
6
.
[9
]
V
.
D
ri
t
s
o
u
,
P
.
Co
n
s
t
a
n
t
o
p
o
u
l
o
s
,
A
.
D
e
l
i
g
i
a
n
n
a
k
i
s
,
a
n
d
Y
.
K
o
t
i
d
i
s
,
“
O
p
t
i
m
i
z
i
n
g
q
u
e
r
y
s
h
o
r
t
c
u
t
s
i
n
RD
F
d
a
t
a
b
a
s
e
s
,
”
i
n
L
e
c
t
u
r
e
No
t
e
s
i
n
Co
m
p
u
t
e
r
S
c
i
e
n
c
e
(
i
n
c
l
u
d
i
n
g
s
u
b
s
e
r
i
e
s
L
e
c
t
u
r
e
No
t
e
s
i
n
A
r
t
i
f
i
c
i
a
l
In
t
e
l
l
i
g
e
n
c
e
a
n
d
L
e
c
t
u
r
e
No
t
e
s
i
n
B
i
o
i
n
f
o
r
m
a
t
i
c
s
)
,
v
o
l
.
6
6
4
3
L
N
CS
,
n
o
.
P
A
RT
2
,
S
p
ri
n
g
e
r
B
e
rl
i
n
H
e
i
d
e
l
b
e
r
g
,
2
0
1
1
,
p
p
.
7
7
–
92.
[1
0
]
M
c
G
u
i
n
n
e
s
s
,
D
.
L
.
,
a
n
d
F
.
V
a
n
H
a
rm
e
l
e
n
,
“
O
W
L
w
e
b
o
n
t
o
l
o
g
y
l
a
n
g
u
a
g
e
o
v
e
rv
i
e
w
,
”
W
3
C
r
e
c
o
m
m
e
n
d
a
t
i
o
n
,
v
o
l
.
1
0
,
n
o
.
1
0
,
2
0
0
4
.
[1
1
]
“
In
d
u
s
t
ri
a
l
a
u
t
o
m
a
t
i
o
n
s
y
s
t
e
m
s
a
n
d
i
n
t
e
g
ra
t
i
o
n
p
a
rt
s
l
i
b
ra
ry
P
a
rt
4
2
:
d
e
s
c
ri
p
t
i
o
n
m
e
t
h
o
d
o
l
o
g
y
:
m
e
t
h
o
d
o
l
o
g
y
fo
r
s
t
ru
c
t
u
ri
n
g
p
a
rt
s
f
a
m
i
l
i
e
s
,
”
IS
O
-
13584
-
42
,
1
9
9
8
.
s
[1
2
]
B.
M
c
Br
i
d
e
,
“
J
e
n
a
:
Im
p
l
e
m
e
n
t
i
n
g
t
h
e
r
d
fm
o
d
e
l
a
n
d
s
y
n
t
a
x
s
p
e
c
i
fi
c
a
t
i
o
n
,
”
In
P
r
o
c
e
e
d
i
n
g
s
o
f
t
h
e
2
n
d
In
t
e
r
n
a
t
i
o
n
a
l
W
o
r
k
s
h
o
p
o
n
t
h
e
S
e
m
a
n
t
i
c
W
e
b
,
2
0
0
1
.
[1
3
]
C.
M
u
rra
y
,
“
O
ra
c
l
e
s
p
a
t
i
a
l
r
e
s
o
u
r
c
e
d
e
s
c
r
i
p
t
i
o
n
fra
m
e
w
o
rk
(r
d
f
),
”
O
r
a
c
l
e
C
o
r
p
o
r
a
t
i
o
n
,
2
0
0
5
.
[1
4
]
C.
M
u
rra
y
,
“
O
ra
c
l
e
d
a
t
a
b
a
s
e
s
e
m
a
n
t
i
c
t
e
c
h
n
o
l
o
g
i
e
s
d
e
v
e
l
o
p
e
r
’
s
g
u
i
d
e
i
,
”
O
r
a
c
l
e
Co
r
¬
p
o
r
a
t
i
o
n
,
2
0
0
8
.
[1
5
]
J
.
Bro
e
k
s
t
ra
,
A
.
K
a
m
p
m
a
n
,
a
n
d
F
.
V
a
n
H
a
r
m
e
l
e
n
,
“
S
e
s
a
m
e
:
A
g
e
n
e
ri
c
a
rc
h
i
t
e
c
t
u
re
fo
r
s
t
o
ri
n
g
a
n
d
q
u
e
r
y
i
n
g
R
D
F
a
n
d
RD
F
S
c
h
e
m
a
,
”
i
n
L
e
c
t
u
r
e
No
t
e
s
i
n
Co
m
p
u
t
e
r
S
c
i
e
n
c
e
(
i
n
c
l
u
d
i
n
g
s
u
b
s
e
r
i
e
s
L
e
c
t
u
r
e
No
t
e
s
i
n
A
r
t
i
f
i
c
i
a
l
In
t
e
l
l
i
g
e
n
c
e
a
n
d
L
e
c
t
u
r
e
No
t
e
s
i
n
B
i
o
i
n
f
o
r
m
a
t
i
c
s
)
,
v
o
l
.
2
3
4
2
L
N
CS
,
S
p
r
i
n
g
e
r
B
e
rl
i
n
H
e
i
d
e
l
b
e
r
g
,
2
0
0
2
,
p
p
.
5
4
–
68.
[1
6
]
S
.
A
l
e
x
a
k
i
,
V
.
C
h
ri
s
t
o
p
h
i
d
e
s
,
G
.
K
a
r
v
o
u
n
a
ra
k
i
s
,
a
n
d
D
.
P
l
e
x
o
u
s
a
k
i
s
,
“
T
h
e
i
c
s
-
F
O
RT
H
RD
F
S
u
i
t
e
:
M
a
n
a
g
i
n
g
v
o
l
u
m
i
n
o
u
s
RD
F
d
e
s
c
r
i
p
t
i
o
n
b
a
s
e
s
,
”
In
P
r
o
c
e
e
d
i
n
g
s
o
f
t
h
e
2
n
d
In
t
e
r
n
a
t
i
o
n
a
l
W
o
r
k
s
h
o
p
o
n
t
h
e
S
e
m
a
n
t
i
c
W
e
b
,
p
p
.
1
–
1
3
,
2
0
0
1
.
Evaluation Warning : The document was created with Spire.PDF for Python.
In
do
n
e
s
i
a
n
J
E
l
e
c
E
ng
&
Co
m
p
S
c
i
IS
S
N
:
2502
-
4752
F
or
m
al
i
z
at
i
on
of
m
at
e
r
i
a
l
i
z
e
d
v
i
e
w
pr
obl
e
m
i
n
ont
o
l
og
y
-
bas
e
d
d
at
ab
as
e
s
(
B
e
r
y
L
e
our
o
Mba
i
os
s
oum
)
1437
[1
7
]
J
.
L
u
,
L
.
M
a
,
L
.
Z
h
a
n
g
,
J
.
-
S
.
B
ru
n
n
e
r
,
C.
W
a
n
g
,
a
n
d
Y
.
P
.
Y
.
Y
u
,
“
S
o
r:
a
p
ra
c
t
i
c
a
l
s
y
s
t
e
m
f
o
r
o
n
t
o
l
o
g
y
s
t
o
ra
g
e
,
r
e
a
s
o
n
i
n
g
a
n
d
s
e
a
rc
h
,
”
P
r
o
c
e
e
d
i
n
g
s
o
f
t
h
e
3
3
r
d
i
n
t
e
r
n
a
t
i
o
n
a
l
c
o
n
f
e
r
e
n
c
e
o
n
V
e
r
y
l
a
r
g
e
d
a
t
a
b
a
s
e
s
(V
L
D
B
’0
7
)
,
p
p
.
1
4
0
2
–
1
4
0
5
,
2
0
0
7
.
[1
8
]
D
.
T
h
e
o
d
o
ra
t
o
s
a
n
d
T
.
S
e
l
l
i
s
,
“
D
e
s
i
g
n
i
n
g
d
a
t
a
w
a
r
e
h
o
u
s
e
s
,
”
D
a
t
a
a
n
d
K
n
o
w
l
e
d
g
e
E
n
g
i
n
e
e
r
i
n
g
,
v
o
l
.
3
1
,
n
o
.
3
,
p
p
.
2
7
9
–
3
0
1
,
N
o
v
.
1
9
9
9
,
d
o
i
:
1
0
.
1
0
1
6
/
S
0
1
6
9
-
0
2
3
X
(9
9
)0
0
0
2
9
-
4.
[1
9
]
B.
M
b
a
i
o
s
s
o
u
m
,
L
.
B
e
l
l
a
t
r
e
c
h
e
,
S
.
J
e
a
n
,
a
n
d
M
.
Ba
ro
n
,
“
C
o
m
p
a
ra
i
s
o
n
t
h
é
o
ri
q
u
e
e
t
e
m
p
i
ri
q
u
e
d
e
s
y
s
t
è
m
e
s
d
e
b
a
s
e
s
d
e
d
o
n
n
é
e
s
s
é
m
a
n
t
i
q
u
e
s
,
”
In
g
e
n
i
e
r
i
e
d
e
s
S
y
s
t
e
m
e
s
d
’In
f
o
r
m
a
t
i
o
n
,
v
o
l
.
1
8
,
n
o
.
3
,
p
p
.
3
9
–
6
3
,
J
u
n
.
2
0
1
3
,
d
o
i
:
1
0
.
3
1
6
6
/
IS
I.
1
8
.
3
.
3
9
-
63.
[2
0
]
G
.
P
i
e
rra
,
H
.
D
e
h
a
i
n
s
a
l
a
,
Y
.
A
i
t
A
m
e
u
r
,
a
n
d
L
.
B
e
l
l
a
t
r
e
c
h
e
,
“
Ba
s
e
s
d
e
d
o
n
n
é
e
s
à
b
a
s
e
o
n
t
o
l
o
g
i
q
u
e
.
P
ri
n
c
i
p
e
e
t
m
i
s
e
e
n
o
e
u
v
r
e
,
”
In
g
é
n
i
e
r
i
e
d
e
s
s
y
s
t
è
m
e
s
d
’i
n
f
o
r
m
a
t
i
o
n
,
v
o
l
.
1
0
,
n
o
.
2
,
p
p
.
9
1
–
1
1
5
,
A
p
r.
2
0
0
5
,
d
o
i
:
1
0
.
3
1
6
6
/
i
s
i
.
1
0
.
2
.
9
1
-
115.
[2
1
]
F
.
F
ra
s
i
n
c
a
r,
G
.
J
.
H
o
u
b
e
n
,
R
.
V
d
o
v
j
a
k
,
a
n
d
P
.
Ba
rn
a
,
“
R
A
L
:
A
n
a
l
g
e
b
ra
fo
r
q
u
e
r
y
i
n
g
RD
F
,
”
W
o
r
l
d
W
i
d
e
W
e
b
,
v
o
l
.
7
,
n
o
.
1
,
p
p
.
8
3
–
1
0
9
,
M
a
r.
2
0
0
4
,
d
o
i
:
1
0
.
1
0
2
3
/
B:
W
W
W
J
.
0
0
0
0
0
1
5
8
6
6
.
4
3
0
7
6
.
0
6
.
[2
2
]
M
.
L
.
G
i
l
l
e
n
s
o
n
,
F
u
n
d
a
m
e
n
t
a
l
s
o
f
d
a
t
a
b
a
s
e
m
a
n
a
g
e
m
e
n
t
s
y
s
t
e
m
s
.
J
o
h
n
W
i
l
e
y
&
S
o
n
s
,
2
0
2
3
.
[2
3
]
E
.
P
ru
d
’
h
o
m
m
e
a
u
x
,
S
p
a
r
q
l
q
u
e
r
y
l
a
n
g
u
a
g
e
f
o
r
r
d
f
.
h
t
t
p
:
/
/
w
w
w
.
w
3
.
o
r
g
/
T
R/
rd
f
-
s
p
a
rq
l
-
q
u
e
ry
/
,
2
0
0
5
.
[2
4
]
E
.
P
ru
d
a
n
d
A
.
S
e
a
b
o
r
n
e
,
“
S
P
A
RQ
L
q
u
e
r
y
l
a
n
g
u
a
g
e
fo
r
RD
F
,
”
2
0
0
6
.
[2
5
]
S
.
H
.
G
a
rl
i
k
,
A
.
S
e
a
b
o
r
n
e
,
a
n
d
E
.
P
ru
d
’h
o
m
m
e
a
u
x
,
“
S
P
A
RQ
L
1
.
1
q
u
e
ry
l
a
n
g
u
a
g
e
,
”
W
o
r
l
d
W
i
d
e
W
e
b
Co
n
s
o
r
t
i
u
m
,
2
0
1
3
.
B
I
O
G
R
A
P
H
I
ES
O
F
A
U
T
H
O
R
S
B
e
r
y
L
e
o
u
r
o
M
b
a
i
o
s
s
o
u
m
i
s
a
C
h
a
di
a
n
t
e
a
c
he
r
-
r
e
s
e
a
r
c
he
r
,
s
pe
c
i
a
l
i
z
i
ng
i
n
t
h
e
f
i
e
l
d
o
f
c
o
m
put
e
r
s
c
i
e
nc
e
a
nd
i
t
s
a
p
pl
i
c
a
t
i
o
ns
.
H
e
h
a
s
a
s
c
e
n
de
d
t
he
a
c
a
de
m
i
c
r
a
nk
s
w
i
t
h
br
i
l
l
i
a
nc
e
,
e
a
r
n
i
ng
a
do
c
t
o
r
a
t
e
i
n
c
o
m
put
e
r
s
c
i
e
nc
e
a
nd
a
p
pl
i
c
a
t
i
o
ns
f
r
o
m
t
h
e
É
c
o
l
e
N
a
t
i
o
na
l
e
S
upé
r
i
e
ur
e
de
M
é
c
a
n
i
q
u
e
e
t
d'
A
é
r
o
t
e
c
hni
qu
e
(
E
N
S
M
A
)
i
n
P
o
i
t
i
e
r
s
,
F
r
a
nc
e
.
H
i
s
p
r
o
f
e
s
s
i
o
na
l
c
a
r
e
e
r
i
s
e
q
ua
l
l
y
i
m
pr
e
s
s
i
v
e
.
H
e
ha
s
he
l
d
v
a
r
i
o
us
po
s
i
t
i
o
ns
o
f
r
e
s
p
o
ns
i
bi
l
i
t
y
a
t
t
h
e
U
n
i
v
e
r
s
i
t
y
o
f
N
'
D
j
a
m
é
na
,
w
he
r
e
he
h
a
s
be
e
n
t
e
a
c
hi
ng
a
nd
c
o
nduc
t
i
ng
r
e
s
e
a
r
c
h
s
i
nc
e
2
005
.
N
o
t
a
b
l
y
,
he
ha
s
s
e
r
v
e
d
a
s
t
h
e
H
e
a
d
o
f
t
he
C
o
m
put
e
r
S
c
i
e
nc
e
D
e
pa
r
t
m
e
n
t
a
nd
t
he
M
a
s
t
e
r
'
s
P
r
o
g
r
a
m
D
i
r
e
c
t
o
r
i
n
C
o
m
put
e
r
S
c
i
e
nc
e
.
H
i
s
e
xpe
r
t
i
s
e
s
pa
n
s
a
w
i
de
r
a
ng
e
o
f
a
r
e
a
s
,
i
nc
l
ud
i
ng
da
t
a
ba
s
e
s
,
c
om
put
e
r
s
y
s
t
e
m
s
a
nd
ne
t
w
o
r
ks
,
de
s
i
g
n
m
e
t
ho
ds
,
o
nt
o
l
o
gy
m
o
de
l
s
,
a
nd
pr
o
g
r
a
m
m
i
ng
la
ng
ua
g
e
s
.
He
i
s
a
l
s
o
a
n
e
xp
e
r
t
i
n
I
C
T
-
m
e
di
a
t
e
d
t
e
a
c
h
i
ng
,
d
e
m
o
ns
t
r
a
t
i
ng
h
i
s
c
o
m
m
i
t
m
e
n
t
t
o
i
nt
e
g
r
a
t
i
ng
m
o
de
r
n
t
e
c
hno
l
o
g
i
e
s
i
n
t
o
e
duc
a
t
i
o
n.
H
e
i
s
pr
o
f
i
c
i
e
nt
i
n
s
e
v
e
r
a
l
l
a
ng
ua
g
e
s
,
i
nc
l
ud
i
ng
F
r
e
nc
h
a
nd
E
ng
l
i
s
h
,
a
nd
ha
s
s
o
l
i
d
e
xpe
r
i
e
nc
e
i
n
ne
t
w
o
r
k
a
dm
i
n
i
s
t
r
a
t
i
o
n
a
n
d
c
om
put
e
r
s
y
s
t
e
m
s
e
c
ur
i
t
y
.
I
n
a
ddi
t
i
o
n
t
o
h
i
s
t
e
a
c
hi
ng
a
nd
r
e
s
e
a
r
c
h
a
c
t
i
v
i
t
i
e
s
,
he
h
a
s
a
l
s
o
w
o
r
ke
d
a
s
a
l
o
c
a
l
s
e
r
v
i
c
e
p
r
o
v
i
de
r
f
o
r
C
B
N
(
C
a
na
d
i
a
n
B
a
nkN
o
t
e
)
a
nd
a
s
a
C
I
S
C
O
i
n
s
t
r
uc
t
o
r
a
t
t
he
N
'
D
j
a
m
é
na
A
c
a
de
m
y
.
H
e
ha
s
a
l
s
o
c
o
m
pl
e
t
e
d
s
e
v
e
r
a
l
i
n
t
e
r
ns
h
i
ps
i
n
r
e
s
e
a
r
c
h
l
a
bo
r
a
t
o
r
i
e
s
a
nd
c
o
m
pa
ni
e
s
,
a
l
l
o
w
i
ng
h
i
m
t
o
g
a
i
n
v
a
l
u
a
b
l
e
p
r
a
c
t
i
c
a
l
e
xpe
r
i
e
nc
e
.
He
i
s
t
he
a
u
t
ho
r
o
f
num
e
r
o
us
s
c
i
e
n
t
i
f
i
c
pub
l
i
c
a
t
i
o
ns
i
n
i
nt
e
r
n
a
t
i
o
na
l
j
o
ur
n
a
l
s
a
nd
c
o
nf
e
r
e
nc
e
s
.
H
i
s
w
o
r
k
f
o
c
us
e
s
o
n
t
o
pi
c
s
s
uc
h
a
s
o
nt
o
l
o
gy
-
ba
s
e
d
d
a
t
a
ba
s
e
s
,
t
he
S
e
m
a
n
t
i
c
W
e
b,
a
nd
g
e
o
g
r
a
phi
c
i
nf
o
r
m
a
t
i
o
n
s
y
s
t
e
m
s
.
H
e
c
a
n
b
e
c
o
nt
a
c
t
e
d
a
t
e
m
a
i
l
:
m
bl
e
o
ur
o
@y
a
hoo
.
f
r
.
N
ar
k
oy
B
a
t
o
u
m
a
i
s
a
m
a
l
e
l
e
c
t
ur
e
r
a
nd
r
e
s
e
a
r
c
he
r
i
n
t
h
e
C
o
m
put
e
r
S
c
i
e
nc
e
D
e
pa
r
t
m
e
n
t
a
t
t
he
U
ni
v
e
r
s
i
t
y
o
f
N
'
D
j
a
m
é
na
.
H
i
s
r
e
s
e
a
r
c
h
pr
i
m
a
r
i
l
y
f
oc
us
e
s
o
n
a
dv
a
nc
e
d
c
om
put
e
r
s
y
s
t
e
m
s
a
nd
d
a
t
a
ba
s
e
m
a
na
g
e
m
e
n
t
.
K
e
y
a
r
e
a
s
o
f
hi
s
w
o
r
k
i
nc
l
u
de
t
h
e
o
pt
i
m
i
z
a
t
i
o
n
o
f
da
t
a
ba
s
e
s
y
s
t
e
m
s
(
r
a
ng
i
ng
f
r
o
m
r
e
l
a
t
i
o
na
l
da
t
a
b
a
s
e
s
t
o
bi
g
d
a
t
a
)
,
qua
l
i
t
y
of
s
e
r
v
i
c
e
(
Q
o
S
)
m
a
na
g
e
m
e
nt
,
a
nd
t
he
be
h
a
v
i
o
r
a
l
a
da
p
t
a
t
i
o
n
o
f
d
i
s
t
r
i
bu
t
e
d
a
p
pl
i
c
a
t
i
o
ns
i
n
r
e
s
po
ns
e
t
o
v
a
r
y
i
ng
r
e
s
o
ur
c
e
a
v
a
i
l
a
b
i
l
i
t
y
.
H
i
s
g
o
a
l
i
s
t
o
e
nh
a
nc
e
t
he
p
e
r
f
o
r
m
a
nc
e
,
r
e
l
i
a
bi
l
i
t
y
,
a
nd
e
f
f
i
c
i
e
nc
y
o
f
c
om
pl
e
x
d
i
s
t
r
i
bu
t
e
d
c
o
m
put
i
ng
s
y
s
t
e
m
s
.
H
e
c
a
n
be
c
o
nt
a
c
t
e
d
a
t
e
m
a
i
l
:
ba
t
o
um
a
n
a
r
ko
y
@
y
a
h
o
o
.
f
r
.
A
t
t
e
i
b
D
o
u
t
o
u
m
M
ah
am
at
i
s
a
h
i
g
hl
y
s
ki
l
l
e
d
c
o
m
put
e
r
s
c
i
e
nc
e
e
xpe
r
t
a
n
d
a
c
c
o
m
pl
i
s
h
e
d
a
c
a
d
e
m
i
c
,
ho
l
d
i
ng
a
P
h
.
D
.
i
n
c
o
m
put
e
r
s
c
i
e
nc
e
f
r
o
m
t
he
U
ni
v
e
r
s
i
t
y
B
l
a
i
s
e
P
a
s
c
a
l
i
n
C
l
e
r
m
o
nt
-
F
e
r
r
a
n
d,
F
r
a
nc
e
.
H
e
i
s
a
C
A
M
E
S
A
s
s
i
s
t
a
n
t
P
r
o
f
e
s
s
o
r
a
n
d
c
ur
r
e
n
t
l
y
s
e
r
v
e
s
a
s
t
h
e
D
i
r
e
c
t
o
r
o
f
J
ud
i
c
i
a
l
S
t
a
t
i
s
t
i
c
s
a
nd
I
nf
o
r
m
a
t
i
o
n
T
e
c
hno
l
o
gy
,
w
h
i
l
e
a
l
s
o
w
o
r
ki
ng
a
s
a
t
e
a
c
he
r
-
r
e
s
e
a
r
c
he
r
a
t
t
h
e
F
a
c
ul
t
y
o
f
E
xa
c
t
a
nd
A
ppl
i
e
d
S
c
i
e
nc
e
s
(
F
S
E
A
)
a
t
t
he
U
ni
v
e
r
s
i
t
y
o
f
N
'
D
j
a
m
é
na
,
C
ha
d
.
H
i
s
e
x
pe
r
t
i
s
e
s
p
a
ns
a
w
i
d
e
r
a
ng
e
o
f
a
r
e
a
s
,
i
n
c
l
udi
ng
r
e
s
e
a
r
c
h
i
n
r
e
m
o
t
e
s
e
ns
i
ng
i
m
a
g
e
r
y
,
e
nv
i
r
o
nm
e
n
t
a
l
m
a
pp
i
ng
,
t
h
e
de
s
i
g
n
o
f
ne
w
c
ha
ng
e
de
t
e
c
t
i
o
n
m
e
t
ho
ds
f
o
r
s
a
t
e
l
l
i
t
e
i
m
a
g
e
s
,
k
no
w
l
e
dg
e
r
e
pr
e
s
e
nt
a
t
i
o
n
a
n
d
m
a
na
g
e
m
e
nt
,
o
pt
i
m
i
z
a
t
i
o
n,
g
r
a
ph
t
h
e
o
r
y
,
a
nd
l
a
ng
ua
g
e
t
he
o
r
y
.
H
e
a
l
s
o
po
s
s
e
s
s
e
s
s
i
g
ni
f
i
c
a
nt
e
xp
e
r
i
e
nc
e
i
n
c
om
put
e
r
s
c
i
e
nc
e
e
d
uc
a
t
i
o
n,
g
a
i
ne
d
i
n
bo
t
h
C
ha
d
a
nd
F
r
a
nc
e
.
H
i
s
p
r
o
f
e
s
s
i
o
na
l
c
a
r
e
e
r
i
s
m
a
r
ke
d
by
di
v
e
r
s
e
e
x
pe
r
i
e
nc
e
s
.
H
e
ha
s
s
e
r
v
e
d
a
s
t
he
H
e
a
d
o
f
t
he
C
o
m
put
e
r
S
c
i
e
nc
e
D
e
p
a
r
t
m
e
n
t
a
t
F
S
E
A
a
nd
ha
s
p
a
r
t
i
c
i
p
a
t
e
d
i
n
num
e
r
o
us
na
t
i
o
na
l
a
n
d
i
nt
e
r
n
a
t
i
o
na
l
e
v
e
nt
s
a
n
d
w
o
r
ks
ho
ps
,
p
a
r
t
i
c
u
l
a
r
l
y
f
oc
us
i
ng
o
n
t
he
d
i
g
i
t
a
l
t
r
a
ns
f
o
r
m
a
t
i
o
n
o
f
j
u
s
t
i
c
e
a
nd
hum
a
n
r
i
g
ht
s
.
H
e
ha
s
a
l
s
o
und
e
r
t
a
ke
n
po
s
t
do
c
t
o
r
a
l
s
c
i
e
n
t
i
f
i
c
m
o
bi
l
i
t
y
i
n
F
r
a
nc
e
.
He
h
a
s
e
xt
e
ns
i
v
e
e
xp
e
r
i
e
nc
e
i
n
un
i
v
e
r
s
i
t
y
t
e
a
c
hi
ng
,
w
he
r
e
he
h
a
s
s
upe
r
v
i
s
e
d
num
e
r
o
us
und
e
r
g
r
a
d
ua
t
e
a
nd
g
r
a
du
a
t
e
s
t
ud
e
nt
s
.
H
e
ha
s
a
l
s
o
he
l
d
v
i
s
i
t
i
ng
l
e
c
t
u
r
e
r
po
s
i
t
i
o
ns
a
t
s
e
v
e
r
a
l
h
i
g
he
r
e
duc
a
t
i
o
n
i
n
s
t
i
t
ut
i
o
ns
i
n
C
ha
d
a
nd
F
r
a
nc
e
.
H
e
i
s
t
he
a
u
t
ho
r
o
f
s
e
v
e
r
a
l
s
c
i
e
n
t
i
f
i
c
pub
l
i
c
a
t
i
o
ns
i
n
i
n
t
e
r
na
t
i
o
na
l
j
o
ur
n
a
l
s
a
nd
ha
s
p
r
e
s
e
n
t
e
d
a
t
num
e
r
o
us
c
o
n
f
e
r
e
nc
e
s
.
H
i
s
r
e
s
e
a
r
c
h
f
o
c
us
e
s
o
n
r
e
m
o
t
e
s
e
ns
i
ng
,
i
m
a
g
e
p
r
o
c
e
s
s
i
ng
,
a
nd
a
r
t
i
f
i
c
i
a
l
i
nt
e
l
l
i
g
e
nc
e
.
H
e
c
a
n
be
c
o
nt
a
c
t
e
d
a
t
e
m
a
i
l
:
m
a
bdo
ut
o
um
@g
m
a
i
l
.
c
o
m
.
Evaluation Warning : The document was created with Spire.PDF for Python.
IS
S
N
:
2502
-
4752
In
do
n
e
s
i
a
n
J
E
l
e
c
E
ng
&
Co
m
p
S
c
i
,
V
o
l
.
40
,
N
o
.
3
,
D
e
c
em
be
r
20
25
:
1
43
0
-
1
438
1438
O
u
c
h
ar
C
h
é
r
i
f
A
l
i
D
o
c
t
o
r
o
f
c
o
m
put
e
r
s
c
i
e
nc
e
,
i
s
a
l
e
c
t
u
r
e
r
-
r
e
s
e
a
r
c
he
r
a
nd
a
n
e
xpe
r
t
i
n
p
r
o
a
c
t
i
v
e
c
y
be
r
s
e
c
ur
i
t
y
,
t
h
r
e
a
t
i
n
t
e
l
l
i
g
e
nc
e
,
pr
e
di
c
t
i
v
e
c
y
be
r
a
t
t
a
c
k
a
na
l
y
s
i
s
,
a
nd
t
he
i
nt
e
g
r
a
t
i
o
n
o
f
A
I
i
n
bo
t
h
he
a
l
t
hc
a
r
e
a
nd
di
g
i
t
a
l
g
o
v
e
r
na
nc
e
.
W
i
t
h
a
ba
c
k
g
r
o
und
i
nc
l
udi
ng
a
B
a
c
he
l
o
r
'
s
,
M
a
s
t
e
r
'
s
,
a
n
d
D
o
c
t
o
r
a
t
e
i
n
C
o
m
put
e
r
S
c
i
e
nc
e
(
C
A
M
E
S
)
,
he
br
i
ng
s
o
v
e
r
t
e
n
y
e
a
r
s
o
f
pr
o
f
e
s
s
i
o
na
l
e
xp
e
r
i
e
nc
e
i
n
i
m
pl
e
m
e
n
t
i
ng
i
nno
v
a
t
i
v
e
s
o
l
u
t
i
o
ns
a
c
r
o
s
s
pub
l
i
c
a
n
d
pr
i
v
a
t
e
s
e
c
t
o
r
s
,
h
i
g
he
r
e
d
uc
a
t
i
o
n
,
a
nd
t
e
c
hno
l
o
gy
c
o
ns
ul
t
i
ng
,
de
m
o
ns
t
r
a
t
i
ng
f
l
e
x
i
b
i
l
i
t
y
,
o
pe
r
a
t
i
o
na
l
c
a
pa
bi
l
i
t
y
,
a
nd
c
o
l
l
a
bo
r
a
t
i
v
e
l
e
a
d
e
r
s
hi
p.
H
e
c
a
n
b
e
c
o
nt
a
c
t
e
d
a
t
e
m
a
i
l
:
a
l
i
o
uc
ha
r
c
he
r
i
f
@y
a
hoo
.
f
r
.
L
an
g
D
i
o
n
l
ar
i
s
a
C
ha
d
i
a
n
c
o
m
put
e
r
s
c
i
e
nc
e
r
e
s
e
a
r
c
he
r
a
nd
e
d
uc
a
t
o
r
,
c
ur
r
e
nt
l
y
pur
s
ui
ng
a
do
c
t
o
r
a
t
e
i
n
c
o
m
pl
e
x
s
y
s
t
e
m
s
m
o
de
l
i
ng
a
n
d
s
i
m
ul
a
t
i
o
n
a
t
E
S
P
,
D
a
k
a
r
.
H
e
ho
l
ds
a
n
e
ng
i
ne
e
r
i
ng
de
g
r
e
e
i
n
c
o
m
put
e
r
s
c
i
e
nc
e
f
r
o
m
t
h
e
U
ni
v
e
r
s
i
t
y
o
f
K
ho
m
s
/
T
r
i
po
l
i
.
H
i
s
pr
o
f
e
s
s
i
o
na
l
e
xp
e
r
i
e
nc
e
i
nc
l
ud
e
s
t
e
a
c
h
i
ng
po
s
i
t
i
o
ns
a
t
t
he
U
ni
v
e
r
s
i
t
y
o
f
N
'
D
j
a
m
é
na
,
w
h
e
r
e
he
s
e
r
v
e
d
a
s
H
e
a
d
o
f
t
he
C
o
m
put
e
r
S
c
i
e
nc
e
D
e
pa
r
t
m
e
n
t
.
H
e
h
a
s
a
l
s
o
w
o
r
ke
d
i
n
t
h
e
pr
i
v
a
t
e
s
e
c
t
o
r
,
i
nc
l
udi
ng
r
o
l
e
s
a
t
S
O
G
E
A
-
S
A
T
O
M
a
nd
a
n
I
T
a
s
s
e
m
bl
y
c
e
nt
e
r
i
n
L
i
by
a
.
H
i
s
po
s
s
e
s
s
e
s
e
xpe
r
t
i
s
e
i
n
d
e
s
i
g
n
m
e
t
ho
do
l
o
g
i
e
s
(
M
e
r
i
s
e
,
U
M
L
,
E
X
P
R
E
S
S
)
,
p
r
o
g
r
a
m
m
i
ng
l
a
ng
ua
g
e
s
(
J
a
v
a
,
C
+
+
,
P
y
t
ho
n)
,
a
nd
d
a
t
a
ba
s
e
m
a
n
a
g
e
m
e
nt
(
O
r
a
c
l
e
,
M
y
S
Q
L
)
.
H
e
i
s
s
k
i
l
l
e
d
i
n
n
e
t
w
o
r
k
a
dm
i
n
i
s
t
r
a
t
i
o
n
(
W
i
ndo
w
s
,
L
i
nu
x)
,
c
y
be
r
s
e
c
ur
i
t
y
,
a
nd
g
e
o
g
r
a
phi
c
i
nf
o
r
m
a
t
i
o
n
s
y
s
t
e
m
s
(
G
I
S
)
.
H
i
s
pub
l
i
c
a
t
i
o
ns
c
o
v
e
r
t
o
pi
c
s
l
i
ke
I
C
T
w
a
s
t
e
m
a
na
g
e
m
e
n
t
,
s
m
a
r
t
e
duc
a
t
i
o
n,
a
nd
s
e
r
v
i
c
e
i
nf
r
a
s
t
r
uc
t
u
r
e
f
o
r
S
M
E
s
.
H
e
i
s
t
r
i
l
i
ng
ua
l
,
pr
o
f
i
c
i
e
n
t
i
n
F
r
e
nc
h,
E
ng
l
i
s
h
,
a
nd
A
r
a
b
i
c
,
bo
t
h
s
po
ke
n
a
nd
w
r
i
t
t
e
n.
H
e
c
a
n
be
c
o
nt
a
c
t
e
d
a
t
e
m
a
i
l
:
di
o
nl
a
r
.
l
a
ng
@g
m
a
il
.
c
o
m
.
L
ad
j
e
l
B
e
l
l
a
t
r
e
c
h
e
i
s
a
n
e
xc
e
pt
i
o
na
l
c
l
a
s
s
f
u
l
l
p
r
o
f
e
s
s
o
r
a
t
t
he
N
a
t
i
o
na
l
E
ng
i
ne
e
r
i
ng
S
c
ho
o
l
f
o
r
M
e
c
ha
ni
c
s
a
nd
A
e
r
o
t
e
c
hni
c
s
(
I
S
A
E
-
E
N
S
M
A
)
,
P
o
i
t
i
e
r
s
-
F
r
a
nc
e
,
s
i
nc
e
S
e
pt
e
m
be
r
20
10
.
B
e
f
o
r
e
j
o
i
ni
ng
I
S
A
E
-
E
N
S
M
A
,
he
s
p
e
nt
e
i
g
ht
y
e
a
r
s
a
s
a
n
A
s
s
i
s
t
a
nt
a
n
d
l
a
t
e
r
a
n
A
s
s
o
c
i
a
t
e
P
r
o
f
e
s
s
o
r
a
t
P
o
i
t
i
e
r
s
U
n
i
v
e
r
s
i
t
y
,
F
r
a
nc
e
.
S
i
nc
e
2019
,
he
ha
s
be
e
n
a
l
s
o
be
e
n
a
P
a
r
t
-
t
i
m
e
P
r
o
f
e
s
s
o
r
a
t
t
h
e
H
a
r
bi
n
I
ns
t
i
t
u
t
e
o
f
T
e
c
hno
l
o
gy
(
H
I
T
)
,
C
hi
na
.
F
r
o
m
2012
t
o
202
2,
he
l
e
d
t
h
e
D
a
t
a
a
nd
M
o
de
l
E
ng
i
n
e
e
r
i
ng
T
e
a
m
a
t
t
h
e
L
a
bo
r
a
t
o
r
y
o
f
C
o
m
put
e
r
S
c
i
e
nc
e
a
nd
A
ut
o
m
a
t
i
c
C
o
nt
r
o
l
f
o
r
S
y
s
t
e
m
s
(
L
I
A
S
)
.
O
v
e
r
t
he
y
e
a
r
s
,
h
e
ha
s
he
l
d
s
e
v
e
r
a
l
i
nt
e
r
na
t
i
o
na
l
po
s
i
t
i
o
ns
,
i
nc
l
udi
ng
v
i
s
i
t
i
ng
p
r
o
f
e
s
s
o
r
a
t
t
he
U
ni
v
e
r
s
i
t
y
of
N
e
w
S
out
h
W
a
l
e
s
,
S
y
dne
y
,
a
nd
t
he
U
ni
v
e
r
s
i
t
é
d
u
Q
ué
be
c
e
n
O
ut
a
o
ua
i
s
.
A
ddi
t
i
o
na
l
l
y
,
he
w
a
s
a
V
i
s
i
t
i
ng
R
e
s
e
a
r
c
he
r
a
t
P
u
r
du
e
U
ni
v
e
r
s
i
t
y
,
U
S
A
,
a
nd
t
h
e
H
o
ng
K
o
n
g
U
ni
v
e
r
s
i
t
y
of
S
c
i
e
nc
e
a
nd
T
e
c
hno
l
o
gy
(
H
K
U
S
T
)
.
H
i
s
r
e
s
e
a
r
c
h
f
o
c
us
e
s
o
n
da
t
a
s
c
i
e
nc
e
,
a
r
t
i
f
i
c
i
a
l
i
n
t
e
l
l
i
g
e
nc
e
,
kno
w
l
e
dg
e
g
r
a
phs
,
r
e
c
o
m
m
e
nde
r
s
y
s
t
e
m
s
,
que
r
y
a
ns
w
e
r
i
ng
s
y
s
t
e
m
s
,
a
nd
l
a
r
g
e
l
a
ng
ua
g
e
m
o
de
l
s
.
H
e
e
m
p
ha
s
i
z
e
s
t
w
o
c
r
i
t
i
c
a
l
no
n
-
f
unc
t
i
o
na
l
pr
o
pe
r
t
i
e
s
:
q
ue
r
y
pe
r
f
o
r
m
a
nc
e
a
nd
e
ne
r
gy
c
o
ns
um
pt
i
o
n
,
e
n
s
ur
i
ng
e
f
f
i
c
i
e
nc
y
,
s
c
a
l
a
b
i
l
i
t
y
,
a
nd
s
us
t
a
i
na
bi
l
i
t
y
.
H
e
ha
s
a
ut
ho
r
e
d
o
v
e
r
3
50
p
u
bl
i
c
a
t
i
o
ns
i
n
i
nt
e
r
n
a
t
i
o
na
l
c
o
n
f
e
r
e
nc
e
s
a
nd
j
o
ur
na
l
s
,
i
nc
l
u
di
ng
I
E
E
E
T
K
D
E
,
i
nf
o
r
m
a
t
i
o
n
s
y
s
t
e
m
s
,
f
ut
ur
e
g
e
ne
r
a
t
i
o
n
c
om
put
e
r
s
y
s
t
e
m
s
,
a
nd
da
t
a
a
nd
kno
w
l
e
dg
e
e
ng
i
n
e
e
r
i
ng
.
A
ddi
t
i
o
na
l
l
y
,
he
s
e
r
v
e
s
a
s
a
n
A
s
s
oc
i
a
t
e
E
di
t
o
r
f
o
r
D
a
t
a
a
nd
K
no
w
l
e
dg
e
E
ng
i
n
e
e
r
i
ng
(
E
l
s
e
v
i
e
r
)
a
nd
K
no
w
l
e
dg
e
a
nd
I
n
f
o
r
m
a
t
i
o
n
S
y
s
t
e
m
s
(
S
p
r
i
ng
e
r
)
.
H
e
ha
s
p
l
a
y
e
d
ke
y
r
o
l
e
s
i
n
m
a
j
o
r
c
o
n
f
e
r
e
nc
e
s
s
uc
h
a
s
E
R
2025
(
G
e
ne
r
a
l
C
o
-
c
ha
i
r
)
,
I
E
E
E
B
i
g
D
a
t
a
,
D
A
S
F
A
A
,
A
D
B
I
S
,
M
E
D
E
S
,
F
Q
A
S
,
A
P
W
E
B
-
W
A
I
M
,
a
nd
D
a
W
a
K
.
H
e
a
l
s
o
s
e
r
v
e
d
o
n
t
h
e
s
t
e
e
r
i
ng
c
o
m
m
i
t
t
e
e
s
o
f
A
C
M
M
E
D
E
S
,
A
D
B
I
S
,
D
O
L
A
P
,
B
D
A
,
a
nd
E
D
A
.
N
o
t
a
bl
y
,
he
i
s
t
h
e
f
o
unde
r
o
f
t
he
I
nt
e
r
na
t
i
o
na
l
C
o
nf
e
r
e
nc
e
o
n
M
o
de
l
a
nd
D
a
t
a
E
ng
i
ne
e
r
i
ng
(
M
E
D
I
)
.
C
o
m
m
i
t
t
e
d
t
o
f
o
s
t
e
r
i
ng
r
e
s
e
a
r
c
h
i
n
A
f
r
i
c
a
a
n
d
A
s
i
a
,
h
e
co
-
s
upe
r
v
i
s
e
s
t
u
de
n
t
s
f
r
o
m
A
l
g
e
r
i
a
,
C
a
m
e
r
o
o
n,
C
h
a
d
,
M
o
r
o
c
c
o
,
T
uni
s
i
a
,
T
o
go
,
a
n
d
V
i
e
t
na
m
.
H
e
ha
s
s
e
c
ur
e
d
r
e
s
e
a
r
c
h
f
undi
ng
f
r
o
m
t
he
E
ur
o
pe
a
n
U
ni
o
n,
F
r
e
nc
h
N
a
t
i
o
na
l
R
e
s
e
a
r
c
h
A
g
e
nc
y
,
a
nd
i
n
dus
t
r
y
pa
r
t
ne
r
s
.
S
i
nc
e
20
23
,
he
h
a
s
be
e
n
t
he
P
r
o
g
r
a
m
D
i
r
e
c
t
o
r
f
o
r
t
he
c
o
m
put
e
r
s
c
i
e
nc
e
f
o
r
A
v
i
o
ni
c
s
M
a
s
t
e
r
'
s
pr
o
g
r
a
m
w
i
t
h
i
n
t
h
e
M
a
s
t
e
r
A
e
r
o
na
ut
i
c
s
a
nd
S
p
a
c
e
a
t
I
S
A
E
-
E
N
S
M
A
.
H
e
c
a
n
be
c
o
nt
a
c
t
e
d
a
t
e
m
a
i
l
:
l
a
d
j
e
l
.
be
l
l
a
t
r
e
c
he
@e
n
s
m
a
.
f
r
.
Evaluation Warning : The document was created with Spire.PDF for Python.