Automated Software Debugging Using Hybrid Static/Dynamic Analysis

With the increasing complexity of today's software, the software development process is becoming highly time and resource consuming. The increasing number of software configurations, input parameters, usage scenarios, supporting platforms, external dependencies, and versions plays an important role in expanding the costs of maintaining and repairing unforeseeable software faults. To repair software faults, developers spend considerable time in identifying the scenarios leading to those faults and root-causing the problems. While software debugging remains largely manual, it is not the case with software testing and verification. The goal of this research is to improve the software development process in general, and software debugging process in particular, by devising techniques and methods for automated software debugging, which leverage the advances in automatic test case generation and replay. In this research, novel algorithms are devised to discover faulty execution paths in programs by utilizing already existing software test cases, which can be either automatically or manually generated. The execution traces, or alternatively, the sequence covers of the failing test cases are extracted. Afterwards, commonalities between these test case sequence covers are extracted, processed, analyzed, and then presented to the developers in the form of subsequences that may be causing the fault. The hypothesis is that code sequences that are shared between a number of faulty test cases for the same reason resemble the faulty execution path, and hence, the search space for the faulty execution path can be narrowed down by using a large number of test cases. To achieve this goal, an efficient algorithm is implemented for finding common subsequences among a set of code sequence covers. Optimization techniques are devised to generate shorter and more logical sequence covers, and to select subsequences with high likelihood of containing the root cause among the set of all possible common subsequences. A hybrid static/dynamic analysis approach is designed to trace back the common subsequences from the end to the root cause. A debugging tool is created to enable developers to use the approach, and integrate it with an existing Integrated Development Environment. The tool is also integrated with the environment's program editors so that developers can benefit from both the tool suggestions, and their source code counterparts. Finally, a comparison between the developed approach and the state-of-the-art techniques shows that developers need only to inspect a small number of lines in order to find the root cause of the fault. Furthermore, experimental evaluation shows that the algorithm optimizations lead to better results in terms of both the algorithm running time and the output subsequence length.

Guiding Monte Carlo tree searches with neural networks in the game of go

A dissertation submitted in fulfillment of the requirements to the degree of Master in Computer Science and Computer Engineering

Sistema de emulação de aerogeradores para aplicação em geração distribuída de energia elétrica

Power generation from alternative sources is at present the subject of numerous research and development in science and industry. Wind energy stands out in this scenario as one of the most prominent alternative in the generation of electricity, by its numerous advantages. In research works, computer reproduction and experimental behavior of a wind turbine are very suitable tools for the development and study of new technologies and the use of wind potential of a given region. These tools generally are desired to include simulation of mechanical and electrical parameters that directly affect the energy conversion. This work presents the energy conversion process in wind systems for power generation, in order to develop a tool for wind turbine emulation testing experimental, using LabVIEW® software. The purpose of this tool is to emulate the torque developed in an axis wind turbine. The physical setup consists of a three phase induction motor and a permanent magnet synchronous generator, which are evaluated under different wind speed conditions. This tool has the objective to be flexible to other laboratory arrangements, and can be used in other wind power generation structures in real time. A modeling of the wind power system is presented, from the turbine to the electrical generator. A simulation tool is developed using Matlab/Simulink® with the purpose to pre-validate the experiment setup. Finally, the design is implemented in a laboratory setup.

Análise e projeto de um conversor boost de três níveis intercalado

This paper presents the development of a boost converter with the possibility of higher gain than the conventional boost converter for applications under similar conditions and increased power. Presents the main concepts involving the boost converter and two variations: the boost converter of three levels and the boost converter interspersed with two converter cells. The breakdown mounting positions, the operating steps, the addressing and the main strengths of each converter in order to check for possible uses in the construction of a prototype joining their main advantages. In the presentation of this converter addresses the operating steps, the equation governing its design, the simulations obtained through software (PSIM), a comparison between the boost converter models studied and the experimental results.

Conversão da lactose e síntese de galacto-oligossacarídeos: uma abordagem experimental e teórica

O presente trabalho avaliou, na etapa experimental, um processo simultâneo de catálise e fermentação láctica visando obter um iogurte com potenciais características nutracêuticas e, na sua etapa teórica, estabeleceu uma interlocução entre a vivência experimentalista e a teoria da cinética enzimática, no que se refere à conversão da lactose e à síntese de galactooligossacarídeos (GOS). Na abordagem experimental, para um substrato específico, avaliouse biocatálise conduzida simultaneamente à fermentação, defasando a adição da enzima em relação ao início do processo fermentativo. A fermentação foi realizada a partir de cultura láctica liofilizada comercial contendo dois micro-organismos probióticos, Bifidobacterium animalis e Lactobacillus acidophilus, associados aos micro-organismos característicos do iogurte, Lactobacillus bulgaricus e Streptococcus thermophilus. Foi utilizado um preparado enzimático contendo -galactosidases obtidas de duas origens distintas: Kluyveromyces lactis e Aspergillus niger. Foram avaliados os efeitos da concentração da enzima e do tempo de adição da enzima em um planejamento experimental 2 2 . As respostas foram às concentrações, ao final do processo, de lactose, de GOS, de glicose e de galactose e a hidrólise dos galactooligossacarídeos ao longo do tempo. No que se refere à abordagem teórica, o presente trabalho considerou modelos matemáticos de hidrólise de dissacarídeos e conversão da lactose, em que a inibição foi representada a partir do incremento da concentração dos produtos da reação. No que se refere à conversão da lactose e síntese de GOS, o presente trabalho buscou estabelecer um modelo matemático em que a inibição ocorreu por efeito do incremento das concentrações de glicose e de galactose, comparando-o com os modelos conhecidos na literatura. Verificou-se que o desempenho do modelo obtido no presente trabalho foi robusto em relação às premissas estabelecidas. Na comparação com resultados experimentais de conversão enzimática, o modelo mostrou-se capaz de minimizar o erro e de ajustar-se aos dados experimentais.

Characterization of the methanol recovery process at Prio Biocombustíveis S. A.

In a industrial environment, to know the process one is working with is crucial to ensure its good functioning. In the present work, developed at Prio Biocombustíveis S.A. facilities, using process data, collected during the present work, and historical process data, the methanol recovery process was characterized, having started with the characterization of key process streams. Based on the information retrieved from the stream characterization, Aspen Plus® process simulation software was used to replicate the process and perform a sensitivity analysis with the objective of accessing the relative importance of certain key process variables (reflux/feed ratio, reflux temperature, reboiler outlet temperature, methanol, glycerol and water feed compositions). The work proceeded with the application of a set of statistical tools, starting with the Principal Components Analysis (PCA) from which the interactions between process variables and their contribution to the process variability was studied. Next, the Design of Experiments (DoE) was used to acquire experimental data and, with it, create a model for the water amount in the distillate. However, the necessary conditions to perform this method were not met and so it was abandoned. The Multiple Linear Regression method (MLR) was then used with the available data, creating several empiric models for the water at distillate, the one with the highest fit having a R2 equal to 92.93% and AARD equal to 19.44%. Despite the AARD still being relatively high, the model is still adequate to make fast estimates of the distillate’s quality. As for fouling, its presence has been noticed many times during this work. Not being possible to directly measure the fouling, the reboiler inlet steam pressure was used as an indicator of the fouling growth and its growth variation with the amount of Used Cooking Oil incorporated in the whole process. Comparing the steam cost associated to the reboiler’s operation when fouling is low (1.5 bar of steam pressure) and when fouling is high (reboiler’s steam pressure of 3 bar), an increase of about 58% occurs when the fouling increases.

Estudo numérico experimental de treliças espaciais feitas com tubos de aço com ponta amassada e espaçadores de madeira para corrigir as excentricidades nos nós de ligação

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, 2015.

Estudo experimental do escoamento bifásico líquido gás em golfadas com leve mudança de direção

Gas-liquid two-phase flow is very common in industrial applications, especially in the oil and gas, chemical, and nuclear industries. As operating conditions change such as the flow rates of the phases, the pipe diameter and physical properties of the fluids, different configurations called flow patterns take place. In the case of oil production, the most frequent pattern found is slug flow, in which continuous liquid plugs (liquid slugs) and gas-dominated regions (elongated bubbles) alternate. Offshore scenarios where the pipe lies onto the seabed with slight changes of direction are extremely common. With those scenarios and issues in mind, this work presents an experimental study of two-phase gas-liquid slug flows in a duct with a slight change of direction, represented by a horizontal section followed by a downward sloping pipe stretch. The experiments were carried out at NUEM (Núcleo de Escoamentos Multifásicos UTFPR). The flow initiated and developed under controlled conditions and their characteristic parameters were measured with resistive sensors installed at four pipe sections. Two high-speed cameras were also used. With the measured results, it was evaluated the influence of a slight direction change on the slug flow structures and on the transition between slug flow and stratified flow in the downward section.

Simulação numérica do escoamento monofásico em uma bomba centrífuga radial

Centrifugal pumps are vastly used in many industrial applications. Knowledge of how these components behave in several circumstances is crucial for the development of more efficient and, therefore, less expensive pumping installations. The combination of multiple impellers, vaned diffusers and a volute might introduce several complex flow characteristics that largely deviate from regular inviscid pump flow theory. Computational Fluid Dynamics can be very helpful to extract information about which physical phenomena are involved in such flows. In this sense, this work performs a numerical study of the flow in a two-stage centrifugal pump (Imbil ITAP 65-330/2) with a vaned diffuser and a volute. The flow in the pump is modeled using the software Ansys CFX, by means of a multi-block, transient rotor-stator technique, with structured grids for all pump parts. The simulations were performed using water and a mixture of water and glycerin as work fluids. Several viscosities were considered, in a range between 87 and 720 cP. Comparisons between experimental data obtained by Amaral (2007) and numerical head curves showed a good agreement, with an average deviation of 6.8% for water. The behavior of velocity, pressure and turbulence kinetic energy fields was evaluated for several operational conditions. In general, the results obtained by this work achieved the proposed goals and are a significant contribution to the understanding of the flow studied.

PRODUÇÃO DE MUDAS DE UMBUZEIRO ( Spondias tuberosa Arruda Câmara) EM DIFERENTES SUBSTRATOS E TAMANHO DE RECIPIENTES

A espécie Spondias tuberosa Arr. Cam. (umbuzeiro) destaca-se como uma das espécies arbóreas de maior potencial do semiárido brasileiro. Apesar de sua relevante importância socioeconômica e ambiental, há falta de estudos voltados para o estabelecimento de um modelo de produção de mudas da espécie. O objetivo desse trabalho foi avaliar a produção de mudas de Spondias tuberosa utilizando diferentes substratos e tamanho de recipientes. O experimento foi conduzido no viveiro do Laboratório de Ecologia Vegetal (LEV) do Centro de Ciências Agrárias (CCA) da Universidade Federal da Paraíba (UFPB), Areia - PB. O delineamento experimental usado foi em blocos casualizados em esquema fatorial 2 x 7 e parcelas subdivididas, sendo que os recipientes representaram as parcelas e os substratos as subparcelas. Foram utilizados substratos formulados a partir da mistura de terra de subsolo (37,5-100%), areia lavada (12,5- 25%) e esterco bovino curtido (10-50%). Os recipientes utilizados foram sacos de polietileno preto com volumes de 1900 cm3 (15 x 27 cm) e 5000 cm3 (25 x 26 cm). Para a obtenção das plântulas, sementes de Spondias tuberosa foram semeadas em sementeira de alvenaria até a repicagem (90 dias após o semeio). Aos 78 dias, após a repicagem, as mudas foram avaliadas quanto à altura, diâmetro do colo, relação altura/ diâmetro do colo, diâmetro do xilopódio, comprimento de raiz, massa seca da parte aérea e raiz. Os dados obtidos foram submetidos à análise de variância e ao teste F, sendo as médias comparadas pelo teste de Tukey ao nível de 5% de probabilidade, utilizando o software SISVAR®. Os substratos com esterco bovino curtido proporcionaram os maiores valores em altura e comprimento de raiz. Para a produção de mudas de Spondias tuberosa, é recomendado o substrato contendo terra de subsolo (45%) + Areia (15%) + Esterco bovino (40%).

Monitoramento e identificação numérico e experimental de danos em vigas e pontes de aço e concreto utilizando transformadas de wavelet

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2015.

Avaliação do desempenho de fundações em edificação no DF com a utilização de técnicas de interação solo-estrutura

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2015.

Explorando a combinação de visualização de software com clusterização de dados em um processo de reconstrução de arquitetura

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.

Análise experimental do comportamento à flexão e ligação entre painéis de lajes tipo bubbledeck

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2016.

Análise experimental e numérica de quedas de pressão em canais estenosados

O interesse nos estudos relacionados com o escoamento de fluidos em microcanais tem assumido um lugar de destaque na área de biomédica, uma vez que que estes estudos permitem analisar escoamentos sanguíneos evitando questões de ética que se colocam quando se trabalha fisicamente com o sangue. Numa primeira fase deste trabalho foram fabricados modelos anatómicos tridimensionais, mais concretamente canais circulares, um sem patologia e dois com ateromas de alturas diferentes, onde foram efetuadas medições de quedas de pressão. Com os resultados obtidos foi possível concluir que a presença de ateromas influencia o escoamento sanguíneo, verificando-se que as quedas de pressão aumentam com o aumento do grau da estenose. Numa segunda fase os escoamentos estudados experimentalmente foram alvo de um estudo numérico com o objetivo de comparar os resultados da simulação com os obtidos experimentalmente. As simulações numéricas foram efetuadas recorrendo a um software comercial que implementa o método dos volumes finitos e os resultados obtidos revelaram-se concordantes com os obtidos experimentalmente, o que permitiu concluir que a dinâmica de fluidos computacional é de facto uma boa estratégia a ser utilizada. Na fase final do trabalho, procedeu-se à identificação da melhor modelação matemática para caracterizar a diferença de valores obtidos nos estudos experimental e numérico. Após diversas estratégias conclui-se que a diferença de valores pode ser caracterizada por uma função polinomial.