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
Análise Multirresolução de Imagens Baseada em Dependência Espacial Modelada por Campos Aleatórios de Markov
Apesar do crescente interesse na abordagem de segmentação que considera a dependência espacial, há um número pequeno de trabalhos utilizando campo aleatório de Markov para análise de imagens. A escolha desta técnica de segmentação pode ser considerada como uma contribuição para a literatura, particularmente no país, onde há ainda poucos
Cooperação entre Robôs Móveis e Redes de Sensores Sem Fio
Este projeto tem por objetivo investigar o problema da cooperação entre agentes móveis autônomos terrestres e aéreos e redes de nós sensores sem fio estáticas e móveis (RSSFE e RSSFM), levando-se em conta aspectos dinâmicos e estocásticos. Trata-se de um problema de grande interesse pela redução significativa nas restrições determinísticas
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
Fapemig/Programa Pesquisador Mineiro: Suporte de Sistemas a Aplicações Distribuídas de Alto Desempenho
Este projeto aborda o problema de oferecer a aplicações distribuídas um ambiente de execução que lhes permita atingir o melhor desempenho possível. Para isso pretende-se utilizar uma abordagem sistêmica que não ignore as interações entre sistemas de E/S, escalonadores, protocolos de rede, interfaces de programação e sistemas de memória, sabendo
Redes Sem Fio Adaptativas
Projeto Fapemig PPP (Programa Primeiros Projetos), de 24 meses. Nas redes sem fio não estruturadas, os dispositivos sem fio repassam os dados entre si, passando de um nó ao outro até que a informação transmitida chegue ao seu destinatário. Estas redes se encontram em ambientes extremamente dinâmicos, assim a rede
Soluções de Computação Visual e Inteligência de Máquina para Computação Forense e Vigilância Eletrônica
Atividades criminais variam em escopo e complexidade, mas existem em todos os setores da sociedade. Com o desenvolvimento tecnológico, os crimes tornaram-se mais sofisticados migrando do mundo físico e atingindo, também, o mundo virtual. Diante das inúmeras formas que as atividades ilegais podem tomar, a saída para a sociedade moderna
Análise de Imagens Baseada em Descritores Texturais
Classificação é o processo de extração de informação em imagens para reconhecer padrões ou objetos homogêneos que são utilizados para identificar regiões correspondendo a temas de interesse. O objetivo é obter uma descrição que contém informação suficiente para distinguir diferentes objetos. Normalmente, o processo de reconhecimento é baseado em níveis
Conectividade em Módulos
O objetivo geral deste projeto é investigar a predição de esforço de manutenção de softwares orientados por objetos tendo como premissa que o grau de conectividade é o fator que pode ser usado para tal predição. Conectividade é o grau de intercomunicação entre os módulos de um sistema. Dentre os
