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é
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é
Missão de Trabalho Convênio
Realização de reuniões de trabalho com a equipe francesa, acompanhamento do trabalho de doutorandos brasileiros, apresentação de seminário sobre pesquisa desenvolvida no DCC/UFMG. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (2) . Integrantes: Arnaldo de Albuquerque Araújo – Coordenador /
Algoritmos e Interfaces para Enxames de Robôs
O objetivo principal desse projeto é investigar, desenvolver e avaliar algoritmos e interfaces para o controle e a coordenação de enxames de robôs em diferentes tipos de tarefas. Serão desenvolvidos algoritmos e interfaces que explorem as características dos enxames (grande número de indivíduos, comunicação e sensoriamento locais, tolerância a falhas,
Plataforma Arouca
Desenvolvimento, implantação e Moddle 2.0 IS. Estudo de arquitetura de informação, requisitos e políticas de seguranca de acesso para implantação da Plataforma Arouca. Integrantes: Renato Antonio Celso Ferreira – Integrante / Osvaldo Carvalho – Coordenador.
Algoritmos para a resolução de problemas de otimização combinatória em Telecomunicações, Logística e Teoria dos Jogos
Neste projeto, propomos a investigação de cinco problemas de otimização combinatória que surgem no contexto de aplicações em Telecomunicações, Logística e em suas conexões com Teoria dos Jogos. São eles: O Problema das Árvores Geradoras Completamente Independentes, O Problema do Ciclo Elementar de Custo Mínimo de um Grafo, O Problema
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
Planejamento e Controle de Trajetórias para Grandes Grupos de Robôs
O objetivo principal desse projeto de pesquisa é investigar e desenvolver técnicas que permitam realizar o planejamento e controle de trajetórias para grandes grupos de robôs de forma eficiente e escalável. Uma das linhas a ser investigada é a representação de grupos de robôs através de abstrações, ou seja, através
Verificação Automática de Sistemas Computacionais de Complexidade Industrial
O objetivo do projeto é ter entre seus membros dois alunos de doutorado e três ou quatro alunos de mestrado a serem definidos posteriormente. Este projeto foi aprovado no edital MCT/CNPq 15/2007, universal em 2007. Enquanto que o projeto anterior prevê viagens e equipamentos para o desenvolvimento da pesquisa, este
