Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Algoritmos e Interfaces para Enxames de Robôs
O objetivo principal desse projeto é investigar, desenvolver e avaliar algoritmos e interfaces para o controle e a coordenação de enxames de robôs em diferentes tipos de tarefas. Serão desenvolvidos algoritmos e interfaces que explorem as características dos enxames (grande número de indivíduos, comunicação e sensoriamento locais, tolerância a falhas,
Estudo Visando Implementação de Ferramentas de Epidemiologia Espacial
O objetivo será a implementação de um conjunto de ferramentas de epidemiologia espacial em uma biblioteca de código aberto denominada terra livre para ser incorporada no ambiente TERRAVIEW e assim o usuário poderá ter a disposição todas as funcionalidades de um SIG acopladas às ferramentas limitado de ferramentas implementado por
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
Um Jogo de Apoio ao Ensino de Engenharia de Software
Este projeto propõe a adaptação de jogos educacionais existentes para refletir práticas mais modernas de produção de software e para considerar aspectos intrínsecos do desenvolvimento de software no Brasil. O objetivo geral é tornar o ensino de Engenharia de Software mais atrativo aos alunos, apresentando conceitos práticos importantes de uma
Sistema de Vigilância Espaço-Temporal para Detecção de Clusters Emergentes
Nosso objetivo nesse projeto de pesquisa e estudar o desempenho de sistemas de vigilancia espaco-temporal, em particular, aquele proposto por Assuncao e Correa (2009). Nossa preocupacao era estudar as propriedades do metodo, propor uma nova estatistica de teste baseada na correcao Rn – n e considerar formas de incorporar mais
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.
Jabil Circuit do Brasil
Estabelecimento de um programa de cooperação e intercâmbio científico entre a JABIL e o DCC/UFMG abrangendo atividades de pesquisa, desenvolvimento, formação e treinamento de recursos humanos, geração, absorção, e transferência de tecnologias e prestação de serviços tecnológicos na área de informática e automação. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico:
Infraestruturas de dados espaciais: colaboração voluntária para criação e manutenção de acervos de informação geográfica
A quantidade e a variedade de dados geográficos disponíveis na Web para uso pelo cidadão comum têm aumentado rapidamente. Desde a introdução do Google Earth, em 2004, e do Google Maps, em 2006, tem crescido o interesse por ferramentas que permitam que as pessoas localizem geograficamente pontos de seu interesse
Estudo da dinamicidade em redes
Este projeto visa o estudo e caracterização da dinamicidade em redes de computadores. É evidente que novos nodos surgem ou outros abandonam as redes e que suas ligações alteram ao longo do tempo. A visão de uma rede evoluindo com o tempo é diferente da visão tradicional que agregada o
