portal da computação    ciência da computação     engenharia de computação     pós-graduação webmail
Pós-Graduação em Computação
O PPGC-UFPel atualmente oferece cursos de Mestrado e Doutorado em Ciência da Computação. O Programa conta com 24 pesquisadores doutores, atuando em quatro linhas de pesquisa: Fundamentos de Computação, Processamento Paralelo e Distribuído, Sistemas Digitais e Embarcados e Sistemas Inteligentes.
por Computação UFPel, 4 dias atrás
Os Seminários de Pesquisa em Computação são promovidos pelo Programa de Pós-Graduação em Computação, convidando regularmente pesquisadores para apresentar seus trabalhos e áreas de atuação à comunidade da Universidade em geral e do PPGC em específico. Abaixo estão os detalhes do próximo convidado.


An opaque model for software transactional memory for Haskell
Prof. Rodrigo Geraldo Ribeiro (UFOP)
Data: 2 de maio de 2017 (terça-feira)

Sala:434

Horário: 17h

Resumo: Software Transactional Memory (STM) provides programmers with a simple high-level model of transactions that allows the writing of concurrent programs without worrying with locks, since all transaction concurrency management is done by the STM runtime. Such programming model grealy simplifies development of concurrent applications, but it has a cost: implementing an efficient and correct
STM algorithm is an art. Several criteria have been proposed to certify STM algorithms, some based on model checkers and proof assistants. In this work, we are interested in a more lightweight approach: specify STM algorithm as small-step operational semantics of a idealized language with STM support and check for safety properties using QuickCheck, a property-based testing library for Haskell.

por Computação UFPel, 5 dias atrás

Título: Análise Comparativa entre a Primeira e a Segunda Versão do Kinect na Biometria do Caminhar

Autor: LEANDRO WEIGE DIAS

Orientação:

  • Ricardo Matsumura Araujo, Orientador (PPGC-UFPel)

Banca Examinadora:

  • Marilton Sanchotene de Aguiar (PPGC-UFPel)
  • Rodrigo Coelho Barros (PUC-RS)

Data: 25 de Abril de 2017

Hora: 13:45

Local: Laboratório 3

Resumo:
Este trabalho tem por objetivo central trazer uma comparação entre as duas versões do sensor Kinect em relação a identificação biométrica através do caminhar humano. Para realizar a comparação entre os sensores, foram implementadas quatro metodologias diferentes de extração de parâmetros do caminhar humano, sendo analisados tanto atributos antropométricos, cinemáticos como espaço-temporais. Uma análise individual de cada atributo das propostas de caracterização do caminhar foi realizada para identificar os predicados que traziam maior contribuição na identificação dos indivíduos. Com a finalidade de se criar uma base de exemplos para a extração dos parâmetros do caminhar, foram capturados 50 indivíduos através dos sensores Kinect e aplicados algoritmos de aprendizado de máquina para a classificação das pessoas. Os resultados obtidos mostraram uma acurácia superior do Kinect One na maioria das metodologias, justificando a sua utilização em relação ao Kinect 360. Neste trabalho também foram realizados como experimentos adicionais a comparação entre os sensores com relação a identificação do gênero do indivíduo e a análise da dependência de pose.

por Computação UFPel, 8 dias atrás
As datas a seguir refletem os principais eventos do PPGC em 2017-1.
  • Início das aulas: 24/04
  • Limite para trancamento de disciplinas: 26/05
  • Limite para defesa de qualificação de doutorado (alunos 2015/2): 26/05
  • Fim das aulas: 18/08
  • Limite para entrega de TI: 01/08
  • Limite para digitação de conceitos: 29/08
  • Período de re-matrículas: 11/09 a 15/09
  • Limite para entrega de Proposta de Tese (alunos 2015/2): 15/09
  • Entrega versão final do TI: 18/09
  • Início das aulas 2017/2: 18/09
por Computação UFPel, 19 dias atrás

Este semestre iremos testar um sistema de matrícula online mas disciplinas. Como é a primeira vez que vamos usar, se algo der errado também aceitaremos a matrícula convencional no formulário impresso existente (mas informem o que deu errado antes!). O sistema abrirá no dia 12 e ficará aberto até o dia 19.

Para iniciar o procedimento de matrícula, deve-se acessar o site http://ppgc.computacao.cc e fazer o login com seu número de matrícula (atenção: NÃO é via Cobalto). Se é seu primeiro acesso, recupere a senha (que é enviada para seu e-mail cadastrado no Cobalto, então olhe no Cobalto que e-mail é esse e verifique a caixa de spam!). Este é um bom momento para verificar se o acesso está ok, não deixe para fazer isso apenas quando as matrículas estiverem abertas.

Após realizar o login, basta ir em Solicitações -> Solicitar Matrícula, escolher as disciplinas e submeter. Seu orientador será notificado e precisará aprovar para que o pedido seja considerado. Se uma solicitação incorreta for feita, basta fazer uma nova e informar o orientador para que ele aprove a correta. Apos a solicitação, imprima o formulário gerado e deixe na secretaria assinado (pode ser na primeira semana de aulas); esse formulário ainda é necessário devido ao sistema estar em teste.

Qualquer problema informem pelo e-mail ppgc@inf.ufpel.edu.br com o máximo de detalhes possível.

por Computação UFPel, 26 dias atrás

Título: Modelagem de Conectivos Fuzzy Intuicionistas via Computação Quântica

Autor: ALEXANDRE LEMKE

Orientação:

  • Renata Hax Sander Reiser, Orientadora (PPGC-UFPel)

Banca Examinadora:

  • Marcelo Porto (PPGC-UFPel)
  • Rodrigo Geraldo Ribeiro (Universidade Federal de Ouro Preto)

Data: 6 de Abril de 2017

Hora: 14:00

Local: Lab 4

Resumo:
O objetivo principal deste trabalho consiste no desenvolvimento de metodologia de representação de operadores da Teoria dos Conjuntos Fuzzy Intuicionistas (CFIs), como propostos por Krassemir Atanassov, fazendo uso de propriedades como sobreposição, linearidade e distributividade do produto tensorial no espaço de estados e de transformações da Computação Quântica (CQ). A informação referente a cada conectivo fuzzy intuicionista está representada por pares de registrados quânticos, garantindo a unitaridade inerente aos estados e transformações quânticos bem como a flexibilidade da relação de complementaridade das funções de pertinência e não-pertinência que definem CFIs. Os resultados alcançados promovem avanços significativos: (i) consolidando a metodologia qfuzz-Analyzer para representação de conjuntos fuzzy via operadores e estados da CQ; e (ii) colaborando com o desenvolvimento da metodologia qfuzz2-Analyzer, estendo a representação da informação modelada por conjuntos fuzzy intuicionistas e operações, sendo ambos definidas por conectivos fuzzy intuicionistas via registradores e transformações quânticas no modelo de Circuitos Quânticos. Como principal contribuição, concebida como uma extensão da qfuzz-Analyzer, a metodologia qfuzz2-Analyzer garante a preservação da representabilidade dos conectivos fuzzy intuicionistas. O trabalho também considerou a validação da metodologia via estensão da biblioteca de operadores fuzzy intuicionistas no ambiente de simulação Visual Programming Environment for Quantum Geometric Machine Model (VPE-qGM). A simulação de operadores via interfaces dos componentes simulador e editores de memória e processos da VPE-qGM, contribui para geração dos resultados frente a problemas como aumento exponencial da memória e operações de medida, facilitando a interpretação e análise dos resultados na simulação dos algoritmos quânticos da qfyzz2-Analyzer.

por Computação UFPel, 29 dias atrás

Abaixo estão os horários e salas das disciplinas 2017/1 do PPGC.

  • Algoritmos e Estruturas de Dados
    Terça, 8h – 11h40 (Sala 436)
  • Arquiteturas de Computadores
    Quinta, 10h – 11h40 (Lab 1)
    Quinta, 13h30 – 15h10 (Sala 436)
  • Teoria da Computação
    Quarta, 13h30 – 16h50 (Lab 3)
  • Avaliação de Desempenho de Sistemas (TEC6)
    Sexta, 13h30 – 16h50 (Sala 251)
  • Avanços em Memórias Transacionais (TEC3)
    Quinta, 15h10 – 16h50 (Sala 436)
  • Fundamentos de Inteligência Artificial
    Quarta, 8h – 9h40 (Sala 436)
    Quinta, 8h – 9h40 (Sala 415)
  • Projeto e Teste de Sistemas Digitais
    Segunda, 8h – 9h40 (Sala 436)
    Sexta, 8h – 9h40 (Sala 414)
  • Hierarquias Avançadas de Memória (TEC2)
    Terça, 10h – 11h40 (Sala 210A)
    Quinta, 10h – 11h40 (Sala 253)
  • Lógica para Computação
    Segunda, 15h10 – 16h50 (Sala 251)
    Quarta, 10h – 11h40 (Sala 436)
  • Metodologia para Pesquisa e Desenvolvimento em Computação
    Terça, 15h10 – 16h50 (Lab 3)
  • Seminários de Pesquisa para Computação
    Terça, 17h – 18h40 (Sala 434)
por Computação UFPel, 33 dias atrás

De 27 de março a 05 de abril de 2017, estão abertas inscrições para candidatos a ingresso no Programa de Pós-Graduação em Computação da UFPel como Alunos Especiais. As vagas nas disciplinas são decorrentes do não-preenchimento por alunos regulares e são ofertadas a interessados nos conteúdos abordados. Candidatos podem ser selecionados para cursar até duas disciplinas. Não há distinção entre disciplinas de Mestrado ou Doutorado.

As inscrições são feitas através de formulário on line, onde além das informações básicas do candidato este também deve justificar suas preferências pelas disciplinas. Antes de iniciar o preenchimento, tenha disponível todas informações necessárias, conforme o edital. Certifique-se que tenha efetuado o pagamento da taxa de inscrição. Os documentos originais serão requisitados no momento da matrícula, apenas para candidatos selecionados.

por Computação UFPel, 33 dias atrás

Título: Projeto e Avaliação de Portas Lógicas Complexas sem Restrições Topológicas

Autor: MAICON SCHNEIDER CARDOSO

Orientação:

  • Felipe Marques, Orientador (PPGC-UFPel)

Banca Examinadora:

  • Bruno Zatt (PPGC-UFPel)
  • Rafael Soares (PPGC-UFPel)
  • Márcio Bender (IFSul)

Data: 29 de Março de 2017

Hora: 14:00

Local: A definir

Resumo:
O projeto digital realizado através de portas lógicas complexas vem se demonstrando uma ferramenta eficaz na síntese de circuitos otimizados quando comparado com a tradicional metodologia standard cell. Isso ocorre pois a solução não fica limitada a um conjunto pré-determinado de células, possibilitando, assim, a minimização em área, potência e atraso. Neste contexto, uma das principais etapas do projeto de portas lógicas complexas é a de geração lógica, estágio responsável por prover a rede de transistores especializada que implementa a função Booleana. Com esse propósito, recentemente metodologias baseadas em grafos vêm apresentando resultados expressivos relativos à redução do número de componentes no arranjo lógico em comparação com os métodos tradicionais baseados em fatoração Booleana. No entanto, ainda que os dados inicialmente apontem para uma otimização do circuito digital composto por tais redes (já que há menos transistores por porta, em média), faz-se necessário uma maior investigação quanto aos impactos que estruturas não-planares e não-duais – as quais compõem boa parte das soluções obtidas por métodos baseados em grafos – ocasionam nos algoritmos e ferramentas automáticas de geração de células e no leiaute em si. Neste trabalho é proposta uma metodologia de projeto de portas lógicas complexas baseadas nos métodos estado da arte de geração de redes de transistores – Kernel Finder – e de síntese automática de circuitos – ASTRAN. Para a avaliação das soluções desenvolvidas foram realizadas uma série de comparações com a metodologia de minimização lógica estado da arte através de fatoração Booleana – Composição Funcional -, a qual atua sob o paradigma amplamente empregado na indústria. Os resultados apontaram para uma expressiva redução em área e atraso para células com caminhos críticos pequenos. Para células com maiores caminhos críticos, os resultados obtidos apontaram uma melhora no atraso e piora relacionada ao consumo de potência. Os experimentos não apenas proporcionaram uma verificação qualitativa relativa às soluções produzidas através da metodologia proposta, mas, também, identificaram diversos pontos que podem ser melhorados tanto na metodologia construída quanto na própria ferramenta ASTRAN, motor para a geração de leiautes.

outras notícias recentes
por Computação UFPel em 13/03/2017
por Computação UFPel em 06/03/2017
por Computação UFPel em 03/03/2017
por Computação UFPel em 17/02/2017
por Computação UFPel em 10/02/2017
por Computação UFPel em 26/01/2017
por Computação UFPel em 07/01/2017
por Computação UFPel em 30/11/2016
por Ricardo Matsumura Araujo em 21/11/2016
por Computação UFPel em 20/10/2016
por Computação UFPel em 14/09/2016
por Computação UFPel em 10/09/2016
Não há eventos no momento.
CDTec UFPel