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é
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
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
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
Inclusão Social: Serviços Digitais em Áreas Rurais – Moçambique-Brasil
O objetivo desta proposta é o projeto e o desenvolvimento de aplicações-protótipos e infraestrutura de tecnologia de informação e comunicação (TIC) visando melhorar a qualidade de vida de moradores de áreas rurais em países emergentes da língua portuguesa. Estas aplicações serão projetadas, tendo como restrições as estruturas ainda precárias de
Sistemas de Middleware Orientados por Aspectos para Implementação de Requisitos Não-Funcionais
Neste projeto de pesquisa, pretende-se especificar, projetar, implementar e analisar sistemas de middleware que viabilizem a implementação de forma modular de requisitos não-funcionais que são típicos de aplicações distribuídas. A idéia é que um desenvolvedor de aplicações distribuídas possa dispor de sistemas de middleware que confinem em módulos bem definidos
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
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
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
