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

Uso de Máquinas de Estado Abstratas na Formalização de Agentes em Aplicações de Inteligência Artificial e Jogos

Este trabalho de pesquisa discute a adequação de formalismo ASM para a especificação do comportamento de agentes em aplicações de Inteligência Artificial. Fazendo uso de ferramentas específicas, um dos objetivos desta pesquisa é implementar aplicações de Inteligência Artificial usando-se o paradigma de ASM, bem como avaliar a facilidade de implementação

Saiba mais »

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 »

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 »

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  

Saiba mais »

Algoritmos, Otimização e Aplicações

O contexto deste projeto de pesquisa envolve algoritmos de otimização explorados em problemas clássicos de Combinatória, mas com grande potencial de aplicação a problemas reais, mas também a três temas de aplicação amarrados a outras linhas clássicas da computação: Engenharia de Software, Robótica, Visão Computacional e Jogos, e Redes de

Saiba mais »

SISTEMAS COMPUTACIONAIS PARA REDES DE SENSORES AQUÁTICAS

O objetivo desta pesquisa é desenvolver um protótipo de hardware e software embutido para tratar a comunicação e a cooperação de entidades computacionais em redes de sensores aquáti- cas, facilitando o trabalho do homem, aumentando sua produtividade e melhorando a qualidade de vida. Como instância inicial deste projeto, será tratado

Saiba mais »

Acesso por PERFIL

Acessar o conteúdo