Slide sem t

1
NETWORK - GRAPH GENERATION IN SYSTEM
SURVEILLANCE (PROLOG) (GERAÇÃO DE GRAFO-REDE EM
SISTEMA DE SUPERVISÃO) W. Derek Humpage, K.P.
Wong and T.T. Nguyen (1985) PCS-5740 -
Fundamentos Lógicos da Inteligência Artificial
Prof. Dr. Jaime Simão Sichmann Aluno Ricardo
Sheigi Abe
2
FUNÇÃO DOS ELEMENTOS
Análise
3
SUBESTAÇÃO 1
Zona-1
Zona-2
i1
i2
n.1
4
1
2
1
2
3
i4
9
i1
i2
i3
i5
5
6
7
8
i3
i4
i5
n.2
3
4
5
10
11
12
i6
i7
i8
13
14
15
i9
i10
i11
4
SUBESTAÇÃO 2
Ex.2
Ex.1
switch (SS, ZS, ZR, SN, NS, NR,ST) node (SS, Z,
NN) branch (SSS, SSR, ZSS, ZSR, BS, BR, NB,
PT) selectorisolator (SS, Z, SN1, ST1, SN2, ST2,
MB, RB, NMI)
Ex. 1 switch (2, 3, 4, 1, n1, i1, 1) Ex. 2
node (2, 3, n2)
5
NOMENCLATURA
6
TABELA DE IDENTIFICAÇÃO DOS NÓS
7
REDE GRÁFICA
SS1
1
3
2
4
5
6
SS2
SS3
7
8
10
9
11
13
12
20
21
15
SS4
14
16
17
18
19
8
Procedimento de Busca A regra para verificar se
existe um caminho fechado através do elemento de
chaveamento e os nós. pathsearch (NS, NR) -
switch (SS, ZS, ZR, SN, NS, NR, 1)
switch (SS, ZR, ZS, SN,
NR, NS, 1). pathsearch (X, X, L). pathsearch (NS,
NR, L) - (switch (SS, ZS, ZR, SN, NS, NI, 1)
switch
(SS, ZR, ZS, SN, NI, NS, 1),
not (member (NI, L)),
pathsearch
(NI, NR, NI L). Validação dos Dados -
verificação da consistência dos dados da posição
dos disjuntores e chaves. Checkdata -
selectorisolator ( SS, Z, SN1, 1, SN2, 1, MB, RB,
NMI) bus (SM, SR).
9
REDE DE SISTEMA DE POTÊNCIA
g1
g2
g3
Z9
Z10
Z3
Z4
Z5
SS1
Z1
Z2
Z1
Z2
Z3
Z4
Z8
SS2
g1
g2
Z5
Z6
Z7
SS3
Z1
Z2
Z3
Z11
Z12
n3
Z1
Z2
Z3
SS4
n4
n3
n4
n3
10
APLICAÇÃORede de Sistema de Potência

• 9 Linhas de transmissão.
• 15 Transformadores.
• Representando um total de 24 ramos.
• 42 Disjuntores.
• 106 Chaves.
• Representando um total de 148 elementos de
  chaveamento.

11
CONCLUSÃO

• A Linguagem de programação PROLOG é uma poderosa
  ferramenta na área de processamento lógico.
• A característica recursiva da Linguagem, tem
  sido importante no processo de geração automática
  da grafo-rede.
• Permite uma sistemática para o procedimento de
  busca e verificação da consistência dos dados.