Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos

Coordenação e Controle de Grandes Grupos de Robôs Móveis

O presente projeto tem como objetivo principal estudar, projetar, desenvolver e avaliar algoritmos e metodologias para coordenação de grandes grupos (tipicamente contendo dezenas ou mesmo milhares) de robôs. Esses arranjos têm sido denominados na literatura internacional por swarms, e que neste texto será traduzido por “enxames”. A coordenação de grupos

Saiba mais »

Projeto de Consolidação das Atividades de Pesquisa no Programa de Pós-Graduação em Modelagem Computacional de Conhecimento.

Este projeto tem por objetivo criar as condições ideais para a consolidação das atividades de pesquisa no âmbito do Programa de Pós-Graduação em Modelagem Computacional de Conhecimento da Universidade Federal de Alagoas (UFAL) através de ações tendentes a (i) melhorar a infra-estrutura computacional de seus laboratórios de pesquisa, (ii) ampliar

Saiba mais »

Aplicações e Infra-estrutura para Vídeo Interativo em Banda Larga

Este projeto diz respeito a três componentes essenciais em aplicações de vídeo interativo em banda larga: a sincronização temporal e espacial de objetos multimídia, os exibidores (formatadores) temporais e o sistemas (redes) de suporte à distribuição. O conteúdo de aplicações de TV interativa são documentos multimídia que seguem o paradigma

Saiba mais »

Amanajé (Mensageiro) – Sistema de Disseminação de Conteúdo

Este projeto propõe a definição e o desenvolvimento de um Sistema de Disseminação de Conteúdo para Bancos de Dados Híbridos XML-Relacional, chamado de Amanajé. Sistemas de disseminação operam sob demanda dos seus consumidores e sob streams de dados provenientes dos produtores, sendo que esses dois requisitos são suficientes para definir

Saiba mais »

Centro de Análise e Modelagem de Performance de Sistemas

Este projeto visa investigar as interacoes entre grandes grupos sociais e sistemas distribuidos em larga escala. E constituido de tres sub-areas principais: desempenho de sistemas par-a-par, no qual participo, caracterização do impacto do tempo de resposta no comportamento do usuários de serviços Internet, e planejamento de capacidade. Alunos envolvidos: Graduação:

Saiba mais »

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é

Saiba mais »

Instituto Nokia de Tecnologia

Cooperação e intercâmbio através das atividades de pesquisa, desenvolvimento, formação e treinamento de recursos humanos e prestação de serviços cooperativos propostos por ambas as partes. Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (1) . Integrantes: Antonio Otavio Fernandes – Coordenador / Claudionor José Nunes Coelho Jr – Integrante / José

Saiba mais »

Acesso por PERFIL

Acessar o conteúdo