teoria da decisão - universidade federal de minas gerais
TRANSCRIPT
![Page 1: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/1.jpg)
Teoria da DecisãoIntrodução às Metaheurísticas
Prof. Lucas S. Batista
www.ppgee.ufmg.br/⇠lusoba
Universidade Federal de Minas GeraisEscola de Engenharia
Graduação em Engenharia de Sistemas
![Page 2: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/2.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Definições Gerais
Sumário
1 Problema de OtimizaçãoDefinições Gerais
2 Introdução às MetaheurísticasVisão Geral do Tema
3 Simulated AnnealingConceitos Gerais e Implementação
2 / 42
![Page 3: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/3.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Definições Gerais
Processo de Otimização
Frequentemente, o benefício ou o custo (i.e., o efeito) da implan-tação de uma solução xxx pode ser expresso por meio de umafunção f (·) de variáveis de decisão, onde xxx = (x1, x2, . . . , xn).
Então, determinar o melhor arranjo dessas variáveis que mini-miza ou maximiza essa função mérito consiste em um processode otimização.
3 / 42
![Page 4: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/4.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Definições Gerais
Processo de Otimização
OtimizaçãoProcesso que utiliza métodos computacionais para encontrar a “me-lhor” forma de projetar e/ou operar um dado sistema, representadapela melhor combinação de valores para as variáveis do problema,considerando seus objetivos e suas restrições de projeto e de opera-ção.
O processo de otimização sempre resulta, ou busca justificação,em um impacto econômico, representado por:
qualidade do produto, custo da produção, competitividade.
4 / 42
![Page 5: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/5.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Definições Gerais
Processo de Otimização
OtimizarSignifica minimizar (ou maximizar) uma dada função:
Encontrar xxx 2 F : f (xxx) f (yyy), 8 yyy 2 F
minxxx
f (xxx), xxx 2 F
5 / 42
![Page 6: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/6.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Definições Gerais
Problema de Otimização Mono-objetivo
Formulação geral:
minxxx
f (xxx) 2 R, xxx 2 F
X = {xxx = (x1, x2, . . . , xn), xi 2 Di}
F =
8><
>:
gi(xxx) 0; i = 1, . . . , phj(xxx) = 0; j = 1, . . . , qxxx 2 X
6 / 42
![Page 7: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/7.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Definições Gerais
Problema de Otimização Mono-objetivo
Caso particular (programação linear):
minxxx
cxcxcx 2 R, xxx 2 F
F =
8>>><
>>>:
Pk
aik xk 0; i = 1, . . . , pPk
bjk xk = 0; j = 1, . . . , q
xk � 0
7 / 42
![Page 8: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/8.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Sumário
1 Problema de OtimizaçãoDefinições Gerais
2 Introdução às MetaheurísticasVisão Geral do Tema
3 Simulated AnnealingConceitos Gerais e Implementação
8 / 42
![Page 9: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/9.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Motivação
Todos os dias, engenheiros e tomadores de decisão são confron-tados com problemas de crescente complexidade.
Esses problemas emergem de diversos setores técnicos:
projeto de circuitos elétricos/eletrônicos;
projeto de sistemas de controle;
projeto de sistemas mecânicos;
processamento de imagens;
pesquisa operacional.
Esses desafios podem, frequentemente, ser modelados comoproblemas de otimização.
9 / 42
![Page 10: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/10.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Otimização “Difícil”
Dois tipos de problemas de otimização são claramente postos:problemas “discretos” e problemas com variáveis contínuas.
Problemas discretos: caixeiro viajante, roteamento de veículos.
Problemas contínuos: máquinas elétricas, controladores PI.
Problemas mistos: envolvem simultaneamente variáveis discre-tas e contínuas.
Essa diferenciação é útil para definir o domínio de “dificuldade”do problema de otimização.
10 / 42
![Page 11: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/11.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Otimização “Difícil”
Problemas discretos “difíceis”Não se conhece um algoritmo polinomial exato. Este é o caso, parti-cularmente, dos problemas “NP-difíceis”.
Problemas contínuos “difíceis”Não se conhece um algoritmo exato capaz de localizar o ótimo globalem um número finito de iterações.
11 / 42
![Page 12: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/12.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Otimização “Difícil”
Muito esforço foi dedicado, separadamente, à solução dessesproblemas:
No campo dos problemas contínuos “difíceis”. . .Existe um arcabouço significativo de métodos tradicionais para otimi-zação global. Entretanto, sua efetividade depende de propriedadesespecíficas do problema, e.g., diferenciabilidade, convexidade, moda-lidade.
No campo dos problemas discretos “difíceis”. . .Existe um arsenal de heurísticas, as quais encontram soluções pró-ximas do ótimo. Entretanto, a maioria delas é concebida para umproblema específico.
12 / 42
![Page 13: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/13.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Otimização “Difícil”
A chegada das Metaheurísticas (MH) marca uma reconciliaçãode ambos os domínios.
De fato, elas são aplicadas a todos os tipos de problemas discre-tos, e podem ser adaptadas a problemas contínuos.
Possuem em comum as seguintes características:
são estocásticas;
possuem origem discreta, e mesmo em problemas contínuos nãoexigem diferenciabilidade, convexidade, modalidade;
são inspiradas em analogias físicas (SA), biológicas (TS, EAs) ouetológicas (ACO, PSO);
compartilham as mesmas desvantagens, i.e., ajuste de parâmetrose alto custo computacional.
13 / 42
![Page 14: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/14.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Otimização “Difícil”
Em geral, é impossível assegurar com certeza a efetividade deuma dada MH quando aplicada a um dado problema.
As MHs não são mutualmente excludentes. A tendência atualé a utilização de métodos híbridos, buscando beneficiar-se devantagens específicas combinadas.
As MHs podem ser facilmente estendidas para:
otimização multiobjetivo;
otimização multimodal;
otimização dinâmica;
implementações paralelas.
14 / 42
![Page 15: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/15.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Limitação Geral de Métodos Clássicos
Métodos clássicos, ou métodos de decida, aceitam somente “mo-vimentos” de melhora (possuem convergência monotônica).
Esses algoritmos de aperfeiçoamento iterativo não conduzem,em geral, ao ótimo global, mas a um mínimo local específico (cn).
15 / 42
![Page 16: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/16.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Limitação Geral de Métodos Clássicos
Para melhorar a efetividade dos métodos clássicos, eles podemser aplicados repetidas vezes, partindo de configurações iniciaisdistintas.
Esse processo, entretanto, aumenta o custo computacional doalgoritmo, não garante a determinação do ótimo c⇤, e torna-seinefetivo com o aumento do número de mínimos locais.
16 / 42
![Page 17: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/17.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Fonte de Efetividade das MHs
MHs são capazes de escapar de ótimos locais!!!
MHs baseadas em “vizinhança” (SA, VNS, ILS) aceitam a degra-dação temporária da solução, permitindo encontrar cn, c0
n e c⇤.
MHs “distribuídas” (EAs) evoluem paralelamente uma populaçãode soluções candidatas, e empregam estratégias específicas paraexploração do espaço de busca.
17 / 42
![Page 18: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/18.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Visão Geral do Tema
Classificação Geral dos Métodos de Otimização Mono-objetivo
18 / 42
![Page 19: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/19.jpg)
Prof. Lucas de Souza Batista - DEE/EE/UFMG
Otimização de Redes Variable Neighborhood Search(VNS)
![Page 20: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/20.jpg)
Variable Neighborhood Search
❖ VNS é uma metaheurística proposta por N. Mladenovic, P. Hansen (1997).
❖ Baseia-se na ideia de uma mudança sistemática de vizinhança:
❖ na fase de refinamento, para encontrar um ótimo local; e
❖ na fase de perturbação, para escapar de bacias de atração.
![Page 21: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/21.jpg)
Estratégias Básicas
❖ VNS baseia-se em três fatos simples:
❖ Fato 1. Um mínimo local relacionado a uma estrutura de vizinhança não é necessariamente mínimo local de outra estrutura;
❖ Fato 2. Um mínimo global é um mínimo local relacionado a todas as possíveis estruturas de vizinhança;
❖ Fato 3. Para muitos problemas, mínimos locais relacionados a uma ou várias estruturas de vizinhança (Nk) estão relativamente próximos um dos outros.
![Page 22: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/22.jpg)
Estratégias Básicas
❖ Ao usar várias estruturas de vizinhança, os Fatos 1 a 3 podem ser aplicados de três formas diferentes:
❖ determinística;
❖ estocástica;
❖ determinística e estocástica.
![Page 23: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/23.jpg)
Algoritmo: Variable neighborhood descentFunction VND (x, kmax)k ← 1repeat
x’ ← arg miny ∈ Nk(x) f(y) % Find the best neighbor in Nk(x)x, k ← NeighborhoodChange (x, x’, k) % Change neighborhood
until k = kmax return x
❖ No VND, a mudança de vizinhança é realizada de maneira determinística.
❖ Frequentemente, kmax ≤ 2 em heurísticas de busca local.
Variable Neighborhood Descent (VND)
![Page 24: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/24.jpg)
Variable Neighborhood Descent (VND)
Algoritmo: Neighborhood changeFunction NeighborhoodChange (x, x’, k)
if f(x’) < f(x) thenx ← x’ % Make a movek ← 1 % Initial neighborhood
elsek ← k + 1 % Next neighborhood
endreturn x, k
![Page 25: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/25.jpg)
Reduced VNS (RVNS)Algoritmo: Reduced VNS
Function RVNS (x, kmax, tmax)repeat
k ← 1repeat
x’ ← Shake (x, k)x, k ← NeighborhoodChange (x, x’, k)
until k = kmaxt ← CpuTime()
until t > tmaxreturn x
❖ No RVNS, soluções aleatórias são selecionadas a partir de Nk(x).
❖ Uma técnica de refinamento não é aplicada.
![Page 26: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/26.jpg)
Basic VNS (BVNS)
❖ O método BVNS combina mudanças de vizinhança determinística e estocástica.
❖ A determinística é representada por uma heurística de busca local.
❖ A estocástica é representada por uma seleção aleatória de uma solução da k-ésima vizinhança.
![Page 27: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/27.jpg)
Basic VNS (BVNS)
Algoritmo: Best improvement (steepest descent) heuristicFunction Best Improvement (x)
repeatx’ ← xx ← arg miny ∈ N(x) f(y)
until f(x) ≥ f(x’)return x
![Page 28: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/28.jpg)
Basic VNS (BVNS)
Algoritmo: First improvement (first descent) heuristicFunction First Improvement (x)
repeatx’ ← x; i ← 0;repeat
i ← i + 1x ← arg min {f(x), f(xi)}, xi ∈ N(x)
until (f(x) < f(x’) or i = |N(x)|)until f(x) ≥ f(x’)
return x
![Page 29: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/29.jpg)
Basic VNS (BVNS)Algoritmo: Basic VNS
Function BVNS (x, kmax, tmax)t ← 0while t < tmax do
k ← 1repeat
x’ ← Shake (x, k) % shakingx’' ← BestImprovement (x’) % local searchx, k ← NeighborhoodChange (x, x'’, k)
until k = kmaxt ← CpuTime()
endreturn x
![Page 30: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/30.jpg)
General VNS (GVNS)
❖ O método GVNS combina as técnicas VNS e VND.
❖ Esta estratégia está relacionada às aplicações de maior sucesso citadas na literatura sobre VNS.
![Page 31: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/31.jpg)
General VNS (GVNS)Algoritmo: General VNS
Function GVNS (x, lmax, kmax, tmax)repeat
k ← 1repeat
x’ ← Shake (x, k) x’' ← VND (x’, lmax) x, k ← NeighborhoodChange (x, x'’, k)
until k = kmaxt ← CpuTime()
until t > tmaxreturn x
![Page 32: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/32.jpg)
General VNS (GVNS)
Algoritmo: Variable neighborhood descentFunction VND (x, kmax)k ← 1repeat
x’ ← arg miny ∈ Nk(x) f(y) % Find the best neighbor in Nk(x)x, k ← NeighborhoodChange (x, x’, k) % Change neighborhood
until k = kmax return x
![Page 33: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/33.jpg)
Reference
❖ M. Gendreau, J.-Y. Potvin (eds.), Handbook of Metaheuristics, Springer, 2nd ed., 2010.
![Page 34: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/34.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Conceitos Gerais e Implementação
Considerações Adicionais
Exemplos de estruturas de vizinha:
Suponha um problema de sequenciamento de máquinas paralelasnão relacionadas com tempos de preparação.
Quais estruturas de vizinhança podem ser empregadas?
31 / 42
![Page 35: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/35.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Conceitos Gerais e Implementação
Considerações Adicionais
Exemplos de estruturas de vizinha:
Shift
Realocação de uma tarefa para outra posição da mesma máquina.
32 / 42
![Page 36: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/36.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Conceitos Gerais e Implementação
Considerações Adicionais
Exemplos de estruturas de vizinha:
Switch
Troca a posição de duas tarefas processadas na mesma máquina.
33 / 42
![Page 37: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/37.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Conceitos Gerais e Implementação
Considerações Adicionais
Exemplos de estruturas de vizinha:
Task Move
Movimentação de uma tarefa de uma máquina de origem para umaoutra máquina.
34 / 42
![Page 38: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/38.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Conceitos Gerais e Implementação
Considerações Adicionais
Exemplos de estruturas de vizinha:
Swap
Realocação de duas tarefas aleatórias entre duas máquinas.
35 / 42
![Page 39: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/39.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Conceitos Gerais e Implementação
Considerações Adicionais
Exemplos de estruturas de vizinha:
Two-Shift
Desloca a posição de duas tarefas processadas em uma mesmamáquina.
36 / 42
![Page 40: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/40.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Conceitos Gerais e Implementação
Considerações Adicionais
Exemplos de estruturas de vizinha:
Direct Swap
Troca de duas tarefas entre duas máquinas, mantendo as posiçõesoriginais nessas máquinas.
37 / 42
![Page 41: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/41.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Conceitos Gerais e Implementação
Considerações Adicionais
Características das funções de vizinhança:
38 / 42
![Page 42: Teoria da Decisão - Universidade Federal de Minas Gerais](https://reader036.vdocuments.net/reader036/viewer/2022073017/62e3f0f225947248e209c737/html5/thumbnails/42.jpg)
Problema de Otimização Introdução às Metaheurísticas Simulated Annealing Literatura Especializada
Literatura Especializada
M. Gendreau, J.-Y. Potvin (eds.), Handbook of Metaheuristics, Springer, 2nd ed.,2010.
J. Dréo, P. Siarry, A. Pétrowski, E. Taillard, Metaheuristics for Hard Optimization:Methods and Case Studies, Springer, 2006.
L.M. Pereira, Análise de estruturas de vizinhança para o problema de sequen-ciamento de máquinas paralelas não relacionadas com tempos de preparação,Dissertação de Mestrado, PPGEE/UFMG, 2019.
Início
42 / 42