Escalabilidade Paralela de um Algoritmo de Migração Reversa no Tempo (RTM) Pré-empilhamento

The seismic method is of extreme importance in geophysics. Mainly associated with oil exploration, this line of research focuses most of all investment in this area. The acquisition, processing and interpretation of seismic data are the parts that instantiate a seismic study. Seismic processing in particular is focused on the imaging that represents the geological structures in subsurface. Seismic processing has evolved significantly in recent decades due to the demands of the oil industry, and also due to the technological advances of hardware that achieved higher storage and digital information processing capabilities, which enabled the development of more sophisticated processing algorithms such as the ones that use of parallel architectures. One of the most important steps in seismic processing is imaging. Migration of seismic data is one of the techniques used for imaging, with the goal of obtaining a seismic section image that represents the geological structures the most accurately and faithfully as possible. The result of migration is a 2D or 3D image which it is possible to identify faults and salt domes among other structures of interest, such as potential hydrocarbon reservoirs. However, a migration fulfilled with quality and accuracy may be a long time consuming process, due to the mathematical algorithm heuristics and the extensive amount of data inputs and outputs involved in this process, which may take days, weeks and even months of uninterrupted execution on the supercomputers, representing large computational and financial costs, that could derail the implementation of these methods. Aiming at performance improvement, this work conducted the core parallelization of a Reverse Time Migration (RTM) algorithm, using the parallel programming model Open Multi-Processing (OpenMP), due to the large computational effort required by this migration technique. Furthermore, analyzes such as speedup, efficiency were performed, and ultimately, the identification of the algorithmic scalability degree with respect to the technological advancement expected by future processors

Simulador computacional para poços de petróleo com método de elevação artificial por bombeio mecânico

This work proposes a computer simulator for sucker rod pumped vertical wells. The simulator is able to represent the dynamic behavior of the systems and the computation of several important parameters, allowing the easy visualization of several pertinent phenomena. The use of the simulator allows the execution of several tests at lower costs and shorter times, than real wells experiments. The simulation uses a model based on the dynamic behavior of the rod string. This dynamic model is represented by a second order partial differencial equation. Through this model, several common field situations can be verified. Moreover, the simulation includes 3D animations, facilitating the physical understanding of the process, due to a better visual interpretation of the phenomena. Another important characteristic is the emulation of the main sensors used in sucker rod pumping automation. The emulation of the sensors is implemented through a microcontrolled interface between the simulator and the industrial controllers. By means of this interface, the controllers interpret the simulator as a real well. A "fault module" was included in the simulator. This module incorporates the six more important faults found in sucker rod pumping. Therefore, the analysis and verification of these problems through the simulator, allows the user to identify such situations that otherwise could be observed only in the field. The simulation of these faults receives a different treatment due to the different boundary conditions imposed to the numeric solution of the problem. Possible applications of the simulator are: the design and analysis of wells, training of technicians and engineers, execution of tests in controllers and supervisory systems, and validation of control algorithms

Br-IndustrialExpert: um framework para análise de dependabilidade de processos industriais

There is a growing need to develop new tools to help end users in tasks related to the design, monitoring, maintenance and commissioning of critical infrastructures. The complexity of the industrial environment, for example, requires that these tools have flexible features in order to provide valuable data for the designers at the design phases. Furthermore, it is known that industrial processes have stringent requirements for dependability, since failures can cause economic losses, environmental damages and danger to people. The lack of tools that enable the evaluation of faults in critical infrastructures could mitigate these problems. Accordingly, the said work presents developing a framework for analyzing of dependability for critical infrastructures. The proposal allows the modeling of critical infrastructure, mapping its components to a Fault Tree. Then the mathematical model generated is used for dependability analysis of infrastructure, relying on the equipment and its interconnections failures. Finally, typical scenarios of industrial environments are used to validate the proposal

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

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

Estruturas tectônicas cenozóicas na porção leste da Bacia Potiguar - RN

This thesis encompasses the integration of geological, geophysical, and seismological data in the east part of the Potiguar basin, northeastern Brazil. The northeastern region is located in South American passive margin, which exhibits important areas that present neotectonic activity. The definition of the chronology of events, geometry of structures generated by these events, and definition of which structures have been reactivated is a necessary task in the region. The aims of this thesis are the following: (1) to identify the geometry and kinematics of neotectonic faults in the east part of the Potiguar basin; (2) to date the tectonic events related to these structures and related them to paleoseismicity in the region; (3) to present evolutional models that could explain evolution of Neogene structures; (4) and to investigate the origin of the reactivation process, mainly the type of related structure associated with faulting. The main type of data used comprised structural field data, well and resistivity data, remote sensing imagery, chronology of sediments, morphotectonic analysis, x-ray analysis, seismological and aeromagnetic data. Paleostress analysis indicates that at least two tectonic stress fields occurred in the study area: NSoriented compression and EW-oriented extension from the late Campanian to the early Miocene and EW-oriented compression and NS-oriented extension from the early Miocene to the Holocene. These stress fields reactivated NE-SW- and NW-SE-trending faults. Both set of faults exhibit right-lateral strike-slip kinematics, associated with a minor normal component. It was possible to determine the en echelon geometry of the Samambaia fault, which is ~63 km long, 13 km deep, presents NE-SW trend and strong dip to NW. Sedimentfilled faults in granite rocks yielded Optically Stimulated Luminescence (OSL) and Single-Aliquot Regeneration (SAR) ages at 8.000 - 9.000, 11.000 - 15.000, 16.000 - 24.000, 37.000 - 45.500, 53.609 - 67.959 e 83.000 - 84.000 yr BP. The analysis of the ductile fabric in the João Câmara area indicate that the regional foliation is NE-SW-oriented (032o - 042o), which coincides with the orientation of the epicenters and Si-rich veins. The collective evidence points to reactivation of preexisting structures. Paleoseismological data suggest paleoseismic activity much higher than the one indicated by the short historical and instrumental record

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

Evolução tectono-estrutural do Campo de Xaréu (Sub-bacia de Mundaú, Bacia do Ceará - NE do Brasil: abordagem multiescala e pluriferramental

The Xaréu Oil Field, located in the center-southern portion of the Mundaú Sub-Basin (eastern portion of the Ceará Basin), is characterized by a main Iramework of NW-trending and NE-dipping faults. The faults in the Xaréu Oil Field, among which the Xaréu Fautt stands out, are arranged according to an extensional-listriclan, rooted on a detachment surface corresponding to the Mundaú Fault, the border fautt of Mundaú Sub-Basin. During the tectonic-structural evolution of the Xaréu Oil Field and the Mundaú Sub-Basin, the Mundaú Fault played a crucial role on the control of the geometry of both compartments. The main carbonatic unit in the Xaréu Oil Field, named the Trairí Member(Paracuru Formation of Late Aptian to Early Albian age), contains the largest oil volume in the field, concentrated in structurally-controlled accumulations. The Trairí Member is composed by a variety of carbonatic rocks (massive, bedded or laminated calcilutites, ostracodites, calcarenites and carbonatic rudites, all of them presenting variable degrees of dolomitization). The carbonatic rocks are interbedded into thick packages of black shales and marls, besides local beds of siliciclastic conglomerates, sandstones, siltnes and argillites. From the spatial association and the genetic relationships between the carbonatic and siliciclastic units, it is possible to group them in three lithofacies associations (Marginal Plain, Ramp and Lacustrine Interior) that, together, were developed in a lacustrine system associated to a marginal sabkha. Structural studies based on drill coresthat sample the Trairí Member in the Xaréu Oil Field allowed to characterize two generations of meso- to microscale structures: the D1 group presents a typical hydroplastic character, being characterized by intra/interstratal to oblique-bedding shear zones. The hydroplastic character related to these structures allowed to infer their development at an early-lithilication stage of the Trairí Member, leading to infer an Early Cretaceous age to them. The second group of structures identified in the drill cores, nominated D2 and ascribed to a Neogene age, presents a strictly brttle character, being typilied by normal faults and slickenfibers of re-crystallized clayminerals, ali olthem displaying variable orientations. Although the present faults in the Xaréu Oil Field (and, consequently, in the Mundaú Sub-Basin) were classically relerred as struetures of essentially normal displacement, the kinematics analysis of the meso-to microscaie D1 struetures in the drill cores led to deline oblique displacements (normal with a clockwise strike-slip component) to these faults, indicating a main tectonic transport to ENE. These oblique movements would be responsible for the installation of a transtensive context in the Mundaú Sub-Basin, as part of the transcurrent to translormant opening of the Atlantic Equatorial Margin. The balancing of four struetural cross-sections ofthe Xaréu Oil Field indicates that the Mundaú Fault was responsible for more than 50% of the total stretching (ß factor) registered during the Early Aptian. At the initial stages of the "rifting", during Early Aptianuntil the Holocene, the Mundaú Sub-Basin (and consequently the Xaréu Oil Fleld) accumulated a total stretching between 1.21 and 1.23; in other words, the crust in this segment of the Atlantic Equatorial Margin was subjeeted to an elongation of about 20%. From estimates of oblique displacements related to the faults, it ws possible to construct diagrams that allow the determination of stretching factors related to these displacements. Using these diagrams and assuming the sense 01 dominant teetonictransport towards ENE, it was possible to calculate the real stretching lactors related to the oblique movement 0 of the faults in the Mundaú Sub-Basin. which reached actual values between 1.28 and 1.42. ln addnion to the tectonic-structural studies in the Xaréu Oil Field, the interpretation of remote sensing products, coupled wnh characterization of terrain analogues in seleeted areas along the northern Ceará State (continental margins of the Ceará and Potiguar basins), provided addnional data and constraints about the teetonic-structural evolution of the oil lield. The work at the analogue sites was particularly effective in the recognition and mapping, in semidetail scale, several generations of struetures originated under a brittle regime. Ali the obtained information (from the Xaréu Oil Field, the remote sensor data and the terrain analogues) were jointly interpreted, culminating with the proposnion of an evolutionary model lor this segment of the Atlantic Equatorial Margin; this model that can be applied to the whole Margin, as well. This segmentof the Atlantic Equatorial Margin was delormedin an early E-W (when considered lhe present-day position of the South American Plate) transcurrent to transform regime with dextral kinematics, started Irom, at least, the Early Aptian, which left its record in several outcrops along the continental margin of the Ceará State and specilically in the Xaréu off Field. The continuous operation of the regime, through the Albian and later periods, led to the definitive separation between the South American and African plates, with the formation of oceanic lithosphere between the two continental blocks, due to the emplacement off spreading centers. This process involved the subsequent transition of the transcurrent to a translorm dextral regime, creating lhe Equatorial Atlantic Oceano With the separation between the South American and African plates already completed and the increasing separation between lhe continental masses, other tecton ic mechanisms began to act during the Cenozoic (even though the Cretaceous tectonic regime lasted until the Neogene), like an E-W compressive stress líeld (related to the spreading olthe oceanic floor along lhe M id-Atlantic Ridge and to the compression of the Andean Chain) effective Irom the Late Cretaceous, and a state of general extension olthe horizontal surface (due to the thermal uplift ofthe central portion of Borborema Province), effective during the Neogene. The overlap of these mechanisms during the Cenozoic led to the imprint of a complex tectonic framework, which apparently influenced the migration and entrapment 01 hydrocarbon in the Ceará Basin

Litoestratigrafia e deformação cenzóica na região de Icapuí, Ceará, e implicações para a estruturação de campos de petróleo na borda ocidental da bacia Potiguar(NE do Brasil)

This thesis deals with the sedimentological/stratigraphic and structural evolution of the sedimentary rocks that occur in the NW continental border of the Potiguar Basin. These rocks are well exposed along coastal cliffs between the localities of Lagoa do Mato and Icapuí, Ceará State (NE Brazil). The sedimentological/stratigraphic study involved, at the outcrop scale, detailed facies descriptions, profile mapping of the vertical succession of different beds, and columnar sections displaying inferred lateral relationships. The approach was complemented by granulometric and petrographic analyses, including the characterization of heavy mineral assemblages. The data set allowed to recognize two kinds of lithological units, a carbonate one of very restricted occurrence at the base of the cliffs, and three younger, distinct siliciclastic units, that predominate along the cliffs, in vertical and lateral extent. The carbonate rocks were correlated to the late Cretaceous Jandaíra Formation, which is covered by the siliciclastic Barreiras Formation. The Barreiras Formation occurs in two distinct structural settings, the usual one with nondeformed, subhorizontal strata, or as tilted beds, affected by strong deformation. Two lithofacies were recognized, vertically arranged or in fault contacts. The lower facies is characterized by silty-argillaceous sandstones with low-angle cross bedding; the upper facies comprises medium to coarse grained sandstones, with conglomeratic layers. The Tibau Formation (medium to coarse-grained sandstones with argillite intercalations) occurs at the NW side of the studied area, laterally interlayered with the Barreiras Formation. Eolic sediments correlated to the Potengi Formation overly the former units, either displaying an angular unconformity, or simply an erosional contact (stratigraphic unconformity). Outstanding structural features, identified in the Barreiras Formation, led to characterize a neocenozoic stress field, which generated faults and folds and/or reactivated older structures in the subjacent late cretaceous (to paleogene, in the offshore basin) section. The structures recognized in the Barreiras Formation comprise two distinct assemblages, namely a main extensional deformation between the localities of Ponta Grossa and Redonda, and a contractional style (succeeded by oblique extensional structures) at Vila Nova. In the first case, the structural assemblage is dominated by N-S (N±20°Az) steep to gently-dipping extensional faults, displaying a domino-style or listric geometry with associated roll-over structures. This deformation pattern is explained by an E-W/WNW extension, contemporaneous with deposition of the upper facies of the Barreiras Formation, during the time interval Miocene to Pleistocene. Strong rotation of blocks and faults generated low-angle distensional faults and, locally, subvertical bedding, allowing to estimate very high strain states, with extension estimates varying between 40% up to 200%. Numerous detachment zones, parallel to bedding, help to acommodate this intense deformation. The detachment surfaces and a large number of faults display mesoscopic features analoguous to the ones of ductile shear zones, with development of S-C fabrics, shear bands, sigmoidal clasts and others, pointing to a hydroplastic deformation regime in these cases. Local occurrences of the Jandaíra limestone are controled by extensional faults that exhume the pre-Barreiras section, including an earlier event with N-S extension. Finally, WNWtrending extensional shear zones and faults are compatible with the Holocene stress field along the present continental margin. In the Vila Nova region, close to Icapuí, gentle normal folds with fold hinges shallowly pluging to SSW affect the lower facies of the Barreiras Formation, displaying an incipient dissolution cleavage associated with an extension lineation at high rake (a S>L fabric). Deposition of the upper facies siliciclastics is controlled by pull-apart graben structures, bordered by N-NE-trending sinistral-normal shear zones and faults, characterizing an structural inversion. Microstructures are compatible with tectonic deformation of the sedimentary pile, burried at shallow depths. The observed features point to high pore fluid pressures during deformation of the sediments, producing hydroplastic structures through mechanisms of granular flow. Such structures are overprinted by microfractures and microfaults (an essentially brittle regime), tracking the change to microfracturing and frictional shear mechanisms accompanying progressive dewatering and sediment lithification. Correlation of the structures observed at the surface with those present at depth was tested through geophysical data (Ground Penetrating Radar, seismics and a magnetic map). EW and NE-trending lineaments are observed in the magnetic map. The seismic sections display several examples of positive flower structures which affect the base of the cretaceous sediments; at higher stratigraphic levels, normal components/slips are compatible with the negative structural inversion characterized at the surface. Such correlations assisted in proposing a structural model compatible with the regional tectonic framework. The strong neogenepleistocene deformation is necessarily propagated in the subsurface, affecting the late cretaceous section (Açu and Jandaíra formations), wich host the hydrocarbon reservoirs in this portion of the Potiguar Basin. The proposed structural model is related to the dextral transcurrent/transform deformation along the Equatorial Margin, associated with transpressive terminations of E-W fault zones, or at their intersections with NE-trending lineaments, such as the Ponta Grossa-Fazenda Belém one (the LPGFB, itself controlled by a Brasiliano-age strike-slip shear zone). In a first step (and possibly during the late Cretaceous to Paleogene), this lineament was activated under a sinistral transpressional regime (antithetic to the main dextral deformation in the E-W zones), giving way to the folds in the lower facies of the Barreiras Formation, as well as the positive flower structures mapped through the seismic sections, at depth. This stage was succeeded (or was penecontemporaneous) by the extensional structures related to a (also sinistral) transtensional movement stage, associated to volcanism (Macau, Messejana) and thermal doming processes during the Neogene-Pleistocene time interval. This structural model has direct implications to hydrocarbon exploration and exploitation activities at this sector of the Potiguar Basin and its offshore continuation. The structure of the reservoirs at depth (Açu Formation sandstones of the post-rift section) may be controlled (or at least, strongly influenced) by the deformation geometry and kinematics characterized at the surface. In addition, the deformation event recognized in the Barreiras Formation has an age close to the one postulated for the oil maturation and migration in the basin, between the Oligocene to the Miocene. In this way, the described structural cenario represents a valid model to understand the conditions of hydrocarbon transport and acummulation through space openings, trap formation and destruction. This model is potentially applicable to the NW region of the Potiguar Basin and other sectors with a similar structural setting, along the brazilian Equatorial Atlantic Margin

Tecttôniica póss--riifftte na Baciia Pottiiguar

The study of Brazilian sedimentary basins concentrates on their rift phase, whereas the Post-rift phase has been considered a tectonic quiescent period. The post-rift sequence of the Potiguar Basin, in the far northeastern Brazil, was once considered little deformed, however several studies have shown how that it was affected by major fault systems. The purpose of this thesis is to characterize the post-rift tectonic. The specific objectives are: to characterize the Neogene and Quaternary sedimentary units that outcrop of the Potiguar Basin; to show how the NW-SEtrending Afonso Bezerra Faults System deformed outcrop rocks in the Basin; to describe soft-sediment deformation in gravels of the Quaternary Alluvial Deposits from Açu River. Facies analyses, grain-size studies, luminescence dating, remote sensing, structural mapping, shallow geophysics (georadar), paleostress and petrography were carried out. The structural mapping and the georadar sections indicated that the Carnaubais and Afonso Bezerra fault systems formed fractures, silicified and non-silicified faults or deformation bands, affecting mainly the Açu, Jandaíra and Barreiras formations. The petrographic data indicate that the strong silicification resulted in a sealant character of the faults. Paleostress analysis indicates that two stress fields affected the Basin: the first presented N-S-trending compression, occurred from the Neocretaceous to the Miocene; the second stress field presents E-W-trending compression, acts from the Miocene to the present. It was verified once the Afonso Bezerra System Faults was reactivated in periods post-Campanian and affects all post-rift lithostratigraphic units of Potiguar Basin, including Quaternary sedimentary covers. The study about soft-sediment deformation structures indicates that they are similar in morphology and size to modern examples of seismically-induced deformation strutures in coarse sediments. TL and OSL ages indicate that sediment deposition and associated soft-sediment deformation occurred at least six times from ~352 Ka to ~9 Ka. Finally these studies demonstrate how recent is tectonics in the Basin Potiguar

Geologia, Geocronologia, Geoquímica e Petrogênese das Rochas Ígneas Cretácicas da Província Magmática do Cabo e suas Relações com as Unidades Sedimentares da Bacia de Pernambuco (NE do Brasil)

The area studied forms a thin NNE-directed belt situated south of Recife town (Pernambuco state), northeastern Brazil. Geologically, it comprises the Pernambuco Basin (PB), which is limited by the Pernambuco Lineament to the north, the Maragogi high to the south and the Pernambuco Alagoas massif to the west, all of them with Precambrian age. This thesis reports the results obtained for the Cabo Magmatic Province (CMP), aiming the characterization of the geology, stratigraphy, geochronology, geochemistry and petrogenesis of the Cretaceous igneous rocks presented in the PB. The PB is composed of the Cabo Formation (rift phase) at the base (polymictic conglomerates, sandstones, shales), an intermediate unit, the Estiva Formation (marbles and argillites), and, at the top, the Algodoais Formation (monomictic conglomerates, sandstones, shales). The CMP is represented by trachytes, rhyolites, pyroclastics (ignimbrites), basalts / trachy-andesites, monzonites and alkali-feldspar granite, which occur as dykes, flows, sills, laccoliths and plugs. Field observations and well descriptions show that the majority of the magmatic rocks have intrusive contacts with the Cabo Formation, although some occurrences are also suggestive of synchronism between volcanism and siliciclastic sedimentation. 40Ar/39Ar and zircon fission tracks for the magmatic rocks indicate an average age of 102 r 1 Ma for the CMP. This age represents an expressive event in the province and is detected in all igneous dated materials. It is considered as a minimum age (Albian) for the magmatic episode and the peak of the rift phase in the PB. The 40Ar/39Ar dates are about 10-14 Ma younger than published palynologic ages for this basin. Geochemically, the CMP may be divided in two major groups; i) a transitional to alkaline suite, constituted by basalts to trachy-andesites (types with fine-grained textures and phenocrysts of sanidine and plagioclase), trachytes (porphyrytic texture, with phenocrysts of sanidine and plagioclase) and monzonites; ii) a alkaline suite, highly fractionated, acidic volcano-plutonic association, formed by four subtypes (pyroclastic flows ignimbrites, fine-to medium-grained rhyolites, a high level granite, and later rhyolites). These four types are distinguished essentially by field aspects and petrographic and textural features. Compatible versus incompatible trace element concentrations and geochemical modeling based on both major and trace elements suggest the evolution through low pressure fractional crystallization for trachytes and other acidic rocks, whereas basalts / trachy-andesites and monzonites evolved by partial melting from a mantle source. Sr and Nd isotopes reveal two distinct sources for the rocks of the CMP. Concerning the acidic ones, the high initial Sr ratios (ISr = 0.7064-1.2295) and the negative HNd (-0.43 to -3.67) indicate a crustal source with mesoproterozoic model ages (TDM from 0.92 to 1.04 Ga). On the other hand, the basic to intermediate rocks have low ISr (0.7031-0.7042) and positive HNd (+1.28 to +1.98), which requires the depleted mantle as the most probable source; their model ages are in the range 0.61-0.66 Ga. However, the light rare earth enrichment of these rocks and partial melting modeling point to an incompatible-enriched lherzolitic mantle with very low quantity of garnet (1-3%). This apparent difference between geochemical and Nd isotopes may be resolved by assuming that the metasomatizing agent did not obliterate the original isotopic characteristics of the magmas. A 2 to 5% partial melting of this mantle at approximately 14 kbar and 1269oC account very well the basalts and trachy-andesites studied. By using these pressure and temperatures estimates for the generation of the basaltic to trachy-andesitic magma, it is determined a lithospheric stretching (E) of 2.5. This E value is an appropriated estimate for the sub-crustal stretching (astenospheric or the base of the lithosphere?) region under the Pernambuco Basin, the crustal stretching probably being lower. The integration of all data obtained in this thesis permits to interpret the magmatic evolution of the PB as follows; 1st) the partial melting of a garnet-bearing lherzolite generates incompatible-enriched basaltic, trachy-andesitic and monzonitic magmas; 2nd) the underplating of these basaltic magmas at the base of the continental crust triggers the partial melting of this crust, and thus originating the acidic magmas; 3rd) concomitantly with the previous stage, trachytic magmas were produced by fractionation from a monzonitic to trachy-andesitic liquid; 4th) the emplacement of the several magmas in superficial (e.g. flows) or sub-superficial (e.g. dykes, sills, domes, laccoliths) depths was almost synchronically, at about 102 r 1 Ma, and usually crosscutting the sedimentary rocks of the Cabo Formation. The presence of garnet in the lherzolitic mantle does not agree with pressures of about 14 kbar for the generation of the basaltic magma, as calculated based on chemical parameters. This can be resolved by admitting the astenospheric uplifting under the rift, which would place deep and hot material (mantle plume?) at sub-crustal depths. The generation of the magmas and their subsequent emplacement would be coupled with the crustal rifting of the PB, the border (NNE-SSW directed) and transfer (NW-SE directed) faults serving as conduits for the magma emplacement. Based on the E parameter and the integration of 40Ar/39Ar and palynologic data it is interpreted a maximum duration of 10-14 Ma for the rift phase (Cabo Formation clastic sedimentation and basic to acidic magmatism) of the PB

Geomorfologia e neotectônica no Vale do Apodi-Mossoró RN

Numerous studies have indicated that the Potiguar Basin is affected by Cenozoic tectonics. The reactivation of Cretaceous fault systems affect the post-rift units, witch include Neogene and overlying Quaternary sediments. In this context, the objectives of this thesis are the followings: (1) to characterize the effects of post-rift tectonics in the morphology of Apodi Mossoró-river valley located in the central portion of the Potiguar, (2) to characterize the drainage of the Apodi Mossoró river valley and investigate the behavior of their channels across active faults, and (3) to propose a geologic-geomorphological evolutionary model for the study area. This study used a geological and geomorphological mapping of the central part of the basin, with emphasis on the Quaternary record, luminescence dating of sediments, and geoelectric profiles of the area. The results reveal by maps of structural lineaments and drainage channels of the rivers form valleys that are affected by faults and folds. In Apodi-Mossoró valley, anomalies of channel morphology are associated with the deformation of the post-rift basin. These anomalies show the reactivation of major fault systems in the Potiguar Basin in Cenozoic. On a regional scale, can be seen through the vertical electric profiles that the Cenozoic tectonics is responsible for the elevation of a macro dome NE-SE-trending 70-km long and 50km wide and up to 270 above sea level. In this sector, the vertical electric profiles data show that the contact between the Cretaceous and Neogene rise more than 100m. This Is an important feature of inversion data obtained in this work showed that the deposits that cover the macro dome (Serra do Mel) have ages of 119 ka to 43 ka. In the river valley and surrounding areas Apodi-Mossoró ages vary between 319 ka and 2.7 ka. From these data it was possible to establish the correct geochronological posiconamento paleodepósitos of distinguishing them from the fluvial deposits of the Neogene (Barreiras Formation)