Seminários da Pós-Graduação em Informática
Data: 16 de novembro de 2018
Local: Sala Multiuso CIC
Horário: 14h
Palestrante: Lucas de Melo Guimarães (doutorando)
Título: Protocolos MAC projetados para comunicações full-duplex em redes móveis sem fio eficientes em termos de vazão
Resumo: A crescente demanda por largura de banda impulsionou o estudo e o desenvolvimento da quinta geração (5G) de redes móveis. Espera-se que as redes 5G criem mecanismos que permitam uma melhoria no uso do espectro Antenas full-duplex e técnicas de controle de acesso ao meio (MAC) tendem a ser fundamentais no panorama de redes 5G. Este trabalho propõe uma técnica MAC que reduz a latência da reserva de canal quando se considera o uso de antenas full-duplex. Resultados analíticos indicaram que a técnica proposta obteve ganhos de vazão de até 156% quando comparado com um protocolo do estado da arte projetado para comunicações full-duplex. Quando comparado com esquemas tradicionais half-duplex, o ganho de vazão superou 400%.
Horário: 14h30
Palestrante: Cainã Razzolini (mestrando)
Título: Estratégia Paralela em GPU para Alinhamento Múltiplo Heurístico de Milhares de Sequências
Resumo:O alinhamento de sequências pode ser utilizado para destacar regiões de similaridades e diferença em conjuntos de sequências, o que os biólogos podem utilizar para entender, por exemplo, como a evolução atuou sobre os organismos. O alinhamento múltiplo exato de sequências é um problema computacionalmente complexo, tendo sido provado NP-Difícil. Por isso é comum a utilização de algoritmos heurísticos, que apesar de não obterem o melhor resultado possível, conseguem bons resultados com uma acurácia aceitável. No entanto, a evolução nos métodos de sequenciamento tem gerado bancos de dados genômicos cada vez maiores. Neste cenário, mesmo os métodos heurísticos têm dificuldades em lidar com conjuntos com dezenas de milhares de sequências. Até os algoritmos desenvolvidos especificamente para conjuntos com dezenas de milhares de sequências podem levar horas ou dias para obter resultados. Visando obter um menor tempo de execução, diversas aplicações de bioinformática tem usando a grande capacidade de paralelização ofertada por GPUs, contudo, a nosso conhecimento, não existe algoritmo de alinhamento múltiplo utilizando GPU para conjuntos com dezenas de milhares de sequências. Assim, o objetivo desse trabalho é propor e avaliar uma estratégia paralela em GPU para alinhamento múltiplo heurístico de dezenas de milhares de sequências.
Horário: 15h
Palestrante: Gabriela Felix Solano (mestranda)
Título: A Goal-Oriented Perspective to Support Uncertainty in Self-Adaptive Software Systems
Resumo: Many modern software systems must deal with changes and uncertainty. There are different sources of uncertainty that affects the adaptation decisions of a self-adaptive software system. Recognizing their difference contributes for a clear understanding of how these uncertainties will impact system goals and in which domain they are involved, therefore assisting the development of more complete system project. We propose a goal-oriented approach to model self-adaptive software systems uncertainties and to automatically gen- erate: a Markov Decision Process (MDP) model in PRISM language, and a reliability parametric formula of the corresponding system. The former should be used by probabilistic model checking activity to support system analysis and verification at design time. The latter should be useful for runtime reliability analysis to support self-adaptive sys- tem controllers during decision making activities. We intend to augment the Context and Runtime Goal Model (CRGM) of GODA framework with new annotation to represent un- certainties, and automatically generate a MDP model acknowledging the nondeterminism brought by them. We expect to improve design-time knowledge of self-adaptive systems behaviour, assuring a justifiable trustworthy system representation during project phase
.
Horário: 15h30
Palestrante: Carlos Antonio Campos Jorge (doutorando)
Título: Uso de FPGA de Baixo Custo para Aceleração de Alinhamento de Sequências Biológicas
Resumo: A O alinhamento de sequências possui uma diversidade de aplicações na bioinformática, sendo uma das mais importantes operações nessa área. Dentre os métodos de alinhamento temos os algoritmo de Smith-Waterman, que é um método baseado em programação dinâmica e que provê o melhor alinhamento entre duas sequências. Apesar de ser um método exato, ele é demorado devido a sua complexidade quadrática. Para tentar reduzir esse tempo de execução desse método várias propostas foram feitas, dentre elas temos o uso de computação heterogênea. Computação heterogênea é o termo utilizado quando o ambiente computacional é composto de diferentes tipos de elementos de processamento. O objetivo dessa apresentação é propor uma implementação do algoritmo de Smith-Waterman em OpenCL para FPGAs de baixo custo e comparar sua utilização em CPU e GPU de forma a analisar possíveis ganhos em tempo de execução.
Profa Célia Ghedini Ralha (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)
Coordenadora dos Seminários de Pós-Graduação em Informática 2018-2