Financiamento Público - FAPERGS
Solução de Monitoração de Desempenho com Limiares Dinâmicos e Auto-ajustáveis
  • Descrição: Este projeto de pesquisa tem por objetivo desenvolver novos métodos para o planejamento e a otimização de linhas de produção. O projeto foca em dois eixos:  linhas de produção com máquinas ou trabalhadores com capacidades 
  • heterogêneas, e linhas de produção hierárquicas. O objetivo principal dessa pesquisa são ferramentas que permitem que empresas otimizem linhas de produção 
  • mais complexas com as características mencionadas. Para este fim, é necessário desenvolver novos algoritmos aproximativos ou heurísticas que rapidamente produzem soluções de boa qualidade.
  • Financiamento: Edital PqG 04/2012
  • Coordenador: Marcus Peter Ritt
  • Integrantes: Luciana S Buriol
  • Início: 01/01/2013
  • Término: 31/12/2014
Desenvolvimento de Arquiteturas de Hardware Dedicadas e de Algoritmos Eficientes para a Codificação de Vídeo Digital
  • Descrição: 
  • Financiamento: Edital PqG 04/2012
  • Coordenador: Sérgio Bampi
  • Início: 01/11/2012
  • Término: 31/10/2014
Novos Métodos para Otimização de Linhas de Produção
  • Descrição: Este projeto de pesquisa tem por objetivo desenvolver novos métodos para o planejamento e a otimização de linhas de produção O projeto foca em dois eixos: linhas de produção com máquinas ou trabalhadores com capacidades heterogêneas, e linhas de produção hierárquicas. O objetivo principal dessa pesquisa são ferramentas que permitem que empresas otimizem linhas de produção mais complexas com as características mencionadas. Para este fim, é necessário desenvolver novos algoritmos aproximativos ou heurísticas que rapidamente produzem soluções de boa qualidade.
  • Financiamento: Edital PqG 04/2012
  • Coordenador: Marcus Peter Ritt
  • Integrantes: Luciana Salete Buriol
  • Início: 30/10/2012
  • Término: 30/10/2014
Visualização Interativa e Análise Exploratória Visual de Dados e  Informações
  • Descrição: As técnicas de visualização de informações e análise exploratória visual combinam aspectos de interação homem-computador e representações visuais de tal modo que informações obtidas de um conjunto de dados sejam mapeadas para representações visuais passíveis de interação (manipulação, consulta) com vistas a facilitar o processo de entendimento das entidades e fenômenos ali representados. Muitos desses conjuntos de dados podem ser obtidos por algum tipo de mensuração ou por simulação representando objetos físicos ou fenômenos associados a posições num domínio espacial. Nesse caso, os atributos de natureza espacial e temporal têm papel determinante tanto na representação visual gerada como nos processos de exploração realizados pelos usuários. Em outro caso, os dados podem incluir conceitos abstratos, como relacionamentos, ou dados de categorização, por exemplo, para os quais, geralmente, não existe uma representação visual óbvia correspondente no mundo físico. Tipicamente, cada unidade de dados descreve múltiplos atributos relacionados, que podem não ser de natureza espacial ou temporal, mas representam uma entidade num domínio qualquer. Os dados existem em um espaço abstrato (conceitual) de informações e, portanto, tanto a natureza da representação visual como das consultas podem ser diferentes.Recentemente, na linha visualização volumétrica aplicada a dados médicos, iniciamos cooperação com o Laboratório Experimental de Hepatologia e Gastroenterologia, do Centro de Pesquisas do Hospital de Clínicas de Porto Alegre – HCPA, visando a investigação de técnicas de visualização volumétrica interativa no contexto da pesquisa das causas da atresia biliar, baseada na análise de imagens 3D de amostras extra-hepáticas obtidas por microscopia confocal.  Assim, pretende-se desenvolver técnicas de análise de forma e volume das estruturas volumétricas de microvasculatura evidenciadas nas imagens 3D de microscopia confocal por fluorescência.Também recentemente passamos a investigar redes sociais, em especial, redes científicas de coautorias, como aplicação da visualização e análise de grafos. MagnetViz é uma ferramenta de visualização de grafos descritos em GraphML, cuja principal característica é um layout baseado em forças que pode ser modificado pela inclusão de “imãs”, os quais atraem/repelem nodos de acordo com critérios topológicos ou semânticos, envolvendo atributos de nodos e/ou arestas.  No presente projeto pretende-se a integração de técnicas de análise de redes sociais à ferramenta MagnetViz, integrar layouts diferentes para a visualização de subgrafos e visualização de dados multidimensionais, já que nodos e arestas podem ter dados multidimensionais como atributos; e incorporar mecanismos de  edição na técnica de layout baseada em forças atualmente implementada no MagnetViz.
  • Financiamento: Edital PqG 04/2012
  • Coordenador: Carla Maria Dal Sasso Freitas
  • Início: 31/10/2012
  • Término: 31/10/2014
Métodos e estratégias e otimização do fluxo de projetos em circuitos integrados digitais
  • Descrição:
    O projeto tem por objetivo principal desenvolver a base de um mapeador genérico de circuitos digitais. Entende-se por ‘genérico’ um ambiente que possa facilmente migrar para diferentes bases de dados do tipo grafos usualmente aplicadas nesta classe de ferramenta de CAD, sendo elas, árvore binária, diagrama de decisão binária (BDD), grafo acíclico direto (DAG), grafo AND-INV (AIG), ou outro. Este ambiente genérico também deve permitir a fácil inclusão de novos módulos e métodos de estimativas de custo para funções Booleanas, redes de chaves e portas lógicas.
    O projeto tem por foco secundário o desenvolvimento de modelos e métodos de estimativa de custos para as mais variadas dimensões. O principal alvo são os estimadores de desempenho para portas lógicas contendo redes com associações de transistores não-série-paralelas, que representa uma lacuna importante no estado-da-arte neste tópico.
    Outro objetivo derivado é a geração das redes de transistores e do leiaute das portas lógicas. Um dos pontos de otimização dos circuitos mapeados é certamente o uso de portas lógicas eficientes.
    Pretende-se também incorporar na ferramenta de mapeamento de circuitos, módulos que permitam diferentes tipos de análises e visualizações do circuito no nível de portas lógicas, como verificação lógica, análise de consumo de correntes de fuga (que envolve a probabilidade de ocorrência dos valores dos sinais nos nodos), entre outros.
    Por fim, faz parte do objetivo desta proposta o projeto de circuitos de teste que permitam a validação dos métodos desenvolvidos. A meta é enviar ao menos um circuito de teste para fabricação (prototipagem) durante a vigência da presente proposta.
    O projeto tem por objetivo principal desenvolver a base de um mapeador genérico de circuitos digitais. Entende-se por ‘genérico’ um ambiente que possa facilmente migrar para diferentes bases de dados do tipo grafos usualmente aplicadas nesta classe de ferramenta de CAD, sendo elas, árvore binária, diagrama de decisão binária (BDD), grafo acíclico direto (DAG), grafo AND-INV (AIG), ou outro. Este ambiente genérico também deve permitir a fácil inclusão de novos módulos e métodos de estimativas de custo para funções Booleanas, redes de chaves e portas lógicas.
    O projeto tem por foco secundário o desenvolvimento de modelos e métodos de estimativa de custos para as mais variadas dimensões. O principal alvo são os estimadores de desempenho para portas lógicas contendo redes com associações de transistores não-série-paralelas, que representa uma lacuna importante no estado-da-arte neste tópico.
    Outro objetivo derivado é a geração das redes de transistores e do leiaute das portas lógicas. Um dos pontos de otimização dos circuitos mapeados é certamente o uso de portas lógicas eficientes.
    Pretende-se também incorporar na ferramenta de mapeamento de circuitos, módulos que permitam diferentes tipos de análises e visualizações do circuito no nível de portas lógicas, como verificação lógica, análise de consumo de correntes de fuga (que envolve a probabilidade de ocorrência dos valores dos sinais nos nodos), entre outros.
    Por fim, faz parte do objetivo desta proposta o projeto de circuitos de teste que permitam a validação dos métodos desenvolvidos. A meta é enviar ao menos um circuito de teste para fabricação (prototipagem) durante a vigência da presente proposta.
  • Financiamento: Edital PRONEM 03/2011
  • Coordenador: Renato Perez Ribas
  • Integrantes: André Inácio Reis
  • Início: 23/11/2011
  • Término: 30/09/2014

 

VERITES: Núcleo de Validação, Verificação e Teste de Sistemas Computacionais

  • Descrição: 
    O projeto tem por objetivo principal desenvolver a base de um mapeador genérico de circuitos digitais. Entende-se por ‘genérico’ um ambiente que possa facilmente migrar para diferentes bases de dados do tipo grafos usualmente aplicadas nesta classe de ferramenta de CAD, sendo elas, árvore binária, diagrama de decisão binária (BDD), grafo acíclico direto (DAG), grafo AND-INV (AIG), ou outro. Este ambiente genérico também deve permitir a fácil inclusão de novos módulos e métodos de estimativas de custo para funções Booleanas, redes de chaves e portas lógicas.
    O projeto tem por foco secundário o desenvolvimento de modelos e métodos de estimativa de custos para as mais variadas dimensões. O principal alvo são os estimadores de desempenho para portas lógicas contendo redes com associações de transistores não-série-paralelas, que representa uma lacuna importante no estado-da-arte neste tópico.
    Outro objetivo derivado é a geração das redes de transistores e do leiaute das portas lógicas. Um dos pontos de otimização dos circuitos mapeados é certamente o uso de portas lógicas eficientes.
    Pretende-se também incorporar na ferramenta de mapeamento de circuitos, módulos que permitam diferentes tipos de análises e visualizações do circuito no nível de portas lógicas, como verificação lógica, análise de consumo de correntes de fuga (que envolve a probabilidade de ocorrência dos valores dos sinais nos nodos), entre outros.
    Por fim, faz parte do objetivo desta proposta o projeto de circuitos de teste que permitam a validação dos métodos desenvolvidos. A meta é enviar ao menos um circuito de teste para fabricação (prototipagem) durante a vigência da presente proposta.
  • Financiamento: Edital PRONEM 03/2011
  • Coordenador: Leila Ribeiro
  • Integrantes: 
  • Início: 23/11/2011
  • Término: 30/09/2014
Gestão da Evolução de Serviços WEB Baseada em Perfis de Uso
  • Descrição: Este projeto pretende contribuir à gestão de evolução de serviços em larga escala, através da automatização da análise de impacto de mudanças, e do desenvolvimento de técnicas e ambientes que auxiliem na gestão do ciclo de vida de serviços. Propõe-se o uso de técnicas de mineração de dados para detecção de perfis de uso, a definição da compatibilidade orientada ao perfil de uso, e a definição de componentes arquiteturais e ambientes de gestão de versões que explorem a definição de impacto e compatibilidade orientada ao uso de serviços para gerenciar a evolução de serviços.
  • Financiamento: Edital PqG 02/201
  • Coordenador: Karin Becker
  • Integrantes: Renata Galante
  • Início: 01/10/2011
  • Término: 30/09/2013

Minimização do tráfego rodoviário via instalação adequada de pedágios

  • Descrição: Apresenta dois problemas de otimização da área de engenharia de tráfego e propõe a resolução de tais problemas via modelagem matemática, resolução via CPLEX e via métodos heurísticos.
  • Financiamento: Edital PqG 02/2011
  • Coordenador: Luciana Salete Buriol
  • Integrantes: Marcus Ritt, Ana Bazzan
  • Início: 20/01/2011
  • Término: 30/09/2013

 

Núcleo de Excelência em Engenharia de Software para Sistemas Embarcados
  • Descrição: O objetivo principal deste projeto é a definição de uma metodologia para o desenvolvimento de sistemas embarcados confiáveis em um tempo de projeto reduzido, garantindo a qualidade e a eficiência do conjunto hardware/software, bem como dando suporte a sua evolução. Para isso, são necessárias técnicas para descrever os modelos dos sistemas em diferentes níveis de abstração, considerando as especificidades desses sistemas, bem como transformações bem definidas entre esses modelos. Além disso, são necessários métodos de análise quantitativa e qualitativa, tanto dos diversos modelos quanto do próprio processo de desenvolvimento. Em relação às barreiras enfrentadas no desenvolvimento de hardware, soluções serão buscadas em diferentes níveis: para melhor executar um único processo, de acordo com um conjunto de restrições dado em um determinado momento; para alocar e agendar diferentes processos em vários componentes disponíveis em um sistema embarcado, dependendo dos requisitos de desempenho e potência; ou ainda para sustentar condições de trabalho em caso de uma falha ocorrer durante a execução ou produção
  • Financiamento: Edital 009/2009/PRONEX
  • Coordenador: Flávio Rech Wagner
  • Integrantes: Álvaro Freitas Moreira, Carlos Eduardo Pereira, Érika Cota, Leila Ribeiro, Lucio Mauro Duarte, Luigi Carro, Luís da Cunha Lamb, Rafael Heitor Bordini
  • Início: 10/05/2010
  • Término: 30/03/2014
Concepção e Síntese de Sistemas em Chip
  • Descrição: O projeto propõe a construção da concepção e síntese de sistemas em chip visando os desafios da microeletrônica na era de nanocircuitos, sendo subdividido nas seguintes sub-áreas: 1- Projetode Circuitos Dedicados para sistemas em chips inovadores, 2 - Projeto de Nanodispositivos para prover eficientemente o projeto e uso de dispositivos de nanotecnologia, 3 - Projeto de Redes em Chip para prover uma comunicação eficiente entre os diversos componentes do sistema em chip, 4 - Teste e tolerância a falhas em sistemas em chip para garantir uma metodologia de teste eficiente e técnicas de tolerância que garantam o funcionamento do sistema na presença de falhas, 5 - Ferramentas de síntese para garantir a síntese lógica e física das estruturas e componentes  em um sistema em chip.
  • Financiamento: Edital 009/2009/PRONEX
  • Coordenador: Ricardo Augusto da Luz Reis
  • Integrantes:
  • Início: 10/05/2010
  • Término: 30/03/2014
Rede estadual de simulação social
  • Descrição:
  • Financiamento: Edital 009/2009/PRONEX
  • Coordenador: Ana Bazzan
  • Integrantes:
  • Início: 10/05/2010
  • Término: 31/03/2014
Qualificação de Circuitos Programáveis sob dose de Radiação Acumulada para Aplicação Espaciais em Baixa Órbita
  • Descrição:
  • Financiamento: Edital PqG06/2010
  • Coordenador: Fernanda Gusmão de Lima Kastensmidt
  • Integrantes:
  • Início: 18/11/2010
  • Término: 30/06/2013
Detecção Automática de Alinhamentos em Conjuntos de Dados não Estruturados contendo Incerteza
  • Descrição: A capacidade de identificar alinhamentos em conjuntos de dados experimentais é um fator fundamental para o avanço científico e tecnológico. Por exemplo, formas geométricas como retas, círculos e elipses emergem como estruturas importantes em dados coletados em experimentos envolvendo difração de elétrons, aceleradores de partículas, e ensaios clonogênicos, respectivamente. À medida que o volume de dados aumenta, métodos automáticos para detecção de alinhamentos se tornam indispensáveis para a análise destes dados. Portanto, a acuracidade, generalidade, e robustez destes métodos têm uma importância considerável para o desenvolvimento científico e tecnológico. Este projeto objetiva desenvolver uma abordagem geral para detecção de alinhamentos em conjuntos de dados multidimensionais, não ordenados e contendo incerteza. Por geral, entenda-se que o método a ser desenvolvido deverá ser definido sobre um único equacionamento capaz de detectar diferentes tipos de estruturas geométricas (e.g., retas, círculos, seções cônicas, planos, esferas, entre outras) em conjuntos de dados de entrada contendo diferentes tipos de primitivas (e.g., pontos, direções, retas, círculos, ou combinação desses). Além disso, a solução deverá ser independente da dimensionalidade do espaço de representação, e ser ótimo em termos da quantidade de parâmetros necessários para tal representação. Os resultados desenvolvidos com a realização deste projeto deverão beneficiar diversas áreas que se utilizam de detecção de alinhamentos em conjuntos de dados. Em computação, os resultados serão imediatamente aplicáveis a áreas como processamento de imagens, visão computacional e computação gráfica. Tais resultados deverão impactar também algoritmos de mineração de dados.
  • Financiamento: Edital PqG06/2010
  • Coordenador: Manuel Menezes de Oliveira Neto
  • Integrantes:
  • Início: 18/11/2010
  • Término: 30/06/2013