.jpg) |
Programação
Dia 27 de março, quinta-feira
07:50 – 08:10
Entrega do material
08:10 – 08:30
Abertura
08:30 – 09:30
Palestra: Heróis ou Estúpidos? [SLIDES]
Prof. Geraldo Robson Mateus, UFMG.
09:30 – 09:50
Café
09:50– 10:00
Sessão 1 - Abertura (Coordenador: Prof. Silvio Araújo)
10:00 – 10:20
Autores: Anibal Tavares de Azevedo, Luiz Leduino de Salles Neto, Antônio Augusto Chaves, Antônio Carlos Moretti.
10:20–10:40
Programação de rotas de navios de petróleo cru da Petrobras no litoral brasileiro.
Autores: Bruno Jensen Virginio da Silva, Amélia Stanzani, Denise Sato Yamashita, Maria Gabriela Furtado, Vinicius Rodrigues
10:40–11:00
O Problema de Alocação de Berços: Aspectos Teóricos e Computacionais.
Autores: Flávia Barbosa, Antônio Carlos Moretti, Luiz Leduíno de Salles Neto.
11:00–11:20
Algoritmo de otimização por colônia de formigas na roteirização de veículos.
Autores: Ricardo Pinto Ferreira, Arthur Ferreira, Renato José Sassi.
11:20–11:40
Mapa auto-organizável de Kohonen na programação de veículos.
Autores: Ricardo Pinto Ferreira, Andréa Martiniano da Silva, Renato José Sassi.11:00–11:20
Autores: Maria José Pinto Lamosa, Mônica Maria De Marchi, Carlos Alberto Lima Araújo Júnior, Rodrigo Arnaldo Scarpel.
11:20–11:40
Planejamento da rede de logística reversa pós-consumo de equipamentos de informática.
Autores: Maritha Silva, Eli Angela Vitor Toso.
12:00–13:40
Almoço: Armazém de Maria,
14:00–15:00
Palestra: Métodos Eficientes para Problemas de Roteamento de Veículos. [SLIDES]
Prof. Luis Satoru Ochi, UFF.
15:00–15:40
Pôsteres e reuniões subgrupos
15:40–16:00
Café
16:00–16:10
Sessão 2 - Abertura (Coordenadora: Profa. Débora Ronconi)
16:10–16:30
Autores: Helio Yochihiro Fuchigami, John Lennon Damas Davi.
16:30–16:50
Autores: Pedro Luis Miranda Lugo, Rodolfo Florence Teixeira Jr.
16:50–17:10
Autores: Ronaldo Castro de Oliveira, Roberto Fernandes Tavares Neto, Hercules Tadeu Asato Dantas.
17:10–17:30
Autores: Ricardo de Brito Damm, Débora Pretti Ronconi.
17:30–17:50
Um estudo de problemas de otimização combinatória em hospitais.
Autores: Tiago Tiburcio, Socorro Rangel.
17:50
Reunião pesquisadores do projeto temático.
Dia 28 de março, sexta-feira
08:00–08:10
Sessão 3 - Abertura (Coordenadora: Profa. Franklina Toledo)
08:10–08:30
Um algoritmo memético no problema do Corte Unidimensional Inteiro.
Autores: Angelo Aliano Filho, Antônio Carlos Moretti.
08:30–08:50
Planejamento na divisão de talhões para o plantio da cana-de-açúcar.
Autores: Adriana Cristina Cherri, Andréa Vianna, Helenice Florentino, Rômulo Ramos.
08:50–09:10
Uma heurística para um problema de carregamento de caixas em um contêiner compartimentado.
Autores: Rodolfo Ranck Junior, Horacio Hideki Yanasse, Reinaldo Morabito.
09:10–10:30
Palestra: Multidimensional dual-feasible functions and fast lower bounds for the vector packing problem.
Prof. José Valério de Carvalho, Universidade do Minho.
10:30–11:20
Reuniões sub-grupos e café.
11:20–11:40
Problema de Localização-Roteamento-Empacotamento com Demanda Incerta.
Autores: Thiago Alves de Queiroz, José Fernando Oliveira, Maria Aantónia Carravilla, Flávio Keidi Miyazawa.
11:40–12:00
Um modelo compactado para o problema de corte de peças irregulares.
Autores: Marcos Okamura Rodrigues, Aline A. S. Leão, Franklina M. B. Toledo.
12:00–12:20
Um método heurístico para o problema de corte de peças irregulares.
Autores: Luiz Henrique Cherri, Franklina Maria Bragion de Toledo; Maria Antónia Carravilla.
12:20–13:40
Almoço: Armazém de Maria.
14:00–15:00
Mesa redonda: Otimização: passado, presente e futuro.
Mediador: Prof. Reinaldo Morabito, UFSCar.
Participantes:
Prof. Dr. Geraldo Robson Mateus, UFMG;
Prof. Luis Satoru Ochi, UFF.
Prof. José Valério de Carvalho, Universidade do Minho.
15:00–15:10
Sessão 4 - Abertura (Coordenador: Prof. Douglas Alem)
15:10–15:30
Autores: Michelli Maldonado, Socorro Rangel.
15:30–15:50
Planejamento e programação da produção na indústria de polpa moldada.
Autores: Karim Pérez Martínez, Reinaldo Morabito, Eli Vitor Toso
15:50–16:10
Autores: Marcos Mansano Furlan, Bernardo Almada-Lobo, Maristela Oliveira Santos, Reinaldo Morabito.
16:10–16:30
Café
16:30–16:50
Autores: Gislaine Mara Melega, Silvio Alexandre de Araujo e Socorro Rangel.
16:50–17:10
Problema integrado de produção e distribuição: uma abordagem heurística.
Autores: Márcio Antônio Ferreira Belo Filho, Pedro Amorim, Bernardo Almada-Lobo.
17:10–17:30
Modelos híbridos para o Problema da Mochila Bidimensional com conflitos.
Autores: Pedro Hokama, Thiago A. de Queiroz, Flavio Keidi Miyazawa.
17:30–17:50
Otimização estocástica na programação de bombas de redes de abastecimento urbano.
Autores: Jonathan Justen de La Vega Martínez, Douglas Alem.17:30
Encerramento
Minicurso
Teremos um minicurso de abertura, no dia 26/03, das 14h às 18h, no Auditório do CCET-UFSCar:
Algoritmos Ótimos e Heurísticos: Configuração Automática de Parâmetros e Análise Experimental de Desempenho
[SLIDES - Parte 1] [SLIDES - Parte 2]Prof. Vinicius ArmentanoResumo: O sucesso de algoritmos ótimos e heurísticos é medido pela obtenção de soluções ótimas ou de alta qualidade em tempo computacional adequado para um problema de otimização. É desejável que algoritmos sejam robustos, isto é, apresentem um bom desempenho em uma variedade de instâncias que compreende a dimensão e características essenciais do problema, como, por exemplo, o tamanho das janelas de tempo e a localização agrupada ou dispersa de clientes em problemas de roteamento de veículos.
Departamento de Engenharia de Sistemas
UNICAMP, Faculdade de Engenharia Elétrica e de Computação
Currículo Lattes
Para obter tal robustez, é necessário uma configuração efetiva de parâmetros de algoritmos, seja de forma manual ou automática. Algoritmos branch-and-cut utilizados em softwares para problemas de programação inteira mista, bem como meta-heurísticas para problemas de otimização combinatória, possuem um número significativo de parâmetros. Como exemplo, o manual de referência do software CPLEX 12.1 descreve 135 parâmetros, fornece uma calibração automática destes parâmetros, e se esta não é satisfatória, o usuário recorre ao método manual que é trabalhoso e tedioso. O interêsse pela configuração automática de parâmetros de algoritmos tem crescido desde o início dos anos 2000 e hoje existem diversos softwares disponíveis para uso acadêmico, mas com pouco uso na literatura, provavelmente pelo desconhecimento destes.
Outro aspecto importante é a avaliação experimental de resultados produzidos por algoritmos de otimização. De modo geral, é raro encontrar artigos na literatura que que contenham um projeto de experimentos computacionais que produzam insights relevantes para os leitores. Uma ferramenta muito usada em diversas áreas, tais como, biologia, psicologia, medicina, sociologia, educação, agricultura, engenharia e otimização, é a análise de variança conhecida pelo acrônimo ANOVA, presente em diversos softwares comerciais e um software livre. Do ponto de vista de otimização, a análise de variança é uma metodologia estatística que analisa como a variação dos valores parâmetros do modelo matemático de otimização afeta o valor da função objetivo. A variação de cada parâmetro pode ser quantificada isoladamente, bem como efeitos de interações entre parâmetros. Além disso, a análise de variança é um teste paramétrico que permite comparar o desempenho de diversos algoritmos. Outra forma de comparar algoritmos envolve testes não paramétricos, tais como Wilcoxon e Friedmann.
Palestras
Multidimensional dual-feasible functions and fast lower bounds for the vector packing problem
Prof. José Valério de Carvalho
Departamento de Produção e Sistemas
Universidade do Minho, Campus de Gualtar
Página pessoal
Resumo: We address the 2-dimensional vector packing problem where an optimal layout for a set of items with two independent dimensions has to be found within the boundaries of a rectangle. Many practical applications in areas such as the telecommunications, transportation and production planning lead to this combinatorial problem. Here, we focus on the computation of fast lower bounds using original approaches based on the concept of dual-feasible functions (DFF). Until now, all the dual-feasible functions proposed in the literature were 1-dimensional functions. We extend the principles of dual-feasible functions to the m-dimensional case. Several difficulties arise when one wants to generalize the results obtained for 1-dimensional DFF. They are induced by the fact that the comparison between item sizes has to be done componentwise, and therefore, monotonicity and superadditivity take a different sense. We propose several new families of functions, and analyze the properties which are relevant to evaluate the quality of the lower bounds that these functions can generate. We describe different lower bounding procedures based on these functions, and we report on the complexity of each one. Our approaches were tested on benchmark instances of the literature. Our computational experiments show that high quality bounds can be obtained for this problem using the vector packing dual-feasible functions proposed in this paper. Furthermore, we tested our lower bounding procedures within a branch-and-bound algorithm to evaluate their potential impact on the convergence of this type of algorithms. Our computational results show that these functions can approximate very efficiently the best known lower bounds for this problem and improve significantly the convergence of branch-and-bound algorithms. The utility of multidimensional dual-feasible functions goes far beyond the computation of lower bounds for vector packing problems. Indeed, these functions can be used to obtain valid inequalities for general mixed integer programs, i.e., any integer programming problem with multidimensional knapsack constraints.
Heróis ou Estúpidos? [SLIDES]Prof. Geraldo Robson Mateus
Departamento de Ciência da Computação
UFMG, Instituto de Ciências Exatas
Currículo Lattes
Resumo: Um grande desafio para os profissionais de Pesquisa Operacional é entender os problemas que se apresentam, solucionar e implantar no mundo real. Se apresentam desde contextos amplos e complexos até problemas específicos e de fácil solução. Como atuar no estado da arte na pesquisa e retornando resultados concretos para sociedade? É um ato de heroísmo ou de estupidez? Nesta linha, daremos uma visão iniciando pelo contexto amplo de Cadeia de Suprimentos a problemas específicos de roteamento de veículos. Muitos são os problemas de roteamento de tráfego e veículos, explorando diversos tipos de serviços, tecnologias e aplicações. Estão presentes nas redes de transporte, telecomunicações e energia. Para estes problemas são propostas diversas formulações, bem como algoritmos. Trata-se, portanto, de uma linha de pesquisa, e aplicações, especificas, que por si só são amplas e complexas, com grandes desafios tanto em modelagem com em desenvolvimento de novas técnicas. E o mundo real?
Métodos Eficientes para Problemas de Roteamento de Veiculos [SLIDES]
Prof. Luis Satoru Ochi
Departamento de Ciência da Computação
UFF, Instituto de Computação
Currículo Lattes
Resumo: Nesta palestra serão apresentadas estratégias que tem se mostrado serem as mais eficientes na resolução de diferentes variantes de Problemas de Roteamento de Veículos (The Vehicle Routing Problems - VRP). Neste contexto, mostramos que métodos híbridos tanto sequencias ou paralelos: conjugando diferentes metaheuristicas, ou reunindo conceitos de metaheuristicas com programação matemática (matheuristics) tem se mostrado muito promissores em VRP. Como ilustração, descreveremos um método híbrido de nossa autoria para uma variante do VRP cujos resultados se mostraram muito competitivos quando confrontados com os resultados da literatura. Maiores informações sobre este tema pode ser encontrado em: http://www2.ic.uff.br/~satoru/
Mesa redonda
Este ano, teremos uma mesa redonda com os palestrantes tratando do tema "Otimização: passado, presente e futuro". O mediador será o Prof. Reinaldo Morabito.
 |
 |
 |