Português English
Contato

Projetos de Pesquisa | Fundamentos da Computação

Coordenador: Marcus Peter Ritt
Projeto: Heurísticas eficientes para otimização de linhas de produção com trabalhadores deficientes
Agência/Modalidade: CNPq/Editais Universais
Início: 08/11/2013
Conclusão: 30/11/2016
Resumo: Este projeto de pesquisa tem por objetivo desenvolver novos métodos para o planejamento e a otimização de linhas de produção. O projeto foca em dois eixos: linhas de produção com máquinas ou trabalhadores com capacidades heterogêneas, e linhas de produção hierárquicas. O objetivo principal dessa pesquisa são ferramentas que permitem que empresas otimizem linhas de produção mais complexas com as características mencionadas. Para este fim, é necessário desenvolver novos algoritmos aproximativos ou heurísticas que rapidamente produzem soluções de boa qualidade.


Coordenador: Luciana Salete Buriol
Projeto: Otimização Combinatória Aplicada na Resolução de Problemas de Diversas Naturezas
Agência/Modalidade: CNPq/Editais Universais
Início: 12/11/2013
Conclusão: 30/11/2016
Resumo: O presente projeto propõe o estudo e resolução exata de problemas de otimização combinatória de diferentes naturezas. O objetivo principal é reproduzir e aperfeiçoar o estado-da-arte na resolução de instâncias grandes dos problemas. Duas ordens de grandezas serão almejadas: uma para resolução exata, e outra para heurísticas.


Coordenador: Leila Ribeiro
Projeto: Transformação de Grafos e Verificação
Agência/Modalidade: FAPERGS
Parceiros: PUCRS, Ufpel,Laboratoire d’Informatique de Grenoble, Institut de Recherche en Informatique de Toulouse
Início: 01/12/2012
Conclusão: 30/09/2014
Resumo: O objetivo do projeto TGV consiste na criação e concepçãoao de diferentes lógicas e técnicas de prova dedicadas a expressar e realizar (semi-)automaticamente provas de propriedades de sistemas de transformações de grafos. A ênfase aqui está na integração destas técnicas dentro do contexto de desenvolvimento de sistemas computacionais complexos especificados como transformações de grafos. Este projeto será uma oportunidade para acumular habilidades complementares em transformação de grafos, verificação de programas, teoria dos tipos e lógica, de forma a investigar 7 diversos métodos formais, técnicas e ferramentes específicas para o desenvolvimento e certificação de programas baseados em regras operando sobre grafos.


Coordenador: Luciana Salete Buriol
Projeto: Minimização do tráfego rodoviário via instalação adequada de pedágios
Agência/Modalidade: FAPERGS
Início: 20/01/2011
Conclusão: 30/10/2013
Resumo: Apresenta dois problemas de otimização da área de engenharia de tráfego e propõe a resolução de tais problemas via modelagem matemática, resolução via CPLEX e via métodos heurísticos.


Coordenador: Luciana Salete Buriol
Projeto: European South American network for Combinatorial Optimization under Uncertainty
Agência/Modalidade: FP7 – Comunidade Européia
Parceiros: Maastricht University (Holanda), Vrije Universiteit Amsterdam (Holanda), University of Rome La Sapienza (Itália), University of Chile, University of Buenos Aires, Federal University of Rio Grande do Sul
Início: 30/07/2010
Conclusão: 30/07/2014
Resumo: O objetivo do projeto é o desenvolver estudos na área de otimização combinatória. Os problemas estudados envolvem na sua maioria redes de fluxo, provenientes naturezas (tráfego, telecomunicações, biologia) e abordados principalmente do ponto de vista de otimização, algoritmos e teoria dos jogos.


Coordenador: Luciana Salete Buriol
Projeto: Otimização do Tráfego Rodoviário
Agência/Modalidade: CNPq/Editais Universais
Início: 15/12/2009
Conclusão: 15/12/2011
Resumo: O projeto propõe a resolução de dois problemas de  otimização combinatória oriundos do roteamento de veículos em    redes de transporte rodoviário. Ambos os problemas objetivam  definir os pontos de pedágio de uma malha rodoviária, bem como   os valores desses pedágios, de forma que congestionamentos sejam  O projeto propõe a resolução de dois problemas de otimização combinatória oriundos do roteamento de veículos em redes de transporte rodoviário. Ambos os problemas objetivam definir os pontos de pedágio de uma malha rodoviária, bem como os valores desses pedágios, de forma que congestionamentos sejam minimizados considerando que passageiros utilizem os caminhos de menor custo em termos de pedágio.


Coordenador: Marcus Peter Ritt
Projeto: Novos Métodos para Otimização de Linhas de Produção
Agência/Modalidade: FAPERGS
Início: 01/01/2013
Conclusão: 31/12/2014
Resumo: Este projeto de pesquisa tem por objetivo desenvolver novos métodos para o planejamento e a otimização de linhas de produção O projeto foca em dois eixos: linhas de produção com máquinas ou trabalhadores com capacidades heterogêneas, e linhas de produção hierárquicas. O objetivo principal dessa pesquisa são ferramentas que permitem que empresas otimizem linhas de produção mais complexas com as características mencionadas. Para este fim, é necessário desenvolver novos algoritmos aproximativos ou heurísticas que rapidamente produzem soluções de boa qualidade.