Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Otimização Integrada em Aplicações Logísticas, Produção e Transporte
Uma cadeia de suprimentos é, portanto, uma composição de unidades organizacionais visando o melhor atendimento de suas demandas e consumidores, e aumentando a competitividade, explorando diversos tratamentos, metodologias e algoritmos, em diferentes áreas de conhecimento. Nosso objetivo neste projeto é explorar o seu pilar de coordenação, mais especificamente as tecnologias
Testes de interação espaço-temporal em processos pontuais
Vamos estudar dois problemas: o de testar a presença de interação espaço-tempo em dados de processos pontuais e o de monitorar um processo espaço-temporal para identificar padrões emergentes. No primeiro problema, nosso interesse é comparar um teste amplamente usado para testar interação espaço-tempo (o teste de Knox) com um teste
Redes Móveis Autonômicas
O objetivo geral do projeto como um todo é aumentar o desempenho e a robustez de redes móveis, a partir da utilização de protocolos e algoritmos que se adaptam de forma automática a mudanças no ambiente e na rede. Este projeto de pesquisa irá investigar a aplicação do paradigma de
Algoritmos para Problemas de Computação Móvel e Computação Sem Fio
Estudar modelos e algoritmos, com a geração de aplicações em Computação Móvel e Comunicação Sem Fio. Integrantes: Geraldo Robson Mateus – Coordenador / James M Smith – Integrante / Antonio A F Loureiro – Integrante / Mauro N Rocha – Integrante / Frederico R B Cruz – Integrante.
Métodos e Ferramentas de Documentação de Programas e Especificação Formal Executável
Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.
Aprendizado de Máquina Aplicado a Problemas de Recuperação de Informação e Integração de Dados
O projeto em andamento tem como objetivo principal explorar uma técnica de aprendizado de máquina (ou supervisionada), programação genética (PG), na resolução de diversos problemas nas áreas de recuperação de informação e casamento inexato em Sistemas de Informação avançados, com foco principal na Web. Mais especificamente, PG foi utilizada, com bastante sucesso pelo
Sistemas de Middleware Orientados por Aspectos
Este projeto tem como objetivo central o desenvolvimento de sistemas de middleware que sejam menos monolíticos e invasivos e mais modulares e abertos a configurações, extensões, personalizações e manutenções. Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissionalizante: (0) / Doutorado: (0) . Integrantes: Marco
Um Algoritmo de Fusão para Registradores Compartilhados
A fusão de registradores é uma otimização que remove instruções de cópia tais como “a = b” do código fonte. Esta otimização é possível sempre que as variáveis “a” e “b” são associadas ao mesmo registrador físico. Os algoritmos de fusão descritos na literatura normalmente assumem arquiteturas com bancos de
Wave Propagation for Pointer Analysis
This project consists in the design and implementation of a new pointer analysis algorithm that can be parallelized. Integrantes: Fernando Magno Quintão Pereira – Coordenador / Daniel Berlin – Integrante. Número de produções C, T A: 1
