Seminários da Pós-Graduação em Informática
Data: 07 de dezembro de 2018
Local: Sala Multiuso CIC
Horário: 14h
Palestrante: Lucas Rodrigues Costa (doutorando)
Orientador: Prof. André Drummond
Título: Dynamic Multi-Modulation Allocation Scheme for Elastic Optical Networks
Resumo: In order to deal with the recent rapid increase in Internet traffic, a transmission technology is required to enable the efficient use of the optical fiber spectrum while offering flexibility in network bandwidth. To meet these challenges, the emergence of Elastic Optical Networks (EON) has brought new conceptions in the operation of optical networks, improving flexibility and efficiency for the next generation core networks. In EON, traffic demands are typically supported by allocating bandwidth-variable optical channels with heterogeneous modulation formats in a spectral-efficient manner. Elastic optical path networks require the routing, modulation level, and spec- trum allocation (RMLSA) to efficiently allocate optical spectrum resources to optical paths. To address the RMLSA problem, Modulation Scheme approaches have recently been proposed to allow the use of any routing and spectrum assignment (RSA) algorithm to solve the RMLSA problem. In this paper, we propose a new Modulation Scheme that enables the routing of traffic through dynamic multi-modulation allocation in multiple hops to achieve blocking performance improvement. Numerical results demonstrate that the proposed adaptive modulation scheme achieves a reduction in bandwidth blocking of up to three orders of magnitude in an underloaded network scenario, and 99% with higher loads, playing an important role in spectrum savings compared with the literature schemes.
Horário: 14h30
Palestrante: Thiago Mael de Castro (doutorando)
Orientador: Prof. Vander Alves
Título: A Machine-verified Theory of Commuting Strategies for Product-Line Reliability Analysis
Resumo:A 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 are 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. To address this issue, 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. Additionally, we reduce the risk of human error by formally specifying the resulting theory in an interactive theorem prover. After this ongoing process is complete, we plan to report on the results and then investigate design patterns and explore the potential of generalization of the resulting specification.
Horário: 15h
Palestrante: Paulo José de Souza Junior (doutorando)
Orientador: Prof. André Drummond
Título: Proteção em Redes Ópticas EON
Resumo: With the emergence of EON networks, protection techniques used for WDM networks are reevaluated and research of new techniques gains importance. This work aims to explore the main protection techniques and to compare offline, preprovisioning, and online, provisioning, adapting the strategies to EON networks. This study explores the realistic view of predicting traffic and adapting routing techniques to this premise. This study explore heuristics for routing and spectrum allocation for preprovisioning of DLP, Dedicated Link Protection, and DPP, Dedicated Path Protection. Results can show that the use of preprovisioning techniques in EON obtains good results, compared to the classic provisioning solutions.
Horário: 15h30
Palestrante: Emerson de Araújo Macedo (doutorando)
Orientadora: Profa. Alba Melo
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.
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