Modelo matemático para otimização dos custos de um sistema híbrido eólico-solar : aplicação no bombeamento de petróleo

This work purposes the application of a methodology to optimize the implantation cost of an wind-solar hybrid system for oil pumping. The developed model is estimated the implantation cost of system through Multiple Linear Regression technique, on the basis of the previous knowledge of variables: necessary capacity of storage, total daily energy demand, wind power, module power and module number. These variables are gotten by means of sizing. The considered model not only can be applied to the oil pumping, but also for any other purposes of electric energy generation for conversion of solar, wind or solar-wind energy, that demand short powers. Parametric statistical T-student tests had been used to detect the significant difference in the average of total cost to being considered the diameter of the wind, F by Snedecor in the variance analysis to test if the coefficients of the considered model are significantly different of zero and test not-parametric statistical by Friedman, toverify if there is difference in the system cost, by being considered the photovoltaic module powers. In decision of hypothesis tests was considered a 5%-significant level. The configurations module powers showed significant differences in total cost of investment by considering an electrical motor of 3 HP. The configurations module powers showed significant differences in total cost of investment by considering an electrical motor of 5 HP only to wind speed of 4m/s and 6 m/s in wind of 3 m, 4m and 5 m of diameter. There was not significant difference in costs to diameters of winds of 3 m and 4m. The mathematical model and the computational program may be used to others applications which require electrical between 2.250 W and 3.750 W. A computational program was developed to assist the study of several configurations that optimizes the implantation cost of an wind-solar system through considered mathematical model

Energia eólica em alto mar: distribuição dos recursos e complementaridade hídrica

The stabilization of energy supply in Brazil has been a challenge for the operation of the National Interconnected System in face of hydrological and climatic variations. Thermoelectric plants have been used as an emergency source for periods of water scarcity. The utilization of fossil fuels, however, has elevated the cost of electricity. On the other hand, offshore wind energy has gained importance in the international context and is competitive enough to become a possibility for future generation in Brazil. In this scenario, the main goal of this thesis was to investigate the magnitude and distribution of offshore wind resources, and also verify the possibilities of complementing hydropower. A data series of precipitation from the Climatic Research Unit (CRU) Blended Sea Winds from the National Climatic Data Center (NCDC/NOAA) were used. According to statistical criteria, three types of complementarity were found in the Brazilian territory: hydro × hydro, wind × wind and hydro × wind. It was noted a significant complementarity between wind and hydro resources (r = -0.65), mainly for the hydrographical basins of the southeast and central regions with Northeastern Brazil winds. To refine the extrapolation of winds over the ocean, a method based on the Monin-Obukhov theory was used to model the stability of the atmospheric boundary layer. Objectively Analyzed Air-Sea Flux (OAFLUX) datasets for heat flux, temperature and humidity, and also sea level pressure data from NCEP/NCAR were used. The ETOPO1 from the National Geophysical Data Center (NGDC/NOAA) provided bathymetric data. It was found that shallow waters, between 0-20 meters, have a resource estimated at 559 GW. The contribution of wind resources to hydroelectric reservoir operation was investigated with a simplified hybrid wind-hydraulic model, and reservoir level, inflow, outflow and turbine production data. It was found that the hybrid system avoids drought periods, continuously saving water from reservoirs through wind production. Therefore, from the results obtained, it is possible to state that the good winds from the Brazilian coast can, besides diversifying the electric matrix, stabilize the hydrological fluctuations avoiding rationing and blackouts, reducing the use of thermal power plants, increasing the production cost and emission of greenhouse gases. Public policies targeted to offshore wind energy will be necessary for its full development.

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

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