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

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 »

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 »

Redes de computadores ad hoc sem fio para missões críticas

Este projeto objetiva a pesquisa científica e tecnológica, a construção de protótipos e a formação de pessoal no tema de redes de computadores para uso em missões críticas e emergenciais, visando sua aplicação na defesa civil, segurança pública e eventos de grande porte, entre outros. Consiste no estudo dos problemas

Saiba mais »

Detecção de Pedestres para Vigilância Eficiente

A vigilância automática de ambientes visa extrair informações a respeito de atividades desempenhadas pelos humanos de modo a detectar interações e identificar padrões de comportamentos que sejam suspeitos. Entretanto, antes que tais atividades sejam analisadas, diversos problemas que compreendem o domínio de aplicação conhecido como observação de pessoas devem ser

Saiba mais »

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

Saiba mais »

Um Algoritmo de Fusão para Registradores Compartilhados

A fusão de registradores é uma otimização que remove instruções de cópia tais como “a = b” do código fonte. Esta otimização é possível sempre que as variáveis “a” e “b” são associadas ao mesmo registrador físico. Os algoritmos de fusão descritos na literatura normalmente assumem arquiteturas com bancos 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