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

Protótipo de uma unidade com tri-geração de energia para utilizações remotas: aplicação de módulo secondutivo gerador termoelétrico

The generation for termoeletricity is characterized as a solid process of conversion of thermal energy (heat) in electric without the necessity of mobile parts. Although the conversion process is of low efficiency the system presents high degree of trustworthiness and low requisite of maintenance and durability. Its principle is based on the studies of termogeneration carried through by Thomas Seebeck in 1800. The frank development of the technologies of solid state for termoeletricity generation, the necessity of the best exploitation of the energy, also with incentive the cogeneration processes, the reduction of the ambient impact allies to the development of modules semiconductors of high efficiency, converge to the use of the thermoeletric generation through components of solid state in remote applications. The work presents the development, construction and performance evaluation of an prototype, in pilot scale, for energy tri-generation aiming at application in remote areas. The unit is composed of a gas lamp as primary source of energy, a module commercial semiconductor for thermoelectric generation and a shirt for production of the luminosity. The project of the device made compatible a headstock for adaptation in the gas lamp, a hot source for adaptation of the module, an exchanger of to be used heat as cold source and to compose first stage of cogeneration, an exchanger of tubular heat to compose second stage of cogeneration, the elaboration of a converter dc-dc type push pull, adequacy of a system of acquisition of temperature. It was become fullfilled assembly of the prototype in group of benches for tests and assay in the full load condition in order to evaluate its efficiency, had been carried through energy balance of the unit. The prototype presented an electric efficiency of 0,73%, thermal of 56,55%, illumination of 1,35% and global of 58,62%. The developed prototype, as the adopted methodology of assay had also taken care of to the considered objectives, making possible the attainment of conclusive results concerning to the experiment. Optimization in the system of setting of the semicondutor module, improvement in the thermal insulation and design of the prototype and system of protection to the user are suggestions to become it a commercial product

Otimização de sistema de bombeamento com energia eólica: sistema de bombeamento de São Gabriel/BA

After the Protocol of Kyoto and of the ECHO 92 - Rio de Janeiro, the attentions of the world focus to the preservation of the environment and of the maintainable use of the natural resources. People were looking for preserving environment for the future generations. Ever since, solutions are looked for the supply of energy in its more acquaintances forms and the substitution of the use of fossil fuels for the such alternative forms as: Photovoltaics, solar heat systems for water, wind , bio-diesel, etc. and in this context the Company of Engineering of the State of Bahia - Cerb changed a diesel pumping system by an wind one, It´s the first community system of this nature in Bahia. Facing problems with the model, a Cerb involved the academic segment of the Federal Center of Technological Education of Bahia Cefetba looking for a solution. This work intends to demonstrate the possibilities of optimization of the pumping communit system that supply water to approximately 50 people in the place of Romão, municipal district of São Gabriel-Ba. Technical reports were published in AGRENERGD2004-Unicamp SP and Scientific Magazine ETC,Cefetba, 2005. A simulation of the increase of energy is presented for heights of 15 and 20m, considering the eletromecanical balance from the pumping energy to the wind turbine. From the accomplished bibliographical revision, we emphasized the mechanical aspects of the engineering once in UFRN, those studies concentrate on the Department of Mechanical Engineering while, in others eletroelectronic are more emphasized. Finally, documents that we judged important were enclosed for the perfect understanding of this work

Desenvolvimento de um destilador solar para tratamento de águas de produção de petróleo com vistas a sua utilização na agricultura e geração de vapor

The production of petroleum is frequently accomplished with great volumes of water, that it is carried of the underground with the oil. It is a challenge of the present century the development of technologies that allow the use of waste water for purposes that consume great amounts of water and don't demand as rigid as the one of the drinking water requirements. The solar distillation has been configuring as an alternative of clean technology for desalination of brine and saline. Besides causing the minimum possible damage to the environment, it takes advantage of an abundant and free energy source: the solar energy. That study aims to develop a Solar Distillator for treatment of the produced water of the oil wells, to obtain an efluent to use in agriculture and vapor generation. The methodology for collection, conservation and analysis of the physical-chemical parameters obeyed the norms in APHA (1995). The sampling was of the composed type. Experiments were accomplished in the solar distillation pilot and simulation in thermostatic bathing. The operation was in batch system and for periods of 4, 6 and 12 h. The developed Distillator is of the type simple effect of two waters. It was still tested two inclination angles for covering; 20º and 45º. The Distillator presented minimum of 2,85 L/m2d revenues and maximum of 7,14 L/m2d. The removals of salts were great than 98%. The removal of TOC in the simulation was great than 90%. In agreement with the data of energy and mass balance, it was verified that the developed solar Distillator presented compatible revenues with those found in literature for similar types. It can be inferred that the obtained distilled water assists to the requirements CONAMA in almost all the points and could be used for irrigation of cultures such as cotton and mamona. As the distilled water has characteristics of fresh water it can be used in the generation of vapor

Análise do modelo troposférico empregado na geração de uma estação de referência virtual utilizando o posicionamento por ponto preciso

In the past few years the interest is accomplishing a high accuracy positioning increasing. One of the methods that has been applied by the scientific community is the network based on positioning. By using multiple reference station data, it is possible to obtain centimetric positioning in a larger coverage area, in addition to gain in reliability, availability and integrity of the service. Besides, using this concept, it is possible to model the atmospheric effects (troposphere refraction and ionosphere effect). Another important question concerning this topic is related to the transmission of the network corrections to the users. There are some possibilities for this fact and an efficient one is the Virtual Reference Station (VRS) concept. In the VRS concept, a reference station is generated near to the rover receiver (user). This provides a short baseline and the user has the possibility of using a single frequency receiver to accomplish the relative positioning. In order to test this kind of positioning method, a software has been developed at São Paulo State University. In this paper, the methodology applied to generate the VRS data is described and the VRS quality is analyzed by using the Precise Point Positioning (PPP) method.

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

MaRISA-AOCode: uma abordagem genérica para geração de código orientado a aspectos

Currently there are several aspect-oriented approaches that are related to different stages of software development process. These approaches often lack integration with each other and their models and artifacts are not aligned in a coherent process. The integration of Aspect-Oriented Software development (AOSD) and Model-Driven Development (MDD) enables automatic propagation of models from one phase to another, avoiding loss of important information and decisions established in each. This paper presents a model driven approach, called Marisa-AOCode, which supports the processing of detailed design artifacts to code in different Aspect-Oriented Programming languages. The approach proposed by Maris- AOCode defines transformation rules between aSideML, a modeling language for aspectoriented detailed design, and Metaspin, a generic metamodel for aspect-oriented programming languages. The instantiation of the generic metamodel (Metaspin) provided by the approach of Maris-AOCode is illustrated by the transformation of Metaspin for two languages: AspectLua and CaesarJ. We illustrate the approach with a case study based on the Health Watcher System

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

Geração procedural de cenários orientada a objetivos

The game industry has been experiencing a consistent increase in production costs of games lately. Part of this increase refers to the current trend of having bigger, more interactive and replayable environments. This trend translates to an increase in both team size and development time, which makes game development a even more risky investment and may reduce innovation in the area. As a possible solution to this problem, the scientific community is focusing on the generation of procedural content and, more specifically, on procedurally generated levels. Given the great diversity and complexity of games, most works choose to deal with a specific genre, platform games being one of the most studied. This work aims at proposing a procedural level generation method for platform/adventure games, a fairly more complex genre than most classic platformers which so far has not been the subject of study from other works. The level generation process was divided in two steps, planning and viusal generation, respectively responsible for generating a compact representation of the level and determining its view. The planning stage was divided in game design and level design, and uses a goaloriented process to output a set of rooms. The visual generation step receives a set of rooms and fills its interior with the appropriate parts of previously authored geometry

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

AutoWebS: um Ambiente para Modelagem e Geração Automática de ServiçosWeb Semânticos

Typically Web services contain only syntactic information that describes their interfaces. Due to the lack of semantic descriptions of the Web services, service composition becomes a difficult task. To solve this problem, Web services can exploit the use of ontologies for the semantic definition of service s interface, thus facilitating the automation of discovering, publication, mediation, invocation, and composition of services. However, ontology languages, such as OWL-S, have constructs that are not easy to understand, even for Web developers, and the existing tools that support their use contains many details that make them difficult to manipulate. This paper presents a MDD tool called AutoWebS (Automatic Generation of Semantic Web Services) to develop OWL-S semantic Web services. AutoWebS uses an approach based on UML profiles and model transformations for automatic generation of Web services and their semantic description. AutoWebS offers an environment that provides many features required to model, implement, compile, and deploy semantic Web services

Instanciação e avaliação de um framework para a geração dinâmica de processos

One way to deal with the high complexity of current software systems is through selfadaptive systems. Self-adaptive system must be able to monitor themselves and their environment, analyzing the monitored data to determine the need for adaptation, decide how the adaptation will be performed, and finally, make the necessary adjustments. One way to perform the adaptation of a system is generating, at runtime, the process that will perform the adaptation. One advantage of this approach is the possibility to take into account features that can only be evaluated at runtime, such as the emergence of new components that allow new architectural arrangements which were not foreseen at design time. In this work we have as main objective the use of a framework for dynamic generation of processes to generate architectural adaptation plans on OSGi environment. Our main interest is evaluate how this framework for dynamic generation of processes behave in new environments

Geração de testes a partir de gramáticas: áreas de aplicação

The work proposed by Cleverton Hentz (2010) presented an approach to define tests from the formal description of a program s input. Since some programs, such as compilers, may have their inputs formalized through grammars, it is common to use context-free grammars to specify the set of its valid entries. In the original work the author developed a tool that automatically generates tests for compilers. In the present work we identify types of problems in various areas where grammars are used to describe them , for example, to specify software configurations, which are potential situations to use LGen. In addition, we conducted case studies with grammars of different domains and from these studies it was possible to evaluate the behavior and performance of LGen during the generation of sentences, evaluating aspects such as execution time, number of generated sentences and satisfaction of coverage criteria available in LGen