Seminários da Pós-Graduação em Informática

Data: 07 de junho de 2019

Local: Sala Multiuso CIC 

Horário: 14h

Palestrante: Lucas de Melo Guimarães (doutorando)

Orientador: Prof. Jacir Bordim

Título: Protocolos MAC projetados para comunicações full-duplex em redes móveis sem fio

Resumo: A demanda crescente por altas taxas de transmissão estimulou o desenvolvimento da quinta geração de redes móveis (5G). A partir da utilização do 5G, espera-se significativas melhorias relativas ao uso do espectro. Para tal, diversas alternativas são estudadas tais como a utilização de antenas full-duplex. O uso eficiente dessas antenas é alvo de diversas pesquisas relacionadas a protocolos de controle de acesso ao meio (MAC). Apresenta-se uma técnica MAC projetada para antenas full-duplex que reduz o tempo total de transmissão, melhorando a vazão da rede. Quando compara-se a técnica apresentada com outra do estado da arte, obtém-se um ganho de até 156%.

Horário: 14h30

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 spectrum 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: 15h

Palestrante: Daniela Angelos (mestranda)

Orientador: Profa. Cláudia Nalon

Título: Combined Proof Methods for Multimodal Logic

Resumo: Modal logics have been widely studied in Computer Science for allowing the characterization of complex systems that express notions in terms of knowledge, belief etc. In this work, we focus on the theorem prover for the basic multimodal language Kn: KSP, which implements a clausal resolution method. Clauses are labelled by the modal level at which they occur, helping to restrict unnecessary applications of the resolution inference rules.  KSP performs well if the set of propositional symbols are uniformly distributed over the modal levels. However, when there is a high number of variables in just one particular level, the performance deteriorates. One reason is that the specific normal form used always generates satisfiable sets of propositional clauses. As resolution relies on saturation, this can be very time consuming. We are currently investigating the use of Boolean Satisfiability Solvers (SAT solvers), since they are able to solve hard structured problems with several variables and constraints. We believe that we can take advantage of the efforts that have been directed in improving the efficiency of such solvers.  Our implementation, which is work in progress, uses a SAT solver based on clause learning by conflict analysis. We feed this solver with the satisfiable sets of clauses generated by translation and, each time it identifies a conflict, one or more new clauses are learnt from the conflict analysis procedure. We believe that by carefully choosing the set of clauses and making use of the learnt clauses generated by the solver, we may be able to reduce the time KSP spends during saturation.

Horário: 15h15

Palestrante: Mirele Carolina Souza Ferreira (mestranda)

Orientador: Profa. Maria Emília Machado T. Walter

Título: Análise de Métodos Baseados em Aprendizado de Máquina para Predição de snoRNAs no Genoma de Vertebrados

Resumo: Pesquisas sobre RNAs não-codificadores de proteínas (ncRNAs) revelaram que uma variedade de moléculas de ncRNAs desempenham papéis importantes em muitos processos biológicos. Pequenos RNAs não-codificadores são difíceis ou impossíveis de serem detectados por ferramentas de pesquisa de homologia em sequências primárias, como Blast. Até agora, as aplicações de técnicas de aprendizado de máquina (AM) utilizadas na pesquisa de homologia em ncRNAs não alcançaram sucesso. Neste estudo buscamos descobrir e compreender os limites da aplicação de técnicas de AM para predição de ncRNAs. Propomos um método a partir de mutações em sequências primárias de ncRNAs para simulação de uma família de homólogos para analisar as limitações das técnicas de AM na pesquisa de homologia em ncRNAs. Dessa forma, investigar a performace das técnicas de AM a partir de mutações em sequências primárias de ncRNAs pode levar ao entendimento sobre porque AM falha na predição de homólogos em ncRNAs. Além disso, este estudo pode apontar porque as abordagens de AM não são bem-sucedidas para a pesquisa de homologia, podendo ajudar na identificação de novas featuresque possam ampliar a sensibilidade dos métodos voltados à detecção de homólogos. 

Horário: 15h30

Palestrante: Rafael Fazzolino Pinto Barbosa (mestrando)

Orientador: Profa. Genaína Nunes Rodrigues

Título: Feature-Trace: Generating Operational Profile and Supporting Testing Prioritization from BDD Features

Resumo: Operational Profiles provide quantitative information about how the software will be used, which supports highlighting those software components more sensitive to reliability based on their profile usage. However, the generation of Operational Profiles usually requires a considerable team effort to liaise requirements specification until their reification into expected software artifacts. In this sense, it becomes paramount in the software life cycle the ability to seamlessly or efficiently perform traceability from requirement to code, embracing the testing process as a means to ensure that the requirements are satisfiably covered and addressed. In this work, we propose the Feature-Trace approach which merges the advantages of the Operational Profile and the benefits of the requirements-to-code traceability present in the BDD (Behavior-Driven Development) approach. The primary goal of our work is to use the BDD approach as an information source for the semi-automated generation of the Operational Profile.  The proposed approach was evaluated on the Diaspora software, on a GitHub open source software, which contains 68 BDD features, specified in 267 scenarios  72 KLOC and more than 2,900 forks and counting. The case study revealed that the Feature-Trace approach is capable of extracting the operational profile seamlessly from the specified Diaspora's BDD features as well as obtaining and presenting vital information to guide the process of test cases prioritization.

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