Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Sistemática integrativa de Cichlasoma orientale Kullander 1983 e Crenicichla menezesi Ploeg 1991 (Teleostei: Cichlidae) das bacias hidrográficas do Nordeste do Brasil

Understanding the historical and ecological relationships which are influent in current biological diversity is one of the most challenging tasks of evolutionary biology. Recent systematics emphasizes the need of integrative approaches to delimit different lineages and species. The northeastern Brazil, mostly placed in Caatinga biome, is characterized by a semi-arid weather, low precipitation and seasonal behavior of rivers. This region is regarded lacking as ichthyological knowledge and one of the most threatened by anthropic activities. Further, will be affected by a massive water diverpsion work that will transfer waters from São Francisco basin, to other major four basins: Jaguaribe, Apodi-Mossoró, Piranhas-Açu and Paraiba do Norte. Loss of diversity and richness, hibridizitation, community interactions changes, population homogenization, changes in water quality and flow regime, are examples of environmental impacts already related with similar works. The present study aims to investigate morphological and molecular variation of Cichlasoma orientale Kullander 1983 and Crenicichla menezesi Ploeg 1991, two cichlid species present in northeastern Brazil basins. Further, the study aims to evaluate the influence of geomorphological and climatic processes in this variation, and point some possible impacts of the artificial connectivity which can be brought by São Francisco interbasin water transfer to their population dynamics. Geometric morphometrics and phylogeographical analysis were used to investigate the populations from three different hydrological regions. Our results showed a significant morphological variation of populations from basins that are involved in the São Franscisco s diversion project, not related to an ancient separation between populations, emphasizing morphological variation which could represent a set of plastic responses to the variable hydrological regime in Northeastern Brazil. The role of plastical responses in naturally variable habitats as well as the potential disturbs that could be brought by the interbasin water transfer works are discussed here. Further, our molecular data allowed us to make inferences about species distribution and their taxonomy, and identification of a potential new species of Crenicichla for São Francisco river basin. Our data also allowed to identify some shared haplotypes for both species, which could be related to lineage sorting scenarios or recent gene flow between populations. However a strong structure in most of the pairwise comparisons between populations for both species was revealed. Climatic events such as Atlantic forest regression during the Pleistocene, sea level fluctuations and dispersion by paleorivers in the mouth of Apodi-Mossoró river, and neotectonic events regulating the connection between drainages are likely to have had a contribution for the actual lineages distribution in northeastern Brazil. Further, analysis of molecular variation (AMOVA and SAMOVA) showed that the actual basin s isolation is an important factor to molecular variation, in spite of the signal of recent contact between some basins. Different genetic diversity patterns between species could be related to multiple historic events of colonization, basins landscapes or biological differences. The present study represents the first effort of integrative systematics involving fish species of northeastern Brazil, and showed important morphological and molecular patterns which could be irrecoverably affected by the artificial connection that might be caused by the São Francisco interbasin water transfer

Culicídeos vetores em uma unidade de conservação da caatinga na região do seridó no Rio Grande do Norte aspectos da transmissão de doenças

The scarcity of occurrence records of culicid species, transmitting insects of etiologic agents for arboviruses, protozoan diseases and philarioses, and lack of information about their interactions with the forest environment make the Caatinga one of the most unknown biomes in Brazil. The aim of this study was to identify culicid species in a conservation unit located in a preserved area of the Caatinga and the possible associations with local abiotic factors, as well as characterize the natural and artificial ecotopes present in the Caatinga of Rio Grande do Norte state. The Ecological Station of Serido (ESEC-Seridó) is a Caatinga Conservation Unit located in a rural area of Rio Grande do Norte. The hot and dry climate of the Caatinga, along with a short rainy season, favor the adaptation and resistance of plants, resulting in completely distinct landscapes over the course of the year. The study took place over the course of one year, with monthly collections between 10h-12h, 14h-16h and 18h-20h. Adult mosquitoes were collected in a forest area using a manual suction trap with human bait as attractant at the three times and a Shannon trap for night collections. During the rainy season ovitraps were randomly distributed at different sites. The different capture sites were observed and photographed. Immature and adult insects captured were taken to the laboratory for identification. Of the 5081 insects collected in human-bait and Shannon traps, 75% were Mansonia wilsoni. In addition, Aedeomyia, Aedes, Anopheles, Coquillettidia, Culex, Haemagogus, Mansonia and Psorophora were identified. Of the 92 Haemagogus eggs found, 71 were collected on the banks of a reservoir. Mosquito larvae were found and photographed in an artificial breeding site of a neighboring rural area. Humidity had the greatest influence on culicid density in the Caatinga. Rain was important in the appearance of Haemagogus, Anopheles, Aedes and Psorophora. Temperature had a negative influence on Anopheles triannulatus. The occurence of important vector species of diseases in a little known preserved area of the Caatinga as well as environmental and sociocultural questions are factors that favor the emergence of transmitting insects, making these areas potential subject to the resurgence of diseases

Análise da evolução costeira do litoral setentrional do estado do rio grande do norte, região sob influência da indústria petrolífera

The northern coast of Rio Grande do Norte State is characterized by strong changes in coastal morphology, caused by various geological and climatic factors. In this region are installed the main socio-economic activities of the State, highlighting the oil industry, which exerts much of its activities in the coastal area studied. Erosion is a constant problem in this region because it affects the entire local populace to the destruction of houses and trade, rendering tourism, affecting the livelihood activities and industrial activities. The greatest risk is related to environmental damage that can be caused by the oil spill in this region. To understand what determines the changes in coastal morphology this Doctoral Thesis is proposed to identify the factors at local, regional and even global corroborate coastal dynamics to this coast in question. For this study, used several different products and tools for interpreting the conditions of the erosive effect that dominates the whole northern coast of the State, in an attempt to quantify and describe the causes and effects that affect the entire coastal zone monitored. The development of activities is built into the projects Rede 05 PETROMAR (CTPETRO-FINEP/PETROBRAS/CNPq), PETRORISCO, HIDROSEMA, PETROMAR e Rede 05/04 POTMAR (FNDCT/CTPETROFINEP/ CNPq), in the activities of multidisciplinary and inter-features in issues involving environmental monitoring and oil activity

Evolução morfotectônica do maciço estrutural pereiro, província Borborema

The Northeast relief was described by the Pediplanation Model. This action discards the theoretical basis of post-Cretaceous tectonic evolution of the landscape. Through this model the Massif Pereiro - MP, Borborema Province, was established as part of the Tablelands Area Residual Sertanejos. The present work aims to establish the post- Cretaceous morphotectonic evolution of the MP by geomorphological and geological mapping using Geographic Information System, Remote Sensing and dating of sediments by Single Aliquot Regenerative-dose (SAR). The MP is contained in the core semi-arid, annual precipitation of 600-800 mm / year. The MP is NE-SW, is limited by Shear Zone Jaguaribe (ZCJ) and Portalegre Shear Zone (ZCPa), the same attitude, and crossed by several other shear zones. These shear zones show evidence of brittle Cenozoic reactivation, mostly as normal faults and shallow crustal level. The Quaternary sedimentation around the MP focuses on fault escarpments in a general pattern cascade, where ages decrease from the summits of the steep foothills. The ages of 51 sediment samples indicate a correlation with global climate following pulses: Last Interestadial-UI, the Last Glacial Maximum - LGM and the transition Pleistocene / Holocene, while the latter focus on 18 of 51 samples dated. This study also finds evidence of a new quaternary basin, here called Merejo Basin. Through these results it is concluded that no evidence of post-Cretaceous tectonic evolution of morphological MP, as their retreat along the fault scarps, invariably following the trend of the shear zones. The erosion of cliffs in large time scale is controlled by weakness zones generated by faults on the other hand the erosion of cliffs in short time, with the formation of deposits and colluvial horizons pedogenizados, has climate control. It was also found that in the study area there is a preponderance of past and current tectonic erosion processes on the morphological evolution

Monitoramento ambiental da costa do Rio Grande do Norte com base em sensoriamento remoto e geodésia de precisão

This paper presents models of parameters of Sea Surface Layer (SSL), such as chlorophyll-a, sea surface temperature (SST), Primary Productivity (PP) and Total Suspended Matter (TSM) for the region adjacent to the continental shelf of Rio Grande do Norte (RN), Brazil. Concentrations of these parameters measured in situ were compared in time quasi-synchronous with images AQUA-MODIS between the years 2003 to 2011. Determination coefficients between samples in situ and bands reflectance sensor AQUA-MODIS were representative. From that, concentrations of SSL parameters were acquired for the continental shelf of the RN (eastern and northern) analyzing the geographic distribution of variation of these parameters between the years 2009-2012. Geographical and seasonal variations mainly influenced by global climate phenomena such as El Niño and La Niña, were found through the analysis of AQUA-MODIS images by Principal Components Analysis (PCA). Images show qualitatively the variance and availability of TSM in the regions, as well as their relationship with coastal erosion hotspots, monitored along the coast of the RN. In one of the areas identified as being of limited availability of TSM, we developed a methodology for assessment and evaluation of Digital Elevation Models (DEM) of beach surfaces (emerged and submerged sections) from the integration of topographic and bathymetric data measured in situ and accurately georeferenced compatible to studies of geomorphology and coastal dynamics of short duration. The methodology consisted of surveys with GNSS positioning operated in cinematic relative mode involved in topographic and bathymetric executed in relation to the stations of the geodetic network of the study area, which provided geodetic link to the Brazilian Geodetic System (GBS), univocal , fixed, and relatively stable over time. In this study Ponta Negra Beach, Natal / RN, was identified as a region with low variance and availability of MPS in the region off, as characterized by intense human occupation and intense coastal erosion in recent decades, which presents potential of the proposed methodology for accuracy and productivity, and the progress achieved in relation to the classical methods of surveying beach profiles

As relações entre tectonismo e seqüências deposiconais no rifte potiguar - porção SW do Graben de Umbuzeiro, bacia potiguar emersa

Through an integrated approach, using litho, chrono and biostratigraphic data, the relative importance of climate variations and tectonics were recognized in rift sediments of the onshore Potiguar Basin, Northeast Brazil. Concepts of sequence stratigraphy were applied as a template to integrate sedimentological and geochemical data (oxygen isotopes), as well as quantitative palynologic methods to address and recognize the main depositional patterns produced in a rift basin. The main objective was to address the relative importance of climate changes and tectonics to the resultant stratigraphic architecture. The results of computer simulations of sedimentary basin fills of rift basins were quite useful to test working hypothesis and mimic the process of filling a half graben during a rift event. The studied section includes a neovalanginian-eobarremian (Lower Cretaceous) rift interval from the Pendência Formation, located in the southwestern portion of Umbuzeiro Graben, in the offshore Potiguar Basin. The depositional setting is interpreted as progradational deltaic system entering a lake from its flexural margin. Sismoestratigraphyc and well logs analyses allowed to interpret two regressive intervals (Green and Yellow Sequences), separated by a broad transgressive interval (Orange Sequence), known as the Livramento Shale. The depositional history encompass three stages: two tectonically active phases, during the deposition of the Green and Yellow Sequences, and a tectonically quiescent phase, during the deposition of the Orange Sequence. Paleoclimatic interpretation, based on quantitative palynology and geochemical data (��18O), suggests a tendency to arid conditions during the tectonically active phases and wet conditions during the tectonically quiescent phase. Stratigraphic modeling and backstripping techniques, supported by paleoclimatic/paleoecologic interpretations provide a powerful methodology to evaluate the tectonic and climatic controls on tectonic lakes

Desenvolvimento de dobras e falhas em ambiente distensional: Aplicação da modelagem física

The geological modeling allows, at laboratory scaling, the simulation of the geometric and kinematic evolution of geological structures. The importance of the knowledge of these structures grows when we consider their role in the creation of traps or conduits to oil and water. In the present work we simulated the formation of folds and faults in extensional environment, through physical and numerical modeling, using a sandbox apparatus and MOVE2010 software. The physical modeling of structures developed in the hangingwall of a listric fault, showed the formation of active and inactive axial zones. In consonance with the literature, we verified the formation of a rollover between these two axial zones. The crestal collapse of the anticline formed grabens, limited by secondary faults, perpendicular to the extension, with a curvilinear aspect. Adjacent to these faults we registered the formation of transversal folds, parallel to the extension, characterized by a syncline in the fault hangingwall. We also observed drag folds near the faults surfaces, these faults are parallel to the fault surface and presented an anticline in the footwall and a syncline hangingwall. To observe the influence of geometrical variations (dip and width) in the flat of a flat-ramp fault, we made two experimental series, being the first with the flat varying in dip and width and the second maintaining the flat variation in width but horizontal. These experiments developed secondary faults, perpendicular to the extension, that were grouped in three sets: i) antithetic faults with a curvilinear geometry and synthetic faults, with a more rectilinear geometry, both nucleated in the base of sedimentary pile. The normal antithetic faults can rotate, during the extension, presenting a pseudo-inverse kinematics. ii) Faults nucleated at the top of the sedimentary pile. The propagation of these faults is made through coalescence of segments, originating, sometimes, the formation of relay ramps. iii) Reverse faults, are nucleated in the flat-ramp interface. Comparing the two models we verified that the dip of the flat favors a differentiated nucleation of the faults at the two extremities of the mater fault. V These two flat-ramp models also generated an anticline-syncline pair, drag and transversal folds. The anticline was formed above the flat being sub-parallel to the master fault plane, while the syncline was formed in more distal areas of the fault. Due the geometrical variation of these two folds we can define three structural domains. Using the physical experiments as a template, we also made numerical modeling experiments, with flat-ramp faults presenting variation in the flat. Secondary antithetic, synthetic and reverse faults were generated in both models. The numerical modeling formed two folds, and anticline above the flat and a syncline further away of the master fault. The geometric variation of these two folds allowed the definition of three structural domains parallel to the extension. These data reinforce the physical models. The comparisons between natural data of a flat-ramp fault in the Potiguar basin with the data of physical and numerical simulations, showed that, in both cases, the variation of the geometry of the flat produces, variation in the hangingwall geometry