Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Morfologia e sedimentologia da plataforma continental brasileira adjacente a São Bento do Norte e Caiçara do Norte-RN/NE-Brasil

This dissertation the results of a research developed in the area of São Bento do Norte and Caiçara do Norte, northern coast of the State of Rio Grande do Norte, during the period of June of 2000 to August of 2001, in the ambit of the projects MAMBMARÉ (CNPq/CTPETRO) and PROBRAL (CAPES/DAAD). The objective principal of this research was the characterization of the sedimentary dynamics of this coast, with base in data of coastal process (winds, currents, waves and tides), with topographical risings (beach profiles and dunes), satellite images and sedimentary analyses. The more specific objectives were accomplished the coastal monitoring of this coast, to verify the maintenance of an erosive tendency or progradacional after the groynes construction for contention of the erosion in the beach of Caiçara do Norte, as well as to verify the influence of the features of bottom of the platform interns adjacent on the pole petroliferous of Guamaré. The executed monitoramento allowed to identify that the movement of the sediments, along the year, in that area, is cyclical, reaching the largest oscillations during the months of winter (deposition) and they will summer (erosion). The sedimentologic studies indicated a general tendency for sands quartzosas, with gravel presence, moderately to good selected, with asymmetry predominantly negative. In agreement with the parameter of Dean (1957), used in the identification of the state morfodinâmico of the beaches, monitored beaches, are basically reflectivas with tendency to middlemen, what frames that space of the coast norte-riograndense, as a space strongly vulnerable to erosive processes. The studies developed in the platform, it interns of this area, allowed to visualize for the first time, in large scale, the distribution of the features of the submarine bottom to the batométrico coat of 25 meters. Being pointed out the presence of a high one topographical submerged, with about 5 meters of height, 1 km of width and more than 24 meters of extension, located in the platform it interns in front of São Bento do Norte; coincident with the trend of the system of flaws of Carnaubais. This feature relay an important paper on the control of the sedimentary processes and oceanographic, as well as in the coastal evolution of this area of the RN state, and they affect the area of the pole petroliferous of Guamaré directly. These results contribute to a better knowledge of the processes in the area, and consequently as subsidies implantation of measures of coastal and environmental protection for the cities of São Bento do Norte and Caiçara do Norte, as well as to understand how the geological-sedimentary processes and oceanographic, in this area, are influencing the characteristics geoambientais of the pole petroliferous of Guamaré

Caracterização da dinâmica ambiental da região costeira do município de Galinhos, litoral setentrional do Rio Grande do Norte

This doctorate thesis concerning on the Characterization of the Environmental Dynamics of the Coastal Area of the Municipal district of Galinhos, Septentrional Coast of Rio Grande do Norte State, is located in the influence area of the Guamaré Petroliferous Pole, having as general objective the understanding of the active coastal dynamics in the region of Galinhos, whose specific objectives were: To study the variation of the coast line in the decades of 1954, 1967,1988, 1996, 2000, from remote sensing products; To elucidate the hypothesis of the region of Galinhos to have been an old system of islands barriers, using as basic tool the penetration radar in the soil - GPR; To monitor and to characterize the coastal dynamics of the study area starting from monthly data of beach profiles, sedimentological analysis, hydrodynamic data and environmental characterization data; which were used to feed the database of the N-NE network of Environmental Monitoring of Areas under Influence of the Petroliferous Industry;(REDE05/FINEP/CNPq/CTPETRO/ PETROBRAS). This research is justified, of the environmental point of view, by involving the mangrove ecosystem considered one of the most delicated environments of the State. From the viewpoint of the petroleum exploration, the systems of islands barriers are favorable for hydrocarbons reservoirs and, consequently important targets to the oil and gas industry, becoming this region attractive in comparison with similar lithified environments. With the results of the variability study in the position of the coast line in the Municipal district of Galinhos/RN from the analysis of remote sensing images, it was possible to investigate the changes in the coast line in temporal scale; the use of directional filters allowed to emphasize linings in the direction NE and to identify submerged features such as sandwaves. The use of GPR enabled the confirmation of paleochannels existence and thus confirmed the hypothesis that the Galinhos spit was formed from an old system of islands barriers. The results of the granulometric analyses indicated that in the summer period the sediments in the profiles A and B in the foreshore portion were classified with the granulometry of sand with scattered gravel and in the shoreface were constituted by sand, but in the winter period these same morphologic compartments were constituted by sand with sparse gravel and siltic sand respectively. In the profile C, in the summer and in the winter, the shoreface and foreshore compartments presented predominantly constituted by sand with sparse gravel. The hydrodynamic results showed that the largest wave heights were registered in the month of February (62 cm) and the highest period of 1,00 m/s in the month of May, the sense of the coastal currents was kept among the quadrants SW and NW, and the winds coming from NE were predominant. The analysis of the beach profiles demonstrated that in the profile A, although it had occurred erosion and deposition during the monitored months, the morphology of the referred profile was kept constant. In the profiles B and C, there were abrupt changes in the morphology, during the monitored months, having been identified a cyclic pattern in the features of the foreshore zone sometimes forming longitudinal sandy bars and in other times forming berm. These results evidenced, therefore, that studies of this nature are of fundamental importance for the coastal zoning, aiming subsidies to the organs managers in the closing of decisions as for the implantation of enterprises in the area, and for the industry of the petroleum through generation of information that subsidize the implementation and location of petroliferous structures adequate to this environment

Dinâmica Costeira dos Campos petrolíferos Macau/Serra, litoral setentrional do Estado do Rio Grande do Norte

This thesis describes the general behavior of the northern shore of the State of Rio Grande do Norte relating beach profile morphology with hydrodynamic and sedimentological parameters. The Macau and Serra Oil Field are inserted on this area and are under accelerated coastal erosion. At these oil fields are installed oil wells from PETROBRAS, nowadays located directly in the shoreline, under constant attacks of coastal processes (e.g. waves, tides and currents), which promote an intense morphodynamic variability of this sandy coast. The area was monitored for 24 months in three different stations (P01, P02 and P03). The methodology applied involved current techniques of beach profiles, hydrodynamical processes, remote sensing and geophysics. A synthesis of results obtained through the use of different time scales (monthly, lunar cycle, seasonal, annual) from a coastal dynamics study is presented. The average wind direction corresponded to 77ºAz (NE). The steepness of the berm and of the shoreface, as well as coastal current direction, do not present major changes, with an average of 36º for the steepness of the berm, 15º for the shoreface and 15º for the coastal current direction. This data set allows us to infer that the months of larger coastal erosion were November/2000 and April/2001, because of the largest wave parameter during this time. The months of worse coastal erosion in this area are related with the increasing wavy energy. This in turn, seems to be related to seasonal climatic variations, with the wave energy and tide currents speed increasing during months of minor precipitations (June to January). The months of worse coastal erosion were September and November, when the largest wave parameters and speed currents are measured in the area. Since these months are included on the period of minor precipitations, we related the coastal erosion to seasonal climatic variations. The results obtained during these 24 months of monitoring confirms a situation of accentuated erosion, mainly in Profile 03 (Barra do Corta-Cachorro), where the wave height, period, and coastal current speed are always larger than the values found in Profile 02 (Macau5). Probably these values are more expressive in Profile 03, because it does not present any natural structure of protection against the wave impacts, as the barrier island located at Ponta do Tubarão, or the sand banks in front of Macau5. The transport of the sediments occurs from East to West, and the sand accumulation is more pronounced on Profile 03 intertidal zone, where there are embrionary dunes in dryer months. The tidal currents speed, on the other hand, is more accentuated in the Macau5 area (Profile 02). At Ponta do Tubarão, the tidal currents presented a preferential direction for NE, at times of flood, currents and for NW, at times of ebb current; at Barra do Corta-Cachorro the direction of the currents were predominantly for NW, independent of the tide phase, coinciding with the preferential direction of the longshore current. This currents inversion at Ponta do Tubarão is attributed to the presence of the Ponta do Tubarão island barrier and by the communication channel of the lagoon with the sea. The tide currents are better observed in protected areas, as in the Ponta do Tubarão, when they present inversion in their direction accordingly to the flood and ebb tide. In open areas, as in Barra do Corta-Cachorro, the tide currents are overprinted by the longshore currents. Sediment analysis does not show important modifications in grain size related to seasonality (dry- and rainy seasons). On the foreshore and backshore zones, the sediments vary from fine to medium sand, while in the shoreface they very from fine to very sands. The grains are mostly spheres, varying from sub rounded to sub angled. Quartz is the main component alongside Feldspat and heavy minerals as accessory components. Biogenic content is also present and mainly represented by mollusks fragments. The calculated sediment transport show values around 100 m3/day. The morphodynamic studies indicated that this is a reflexive area from October to April, and intermediate from May to September. The Relative Tide Range-RTR for this area is 4 < RTR < 15, and so classified in the mixed wave-tide group. Having this exposed we can affirm that the more active natural factors in this area are the currents, followed by the tides and the winds. The anthropic factors are exclusively local and punctual (Macau and Serra Oil Field). Taking in account the economic importance of the area, as well as the intensity of coastal processes acting on this shore, it is important a continuity of the monthly environmental monitoring looking for variations on longer-period cycles. These data have been stored on the geo-referenced database of the projects MARPETRO and PETRORISCO (REDE 05), aiming to model the coastal and sea environment, susceptible to oil spills and their derivatives

Contribuições para a detecção e identificação de faltas em inversores Multiníveis

This work presents contributions in the detection and identication of faults in multilevel inverters through the study of the converters behavior under these operation conditions. Basically, the approached fault consists of an open-circuit in any switch of a three-level clamped diode inverter. The converter operation is characterized in the pre and post-fault states. A wave form behavior analysis of the pole voltage, phase current and dc-bus current is also done, which highlights characteristics that allow the detection of failure and, even, under favorable conditions, the identication of the faulty device. A compensation strategy of the approached fault (open-switch) is also investigated with the purpose of maintaining the driving system operational when a failure occurs. The proposed topology uses SCRs in parallel with the internal switches of the inverter, which allows, in some occasions, the full utilization of the dc-bus

Localização de faltas em linhas de transmissão usando morfologia matemática

This work an algorithm for fault location is proposed. It contains the following functions: fault detection, fault classification and fault location. Mathematical Morphology is used to process currents obtained in the monitored terminals. Unlike Fourier and Wavelet transforms that are usually applied to fault location, the Mathematical Morphology is a non-linear operation that uses only basic operation (sum, subtraction, maximum and minimum). Thus, Mathematical Morphology is computationally very efficient. For detection and classification functions, the Morphological Wavelet was used. On fault location module the Multiresolution Morphological Gradient was used to detect the traveling waves and their polarities. Hence, recorded the arrival in the two first traveling waves incident at the measured terminal and knowing the velocity of propagation, pinpoint the fault location can be estimated. The algorithm was applied in a 440 kV power transmission system, simulated on ATP. Several fault conditions where studied and the following parameters were evaluated: fault location, fault type, fault resistance, fault inception angle, noise level and sampling rate. The results show that the application of Mathematical Morphology in faults location is very promising

Gravitomagnetismo e o teste da sonda gravidade B

The so-called gravitomagnetic field arised as an old conjecture that currents of matter (no charges) would produce gravitational effects similar to those produced by electric currents in electromagnetism. Hans Thirring in 1918, using the weak field approximation to the Einsteins field equations, deduced that a slowly rotating massive shell drags the inertial frames in the direction of its rotation. In the same year, Joseph Lense applied to astronomy the calculations of Thirring. Later, that effect came to be known as the Lense- Thirring effect. Along with the de Sitter effect, those phenomena were recently tested by a gyroscope in orbit around the Earth, as proposed by George E. Pugh in 1959 and Leonard I. Schiff in 1960. In this dissertation, we study the gravitational effects associated with the rotation of massive bodies in the light of the Einsteins General Theory of Relativity. With that finality, we develop the weak field approximation to General Relativity and obtain the various associated gravitational effects: gravitomagnetic time-delay, de Sitter effect (geodesic precession) and the Lense-Thirring effect (drag of inertial frames). We discus the measures of the Lense-Thirring effect done by LAGEOS Satellite (Laser Geodynamics Satellite) and the Gravity Probe B - GPB - mission. The GPB satellite was launched into orbit around the Earth at an altitude of 642 km by NASA in 2004. Results presented in May 2011 clearly show the existence of the Lense-Thirring effect- a drag of inertial frames of 37:2 7:2 mas/year (mas = milliarcsec)- and de Sitter effect - a geodesic precession of 6; 601:8 18:3 mas/year- measured with an accuracy of 19 % and of 0.28 % respectively (1 mas = 4:84810��9 radian). These results are in a good agreement with the General Relativity predictions of 41 mas/year for the Lense-Thirring effect and 6,606.1 mas/year for the de Sitter effect.

Aspectos Morfo-Dinâmicos daComplexo Lagunar Nísia Floresta-Papeba-Guaraíras, Região Costeira Sul Oriental Do RN

This dissertation presents the results of research developed in the Nísia Floresta-Papeba-Guaraíras Lagoon Complex, located on the south coast of the Rio Grande do Norte State. The main objectives of this dissertation were the stratrigraphic characterization, in detail scale, of the and the coastal dynamics study of the lagoonal deposits sedimentation, as well as the morpho-dynamic analysis of the area. Therefore, an interdisciplinary methodology was adopted, in which all sedimentological, morpho-tectonic and geomorphological data were integrated. Vibracore up to 4m in length were carried out in the lagoons. The referred lagoon complex made of a system of three lagoons that interact through two artificial channels, named Boqueirão and Surubajá. The Guaraíras lagoon, the largest one in the system, corresponds to the estuary zone of the Trairi and Jacu rivers. The sedimentary load brought by these rivers is strongly reworked by tide currents, forming an important net-work of channels and sandy bars inside this lagoon and close to its channel connection with the sea. The stratigraphic units of the area are Cenozoic in age, and are represented by sedimentary rocks of the Barreiras Formation (sandstones, mudstones and conglomerates) and by rocks beach, as well as by siliciclastics sediments related with the fluvial dynamics of tide plain (clay and sandy bars), and coast (sand dunes and beaches). Among the recognized geomorphologic aspects, there are the elements associated with continental enviroments (drainage basins of the Trairi, Baldum and Jacu rivers, coastal tableland supported by the Barreiras Formation), and transitional environments (lagoon complex, dune fields, cliffs, tidal channels and beach rocks lines). The morphotectonic analysis indicates that fauts affect Barreiras Formation sedimentary rocks, with two sets of main lineaments: SW-NE and SE-NW. The anomalies in the drainage net are directly associated with these fault/fracture system, which control and subdivede the low courses of the Trairi and Jacu rivers, at least a tail of their flowing principal courses. The Nísia Floresta, Papeba and Guaraíras lagoons present strong morphological control according to the lineament directions. Taking into account the lagoonal deposits, the sedimentological analyses reflect a sediment distribution related to the interaction of the fluvial and sea processes that act in the study area. The correlated deposits show textural mainly microclastic characteristics of shallow waters, and of currents of low to moderate energy.In general, the Nísia Floresta-Papeba-Guaraíras lagoon Complex, constitutes a very intrinsec group, that undewent important changes in historical times that are reflected in the currents clays. Inaddition to the natural processes that act in this system, we should take into account the antrohopic intervention, which have increased in the past years

Estudo evolutivo das condições ambientais da região costeira do município de Guamaré - RN

The work concerns on the evolutionary study of the environmental conditions of the coastal area of Guamaré-RN, where was investigated the geo-environmental transformation occourred in this region, whose primordial purpose was to diagnose the changes verified in the temporary space of five decades (1950 to 2001). With the objective of evaluanting the action of the active coastal processes (currents, waves, tides and winds), in order to understand the generating mechanisms of the erosion/sedimentation, evidenced by constant morphologic changes. The adopted methodological procedure consisted of a succession of stages, involving bibliographical and cartographic study, aereal photographs study, digital treatment of images, field work (sample collection, beaches profiles, characterization of the beach environment and morfodynamics), mapping correction and laboratory analyses (granulometry). The evolutionary study of the morphologic features indicated significant variations in the studied period, mainly, in the dunes, sea terraces, variation of the shore line and tidal flat, evidencing the largest transformations in the temporary space between 1988 and 2001. The analyses of the beach profiles showed a sedimentation tendency in the area of the profiles P1, P2 and P3, however in the monitored pediod, it was observed in the referred profiles, erosive and depositionals intervals evidencing a need of more effective monitoring. The results of the granulometric analyses indicate a predominance of mean to coarse sand in the backshore and estirancy area, as in the shoreface, the analyses indicated medium to fine sand. The morfodynamic state, showed that beach of Minhoto is intermediate state, with alternancy to reflective. The areas of larger vulnerability and sensibility are the tidal flat, shore line, barrier island and mobile dunes, that actually is suffering great environmental impact with expansion of the carcinoculture, urban presence and natural impacts (erosion of the shoreline)

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

Monitoramento costeiro das praias de São Bento do Norte e Caiçara do Norte RN: implicações para o pólo petrolífero de Guamaré

This dissertation the results of a research developed in the area of São Bento do Norte and Caiçara do Norte, northern coast of the State of Rio Grande do Norte, during the period of June of 2000 to August of 2001, in the ambit of the projects MAMBMARÉ (CNPq/CTPETRO) and PROBRAL (CAPES/DAAD).The objective principal of this research was the characterization of the sedimentary dynamics of this coast, with base in data of coastal process (winds, currents, waves and tides), with topographical risings (beach profiles and dunes), satellite images and sedimentary analyses. The more specific objectives were accomplished the coastal monitoring of this coast, to verify the maintenance of an erosive tendency or progradacional after the groynes construction for contention of the erosion in the beach of Caiçara do Norte, as well as to verify the influence of the features of bottom of the platform interns adjacent on the pole petroliferous of Guamaré. The executed monitoramento allowed to identify that the movement of the sediments, along the year, in that area, is cyclical, reaching the largest oscillations during the months of winter (deposition) and they will summer (erosion). The sedimentologic studies indicated a general tendency for sands quartzosas, with gravel presence, moderately to good selected, with asymmetry predominantly negative. In agreement with the parameter of Dean (1957), used in the identification of the state morfodinâmico of the beaches, monitored beaches, are basically reflectivas with tendency to middlemen, what frames that space of the coast norteriograndense, as a space strongly vulnerable to erosive processes. The studies developed in the platform, it interns of this area, allowed to visualize for the first time, in large scale, the distribution of the features of the submarine bottom to the batométrico coat of 25 meters. Being pointed out the presence of a high one topographical submerged, with about 5 meters of height, 1 km of width and more than 24 meters of extension, located in the platform it interns in front of São Bento do Norte; coincident with the trend of the system of flaws of Carnaubais. This feature relay an important paper on the control of the sedimentary processes and oceanographic, as well as in the coastal evolution of this area of the RN state, and they affect the area of the pole petroliferous of Guamaré directly. These results contribute to a better knowledge of the processes in the area, and consequently as subsidies implantation of measures of coastal and environmental protection for the cities of São Bento do Norte and Caiçara do Norte, as well as to understand how the geological-sedimentary processes and oceanographic, in this area, are influencing the characteristics geoambientais of the pole petroliferous of Guamaré

Análise hidrodinâmica e morfodinâmica do complexo estuarino do Rio Piranhas-Açu/RN, Nordeste do Brasil

The aim of this study was the seasonal characterization of the morphology, sedimentology and hydrodynamic of the Açu, Cavalos and Conchas estuaries. These estuaries are inserted in a semi-arid climate area and form the mouth of the hydrographic basin of the Piranhas-Açu river, that represent the discharge of the largest watershed in the state. They are embedded in an environment consisting of a fluvial-marine floodplain, mangrove ecosystem, sandbanks, fields of dunes, spits and sandy beaches. Adjacent to the natural units are the main local socioeconomic activities (oil industry, salt industry, shrimp farming, fishing and tourism) are dependent on this river and its conservation. The environmental monitoring is necessary because it is an area under constant action of coastal processes and at high risk of oil spill. The acquisition and interpretation of hydrodynamic, sonographic and sediment data was conducted in two campaigns, dry season (2010) and rainy season (2011), using respectively the current profiler ADCP Doppler effect, the side-scan sonar and Van Veen sampler. In these estuaries: Açu, Cavalos and Conchas were identified the following types of bedforms: flatbed and Dunes 2-D and 3-D (small to medium size), generated at lower flow regime (Froude number <1). Structures such as ripples were observed in the Açu estuary mouth. The higher values of flow discharge and velocity were recorded in the Açu estuary (434,992 m³.s-¹ and 0,554 m.s-¹). In rainy season, despite the record of highest values of discharge and flow velocities at the mouth, the energy rates upstream did not differ much from the data of the dry season. However, in all estuaries were recorded an increase in speed and flow, with reservation to the flow in the Açu estuary and flow at the mouth of the Conchas estuary. Sediment grain sizes tend to increase towards the mouth of the estuary and these ranged from very fine sand to very coarse sand, medium sand fraction being the most recurrent. Based on the data acquired and analyzed, the estuaries Açu, Cavalos and Conchas are classified as mixed , dominated by waves and tides. According to their morphology, they are classified as estuaries constructed by bar and according to the classification by salinity, estuaries Conchas and Cavalos were ranked as hypersaline estuaries, and Açu as hypersaline and vertically well mixed type C

Caracterização e análise do talude continental adjacente à bacia potiguar, NE Brasil

This work presents the results of the first imaging of continental slope adjacent to Potiguar Basin, in the equatorial Brazilian margin (NE Brazil). Swath bathymetry provided a complete coverage of seafloor between the upper and middle slope (100-1,300 m). Fifteen submarine canyons were mapped. The shape of the slope reflects in distinct spatial distribution of the canyons. The western area displays convex profiles which implied a greater amount of incisions by canyons. Some of them have gradient walls higher than 35°. They were classified according to location and morphology. The canyons with heads indenting shelf edge, association with a incised valley and a large fluvial system, high sinuosities, V shape, terraces along margins, further erosive features such as landslide and gullies allow to deduce a sandy-gravelly sedimentation. These canyons are associated with deposition of submarine fan systems that have been considered permeable hydrocarbon reservoirs. The presence of gullies, furrows and dunes demonstrates the role of bottom currents in the shaping of the slope. The enlargement of canyons and the change in the course when they cross the border fault imply that tectonic has also influenced in the morphology of deep waters environments of Potiguar Basin. The current sedimentation of continental slope is considered mixed because the sediments are composed of siliciclastics and bioclasts. Predominant siliciclastics are calcite, dolomite, quartz, and clay minerals. The presence of stable minerals (zircon, tourmaline and rutile), and fragmented bioclasts implies the contributions of Rivers Açu and Apodi

Influence of the riparian zone phytophysiognomies on the longitudinal distribution of fishes: evidence from a Brazilian savanna stream

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

Determinação voltamétrica do nedocromil de sódio utilizando eletrodo de carbono vítreo

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