Uma abordagem dirigida por modelos para gerência de variabilidade e execução de processos de software

This dissertation presents a model-driven and integrated approach to variability management, customization and execution of software processes. Our approach is founded on the principles and techniques of software product lines and model-driven engineering. Model-driven engineering provides support to the specification of software processes and their transformation to workflow specifications. Software product lines techniques allows the automatic variability management of process elements and fragments. Additionally, in our approach, workflow technologies enable the process execution in workflow engines. In order to evaluate the approach feasibility, we have implemented it using existing model-driven engineering technologies. The software processes are specified using Eclipse Process Framework (EPF). The automatic variability management of software processes has been implemented as an extension of an existing product derivation tool. Finally, ATL and Acceleo transformation languages are adopted to transform EPF process to jPDL workflow language specifications in order to enable the deployment and execution of software processes in the JBoss BPM workflow engine. The approach is evaluated through the modeling and modularization of the project management discipline of the Open Unified Process (OpenUP)

Caracterização tectono-estratigráfica da sequência transicional na sub-bacia de Sergipe

This thesis deals with the tectonic-stratigraphic evolution of the Transitional Sequence in the Sergipe Sub-basin (the southern segment of the Sergipe-Alagoas Basin, Northeast Brazil), deposited in the time interval of the upper Alagoas/Aptian stage. Sequence boundaries and higher order internal sequences were identified, as well as the structures that affect or control its deposition. This integrated approach aimed to characterize the geodynamic setting and processes active during deposition of the Transitional Sequence, and its relations with the evolutionary tectonic stages recognized in the East Brazilian Margin basins. This subject addresses more general questions discussed in the literature, regarding the evolution from the Rift to the Drift stages, the expression and significance of the breakup unconformity, the relationships between sedimentation and tectonics at extensional settings, as well as the control on subsidence processes during this time interval. The tectonic-stratigraphic analysis of the Transitional Sequence was based on seismic sections and well logs, distributed along the Sergipe Sub-basin (SBSE). Geoseismic sections and seismic facies analysis, stratigraphic profiles and sections, were compiled through the main structural blocks of this sub-basin. These products support the depositional and tectonic-stratigraphic evolutionary models built for this sequence. The structural analysis highlighted similarities in deformation styles and kinematics during deposition of the Rift and Transitional sequences, pointing to continuing lithospheric extensional processes along a NW trend (X strain axis) until the end of deposition of the latter sequence was finished by the end of late Aptian. The late stage of extension/rifting was marked by (i) continuous (or as pulses) fault activity along the basin, controling subsidence and creation of depositional space, thereby characterizing upper crustal thinning and (ii) sagstyle deposition of the Transitional Sequence at a larger scale, reflecting the ductile stretching and thinnning of lower and sub crustal layers combined with an increasing importance of the thermal subsidence regime. Besides the late increments of rift tectonics, the Transitional Sequence is also affected by reactivation of the border faults of SBSE, during and after deposition of the Riachuelo Formation (lower section of the Transgressive Marine Sequence, of Albian age). It is possible that this reactivation reflects (through stress propagation along the newlycreated continental margin) the rifting processes still active further north, between the Alagoas Sub-basin and the Pernambuco-Paraíba Basin. The evaporitic beds of the Transitional Sequence contributed to the development of post-rift structures related to halokinesis and the continental margin collapse, affecting strata of the overlying marine sequences during the Middle Albian to the Maastrichtian, or even the Paleogene time interval. The stratigraphic analysis evidenced 5 depositional sequences of higher order, whose vertical succession indicates an upward increase of the base level, marked by deposition of continental siliciclastic systems overlain by lagunar-evaporitic and restricted marine systems, indicating that the Transitional Sequence was deposited during relative increase of the eustatic sea level. At a 2nd order cycle, the Transitional Sequence may represent the initial deposition of a Transgressive Systems Tract, whose passage to a Marine Transgressive Sequence would also be marked by the drowning of the depositional systems. At a 3rd order cycle, the sequence boundary corresponds to a local unconformity that laterally grades to a widespread correlative conformity. This boundary surface corresponds to a breakup unconformity , being equivalent to the Pre-Albian Unconformity at the SBSE and contrasting with the outstanding Pre-upper Alagoas Unconformity at the base of the Transitional Sequence; the latter is alternatively referred, in the literature, as the breakup unconformity. This Thesis supports the Pre-Albian Unconformity as marker of a major change in the (Rift-Drift) depositional and tectonic setting at SBSE, with equivalent but also diachronous boundary surfaces in other basins of the Atlantic margin. The Pre-upper Alagoas Unconformity developed due to astenosphere uplift (heating under high lithospheric extension rates) and post-dates the last major fault pulse and subsequent extensive block erosion. Later on, the number and net slip of active faults significantly decrease. At deep to ultra deep water basin segments, seaward-dipping reflectors (SDRs) are unconformably overlain by the seismic horizons correlated to the Transitional Sequence. The SDRs volcanic rocks overly (at least in part) continental crust and are tentatively ascribed to melting by adiabatic decompression of the rising astenospheric mantle. Even though being a major feature of SBSE (and possibly of other basins), the Pre-upper Alagoas Unconformity do not correspond to the end of lithospheric extension processes and beginning of seafloor spreading, as shown by the crustal-scale extensional structures that post-date the Transitional Sequence. Based on this whole context, deposition of the Transitional Sequence is better placed at a late interval of the Rift Stage, with the advance of an epicontinental sea over a crustal segment still undergoing extension. Along this segment, sedimentation was controled by a combination of thermal and mechanical subsidence. In continuation, the creation of oceanic lithosphere led to a decline in the mechanical subsidence component, extension was transferred to the mesoceanic ridge and the newly-formed continental margin (and the corresponding Marine Sequence) began to be controlled exclusively by the thermal subsidence component. Classical concepts, multidisciplinary data and new architectural and evolutionary crustal models can be reconciled and better understood under these lines

Proposta metodológica para o imageamento, caracterização, parametrização e geração de modelos virtuais de afloramentos

The aim of this work was to describe the methodological procedures that were mandatory to develop a 3D digital imaging of the external and internal geometry of the analogue outcrops from reservoirs and to build a Virtual Outcrop Model (VOM). The imaging process of the external geometry was acquired by using the Laser Scanner, the Geodesic GPS and the Total Station procedures. On the other hand, the imaging of the internal geometry was evaluated by GPR (Ground Penetrating Radar).The produced VOMs were adapted with much more detailed data with addition of the geological data and the gamma ray and permeability profiles. As a model for the use of the methodological procedures used on this work, the adapted VOM, two outcrops, located at the east part of the Parnaiba Basin, were selected. On the first one, rocks from the aeolian deposit of the Piaui Formation (Neo-carboniferous) and tidal flat deposits from the Pedra de Fogo Formation (Permian), which arises in a large outcrops located between Floriano and Teresina (Piauí), are present. The second area, located at the National Park of Sete Cidades, also at the Piauí, presents rocks from the Cabeças Formation deposited in fluvial-deltaic systems during the Late Devonian. From the data of the adapted VOMs it was possible to identify lines, surfaces and 3D geometry, and therefore, quantify the geometry of interest. Among the found parameterization values, a table containing the thickness and width, obtained in canal and lobes deposits at the outcrop Paredão and Biblioteca were the more relevant ones. In fact, this table can be used as an input for stochastic simulation of reservoirs. An example of the direct use of such table and their predicted radargrams was the identification of the bounding surface at the aeolian sites from the Piauí Formation. In spite of such radargrams supply only bi-dimensional data, the acquired lines followed of a mesh profile were used to add a third dimension to the imaging of the internal geometry. This phenomenon appears to be valid for all studied outcrops. As a conclusion, the tool here presented can became a new methodology in which the advantages of the digital imaging acquired from the Laser Scanner (precision, accuracy and speed of acquisition) were combined with the Total Station procedure (precision) using the classical digital photomosaic technique

Geração automática de modelos digitais de superfícies utilizando múltiplas imagens

Pós-graduação em Ciências Cartográficas - FCT

Alívio de sobrecargas em redes de transmissão com o auxílio de geradores distribuídos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Análise de sensibilidade através de um modelo implicitamente acoplado para alívio de sobrecargas em redes de transmissão

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Uma abordagem probabilística do número de reprodução básica em modelos epidemiológicos com aplicação na ferrugem do eucalipto

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Comparação econômica entre critérios de dimensionamento de sistemas de irrigação por microaspersão utilizando modelos de programação linear

Pós-graduação em Agronomia (Irrigação e Drenagem) - FCA

Estudo da distribuição das tensões provenientes de molas helicoidais utilizadas na verticalização de molares pelo método da Fotoelasticidade de transmissão plana

Pós-graduação em Odontologia - FOA

Interromper o curso do mundo: considerações sobre a idéia de história em Walter Benjamin

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Planejamento da expansão de sistemas de transmissão considerando análise de confiabilidade e incertezas na demanda futura

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Análise crítica de aspectos de modelagem matemática no planejamento da expansão a longo prazo de sistemas de transmissão

Pós-graduação em Engenharia Elétrica - FEIS

Redespacho de reativos como ação corretiva para alívio de sobrecargas em Redes de transmissão

Pós-graduação em Engenharia Elétrica - FEIS

Análise e desenvolvimento de algoritmos eficientes de programação linear para o problema de planejamento de sistemas de transmissão a longo prazo

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Modelagem da produção acumulada de biogás em biodigestores tipo batelada segundo a porcentagem de inóculo adicionada utilizando os modelos de regressão não-linear de Gompertz e expoencial

Pós-graduação em Agronomia (Energia na Agricultura) - FCA