Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Cooperação entre Robôs Aéreos e Terrestres
O objetivo principal desse projeto é desenvolver mecanismos que permitam a cooperação efetiva entre robôs aéreos e terrestres. Especificamente, pretende-se desenvolver algoritmos para a fusão das múltiplas informações sensoriais e implementar mecanismos que permitam realizar a coordenação dinâmica de todo o grupo. Para isso, é necessário obter informações precisas sobre
FreeMon:
Projeto FreeMon: Free-Monitor – Sistema de Software Livre para Monitoração de Desempenho de Ambiente Unix . Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (0) . Integrantes: Jussara Marques de Almeida – Integrante / Virgilio Augusto Fernandes Almeida – Coordenador / Smartprice
Plataforma Virtualizada em Roteadores Domésticos para Monitoramento, Análise, Localização e Tratamento de Eventos e Rede
Neste projeto desenvolveremos PUROMALTE, uma plataforma virtualizada em roteadores de acesso para monitoramento de redes. Usaremos PUROMALTE para monitorar e entender o desempenho observado por clientes de banda larga, bem como desenvolver e avaliar novas tecnologias para localizar e tratar problemas de desempenho em redes. Novas tecnologias desenvolvidas com PUROMALTE
Modelos, Algoritmos e Aplicações em Redes de Telecomunicações Ópticas e Sem Fio
O objetivo desse projeto é propor modelos e algoritmos aplicáveis em problemas reais, explorando temas específicos como localização de facilidades, topologia, dimensionamento, roteamento, mobilidade. Terão destaque os problemas relacionados ao planejamento e projeto de redes, e problemas de otimização envolvendo redes ópticas e redes sem fio ou, mais especificamente, redes
Ambientes de Computação Móvel
Este projeto de pesquisa tem como objetivo principal investigar o desenvolvimento de sistemas de objetos distribuídos incorporando abstrações adequadas a programação em ambinetes de computação móvel. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (1) . Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir Oliveira Di
Metáforas e tecnologias para visualização de dados biológicos e descoberta do conhecimento em Bioinformática
O objetivo deste projeto é o estudo e o desenvolvimento de metáforas e tecnologias de visualização capazes de representar o volume e a alta dimensionalidade de dados de Bioinformática, evidenciando os padrões neles presentes e sua evolução, facilitando a compreensão da informação apresentada. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico:
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
Escalabilidade e Eficiência em Sistemas de Computação – Mineração de Dados de Aplicações Internet
Propõe-se abordar o problema da eficiência da escalabilidade em sistemas responsáveis por serviços de mineração de dados baseados em sistemas paralelos e distribuídos, como aqueles construídos utilizando a internet.
Verificação Híbrida de Modelos: Ferramentas e Aplicações
Sistemas computacionais são frequentemente utilizados em aplicações críticas como controladores de máquinas industriais aonde falhas podem ter consequências graves. Mesmo em aplicações não industriais erros são frequentemente inaceitáveis. Por exemplo, em um sistema de comércio eletrônico erros podem levar desde a perda de clientes por insatisfação com o serviço até
