2016
| 1. | 2016-Atual. PI2 - Processamento de informações heterogêneas com aprendizado não-supervisionado Descrição: O objetivo deste projeto de pesquisa é desenvolver métodos e algoritmos computacionais para processamento de informações heterogêneas considerando a interdepêndencia entre essas informações. A maioria dos métodos que tratam informações heterogêneas consideram a indepêndencia dos critérios/atributos. O foco será tratar o problema de processamento de informações heterogêneas de forma mais geral considerando informações incertas provindas de fontes diferentes levando em conta a interação entre os critérios/atributos. Para isso a identificação de uma medida fuzzy e o cálculo da integral de Choquet precisam ser realizados. A identificação de uma medida fuzzy quando o número de critérios é grande é um problema NP hard. A complexidade computacional deste problema aumenta exponencialmente, o que torna praticamente muito difícil de resolver. Nesse contexto, métodos de aprendizado de máquina, i.e., redes neurais profundas com aprendizado não supervisionado, e.g, Restricted Boltzmann machines, serão desenvolvidos para calcular a interação entre critérios de informações heterogêneas. Aplicações para tais métodos encontram-se em várias áreas do conhecimento como tomada de decisão, imputação e classificação de dados, fusão de informações.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Renato Antonio Krohling - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Renato Antonio Krohling. |
2015
| 1. | 2015-Atual. Métodos de Otimização para Resolução de Problemas Combinatoriais Descrição: Processo 67627153/2014. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Geraldo Regis Mauri - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa e Inovação do Espírito Santo - Auxílio financeiro. Número de produções C, T A: 5 Membro: Geraldo Regis Mauri. |
2014
| 1. | 2014-Atual. Aplicação de Meta-Heurísticas Recentes na Resolução de Problemas Combinatoriais Descrição: Bolsa de Produtividade em Pesquisa do CNPq - Processo 303052/2013-9 / Taxa de Bancada da FAPES - Processo 73290475/2015. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Geraldo Regis Mauri - Coordenador / Luiz Antonio Nogueira Lorena - Integrante / Glaydston Mattos Ribeiro - Integrante. Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Número de produções C, T A: 16 Membro: Geraldo Regis Mauri. |
| 2. | 2014-Atual. Métodos Heurísticos para Resolução de Problemas de Rotação de Culturas Descrição: Processo 454569/2014-9. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Geraldo Regis Mauri - Coordenador / Luiz Antonio Nogueira Lorena - Integrante / Glaydston Mattos Ribeiro - Integrante. Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T A: 6 Membro: Geraldo Regis Mauri. |
| 3. | 2014-2016. Planejamento de Operações em Terminais Portuários de Granel e Contêiner - ProporMARSES Situação: Concluído; Natureza: Pesquisa. Integrantes: Geraldo Regis Mauri - Integrante / Alexandre César Muniz de Oliveira - Coordenador / Leonardo Dagnino Chiwiacowsky - Integrante. Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Geraldo Regis Mauri. |
2013
| 1. | 2013-2014. E-shape - Evolution of shape Descrição: Este projeto de pesquisa tem por objetivo a geração automática de formas através do uso de algoritmos inspirados biologicamente.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Renato Antonio Krohling - Coordenador / Marco Brunoro - Integrante. Membro: Renato Antonio Krohling. |
| 2. | 2013-2016. Novas Estratégias de Implementação do Método dos Elementos Finitos utilizando Processamento de Alto Desempenho Descrição: Neste projeto atuaremos em três frentes de pesquisa: formulações estabilizadas, aceleradores de convergência para métodos iterativos não estacionários e técnicas de processamento paralelo aplicadas à mecânica dos fluidos computacional. Na área de formulações estabilizadas, investigaremos formulações multiescalas para problemas regidos pelas equações de Navier-Stokes, enfatizando o desenvolvimento de estratégias eficientes de implementação. Na área de aceleradores de convergência para métodos iterativos não estacionários, pretendemos desenvolver estratégias de precondicionamento para sistemas de grande porte oriundos de formulações de elementos finitos, diferenças finitas e volumes finitos. Além disso, vamos investigar estratégias para acelerar processos iterativos de algoritmos de solução de sistemas não-lineares tipo Newton-Krylov, considerando estratégias adaptativas para o cálculo da tolerância do sistema linear e técnicas de globalização para atualização da nova iteração não linear.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (5) / Doutorado: (3) . Integrantes: Lucia Catabriga - Coordenador / Maria Cristina Rangel - Integrante / Regina Célia Almeida - Integrante / Maria Claudia Silva Boeres - Integrante / Isaac Pinheiro dos Santos - Integrante / Alberto Ferreira De Souza - Integrante / Andrea Maria Pedrosa Valli - Integrante. Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Lucia Catabriga. |
| 3. | 2013-2016. PI - Processamento de informações com incertezas Descrição: O objetivo deste projeto de pesquisa é desenvolver algoritmos computacionais para processamento de informações incertas. De um lado, abordagens probabilísticas podem ser usadas para tratar informações numéricas. No entanto, esse tipo de abordagem apresenta deficiências ou mesmo pode ser incapaz de tratar problemas com informações linguísticas. Por outro lado, a modelagem usando lógica fuzzy tem sido bastante promissora e eficaz para solucionar problemas com informações incertas, imprecisas, ou mesmo informações parciais. Nessa pesquisa, o foco será tratar o problema de processamento de informações de forma mais geral considerando informações incertas e probabilísticas. O próposito é combinar abordagens probabilísticas e.g., bayesiana com abordagens fuzzy, Aplicações para uma tal abordagem encontram-se em várias áreas do conhecimento como tomada de decisão, confiabilidade de sistemas, mineração de dados, sistemas de recomendação, análise de riscos, entre outras.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Renato Antonio Krohling - Coordenador / Rodolfo Lourenzutti - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Renato Antonio Krohling. |
2012
| 1. | 2012-Atual. Modelagemmatemáticaemetaheurísticasparaotimizaçãodeproblemasemroteirização Descrição: Utilizando-secomobasemodelagensmatemáticasoumetaheurísticaspretende-se desenvolverferramentaspara problemas de roteirização de interesse dossetoresPúblico e Privado.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: André Renato Sales Amaral - Coordenador. Membro: André Renato Sales Amaral. |
| 2. | 2012-2014. Métodos de Otimização para Problemas Relacionados à Indústria Petrolífera Descrição: Processo: 53630742/2011. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Geraldo Regis Mauri - Integrante / Luiz Antonio Nogueira Lorena - Integrante / Glaydston Mattos Ribeiro - Coordenador / Gilbert Laporte - Integrante / Renato Elias Nunes de Moraes - Integrante / Luís Otávio Rigo Júnior - Integrante. Financiador(es): Fundação de Amparo à Pesquisa e Inovação do Espírito Santo - Auxílio financeiro. Membro: Geraldo Regis Mauri. |
2011
| 1. | 2011-2013. Consolidação das Linhas de Pesquisa em Computação de Alto Desempenho, Otimização e Inteligência Computacional do PPGI-UFES Descrição: Este Projeto tem como objetivo central consolidar as linhas de pesquisa em Computação de Alto Desempenho, Otimização e Inteligência Computacional do Programa de Pós-Graduação em Informática (PPGI) da Universidade Federal do Espírito Santo (UFES), contando para isso com o apoio dos Programas de Pós-Graduação em Engenharia Civil e Engenharia de Sistemas e Computação da COPPE/UFRJ, área interdisciplinar de Computação de Alto Desempenho. Visa dar continuidade aos avanços alcançados com os projetos Fortalecimento das Áreas de Computação de Alto Desempenho, Inteligência Computacional e Otimização do Programa de Pós-Graduação em Informática da UFES - FACADOIC e Fortalecimento das Áreas de Computação de Alto Desempenho e Inteligência Computacional do Programa de Pós-Graduação em Informática da UFES - FACADIC , apoiados pelo CNPq em editais Casadinho anteriores. Serão realizados trabalhos conjuntos entre as equipes da UFES e da COPPE envolvendo a pesquisa sobre modelagem e simulação em sistemas computacionais de alto desempenho nos seguintes temas: (i) estratégias de implementação do método dos elementos finitos utilizando processamento de alto desempenho; (ii) modelos matemático-computacionais de cognição visual aplicados aos problemas de mapeamento e localização simultâneos (Simultaneous Localization and Mapping - SLAM) e navegação de veículos autônomos. Além disso, técnicas de Otimização Combinatória aplicáveis aos temas (i) e (ii) serão investigadas. Com este Projeto espera-se consolidar laços de cooperação para a investigação de questões científicas relevantes na área de Computação de Alto Desempenho, tanto entre os pesquisadores das duas universidades parceiras envolvidos no Projeto como no PPGI.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (5) . Integrantes: Lucia Catabriga - Integrante / Alvaro L G A Coutinho - Integrante / Maria Cristina Rangel - Integrante / Maria Cristina silva Boeres - Integrante / Alberto Ferreira De Souza - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra. Membro: Lucia Catabriga. Descrição: Este Projeto tem como objetivo central consolidar as linhas de pesquisa em Computação de Alto Desempenho, Otimização e Inteligência Computacional do Programa de Pós-Graduação em Informática (PPGI) da Universidade Federal do Espírito Santo (UFES), contando para isso com o apoio dos Programas de Pós-Graduação em Engenharia Civil e Engenharia de Sistemas e Computação da COPPE/UFRJ, área interdisciplinar de Computação de Alto Desempenho. Visa dar continuidade aos avanços alcançados com os projetos Fortalecimento das Áreas de Computação de Alto Desempenho, Inteligência Computacional e Otimização do Programa de Pós-Graduação em Informática da UFES - FACADOIC e Fortalecimento das Áreas de Computação de Alto Desempenho e Inteligência Computacional do Programa de Pós-Graduação em Informática da UFES - FACADIC , apoiados pelo CNPq em editais Casadinho anteriores. Serão realizados trabalhos conjuntos entre as equipes da UFES e da COPPE envolvendo a pesquisa sobre modelagem e simulação em sistemas computacionais de alto desempenho nos seguintes temas: (i) estratégias de implementação do método dos elementos finitos utilizando processamento de alto desempenho; (ii) modelos matemático-computacionais de cognição visual aplicados aos problemas de mapeamento e localização simultâneos (Simultaneous Localization and Mapping - SLAM) e navegação de veículos autônomos. Além disso, técnicas de Otimização Combinatória aplicáveis aos temas (i) e (ii) serão investigadas. Com este Projeto espera-se consolidar laços de cooperação para a investigação de questões científicas relevantes na área de Computação de Alto Desempenho, tanto entre os pesquisadores das duas universidades parceiras envolvidos no Projeto como no PPGI.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (5) . Integrantes: Maria Claudia Silva Boeres - Integrante / Maria Cristina Rangel - Integrante / Elias Silva de Oliveira - Integrante / Flávio Miguel Varejão - Integrante / Lúcia Catabriga - Integrante / Alberto Ferreira de Souza - Coordenador / Andréa Maria Pedrosa Valli - Integrante / Claudio Luiz de Amorim - Integrante / Claudine Badue - Integrante / Thomas Walter Rauber - Integrante / Alvaro Luiz Gayoso de Azeredo Coutinho - Integrante / José Luís Drummond Alves - Integrante / Renato Nascimento Elias - Integrante / Fabio Daros de Freitas - Integrante / José Jerônimo Camata - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra. Membro: Maria Claudia Silva Boeres. |
| 2. | 2011-Atual. Hyb-OPT - Otimização de problemas não lineares com incertezas Descrição: Este projeto de pesquisa objetiva desenvolver algoritmos inspirados em computação natural para obtenção de soluções robustas para problemas de otimização não lineares envolvendo incertezas. Várias abordagens da computação natural, dentre as quais os algoritmos genéticos (GA), estratégias evolutivas (ES), evolução diferencial (DE), otimização por enxame de partículas (PSO), colônia de formigas (ACO) dentre outros, tiveram seu desempenho testado em problemas de otimização com funções objetivos estáticas com bom desempenho. Entretanto, problemas do mundo real são na maioria das vezes acometidos por incertezas e não podem ser modelados simplesmente por uma função objetiva estática. No caso de problemas de otimização com incertezas, o desempenho dos algoritmos biologicamente inspirados também apresenta deterioração de desempenho, fazendo-se necessário o desenvolvimento de novas abordagens para solucionar o problema. De fato, o desenvolvimento de abordagens híbridas tem ganhado destaque na literatura para solução de problemas complexos. Na primeira fase do projeto, esforços seram direcionados para o desenvolvimento de novos algoritmos híbridos combinando algoritmos inspirados biologicamente com métodos de busca local. A seguir, no que diz respeito à aplicações, os algoritmos desenvolvidos serão aplicados para solucionar problemas de otimização com incertezas modelados usando números fuzzy tanto para variaveis contínuas como inteiras. Exemplos deste tipo de problemas ocorrem em várias áreas de engenharia altamente relevantes para vários setores da economia como gerenciamento da cadeia de suprimentos, leilões de oferta de energia entre outros.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Renato Antonio Krohling - Coordenador / Gilberto Alves Santos Segundo - Integrante. Membro: Renato Antonio Krohling. |
| 3. | 2011-2014. Novas Abordagens para o Tratamento de Alguns Problemas de Otimização Combinatória Descrição: Bolsa de Produtividade em Pesquisa do CNPq - Processo 300747/2010-1 / Taxa de Bancada da FAPES - Processo 59830042/2012. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (1) / Doutorado: (1) . Integrantes: Geraldo Regis Mauri - Coordenador / Luiz Antonio Nogueira Lorena - Integrante / Glaydston Mattos Ribeiro - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa e Inovação do Espírito Santo - Auxílio financeiro. Número de produções C, T A: 20 / Número de orientações: 11 Membro: Geraldo Regis Mauri. |
| 4. | 2011-2013. Novas Alternativas para Resolução do Problema de Alocação de Berços Descrição: Processo 477148/2011-5. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Geraldo Regis Mauri - Coordenador / Luiz Antonio Nogueira Lorena - Integrante / Glaydston Mattos Ribeiro - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Número de produções C, T A: 14 / Número de orientações: 1 Membro: Geraldo Regis Mauri. |
| 5. | 2011-Atual. TDCR - Tomada de Decisão em Condições de Risco Descrição: Neste projeto de pesquisa, o objetivo será avaliar aspectos do processo de tomada de decisão sob condições de risco usando a abordagem conhecida como Tomada de Decisão Multicritério. Algoritmos para tomada de decisão em condições incertas e sob risco serão desenvolvidos.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Renato Antonio Krohling - Coordenador / Talles Tatagiba Martins de Souza - Integrante. Membro: Renato Antonio Krohling. |
2010
| 1. | 2010-2013. Estratégias de Implementação do Método dos Elementos Finitos utilizando Processamento de Alto Desempenho Descrição: Nas últimas décadas, a popularização dos computadores de alto desempenho apresentou um impacto representativo nas ciências. O uso de métodos computacionais para simular fenômenos físicos possibilitou avanços significativos em tecnologias que afetam drasticamente todos os aspectos da vida humana. É possível afirmar que estamos no limiar de uma nova era, ultrapassando barreiras que apenas imaginávamos existir a alguns anos. Tais fatos são consequência da crescente oportunidade de integrar e estender as capacidades de modelagem e simulação computacional em larga-escala com as tecnologias emergentes de tratamento, visualização e extração do conhecimento de grandes massas de dados, computação distribuída e em grade, e o desenvolvimento da infra-estrutura de redes de altas velocidades. Em consonância com esses desenvolvimentos, observa-se uma necessidade crescente de novas metodologias voltadas para simulações de problemas envolvendo múltiplas escalas espaciais e temporais e múltiplas físicas acopladas. Encontram-se desafios desta natureza em diversos problemas das ciências tendo em comum a necessidade de ferramentas de simulação adequadas, envolvendo os modelos matemáticos e sua discretização, técnicas de solução para problemas multi-física, simulação multi-escala, solucionadores rápidos e protótipos de sistemas computacionais para simulações em larga escala. Neste projeto, estudaremos técnicas computacionais de alto desempenho tomando-se como técnica básica de discretização o método dos elementos finitos. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (1) . Integrantes: Lucia Catabriga - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Lucia Catabriga. |
| 2. | 2010-2013. Núcleo de Excelência em Computação de Alto Desempenho e sua Aplicação em Computação Científica e Inteligência Computacional Descrição: Com este projeto esperamos criar e consolidar o Núcleo de Excelência em Computação de Alto Desempenho e sua Aplicação em Computação Científica e Inteligência Computacional (NECAD) da UFES por meio da aquisição de infra-estrutura adicional e da realização de pesquisa, em conjunto com pesquisadores da COPPE/UFRJ, em computação de alto desempenho e sua aplicação em computação científica e inteligência computacional. Hoje, observa-se uma necessidade crescente de novas técnicas dentro da área de computação científica para viabilizar simulações de problemas envolvendo múltiplas escalas espaciais e temporais e múltiplas físicas acopladas. Para contribuirmos nesta área, avançaremos em nossas investigações sobre novas formulações e técnicas de implementação do método dos elementos finitos, e novas estratégias de solução dos sistemas lineares resultantes não só de formulações de elementos finitos, mas também de diferenças finitas ou volumes finitos. Com o apoio a este projeto, avançaremos também em nossas investigações sobre modelos matemático-computacionais de cognição visual aplicados ao problema de mapeamento e localização simultâneos de veículos autônomos. Para isso, aprofundaremos nossos estudos sobre a biologia da cognição visual e sobre novos modelos matemático-computacionais de áreas do cérebro envolvidas com a cognição visual. Estes modelos, dada sua complexidade, demandam grande esforço computacional e, portanto, requerem computação de alto desempenho. Com a criação do NECAD, esforços serão canalizados para o desenvolvimento de novas bibliotecas numéricas de apoio ao desenvolvimento de código para a solução de problemas multi-física, simulação multi-escala, solucionadores rápidos, além de protótipos de sistemas computacionais para simulações em larga escala. Buscaremos também estender o estado da arte em Cognição Visual Artificial por meio da implementação de um veículo autônomo baseado em um automóvel comercial e do seu uso em pesquisas científicas que subsidi.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (6) / Especialização: (5) / Mestrado acadêmico: (5) / Doutorado: (2) . Integrantes: Lucia Catabriga - Integrante / Alvaro L G A Coutinho - Integrante / Edilson Luiz do Nascimento - Integrante / Thomas Walter Rauber - Integrante / Maria Cristina Rangel - Integrante / Claudio Luis de Amorim - Integrante / Maria Claudia Silva Boeres - Integrante / Alberto Ferreira De Souza - Coordenador / Claudine Badue - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Espírito Santo - Auxílio financeiro. Membro: Lucia Catabriga. Descrição: Com este projeto esperamos criar e consolidar o Núcleo de Excelência em Computação de Alto Desempenho e sua Aplicação em Computação Científica e Inteligência Computacional (NECAD) da UFES por meio da aquisição de infra-estrutura adicional e da realização de pesquisa, em conjunto com pesquisadores da COPPE/UFRJ, em computação de alto desempenho e sua aplicação em computação científica e inteligência computacional. Hoje, observa-se uma necessidade crescente de novas técnicas dentro da área de computação científica para viabilizar simulações de problemas envolvendo múltiplas escalas espaciais e temporais e múltiplas físicas acopladas. Para contribuirmos nesta área, avançaremos em nossas investigações sobre novas formulações e técnicas de implementação do método dos elementos finitos, e novas estratégias de solução dos sistemas lineares resultantes não só de formulações de elementos finitos, mas também de diferenças finitas ou volumes finitos. Com o apoio a este projeto, avançaremos também em nossas investigações sobre modelos matemático-computacionais de cognição visual aplicados ao problema de mapeamento e localização simultâneos de veículos autônomos. Para isso, aprofundaremos nossos estudos sobre a biologia da cognição visual e sobre novos modelos matemático-computacionais de áreas do cérebro envolvidas com a cognição visual. Estes modelos, dada sua complexidade, demandam grande esforço computacional e, portanto, requerem computação de alto desempenho. Com a criação do NECAD, esforços serão canalizados para o desenvolvimento de novas bibliotecas numéricas de apoio ao desenvolvimento de código para a solução de problemas multi-física, simulação multi-escala, solucionadores rápidos, além de protótipos de sistemas computacionais para simulações em larga escala. Buscaremos também estender o estado da arte em Cognição Visual Artificial por meio da implementação de um veículo autônomo baseado em um automóvel comercial e do seu uso em pesquisas científicas.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (5) / Doutorado: (2) . Integrantes: Maria Claudia Silva Boeres - Integrante / Maria Cristina Rangel - Integrante / Elias Silva de Oliveira - Integrante / Lúcia Catabriga - Integrante / Alberto Ferreira de Souza - Coordenador / Andréa Maria Pedrosa Valli - Integrante / Claudio Luiz de Amorim - Integrante / Claudine Badue - Integrante / Thomas Walter Rauber - Integrante / Isaac Pinheiro dos Santos - Integrante / Alvaro Luiz Gayoso de Azeredo Coutinho - Integrante / Edilson Luiz do Nascimento - Integrante / Sérgio Nery Simões - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Espírito Santo (FAPES) - Auxílio financeiro. Membro: Maria Claudia Silva Boeres. |
| 3. | 2010-2011. Otimização Combinatória Aplicada a Atividades Portuárias no Estado do Espírito Santo Descrição: Processo 45391998/09. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) . Integrantes: Geraldo Regis Mauri - Coordenador / Luiz Antonio Nogueira Lorena - Integrante / Alexandre César Muniz de Oliveira - Integrante / Glaydston Mattos Ribeiro - Integrante. Financiador(es): Fundação de Amparo à Pesquisa e Inovação do Espírito Santo - Auxílio financeiro. Número de produções C, T A: 26 / Número de orientações: 2 Membro: Geraldo Regis Mauri. |
2009
| 1. | 2009-2012. DETEC- Detecção e rastreamento Descrição: a meta consiste em desenvolver algoritmos e técnicas para deteção e rastreamento baseado em computação bayesiana. Situação: Concluído; Natureza: Pesquisa. Integrantes: Renato Antonio Krohling - Coordenador / Leandro Muniz de Lima - Integrante. Membro: Renato Antonio Krohling. |
| 2. | 2009-2011. Fortalecimento das Áreas de Computação de Alto Desempenho, Otimização e Inteligência Computacional do Programa de Pós-Graduação em Informática da UFES Descrição: Este Projeto tem como objetivo central fortalecer e incrementar as interações entre as linhas de pesquisa em Computação de Alto Desempenho, Otimização e Inteligência Computacional do Programa de Pós-Graduação em Informática (PPGI) da Universidade Federal do Espírito Santo (UFES), contando para isso com o apoio dos Programas de Pós-Graduação em Engenharia Civil e Engenharia de Sistemas e Computação da COPPE/UFRJ, área interdisciplinar de Computação de Alto Desempenho. Este projeto visa dar continuidade aos avanços alcançados com o projeto Fortalecimento das Áreas de Computação de Alto Desempenho e Inteligência Computacional do Programa de Pós-Graduação em Informática da UFES - FACADIC , apoiado pelo CNPq no edital Casadinho anterior. Serão realizados trabalhos conjuntos entre as equipes da UFES e da COPPE envolvendo a pesquisa sobre modelagem e simulação em sistemas computacionais de alto desempenho nos seguintes temas: (i) estratégias de implementação do método dos elementos finitos utilizando processamento de alto desempenho; (ii) programação de sistemas many-core; e (iii) computação científica combinatória. Com este Projeto espera-se estabelecer laços de cooperação para a investigação de questões científicas relevantes na área de Computação de Alto Desempenho, tanto entre os pesquisadores das duas universidades parceiras envolvidos no Projeto como no PPGI. Os elementos integradores dos trabalhos de pesquisa a serem realizados nesse Projeto serão o estudo e o desenvolvimento de técnicas, algoritmos, metodologias, hardware e software para aplicações da computação paralela em mecânica dos fluidos, otimização combinatória e aprendizado de máquina. Aplicações práticas envolvem, dentre outras, problemas com múltiplas físicas acopladas (multi-físicas) em dinâmica dos fluidos, predição do risco ou do valor futuro de ativos financeiros, a classificação de operações com cartão de crédito como fraudulentas ou não, seleção de características em problemas de reconhecimento.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (6) / Doutorado: (3) . Integrantes: Lucia Catabriga - Integrante / Alvaro L G A Coutinho - Integrante / Andrea Maria Pedrosa Valli - Integrante / Thomas Walter Rauber - Integrante / Maria Cristina Rangel - Integrante / Claudio Luis de Amorim - Integrante / Maria Claudia Silva Boeres - Integrante / Elias Oliveira da Silva - Integrante / Isaac Pinheiro dos Santos - Integrante / Alberto Ferreira De Souza - Coordenador / Claudine Badue - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Lucia Catabriga. Descrição: Este Projeto tem como objetivo central fortalecer e incrementar as interações entre as linhas de pesquisa em Computação de Alto Desempenho, Otimização e Inteligência Computacional do Programa de Pós-Graduação em Informática (PPGI) da Universidade Federal do Espírito Santo (UFES), contando para isso com o apoio dos Programas de Pós-Graduação em Engenharia Civil e Engenharia de Sistemas e Computação da COPPE/UFRJ, área interdisciplinar de Computação de Alto Desempenho. Este projeto visa dar continuidade aos avanços alcançados com o projeto Fortalecimento das Áreas de Computação de Alto Desempenho e Inteligência Computacional do Programa de Pós-Graduação em Informática da UFES - FACADIC , apoiado pelo CNPq no edital Casadinho anterior. Serão realizados trabalhos conjuntos entre as equipes da UFES e da COPPE envolvendo a pesquisa sobre modelagem e simulação em sistemas computacionais de alto desempenho nos seguintes temas: (i) estratégias de implementação do método dos elementos finitos utilizando processamento de alto desempenho; (ii) programação de sistemas many-core; e (iii) computação científica combinatória. Com este Projeto espera-se estabelecer laços de cooperação para a investigação de questões científicas relevantes na área de Computação de Alto Desempenho, tanto entre os pesquisadores das duas universidades parceiras envolvidos no Projeto como no PPGI. Os elementos integradores dos trabalhos de pesquisa a serem realizados nesse Projeto serão o estudo e o desenvolvimento de técnicas, algoritmos, metodologias, hardware e software para aplicações da computação paralela em mecânica dos fluidos, otimização combinatória e aprendizado de máquina. Aplicações práticas envolvem, dentre outras, problemas com múltiplas físicas acopladas (multi-físicas) em dinâmica dos fluidos, predição do risco ou do valor futuro de ativos financeiros, a classificação de operações com cartão de crédito como fraudulentas ou não, seleção de características em problemas de reconhecimento.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (6) / Especialização: (0) / Mestrado acadêmico: (6) / Mestrado profissional: (0) / Doutorado: (3) . Integrantes: Maria Claudia Silva Boeres - Integrante / Maria Cristina Rangel - Integrante / Elias Silva de Oliveira - Integrante / Lúcia Catabriga - Integrante / Alberto Ferreira de Souza - Coordenador / Andréa Maria Pedrosa Valli - Integrante / Claudio Luiz de Amorim - Integrante / Claudine Badue - Integrante / Thomas Walter Rauber - Integrante / Isaac Pinheiro dos Santos - Integrante / Alvaro Luiz Gayoso de Azeredo Coutinho - Integrante / José Luís Drummond Alves - Integrante / Renato Nascimento Elias - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro. Membro: Maria Claudia Silva Boeres. |
| 3. | 2009-2011. Investigação de técnicas eficientes para problemas difíceis de otimização em Operações e Logística Descrição: O objetivo deste projeto é conceber, implementar e testar métodos de solução eficientes para problemas de otimização difíceis que ocorrem em Operações e Logística.. Situação: Concluído; Natureza: Pesquisa. Integrantes: André Renato Sales Amaral - Coordenador. Membro: André Renato Sales Amaral. |
2008
| 1. | 2008-2013. GRAIL - Graphs for Abstract Interpretation of Languages Descrição: As more and more systems in our everyday environment contain major software parts, and we are depending on such systems more and more (we are counting on them), the importance of the de- pendability of the embedded software is increasing. Unfortunately, there are still very few generally applicable methods for software verification, i.e., the ensurance of its correct functioning under all circumstances. Reasons for this are, one the one hand, the degree of expertise necessary for existing verification methods, and on the other, their poor embedding in the average software development trajectory. An important practical objection is, moreover, that current verification methods typically assume the existence of a sufficiently detailed and precise model of system behaviour. In practice such models hardly ever exist, and the time and expertise to construct them is missing. Examples of methods that are being used widely in practice are therefore typing and testing, neither of which necessarily depends on the existence of models. In this procect we investigate a new way of automatically verifying software on the basis of code, without assuming a predefined model. The technique used is static analysis, a general principle that encompasses typing; the new aspect is the use of graph transformations to capture the effect of the software. Graphs offer a natural model for the behaviour of dynamic software systems, and at the same time offer the basis for a generic form of static analysis, which can be driven by the properties to be verified.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Eduardo Zambon - Integrante / RENSINK, AREND - Coordenador. Membro: Eduardo Zambon. |
| 2. | 2008-2011. PSO-N - PSO for noisy environment Descrição: In this project, we investigate the use of some well known versions of Particle Swarm Optimization on noisy optimization problems. A hybrid approach which consists of the swarm algorithms combined with a strategy to maintain the diversity of the population will be developed. Here, we focus on investigating the diversity strategy to the swarm algorithms applied to noisy optimization problems. The hybrid approach will be compared experimentally on different noisy benchmark functions.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Renato Antonio Krohling - Coordenador / Mauro C. M. Campos - Integrante / Eduardo Mendel - Integrante. Membro: Renato Antonio Krohling. |
2007
| 1. | 2007-2009. Ajuste no Cálculo de Perdas Técnicas a partir de Estimativa de Perdas Comerciais Descrição: O problema abordado nesse projeto de pesquisa diz respeito ao cálculo de perdas técnicas em sistemas de distribuição de energia elétrica. O que se pretende é desenvolver uma metodologia para levar em conta as perdas comerciais no cálculo da perda técnica. Para que essa metodologia possa ser mais efetiva é necessário obter funções que estimem as perdas comerciais em cada alimentador. Contudo, essas funções são desconhecidas e necessitam ser aproximadas através de técnicas como redes neurais ou sistemas nebulosos aplicadas sobre estimativas de perdas obtidas de dados históricos de inspeções.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . Integrantes: Eduardo Zambon - Integrante / Flávio Miguel Varejão - Coordenador. Membro: Eduardo Zambon. |
| 2. | 2007-2009. Estratégias de Implementação do Método dos Elelmentos Finitos utiliando Processamento de Alto Desempenho aplicado a Escoamentos em Meios Porosos - FEMEPOR Descrição: O objetivo deste projeto é o desenvolvimento de técnicas computacionais de alto desempenho que visam auxiliar a produção de óleos pesados tomando-se como técnica básica de discretização o método dos elementos finitos. O método dos dos elementos finitos tem sido amplamente aplicado em uma grande variedade de problemas envolvendo fluxo de fluidos em meios porosos. Para problemas bi e tri-dimensionais, elementos finitos triangulares e tetraédricos são particularmente usados considerando malhas não-estruturadas, facilitando a implementação de técnicas adaptativas, baseadas em refinamentos da malha em regiões com maior dificuldade na aproximação da solução.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) . Integrantes: Lucia Catabriga - Coordenador / Loyde Novais da Cruz - Integrante / Adriana Da Costa Boarbosa - Integrante / Bruno Henrique Succhy Macedo Brasil - Integrante. Membro: Lucia Catabriga. |
| 3. | 2007-2009. Estudo de Problemas de Otimização em Logística Ferroviária Descrição: Neste projeto de pesquisa será estudada a aplicação de métodos híbridos (exatos + heurísticos) em problemas de transporte ferroviário, acreditando ser uma boa alternativa para gerar soluções mais robustas e de melhor qualidade para muitos dos problemas práticos desta área, resolvidos atualmente por métodos manuais ou até mesmo automáticos, porém sem bons critérios de otimização. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . Integrantes: Maria Claudia Silva Boeres - Coordenador. Número de orientações: 2 Membro: Maria Claudia Silva Boeres. |
| 4. | 2007-Atual. SIADES - Desenvolvimento de um sistema inteligente de apoio à tomada de decisão baseado em inteligência computacional aplicado ao gerenciamento de respostas ao derramamento de óleo Descrição: A seleção das estratégias de combate ao derramamento de óleo no mar, quando vários critérios e vários agentes tomadores de decisão estão envolvidos, não é tarefa fácil. Em caso de derramamento de óleo, decisões urgentes devem ser tomadas para que as opções disponíveis de limpeza e contenção sejam ativadas de tal forma que os impactos ambientais, sociais e econômicos sejam minimizados. Nesse caso, os agentes envolvidos i.e., órgãos municipais e estaduais do meio ambiente, organizações não governamentais e empresas envolvidas, inevitavelmente entram em conflito no processo de decisão, cada um (a) representando interesses próprios. Nesse caso, um consenso para se obter a melhor solução viável é de grande importância. As vantagens e desvantagens dos diferentes tipos de resposta de combate devem ser ponderadas, pois de um lado se tem o custo com as operações de combate, e do outro se busca o menor impacto ambiental. Neste contexto, o processo para se formar um consenso e elaborar estratégias de resposta envolve necessariamente um processo de tomada de decisão com múltiplos objetivos que considera vários agentes envolvidos, para que a importância de fatores sociais, econômicos e ambientais seja considerada. Neste trabalho, será desenvolvido um método de avaliação fuzzy para auxilio à tomada de decisão com agentes tomadores de decisão envolvidos no plano de contingência. O método é aplicado para avaliar alternativas de resposta a derramamento de óleo pesado no litoral sul do ES.. Situação: Em andamento; Natureza: Pesquisa. Integrantes: Renato Antonio Krohling - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Espírito Santo - Bolsa. Membro: Renato Antonio Krohling. |
2006
| 1. | 2006-2008. Fortalecimento das Áreas de Computação de Alto Desempenho e Inteligência Computacional do Programa de Pós-Graduação em Informática da UFES Descrição: A presente projeto tem como objetivo central fortalecer e incrementar as interações entre as linhas de pesquisa de Inteligência Computacional e Computação de Alto Desempenho do Programa de Pós-graduação em Informática da UFES, contando para isso com o apoio de grupos de pesquisa de programas de pós-graduação já consolidados da COPPE/UFRJ e da USP/São Carlos. O grupo de pesquisadores da COPPE/UFRJ irá apoiar e interagir fundamentalmente com os pesquisadores da linha de Computação de Alto Desempenho do programa não consolidado, enquanto que o grupo de pesquisa da USP/São Carlos irá interagir e apoiar os pesquisadores da linha de Inteligência Computacional.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (10) Doutorado: (9) . Integrantes: Lucia Catabriga - Integrante / Alvaro L G A Coutinho - Integrante / Andrea Maria Pedrosa Valli - Integrante / A.F. De Souza - Coordenador / Jose Jeronimo Camata - Integrante / Thomas Walter Rauber - Integrante / Flávio Miguel Varejão - Integrante. Financiador(es): Universidade de São Paulo - São Carlos - Cooperação / Universidade Federal do Rio de Janeiro - Cooperação. Número de produções C, T A: 1 / Número de orientações: 2 Membro: Lucia Catabriga. |
| 2. | 2006-2007. Técnicas para Análise Lógica de Dados Descrição: O projeto se propõe estudar e desenvolver métodos para Análise Lógica de Dados. O objetivo da análise lógica de dados é descobrir informações ocultas em dados do mundo real, de forma a permitir um entendimento do porquê e de como certos fenômenos ocorrem. Este conhecimento pode então ser aplicado de forma a impulsionar avanços em uma ou mais áreas de aplicação.. Situação: Concluído; Natureza: Pesquisa. Integrantes: André Renato Sales Amaral - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: André Renato Sales Amaral. |
2005
| 1. | 2005-2008. Metodologia Híbrida para Resolução do Problema Dial-a-Ride Descrição: Processo 2004/11053-9. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Geraldo Regis Mauri - Integrante / Luiz Antonio Nogueira Lorena - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T A: 20 Membro: Geraldo Regis Mauri. |
| 2. | 2005-2006. O estudo do Problema de Correspondência de Grafos Aplicado À Detecção de similaridades entre mapas conceituais Descrição: Uma formulação matemática do problema de correspondência de grafos (PCG), mais genérica, que represente outras aplicações nas quais a identificação de preservação estrutural de grafos é importante se faz desejável. Pretende-se aprimorar a formulação já proposta do PCG, adaptando-a para uma aplicação em recuperação inteligente de informação, a saber, a comparação de mapas conceituais para representação de documentos, assim como investigar a utilização de métodos heurísticos como GRASP para a resolução desse problema, comparando-os com métodos já existentes para a comparação de mapas conceituais.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Maria Claudia Silva Boeres - Coordenador / Crediné Silva de Menezes - Integrante / Davidson Cury - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Espírito Santo (FAPES) - Auxílio financeiro. Número de produções C, T A: 2 / Número de orientações: 2 Membro: Maria Claudia Silva Boeres. |
| 3. | 2005-2007. Otimização de Dispositivos de Proteção Instalados na Rede de 15 kV Descrição: Projeto de pesquisa da Universidade Federal do Espírito Santo, financiado pela ESCELSA - Espírito Santo Centrais Elétricas S.A, que tem como objetivo estudar técnicas para a alocação automática e interativa de equipamentos de proteção na rede de distribuição de energia elétrica. Estão sendo estudadas técnicas de simulação, meta-heurísticas e programação matemática.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . Integrantes: Eduardo Zambon - Integrante / Berilhes Borges Garcia - Coordenador / Flávio Miguel Varejão - Integrante / Sergio Antônio Andrade de Freitas - Integrante. Financiador(es): Espírito Santo Centrais Elétricas S.A. - Auxílio financeiro. Membro: Eduardo Zambon. |
2004
| 1. | 2004-2007. Elementos Finitos Adaptativos com Processamento de Alto Desempenho Descrição: O projeto APFE trata do estudo e implementação de técnicas adaptativas para o método dos elementos finitos, aplicado a problemas de escoamentos em meios porosos, com computação de alto desempenho e utilizando a biblioteca LIbMesh. A simulação numérica de escoamentos complexos demanda algoritmos eficientes e plataformas computacionais velozes. O uso de técnicas adaptativas permite ajustar a discretização de acordo com as necessidades da análise, mas gera dificuldades para o gerenciamento de um programa paralelo. São necessárias técnicas de implementação computacionais eficientes de um método adaptativo que consiga representar as novas configurações da malha de elementos finitos ao mesmo tempo em que saiba lidar com a distribuição do domínio nos diversos processadores.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . Integrantes: Lucia Catabriga - Integrante / Alvaro L G A Coutinho - Coordenador / Andrea Maria Pedrosa Valli - Integrante / Graham F. Carey - Integrante / Jose Jeronimo Camata - Integrante. Financiador(es): University of Texas at Austin - Cooperação / Universidade Federal do Rio de Janeiro - Cooperação. Número de produções C, T A: 7 / Número de orientações: 1 Membro: Lucia Catabriga. |
| 2. | 2004-2006. S-PSO - Sampling PSO Descrição: The Particle Swarm Optimization (PSO) algorithm is motivated from the simulation of social behavior instead of the evolution of nature as in the other evolutionary algorithms (genetic algorithms, evolutionary programming, evolutionary strategies, and genetic programming). It is a population-based evolutionary algorithm. Similar to the other population-based evolutionary algorithms, PSO is initialized with a population of random solutions. Unlike the most of the evolutionary algorithms, each potential solution (individual) in PSO is also associated with a randomized velocity, and the potential solutions, called particles, are then ?flown? through the problem space. The standard version of PSO may also get stuck into local minima when optimizing functions with many local minima in high dimensional search space. In this project, we aim at improving the performance of the standard PSO by introducing the Gaussian, Cauchy and Exponential probability distributions into PSO in order to generate the stochastic terms. Simulation results will be carried out to show that the performance of the resulting Sampling PSO algorithm can be improved considerably as compared to the standard one.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Renato Antonio Krohling - Coordenador. Membro: Renato Antonio Krohling. |
2003
| 1. | 2003-2005. Estratégias de Implementação do Método dos elementos Finitos Descrição: O principal objetivo deste projeto é desenvolver estratégias para diminuir o tempo de processamento em implementações do método dos elementos finitos aplicado a problemas de mecânica dos fluidos utilizando elementos triangulares lineares. Deseja-se obter um código paralelo usando MPI para problemas compressíveis bidimensionais. Deseja-se obter uma nova implementação da equação de Navier-stokes usando uma estrutura de dados baseada nas arestas para armazenar o produto matriz-vetor necessário na solução dos sistemas lineares resultantes por métodos iterativos não-estacionários. Testes comparativos entre as novas estratégias adotadas e as existentes forrão desenvolvidos.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . Integrantes: Lucia Catabriga - Coordenador / L. Muniz - Integrante / Bruno Zanetti Melotti - Integrante. Número de produções C, T A: 5 / Número de orientações: 3 Membro: Lucia Catabriga. |
| 2. | 2003-2006. Hyd-Valve - Particle Swarm Optimization Applied to a Control System of a Industrial Hydraulic Valve Descrição: In this project, the goal is to apply swarm intelligence based algorithms for a real-world optimization problem, i.e., a hardware-in-the-loop optimization of a control system. The plant consists of an industrial hydraulic valve. The controller is made up of a combination of an extended Proportional-Integral (PI) controller and a state feedback controller, both with fixed-structure. The parameters of the controllers are found by means of Particle Swarm Optimization (PSO). The new versions of PSO algorithms developed using the Gaussian probability distribution have provided very good results.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Renato Antonio Krohling - Coordenador / M. Sternke - Integrante / D. Schauten - Integrante. Financiador(es): Robert Bosch Gmbh - Cooperação. Membro: Renato Antonio Krohling. |
| 3. | 2003-2005. Novas Heurísticas para o Problema de Escalas de Tripulações Descrição: Processo 2003/04547-2. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Geraldo Regis Mauri - Integrante / Luiz Antonio Nogueira Lorena - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T A: 5 Membro: Geraldo Regis Mauri. |
2002
| 1. | 2002-2004. Estudo de Algoritmos Heurísticos para Reconhecimento de Cenas por Correspondência de Grafos Descrição: Esse projeto de pesquisa consiste na proposta de algoritmos heurísticos para a solução do problema de correspondência de grgafos. Esse problema, definido como um problema de otimização combinatória é aquele do reconhecimento estrutural de objetos dee uma cena complexa usando um modelo complexo. A resolução desse tipo de problema torna-se difícil devido a similaridades entre diferentes objetos da cena e a grande variabilidade de um mesmo objeto em diferentes instanciações da cena. Pretende-se também neste projeto, efetuar um estudo comparativo dos algoritmos propostos, com aqueles existentes na literatura, aplicados a problemas reais dee reconhecimento de cenas.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) . Integrantes: Maria Claudia Silva Boeres - Coordenador. Número de produções C, T A: 2 / Número de orientações: 2 Membro: Maria Claudia Silva Boeres. |
| 2. | 2002-2003. Resolução do Problema de Programação de Tripulações de um Sistema de Transporte Público via Simulated Annealing Descrição: Desenvolvimento de um sistema para a solução do problema de programação da tripulação (PPT) do sistema de transporte público rodoviário (escalonamento de motoristas e cobradores) via metaheurística Simulated Annealing utilizando a ferramenta de programação C++ Builder 6. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Geraldo Regis Mauri - Integrante / Marcone Jamilson Freitas Souza - Coordenador / Gustavo Peixoto Silva - Integrante. Número de produções C, T A: 3 Membro: Geraldo Regis Mauri. |
2001
| 1. | 2001-2002. Algoritmos Heurísticos para o Problema de Correspondência entre Grafos de Atributos Difusos (PCGAD) Descrição: Várias aplicações na área de reconhecimento de imagens podem ser modeladas por correspondência de grafos. Imagens são representadas por grafos, que são comparados para a detecção de similaridades. Com a proposta de métodos de busca eficientes para o espaço de soluções deste problema, visa-se possibilitar o reconhecimento automático de imagens.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Maria Claudia Silva Boeres - Coordenador. Número de produções C, T A: 3 Membro: Maria Claudia Silva Boeres. |
| 2. | 2001-2004. POETIC Tissue Descrição: A major EU project that aims to produce an electronic substrate that will have the capabilities of evolution, growth, self-repair and self-replication. Inspiration is taken from biological processes (evolutionary, developmental and learning processes) to help develop such a substrate. You might imagine an electronic substrate that will evolve to its environment and change its "shape" to optimise its operation; It might provide growth, in the form of information to allow it to adapt to certain unpredicted events; It will be able to react to faults and recovery from these and replicate its function as and when required. The project is funded by the European Union Fifth framework, under the Neuroinformatics for "living" artefacts Initiative of the Information Society Technologies (IST) Programme. The partners working towards the above goals are: University of York (UK), EPFL (CH), University of Lausanne (CH), University of Barcelona (ES) and University of Glasgow (UK).. Situação: Concluído; Natureza: Pesquisa. Integrantes: Renato Antonio Krohling - Integrante / Andy M. Tyrrell - Coordenador. Financiador(es): European Union, under the framework Information Society Technologies (IST) - Auxílio financeiro. Membro: Renato Antonio Krohling. |
2000
| 1. | 2000-2001. CPSO - Co-evolutionary Particle Swarm Optimization Descrição: Borrowing concepts from Evolutionary Algorithms, we develop for the first time, a Co-evolutionary Particle Swarm Algorithm based on two populations of swarms to solve min-max optimization problems and optimal robust control problems.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Renato Antonio Krohling - Integrante / Renato A. krohling - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Membro: Renato Antonio Krohling. |