Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Multi-agentes para negociação de recursos em grids computacionais
A pesquisa aqui proposta neste projeto aplica a tecnologia de agentes para realizar a alocação de recursos por negociação em ambientes grid. Agentes têm a vantagem de agirem em nome de usuários e recursos e serem capazes de gerenciar tarefas em ambientes complexos e distribuídos, como é o caso dos
Otimização de Código em Ambiente de Semântica Formal Executável baseado em ASM
O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar
Credibilidade em Serviços da Web
Este projeto de pesquisa versa sobre a credibilidade em serviços da Web. Cabe ressaltar que o que motivou a escolha do tema foi o grau de importância que este tem para a sociedade hoje e a vastidão de desafios e questões de pesquisa que surgem desse tema de investigação. Também
Evolução de Modelos de Classificação Hierárquica
Esse projeto tem como principal objetivo desenvolver modelos de classificação hierárquica baseados em algoritmos evolucionários. Além disso, ele também investigará métricas eficazes para avaliação de métodos hierárquicos. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Desenvolvimento e validação de um Sistema de simulação de enfermidades infecciosas em bovinos baseada no trânsito de bovinos
Implementar uma ferramenta computacional, calibrada com os bancos de dados de trânsito de animais que permita avaliar mediante simulações os possíveis cenários de disseminação inicial de doenças animais altamente contagiosas no país a partir do fluxo de movimentos de animais. Esta ferramenta poderá auxiliar na determinação do risco do rebanho
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é
Robustez, desempenho e segurança em redes ubíquas de coisas
It focuses on the development of network protocols and management solutions for ubiquitous networks (RFID, ad hoc and mesh networks, DTNs). There are five areas that will be studied: efficient routing algorithms for mesh and ad hoc networks, network management in sensor networks, efficient query dissemination in sensor networks, security
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
Recuperação de Informação Visual
A facilidade de captura e codificação de imagens digitais tem produzido uma quantidade gigantesca de informação visual on-line. Como conseqüência, grandes desafios se apresentam na área de sistemas de informação multimídia, envolvendo o armazenamento, a indexação e a recuperação de informação visual em grandes arquivos. O NPDI tem desenvolvido pesquisa
