Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Verificação Automática de Sistemas Computacionais de Complexidade Industrial
O objetivo do projeto é ter entre seus membros dois alunos de doutorado e três ou quatro alunos de mestrado a serem definidos posteriormente. Este projeto foi aprovado no edital MCT/CNPq 15/2007, universal em 2007. Enquanto que o projeto anterior prevê viagens e equipamentos para o desenvolvimento da pesquisa, este
Logística, Otimização e Tecnologia em Mineração
Neste projeto de pesquisa, pretendemos desenvolver técnicas de Pesquisa Operacional para otimizar a logística da cadeia produtiva da Vale. Temos como objetivo propor soluções que otimizem todo o sistema produtivo, de forma integrada, bem como os principais sub-sistemas: minas, ferrovia e porto, cada um, com suas particularidades. Para tanto, desenvolveremos
O Impacto da Interatividade em Infra-Estruturas de Redes para Atendimento a Grandes Massas Populacionais
Este projeto tem por objetivo caracterizar e modelar o comportamento tipico de usuarios de midia continua, reavaliar os metodos de distribuicao existentes para cargas realistas e propor otimizacoes necessarias para cenarios praticos.Dada a grande popularidade e aplicabilidade de mídia contínua na internet, faz-se necessário o desenvolvimento de métodos de transmissão,
Redes Sem Fio e de Sensores
Este é um projeto envolvendo as áreas de redes sem fio (RSF) e de redes de sensores sem fio (RSSFs). Redes de computadores sem fio permitem a todos comunicar e compartilhar os mais diversos recursos, independentemente da localização ou de presença física simultânea. Apesar do grande potencial de aplicações das
Algoritmos para o Problema do Caixeiro Viajante com Recolha de Prêmios
Neste projeto, desenvolvemos algoritmos baseados em Relaxação Lagrangeana e Planos de Corte para variantes do Problema do Caixeiro Viajante: a versão com Recolha de Prêmios e a versão distância seletiva. Nesta última, caso um vértice não pertença a rota do caixeiro, deve haver algum vértice na rota que dista não
Bioinformática Estrutural de Proteínas: modelos, algoritmos e aplicações biotecnológicas
Este projeto propõe-se enfrentar dois desafios biotecnológicos de grande relevância nacional. O primeiro envolve a ricina, uma potente fitotoxina encontrada na mamoneira. Co-produtos da produção do óleo de mamona podem conter quantidades letais de ricina. Além do risco de intoxicação animal e humana do bagaço, isso tem dificultado sua reutilização
Uso de Máquinas de Estado Abstratas na Formalização de Agentes em Aplicações de Inteligência Artificial e Jogos
Este trabalho de pesquisa discute a adequação de formalismo ASM para a especificação do comportamento de agentes em aplicações de Inteligência Artificial. Fazendo uso de ferramentas específicas, um dos objetivos desta pesquisa é implementar aplicações de Inteligência Artificial usando-se o paradigma de ASM, bem como avaliar a facilidade de implementação
GreenWeb
Projeto desenvolvido dentro do InWeb – Instituto Nacional de Ciência e Tecnologia para Web que visa o desenvolvimento de técnicas, métricas e métodos para detecção de poluição de conteúdo e promoção de conteúdo de mais alta qualidade na Web 2.0. Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (5) / Doutorado: (3)
Evolução de Modelos de Classificação Hierárquica
Esse projeto tem como principal objetivo desenvolver modelos de classificação hierárquica baseados em algoritmos evolucionários. Além disso, ele também investigará métricas eficazes para avaliação de métodos hierárquicos. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
