Local: Sala Multiuso CIC 

Horário: 14h

Palestrante: Lucas Rodrigues Costa (doutorando)

Título: Eficiência Energética com Modelo de Grafo Auxiliar para Redes Ópticas Elásticas

Resumo:O surgimento das redes ópticas elásticas (EON) trouxe novas concepções nas operações das redes de núcleo, melhorando a flexibilidade da rede e sua eficiência no uso dos recursos. O roteamento e atribuição do espectro RSA (Routing and Spectrum Assignment), que é responsável pela alocação de recursos, é um dos principais problemas das redes EON. Recentemente algumas abordagens baseadas em modelo de grafo auxiliar estão sendo propostas como soluções RSA. Estes modelos utilizam esquemas de reserva de espectro para reduzir a probabilidade de exaustão da rede. Embora essas abordagens proporcionem uma baixa probabilidade de bloqueio na rede, elas não levam em consideração o gasto energético provocado por esses esquemas. Este trabalho propõe uma nova abordagem RSA baseada em grafo auxiliar que melhora o consumo de energia da rede sem perdas na taxa de bloqueio de largura de banda. Os resultados numéricos mostram que a proposta apresentada pode fornecer uma redução de até 54% na taxa de bloqueio de banda e uma economia energética de até 37% em comparação com as abordagens da literatura.

Horário: 14h30

Palestrante: Thiago Mael de Castro (doutorando)

Título: All roads lead to Rome: Commuting strategies for product-line reliability analysis

Resumo:Software product line engineering is a means to systematically manage variability and commonality in software systems, enabling the automated synthesis of related programs (products) from a set of reusable assets. However, the number of products in a software product line may grow exponentially with the number of features, so it is practically infeasible to quality-check each of these products in isolation. There is a number of variability-aware approaches to product-line analysis that adapt single-product analysis techniques to cope with variability in an efficient way. Such approaches can be classified along three analysis dimensions (product-based, family-based, and feature-based), but, particularly in the context of reliability analysis, there is no theory comprising both (a) a formal specification of the three dimensions and resulting analysis strategies and (b) proof that such analyses are equivalent to one another. The lack of such a theory hinders formal reasoning on the relationship between the analysis dimensions and derived analysis techniques. We formalize seven approaches to reliability analysis of product lines, including the first instance of a feature-family-product-based analysis in the literature. We prove the formalized analysis strategies to be sound with respect to the probabilistic approach to reliability analysis of a single product. Furthermore, we present a commuting diagram of intermediate analysis steps, which relates different strategies and enables the reuse of soundness proofs between them.

Horário: 15h

Palestrante: Emerson de Araujo Macedo (doutorando)

Título: Simulação de Enovelamento de Proteínas utilizando o NAMD-2HB 

Resumo:A função biológica que uma proteína desempenha em nosso organismo está relacionada com sua estrutura nativa, ou seja, a configuração tridimensional (3D) funcional da sua molécula. Uma proteína assume essa configuração 3D através de um processo chamado de enovelamento. Duas questões que envolvem a pesquisa sobre o problema do enovelamento de proteínas são: (i) qual é o código físico do enovelamento, isto é, como as propriedades físico-químicas codificadas na sequência de aminoácidos, sua configuração geométrica unidimensional (1D), determinam a configuração 3D nativa? (ii) é possível desenvolver uma solução computacional que permita predizer a configuração 3D nativa a partir de sua configuração 1D primária? O enterramento atômico é uma hipótese para responder à primeira questão. Trata-se de uma medida relacionada a propriedades como o efeito hidrofóbico e as pontes de hidrogênio e indica a distância física de cada átomo da proteína ao centro geométrico de sua estrutura 3D nativa. Sabe-se que este enterramento atômico possui informação suficiente para se determinar a configuração 3D nativa de pequenas proteínas globulares. A simulação de dinâmica molecular (MD, Molecular Dynamics) é um método computacional que auxilia tanto o processo experimental de determinação de estruturas de proteínas quanto a pesquisa e projeto de novos fármacos para tratar doenças relacionadas, como Alzheimer e Parkinson. A simulação MD é utilizada no estudo do código físico do enovelamento (i) e na predição de estruturas protéicas (ii). Porém, o algoritmo de simulação MD exige um alto custo computacional para modelar o processo de enovelamento de uma proteína. É neste contexto que a computação de alto desempenho é utilizada para viabilizar a simulação MD de enovelamentos de proteínas consideradas grandes e de eventos biológicos de interesse, tais como ataques a vírus HIV. Nessa apresentação, mostrarei uma solução de alto desempenho para a simulação MD, chamada NAMD, e como adaptá-la para auxiliar na pesquisa sobre o efeito do enterramento atômico no enovelamento de proteínas.

Horário: 15h30

Palestrante: Ricardo de Lima (mestrando)

Título: Ferramentas de Apoio a Experimentos: Um Mapeamento Sistemático

Resumo: Contexto: Pesquisadores que desejam obter maior rigor em seus estudos e apresentar maior confiabilidade a seus resultados podem utilizar diversos métodos de estudos empíricos, dentre eles os experimentos controlados. Para isso existem guias que definem fases para um projeto de experimentação, e ferramentas são desenvolvidas para apoiar na realização das atividades. Objetivos: Este estudo se propõe a analisar estudos que apresentam ferramentas de apoio a experimentação de projetos em engenharia de software, e obter uma relação dessas ferramentas indicando quais técnicas, abstrações de linguagem, automações e garantias são oferecidos em cada fase de um projeto de experimentos. O resultado será sintetizado para identificar os pontos fortes e fracos e quais os problemas mais comumente identificados entre elas. Método: Será realizado um mapeamento sistemático baseado em questões de pesquisa e em um protocolo de pesquisa para extrair informações dos estudos primários. Resultados esperados: Pretendemos obter uma relação das ferramentas de apoio a experimentação em projetos de engenharia de software, com propósito de ajudar pesquisadores em sua escolha quando forem realizar experimentos.

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-1