Estudo de um sistema híbrido de destilação solar para polimento de águas produzidas

The oil industry, experiencing a great economic and environmental impact, has increasingly invested in researches aiming a more satisfactory treatment of its largest effluent, i.e., produced water. These are mostly discarded at sea, without reuse and after a basic treatment. Such effluent contains a range of organic compounds with high toxicity and are difficult to remove, such as polycyclic aromatic hydrocarbons, salts, heavy metals, etc.. The main objective of this work was to study the solar distillation of produced water pre-treated to remove salts and other contaminants trough of a hybrid system with a pre-heater. This developed apparatus was called solar system, which consists of a solar heater and a conventional distillation solar still. The first device consisted of a water tank, a solar flat plate collector and a thermal reservoir. The solar distillator is of simple effect, with 1m2 of flat area and 20° of inclination. This dissertation was divided in five steps: measurements in the solar system, i.e. temperatures and distillate flow rate and weather data; modeling and simulation of the system; study of vapor-liquid equilibrium of the synthetic wastewater by the aqueous solution of p-xylene; physical and chemical analyses of samples of the feed, distillate and residue, as well as climatology pertinent variables of Natal-RN. The solar system was tested separately, with the supply water, aqueous NaCl and synthetic oil produced water. Temperature measurements were taken every minute of the thermal reservoir, water tank and distillator (liquid and vapor phases). Data of solar radiation and rainfall were obtained from INPE (National Institute for Space Research). The solar pre-heater demonstrated to be effective for the liquid systems tested. The reservoir fluid had an average temperature of 58°C, which enabled the feed to be pre-heated in the distillator. The temperature profile in the solar distillator showed a similar behavior to daily solar radiation, with temperatures near 70°C. The distillation had an average yield of 2.4 L /day, i.e., an efficiency of 27.2%. Mathematical modeling aided the identification of the most important variables and parameters in the solar system. The study of the vapor-liquid equilibrium from Total Organic Carbon (TOC) analysis indicated heteroazeotropia and the vapor phase resulted more concentrated in p-xylene. The physical-chemical analysis of pH, conductivity, Total Dissolved Solids (TDS), chlorides, cations (including heavy metals) and anions, the effluent distillate showed satisfactory results, which presents a potential for reuse. The climatological study indicates the region of Natal-RN as favorable to the operation of solar systems, but the use of auxiliary heating during periods of higher rainfall and cloud cover is also recommended

Caracterização geomorfológica e modelagem de dados espaciais na plataforma continental rasa do RN nos limites da folha Touros

This work focuses the geomorphological characterization and spatial data modeling in the shallow continental shelf within the Folha Touros limits (SB-25-CV-II), based on bathymetric data analysis and remote sensing products interpretation. The Rio Grande do Norte state is located in northeastern Brazil and the work area is located at the transition region between the eastern and northern portions of their coast. The bathymetric surveys were conduced between march and may 2009, using a 10 meters long vessel and 0.70 meters draught, equipped with global positioning system and echo sounder (dual beam, 200KHz , 14°). The fieldwork resulted in 44 bathymetric profiles espaced 1.5 km and 30 km average length. The bathymetric data amount were 111,200 points and were navigated 1395.7 km within na area about 1,850 km2. The bathymetric data were corrected for the tide level, vessel draught and were subsequently entered into a geographic information system for further processing. Analysis of remote sensing products was carried out using Landsat 7/ETM + band 1, from november 1999. The image was used for visualization and mapping submerged features. The results showed the presence of geomorphological features within the study area. Were observed, from the analysis of local bathymetry and satellite image, seven types of geomorphological features. The channels, with two longitudinals channels (e. g. San Roque and Cioba channels) and other perpendicular to the coast (e. g. Touros, Pititinga and Barretas). Coastal reef formations (Maracajaú, Rio do Fogo and Cioba). Longitudinal waves, described in the literature as longitudinal dunes. The occurrence of a transverse dune field. Another feature observed was the oceanic reefs, an rock alignment parallel to the coast. Were identified four riscas , from north to south: risca do Liso, Gameleira, Zumbi, Pititinga (the latter being described for the first time). Finally, an oceanic terrace was observed in the deepest area of study. Image interpretation corroborated with the in situ results, enabling visualization and description for all features in the region. The results were analysed in an integrating method (using the diferent methodologies applied in this work) and it was essential to describe all features in the area. This method allowed us to evaluate which methods generated better results to describe certain features. From these results was possible to prove the existence of submerged features in the eastern shallow continental shelf of Rio Grande do Norte. In this way, the conclusions was (1) this study contributed to the provision of new information about the area in question, particularly with regard to data collection in situ depths, (2) the method of data collection and interpretation proves to be effective because, through this, it was possible to visualize and interpret the features present in the study area and (3) the interpretation and discussion of results in an integrated method, using different methodologies, can provide better results

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler