Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

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

Caracterização hidrodinâmica e morfo-sedimentar do estuário Potengi e áreas adjascentes: subsídios para controle e recuperação ambiental no caso de derrames de hidrocarboneto

This study presents the Environmental Sensibility Mapping to oil spillings on the Potengi estuary - RN and neighboring coastline through remote sensing data, collecting, treatment and integration of the geomorphologic, oceanographic (temperature, salinity, density, direction and intensity), meteorological (wind speed and direction) and high resolution seismic (bathymetry and sonography) data. The Potengi river estuary is located on the eastern coastline of the Rio Grande do Norte State, being inserted in the geological context for the coastal Pernambuco-Paraíba basin and spreading over 18 km; it shelters the Natal harbor zone and an oil terminal, centralizing, therefore, important oil transport operations that can cause accidental spillings. Under the oceanographic point of view, the Potengi estuary is characterized by the absence of any expressive thermic stratification, being classified as partially mixed, B type according to Pritchard (1955), and 2 type in conformity to the stratification-circulation diagram by Hansen & Rattray (1966). Two main wind systems are responsable for the formation of wave sets that occur in the area. The dynamic tide presents, in the Natal Harbor, mean amplitude in spring and quadrature tides, with around 2.8 and 2m, respectively. The mechanism of saline tide mixing was defined through the salinity which is the main parameter for the identification of this mechanism. Important variations of the salinity mean values (36.32 psu), temperature (28.11ºC) and density (22.96 kg/m3) in the estuarine waters presented features belonging to low latitude regions. The water temperature follows the air temperature variations, in the region, with expressive daily amplitudes. In this study, the identification of the estuarine bed morphology through bathymetric and sonographic analysis, had the purpose to evaluate the influence of the superficial and bottom currents for the bottom shaping. In this way, the use of the side scan sonar showed, to be very useful in the identification of the bottom morphology and its relationship with the predominant action of the tidal currents in the Potengi estuary. Besides, it showed how the sonograms can be a support to the comparison of the several patterns derived from the local hydrodynamic variations. The holocene sediments, which fill the estuarine channel, are predominantly sandy, varying from selected, sometimes silty. The sedimentation is controlled by the environmental hydrodynamic conditions, being recognized two important textural facies: Muddy Facies and Sandy Facies. The distribution of these textural facies apparently oscillates owing to the tidal cycle and flow intensity. Each one of the above mentioned data was integrated in a Geographic Information System (GIS), from which was produced the Environmental Sensibility Map to oil spillings with Coastal Sensibility Index (CSI) to the Potengi estuary. The integrated analysis of these data is essential to oil spilling contingency plans, in order to reduce the spilling environmental consequences and to make efficient the endeavours of contention and cleaning up/removal on the Natal Harbor. This study has the aim to collaborate for the increase of informations about the estuarine environment and contribute to a better management of the question: environment/polluting loads

Arquitetura, litofácies e evolução tectonoestratigráfica da bacia do rio do peixe, nordeste do Brasil

The Rio do Peixe Basin is located in the border of Paraíba and Ceará states, immediately to the north of the Patos shear zone, encompassing an area of 1,315 km2. This is one of the main basins of eocretaceous age in Northeast Brazil, associated to the rifting event that shaped the present continental margin. The basin can be divided into four sub-basins, corresponding to Pombal, Sousa, Brejo das Freiras and Icozinho half-grabens. This dissertation was based on the analysis and interpretation of remote sensing products, field stratigraphic and structural data, and seismic sections and gravity data. Field work detailed the lithofacies characterization of the three formations previously recognised in the basin, Antenor Navarro, Sousa and Rio Piranhas. Unlike the classical vertical stacking, field relations and seismostratigraphic analysis highlighted the interdigitation and lateral equivalency between these units. On bio/chrono-stratigraphic and tectonic grounds, they correlate with the Rift Tectonosequence of neocomian age. The Antenor Navarro Formation rests overlies the crystalline basement in non conformity. It comprises lithofacies originated by a braided fluvial system system, dominated by immature, coarse and conglomeratic sandstones, and polymict conglomerates at the base. Its exposures occur in the different halfgrabens, along its flexural margins. Paleocurrent data indicate source areas in the basement to the north/NW, or input along strike ramps. The Sousa Formation is composed by fine-grained sandstones, siltites and reddish, locally grey-greenish to reddish laminated shales presenting wavy marks, mudcracks and, sometimes, carbonate beds. This formation shows major influence of a fluvial, floodplain system, with seismostratigraphic evidence of lacustrine facies at subsurface. Its distribution occupies the central part of the Sousa and Brejo das Freiras half-grabens, which constitute the main depocenters of the basin. Paleocurrent analysis shows that sediment transport was also from north/NW to south/SE

O graben de Palestina: contribuição à estratigrafia e estrutura do estágio rifte na bacia do Araripe, nordeste do Brasil

The Palestina Graben is one of the NE-trending asymmetric grabens of the Araripe Basin. This basin rests on the precambrian terrains of the Transversal Zone, Borborema Province, immediately to the south of the Patos Lineament. It is part of the Interior Basins province of Northeastern Brazil, being related to the fragmentation of the Gondwana supercontinent and the opening of the South Atlantic ocean. The Palestina Graben trends NE-SW and presents an asymmetric geometry, controled by the NW extensional eocretaceous strain. The graben borders display distinct geometries. The SE border is a flexural margin, characterized by the non conformity of the eopaleozoic Mauriti Formation (the oldest unit of the basin) overlying the crystalline basement, but also affected by normal faults with small displacements. On the opposite, the NW border is continuous and rectilinear, being marked by normal faults with major displacements, that control the general tilting of the layers to the NW. In this sense, the Mauriti Formation is overlain by the Brejo Santo, Missão Velha (which also occurs in the Brejo Santo-Mauriti horst, to the NW of the fault border) and Abaiara formations, the latter restricted to the graben. The interpretation of available gravity data and a seismic line indicates that the main fault has a variable dip slip component, defining two deeper portions within the graben, in which the sedimentary column can reach thicknesses of up to 2 km. Regarding to the stratigraphy of Araripe Basin in the study area, the sedimentary package includes three distinct tectonosequences. The Paleozoic Syneclisis Tectonosequence is composed by the Mauriti Formation, deposited by a braided fluvial system. The Jurassic Tectonosequence, whose tectonic setting is still debatable (initial stage of the Neocomian rift, or a pre-rift syneclisis ?), is represented by the Brejo Santo Formation, originated in a distal floodplain related to ephemeral drainages. The Rift Tectonosequence, of neocomian age, includes the Missão Velha Formation, whose lower section is related to a braided to meandering fluvial system, outlining the Rift Initiation Tectonic Systems Tract. The upper section of the Missão Velha Formation is separated from the latter by a major unconformity. This interval was originated by a braided fluvial system, overlain by the Abaiara Formation, a deltaic system fed by a meandering fluvial system. Both sections correspond to the Rift Climax Tectonic Systems Tract. In the area, NE-trending normal to oblique faults are associated with NW transfer faults, while ENE to E-W faults display dominant strike slip kinematics. Both NE and E-W fault sets exhibit clear heritage from the basement structures (in particular, shear zones), which must have been reactivated during the eocretaceous rifting. Faults with EW trends display a dominant sinistral shear sense, commonly found along reactivated segments of the Patos Lineament and satellyte structures. Usually subordinate, dextral directional movements, occur in faults striking NNW to NE. Within this framework bearing to the Palestina Graben, classical models with orthogonal extension or pull-apart style deserve some caution in their application. The Palestina Graben is not limited, in its extremeties, by E-W transcurrent zones (as it should be in the case of the pull-apart geometry), suggesting a model close to the classic style of orthogonal opening. At the same time, others, adjacent depocenters (like the Abaiara-Jenipapeiro semi-graben) display a transtensional style. The control by the basement structures explains such differences

Gerenciamento ambiental das fazendas de camarão do Rio Grande do Norte

The present dissertação had as objective to study the ambient management in the Farms Saint Rita, Tahim Agropesca and Agropesca Rigomoleiro, in the Great River of the North. For this we use as theoretical tool some fundantes concepts of geographic science, the space, and as concepts auxiliary of ambient management, of estuaries as the half natural one and of manguezais as ecosystem. The study if it gave taking in consideration a model of flow of activities of a typical farm following the way of the residues produced since the beginning until its final destination, in a suitable script of SCHERER (1999). The considered flow established a sequence activities where it is identified the material of entrance, the process of management, the residues of exit and the destination of the residues to the long one of the phase of culture of the shrimp. From it was there had been elaborated a series of managemental pictures with the data raised in the three farms, of different transports and concludes that the ambient management of these farms does not follow the formal standards of a system of typical ambient management. Collating with the system of considered by norm ISO14000 the study it disclosed that all the companies are in a situation of not conformity and that the impacts on the environment continue being many significant ones. However, it is possible to implant norm ISO14000 because some procedures implanted for the farms are correct of the point of view of the ambient management

Avaliação da conformidade dos blocos cerâmicos produzidos em algumas cerâmicas no Rio Grande do Norte

The final quality of the works accomplished by the building construction industry depends directly on the quality of the materials supplied and used during all their phases of execution. The federal government participation and several state programs have established conditions to stimulate and require the increment of the quality level in the building construction industry´s product chain. These programs aim at the product conformity to the technical standards. Within this context, the evaluation program of the ceramic product conformity in Rio Grande do Norte state is assessing the conformity degree to Brazilian Technical Standards of ceramic bricks and tiles made in the ceramic production area in the state. In this work, is determine the degree of conformity of the sealing ceramic bricks made by some companies in different areas of the state, such as Assú, São Gonçalo do Amarante, Apodi, Parelhas, São José do Mipibu e Macaíba. Using the technical standards as a point of reference, we attempted to reproduce in the laboratory the experimental procedures to the analysis execution, according to the specifications. It was possible to determine that none of the evaluated samples are in strict conformity with the current technical standards, what reflects the real situation of the products available on the market.

Análise estratigráfica de subsuperfície do Devoniano Inferior da Bacia do Rio do Peixe, Nordeste do Brasil

Subsurface stratigraphic analysis of Devonian strata from the Rio do Peixe Basin, newly recognized by palynological studies, has resulted in the identification of two new lithostratigraphic units assembled in the Santa Helena Group. The Pilões Formation, the lower unit, is composed mainly of dark mudstones and medium-tovery fine-grained sandstones, with minor conglomerates and breccias. The Triunfo Formation, the upper unit, comprises whitish grey, kaolinitic, coarse-grained to conglomeratic, cross stratified sandstones and conglomerates, with interbedded mudstones and fine-grained sandstones. These units were characterized using cores, sidewall and cuttings samples, conventional logs and image log, from three wells drilled by PETROBRAS, and 3D seismic data. The Pilões Formation is interpreted as prodeltaic facies, with lesser associated subaqueous talus, debrite and sandy turbidite lobe facies, distal part of fandelta and braided fluviodeltaic facies of Triunfo Formation. The Santa Helena Group corresponds to the Lower Devonian tectono-sequence deposited in a NW-SE-trending graben during a transgressiveregressive cycle. With 343 meters of thickness (isochore) in well 1-PIL-1-PB (Pilões 1), this sequence has a non-conformity at the lower boundary and its upper boundary is an unconformity with the Lower Cretaceous tectono-sequence (Rio do Peixe Group), that represents a hiatus of about 265 million years. Ignimbrites and coignimbrite breccias (Poço da Jurema volcanic breccia), related to an unknown pyroclastic volcanic event, were recognized at the northern margin of the Sousa halfgraben. Evidence from well data suggests that this event is coeval with the Devonian graben filling. The present study indicates a polyhistorical tectono-volcanosedimentary evolution of the basin. This lithostratigraphic update brings new perspectives for geological research in the Rio do Peixe Basin, as well as in other inland basins of the Northeastern of Brazil. The results of the research also contribute to the kwnoledge of the Borborema Province and western Gondwana paleogeography during the Early Devonian.

Construir frondoso :uma herança esquecida?

This dissertation of master degree was presented to Post-Graduation Program in Architecture and Planning at UFRN, Brazil. It evaluates 45 one-family housings in the Metropolitan Area of Recife, whose architects consider them to be in conformity with the recommendations contained in Armando de Holanda's book: A Guide to build in the Brazilian Northeast: Architecture as a pleasant place in the sunny tropics , published in 1976 by UFPE. For a long time, it used to be reference in many Architecture and Planning Schools of the Northern Region of Brazil. The research s methodological procedures are based on the Post- Occupancy Evaluation (P.O.E.) with emphasis on the users' thermal comfort of the houses that make part of the sample. Therefore, it has been done technical analyses of the projects, when possible; interviews with the architects; building s inspections; and form applications to the users. The collected data analysis was based on the project recommendations of Holanda s book, they can be synthesized in the principle of Building Leafy". It can not be affirmed that all the houses present the recommendations contained in the guide, but, in many different ways, they exist, sometimes more intensely and sometimes more shyly. However, it can be noticed that in the 45 projects, that the architects perceived the importance of "Building Leafy" on the climatic reality of the Metropolitan Region of Recife

Avaliação da conformidade de blocos cerâmicos para alvenaria de vedação produzidas na Região Integrada de Desenvolvimento da Grande Teresina

This research presents an outlook of the industries of red ceramic in the region next to the city of Teresina and an analysis of the ceramic products producted in this pole. The microregion investigated possesses 13 boroughs where were identified 32 ceramic in operation, being that 24 are located in Teresina, the ceramic region more important of Piauí, 1 is located in the city of Miguel Leão and 7 is located in Timon city that belongs to the state of Maranhão. The majority of ceramics are pulverized in these two cities, Teresina and Timon , responsible by a largely production independent of distance between fabric and consumer market. Furthermore, there is an artisanal production realized in other boroughs, mainly manual conformation bricks, where are producted diverse types of handicraft and ceramics utilitarian. The objective of this research is to evalue the conformity of ceramic blocks for brick of obstruction made by red ceramic industry of microregion at studying, verifying their pontentialities and adequacy in terms of production. In this research universe made a search of ceramic industries related to the Foundation CEPRO (Foundation Center of Research Social and Economic of Piauí). For the analysis of the ceramic products , were colected 60 crude bricks sample in three industries for their characterization, and 39 burned bricks sample for the Evaluation of Conformity. The results of the characterization made reached a accetptable standard in all formulations and temperature studied. The burned samples were applied to the geometric, physical and mechanical assays according to the ABNT standards (Brazilian Association of Technical Standards). The results of the physical assays showed that all the samples are at the same band recommended by standard. However, through the geometric assays just two industries did not present results according to the standard, due to lack of control in their process such as in their equipments. Taking into account the mechanical properties, only one industry investigated was not according to the standard

Rejeito de xisto como adsorvente para remoção de fenol em águas produzidas na indústria de petróleo

Produced water is the main effluent linked to the activity of extraction of oil and their caring management is necessary due to the large volume involved, to ensure to minimize the negative impacts of discharges of these waters in the environment. This study aimed to analyze the use of retorted shale, which is a reject from the pyrolysis of pirobituminous shale, as adsorbent for the removal of phenols in produced water. The material was characterized by different techniques (grain sized analysis, thermal analysis, BET, FRX, FT-IR, XRD and SEM), showing the heterogeneity in their composition, showing its potential for the removal of varied compounds, as well as the phenols and their derivatives. For the analysis of the efficiency of the oil shale for the adsorption process, assays of adsorption balance were carried through, and also kinetic studies and dynamics adsorption, in the ETE of the UTPF of Petrobras, in Guamaré-RN. The balance assays shown a bigger conformity with the model of Langmuir and the kinetic model more adjusted to describe the adsorption of phenols in retorted shale was of pseudo-second order. The retorted shale presented a low capacity of adsorption of phenols (1,3mg/g), when related to others conventional adsorbents, however it is enough to the removal of these composites in concentrations presented in the produced water of the UTPF of Guamaré. The assays of dynamics adsorption in field had shown that the concentration of phenol in the effluent was null until reaching its rupture (58 hours). The results showed the possibility of use of the reject for removal of phenols in the final operations of the treatment process, removing as well, satisfactorily, the color and turbidity of the produced water, with more than 90% of removal

Estudo da formulação de pré-misturas secas para a cimentação de poços em terra

An economical solution for cementing oil wells is the use of pre-prepared dry mixtures containing cement and additives. The mixtures may be formulated, prepared and transported to the well where is added water to be pumped.Using this method, becomes dispensable to prepare the cement mixes containing additives in the cementing operation, reducing the possibility of error. In this way, the aim of this work is to study formulations of cement slurries containing solid additives for primary cementing of oil wells onshore for typical depths of 400, 800 and 1,200 meters. The formulations are comprised of Special Class Portland cement, mineral additions and solids chemical additives.The formulated mixtures have density of 1.67 g / cm ³ (14.0 lb / gal). Their optimization were made through the analysis of the rheological parameters, fluid loss results, free water, thickening time, stability test and mechanical properties.The results showed that mixtures are in conformity the specifications for cementing oil wells onshore studied depths