Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Caracterização geológico-geofísica do meio aqüífero fissural : uma contribuição aos modelos de fluxo e armazenamento de água subterrânea

Northeastern Brazil is mainly formed by crystalline terrains (around 60% in area). Moreover, this region presents a semi-arid climate so that it is periodically subject to drought seasons. Furthermore, ground water quality extracted fromwells usually presents poor quality because of their high salinity contents. Nevertheless, ground water is still a very important source of water for human and animal consumption in this region. Well sitting in hard rocks terrains in Northeastern Brazil offers a mean success index of aboul 60%, given that a successful siting is defined by a well producing at least 0.5 m³/h. This low index reveals lack of knowledga about the true conditions of storage and percolation of ground water in crystalline rocks. Two models for structures storing and producing ground water in crystalline rocks in Northeastem Brazil have been proposed in the literature. The first model,tradnionally used for well sitting since the sixties are controlled by faults or fractures zones. This model is commonly referred, in Brazilian hydrogeological literature, as the "creek-crack" model (riacho-fenda in Portuguese). Sites appearing to present dense drainage network are preferred for water well siting - particularly at points where the drainages cross-cul each other. Field follow up work is usually based only on geological criteria. The second model is the "eluvio-alluvial through" (calha eluvio-aluvionar in Portuguese); it is also described in the literature but it is not yet incorporated in well sitting practice. This model is based on the hypothesis that reclilinear drainages can also be controlled by the folietion of the rock. Eventually, depending upon the degree of weathering, a through-shaped structure filled with sediments (alluvium and regolith) can be developed which can store and water can be produced from. Using severalfield case studies, this Thesis presents a thorough analysis ofthe two above cited models and proposes a new model. The analysis is based on an integrated methodological approach using geophysics and structural geology. Both land (Resitiviy and Ground Penetrating Radar- GPR) and aerogeophysical (magnetics and frequency domain eletromagnetics) surveys were used. Slructural analysis emphasized neolectonic aspects; in general, itwas found that fractures in the E-W direction are relatively open, as compared to fracturas inthe N-S direction, probably because E-W fractures were opened by the neotectonic stress regime in Northeastern Brazil, which is controlled by E-W compression and N-S extension. The riacho-fenda model is valid where drainages are controlled by fractures. The degree of fracturing and associated weathering dictale the hydrogeological potential of the structure. Field work in structural analogues reveals that subvertical fractures show consistent directions both in outcrop and aerophotograph scales. Geophysical surveys reveal subvertical conductive anomalies associated to the fracture network controlling the drainage; one of the borders of the conductive anomaly usually coincide wih the drainage. An aspect of particular importance to the validation of fracture control are the possible presence of relalively deep conductive anomalies wihoul continuation or propagalion to the surface. The conductive nature of lhe anomaly is due to the presence of wealhered rock and sedirnenls (alluvium and/or regolilh) storing ground waler which occur associated to the fracture network. Magnetic surveys are not very sensisnive to these structures.lf soil or covering sedirnents are resislive (> 100 Ohm.m), GPR can ba used to image precisely lhe fracture network. A major limialion of riacho-fenda model, revealed by GPR images, is associated to the fact thal subhorizontal fractures do play a very important role in connecting the fracture network, besides connect shallow recharge zones to relalively deep subvertical frecture zones. Iffractures play just a secondary control on the drainage, however, r/acho-fenda model may have a very limiled validny; in these cases, large portions oflhe drainage do nol coincide wilh frectures and mosl oflhewells localed in lhe drainage surrounding would resull dry. Usually, a secondary conlrol on lhe drainage by Ihefraclure networkcan be revealed only wilh detailed geophysical survey. The calha elClv1o-aluvlonarmodel is valid where drainages are conlrolled by folialion. The degree 01 wealhering 01 lhe lolialion planes dictales lhe hydrogeological polenlial 01 lhe slruclure. Outcrop analysis reveals Ihal lolialion and drainage direclions are parallel and Ihal no Iraclures, orfraclures wilh diflerent directions 01 lhe drainage direclion occur. Geophysical surveys reveal conduclive anomalies in a slab lorm associaled 10 lhe Ihrough 01 lhe wealhered rock and sedimenls (alluvium and/or regolith). Magnelic surveys can ofler a very good conlrol on lolialion direclion. An importanl aspect 10 validale lolialion conlrol are lhe presence 01 conductive anomalies showing shallow and deep portions area which are linked. Illhere is an exlensive soil cover, r/acho-fenda and calha eIClv1o-aluv/onar conlrols can be easily misinlerpreled in lhe absence 01 geophysical conlrol. Certainly, Ihis lacl could explain at leasl a part of lhe failure index in well sitting. The model wealhering sack (bolsllo de Intempertsmo in Portuguese) is proposed to explain cases where a very inlensive wealhering occur over lhe crystalline rock so Ihal a secondary inlerslilial porosity is crealed. The waler is Ihen stored in lhe porous of lhe regolilh in a similar mannerlo sedimentary rocks. A possible example ofthis model was delecled by using land geophysical survey where a relalivelyvery deep isolaled conduclive anomaly, in a slab form, was delected. Iflhis structure does store ground waler, certainly Ihere must be a link 01 lhe deep slructure wilh lhe surface in orderlo provide walerfeeding. This model mighl explain anomalous waler yields as greal as 50 m³/h Ihalsomelimescan occur in crystalline rocks in Northeaslern Brazil

Um estudo das condições de percolação e estabilidade em barragens de terra mediante métodos geofísicos: caso do dique de Sant Llorenç de Montgai - Espanha

The monitoring of Earth dam makes use of visual inspection and instrumentation to identify and characterize the deterioration that compromises the security of earth dams and associated structures. The visual inspection is subjective and can lead to misinterpretation or omission of important information and, some problems are detected too late. The instrumentation are efficient but certain technical or operational issues can cause restrictions. Thereby, visual inspections and instrumentation can lead to a lack of information. Geophysics offers consolidated, low-cost methods that are non-invasive, non-destructive and low cost. They have a strong potential and can be used assisting instrumentation. In the case that a visual inspection and strumentation does not provide all the necessary information, geophysical methods would provide more complete and relevant information. In order to test these theories, geophysical acquisitions were performed using Georadar (GPR), Electric resistivity, Seismic refraction, and Refraction Microtremor (ReMi) on the dike of the dam in Sant Llorenç de Montgai, located in the province of Lleida, 145 km from Barcelona, Catalonia. The results confirmed that the geophysical methods used each responded satisfactorily to the conditions of the earth dike, the anomalies present and the geological features found, such as alluvium and carbonate and evaporite rocks. It has also been confirmed that these methods, when used in an integrated manner, are able to reduce the ambiguities in individual interpretations. They facilitate improved imaging of the interior dikes and of major geological features, thus inspecting the massif and its foundation. Consequently, the results obtained in this study demonstrated that these geophysical methods are sufficiently effective for inspecting earth dams and they are an important tool in the instrumentation and visual inspection of the security of the dams

Análises clínicas, radiográfica e microscópica de molares permanentes sem ou com lesão de cárie na superfície oclusal

O presente trabalho, objetivou avaliar comparativamente o diagnóstico clínico, radiógráfico e histológico de molares permanentes humanos sem ou com lesão de cárie na superfície oclusa!. Vinte e quatro dentes que estavam armazenados em formalina a 10% foram selecionados e em seguida submetidos a um exame clínico, através da inspeção visual, onde foram separados em 3 grupos: grupo 1 (G1), formado por dentes hígidos; grupo 2(G2), por dentes com pigmento na superfície oclusal e grupo 3(G3), aqueles com lesão de cárie na oclusal. Este exame foi realizado com auxílio de luz artificial proveniente de um refletor odontológico, sem qualquer manipulação da superfície. Para cada dente foram realizados duas tomadas radiográficas com e sem tela milimetrada, no sentido vestibulo lingual por um dos avaliadores, simulando uma radiografia interproximal, onde o feixe incidiu perpendicular ao longo eixo do dente. Em seguida os dentes foram preparados histomorfologicamente para coloração com hematoxilina e eosina e análise microscópica. Pela avaliação dos resultados a partir da amostra de 100%, foi possível concluir: 1) Os dentes clinicamente considerados hígidos (G1) apresentaram radiograficamente 74,99% de ausência de imagem radiolúcida e em 25% presença desta imagem na Junção Amelo¬dentinária e microscopicamente ausência de cárie em 100%; 2) os dentes que clinicamente apresentaram fissura pigmentada' (G2) notou-se em 33,33%, ausência da imagem radiolúcida e em 66,66% presente esta imagem na junção amelodentinária, 100% de ausência de cárie através da análise microscópica; 3) clinicamente, os dentes que apresentaram lesão de cárie (G3), radiograficamente foram comprovados 100% de imagem radiolúcida sugestiva de cárie e microscopicamente dos 100% destas, foram considerados cáries rasa (16,66%), média (61,10%) e profunda (22,22%) respectivamente

Espectros fractais em sistemas nanoestruturados e cristais fotônicos

The study of the elementary excitations such as photons, phonons, plasmons, polaritons, polarons, excitons and magnons, in crystalline solids and nanostructures systems are nowdays important active field for research works in solid state physics as well as in statistical physics. With this aim in mind, this work has two distinct parts. In the first one, we investigate the propagation of excitons polaritons in nanostructured periodic and quasiperiodic multilayers, from the description of the behavior for bulk and surface modes in their individual constituents. Through analytical, as well as computational numerical calculation, we obtain the spectra for both surface and bulk exciton-polaritons modes in the superstructures. Besides, we investigate also how the quasiperiodicity modifies the band structure related to the periodic case, stressing their amazing self-similar behavior leaving to their fractal/multifractal aspects. Afterwards, we present our results related to the so-called photonic crystals, the eletromagnetic analogue of the electronic crystalline structure. We consider periodic and quasiperiodic structures, in which one of their component presents a negative refractive index. This unusual optic characteristic is obtained when the electric permissivity and the magnetic permeability µ are both negatives for the same range of angular frequency ω of the incident wave. The given curves show how the transmission of the photon waves is modified, with a striking self-similar profile. Moreover, we analyze the modification of the usual Planck´s thermal spectrum when we use a quasiperiodic fotonic superlattice as a filter.

Propriedades termo-eletrônicas da molécula do DNA

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Conducão eletrônica e propriedades termodinâmicas da molécula de DNA

In this thesis, we study the thermo-electronic properties of the DNA molecule. For this purpose, we used three types of models with the DNA, all assuming a at geometry (2D), each built by a sequence of quasiperiodic (Fibonacci and / or Rudin-Shapiro) and a sequence of natural DNA, part of the human chromosome Ch22. The first two models have two types of components that are the nitrogenous bases (guanine G, cytosine C, adenine A and thymine T) and a cluster sugar-phosphate (SP), while the third has only the nitrogenous bases. In the first model we calculate the density of states using the formalism of Dyson and transmittance for the time independent Schr odinger equation . In the second model we used the renormalizationprocedure for the profile of the transmittance and consequently the I (current) versus V (voltage). In the third model we calculate the density of states formalism by Dean and used the results together with the Fermi-Dirac statistics for the chemical potential and the quantum specific heat. Finally, we compare the physical properties found for the quasi-periodic sequences and those that use a portion of the genomic DNA sequence (Ch22).

Processos aleatórios não-markovianos: perfis de memória

One of the mechanisms responsible for the anomalous diffusion is the existence of long-range temporal correlations, for example, Fractional Brownian Motion and walk models according to Elephant memory and Alzheimer profiles, whereas in the latter two cases the walker can always "remember" of his first steps. The question to be elucidated, and the was the main motivation of our work, is if memory of the historic initial is condition for observation anomalous diffusion (in this case, superdiffusion). We give a conclusive answer, by studying a non-Markovian model in which the walkers memory of the past, at time t, is given by a Gaussian centered at time t=2 and standard deviation t which grows linearly as the walker ages. For large widths of we find that the model behaves similarly to the Elephant model; In the opposite limit (! 0), although the walker forget the early days, we observed similar results to the Alzheimer walk model, in particular the presence of amnestically induced persistence, characterized by certain log-periodic oscillations. We conclude that the memory of earlier times is not a necessary condition for the generating of superdiffusion nor the amnestically induced persistence and can appear even in profiles of memory that forgets the initial steps, like the Gausssian memory profile investigated here.

Modelagem Matemática e Computacional de fenômenos eletrocinéticos em meios porosos carregados eletricamente

In this work we present a mathematical and computational modeling of electrokinetic phenomena in electrically charged porous medium. We consider the porous medium composed of three different scales (nanoscopic, microscopic and macroscopic). On the microscopic scale the domain is composed by a porous matrix and a solid phase. The pores are filled with an aqueous phase consisting of ionic solutes fully diluted, and the solid matrix consists of electrically charged particles. Initially we present the mathematical model that governs the electrical double layer in order to quantify the electric potential, electric charge density, ion adsorption and chemical adsorption in nanoscopic scale. Then, we derive the microscopic model, where the adsorption of ions due to the electric double layer and the reactions of protonation/ deprotanaç~ao and zeta potential obtained in modeling nanoscopic arise in microscopic scale through interface conditions in the problem of Stokes and Nerst-Planck equations respectively governing the movement of the aqueous solution and transport of ions. We developed the process of upscaling the problem nano/microscopic using the homogenization technique of periodic structures by deducing the macroscopic model with their respectives cell problems for effective parameters of the macroscopic equations. Considering a clayey porous medium consisting of kaolinite clay plates distributed parallel, we rewrite the macroscopic model in a one-dimensional version. Finally, using a sequential algorithm, we discretize the macroscopic model via the finite element method, along with the interactive method of Picard for the nonlinear terms. Numerical simulations on transient regime with variable pH in one-dimensional case are obtained, aiming computational modeling of the electroremediation process of clay soils contaminated