Arquitetura de Software para Barcos Robóticos

We propose in this work a software architecture for robotic boats intended to act in diverse aquatic environments, fully autonomously, performing telemetry to a base station and getting this mission to be accomplished. This proposal aims to apply within the project N-Boat Lab NatalNet DCA, which aims to empower a sailboat navigating autonomously. The constituent components of this architecture are the memory modules, strategy, communication, sensing, actuation, energy, security and surveillance, making these systems the boat and base station. To validate the simulator was developed in C language and implemented using the graphics API OpenGL resources, whose main results were obtained in the implementation of memory, performance and strategy modules, more specifically data sharing, control of sails and rudder and planning short routes based on an algorithm for navigation, respectively. The experimental results, shown in this study indicate the feasibility of the actual use of the software architecture developed and their application in the area of autonomous mobile robotics

Otimização da injeção cíclica de vapor em reservatório de óleo pesado

Thermal methods made heavy oil production possible in fields where primary recovery failed. Throughout the years steam injection became one of the most important alternatives to increase heavy oil recovery. There are many types of steam injection, and one of them is the cyclic steam injection, which has been used with success in several countries, including Brazil. The process involves three phases: firstly, steam is injected, inside of the producing well; secondly, the well is closed (soak period); and finally, the well is put back into production. These steps constitute one cycle. The cycle is repeated several times until economical production limit is reached. Usually, independent of reservoir type, as the number of cycles increases the cyclic injection turns less efficient. This work aims to analyze rock and reservoir property influence in the cyclic steam injection. The objective was to study the ideal number of cycles and, consequently, process optimization. Simulations were realized using the STARS simulator from the CMG group based in a proposed reservoir model. It was observed that the reservoir thickness was the most important parameter in the process performance, whilst soaking time influence was not significant

Inferência do ponto de orvalho em amostras de gás natural processado

This dissertation aims to assess the representativeness of the manual chilled mirror analyzer (model II Chanscope 13-1200-CN-2) used for the determination of condensed hydrocarbons of natural gas compared to the indirect methods, based on thermodynamic models equation of state. Additionally, it has been implemented in this study a model for calculating the dew point of natural gas. The proposed model is a modification of the equation of state of Peng-Robinson admits that the groups contribution as a strategy to calculate the binary interaction parameters kij (T) temperature dependence. Experimental data of the work of Brown et al. (2007) were used to compare the responses of the dew point of natural gas with thermodynamic models contained in the UniSim process simulator and the methodology implemented in this study. Then two natural gas compositions were studied, the first being a standard gas mixture gravimetrically synthesized and, second, a mixture of processed natural gas. These experimental data were also compared with the results presented by UniSim process simulator and the thermodynamic model implemented. However, data from the manual analysis results indicated significant differences in temperature, these differences were attributed to the formation of dew point of water, as we observed the appearance of moisture on the mirror surface cooling equipment

Modelagem e simulação da deposição de parafinas em escoamento turbulento

The flow assurance has become one of the topics of greatest interest in the oil industry, mainly due to production and transportation of oil in regions with extreme temperature and pressure. In these operations the wax deposition is a commonly problem in flow of paraffinic oils, causing the rising costs of the process, due to increased energy cost of pumping, decreased production, increased pressure on the line and risk of blockage of the pipeline. In order to describe the behavior of the wax deposition phenomena in turbulent flow of paraffinic oils, under different operations conditions, in this work we developed a simulator with easy interface. For that we divided de work in four steps: (i) properties estimation (physical, thermals, of transport and thermodynamics) of n-alkanes and paraffinic mixtures by using correlations; (ii) obtainment of the solubility curve and determination the wax appearance temperature, by calculating the solid-liquid equilibrium of parafinnic systems; (iii) modelling wax deposition process, comprising momentum, mass and heat transfer; (iv) development of graphic interface in MATLAB® environment for to allow the understanding of simulation in different flow conditions as well as understand the matter of the variables (inlet temperature, external temperature, wax appearance temperature, oil composition, and time) on the behavior of the deposition process. The results showed that the simulator developed, called DepoSim, is able to calculate the profile of temperature, thickness of the deposit, and the amount of wax deposited in a simple and fast way, and also with consistent results and applicable to the operation

Modelagem e simulação da solubilização da parafina em tubos circulares e em regime laminar

O óleo produzido nos novos campos de petróleo está cada vez mais parafínico e viscoso, com isso, à medida que o óleo é escoado, parafinas são depositadas sobre as paredes internas do tubo, e ao longo do tempo, tendem a reduzir drasticamente a área transversal ao escoamento. Visando estudar o processo de solubilização da parafina em dutos, esse trabalho objetiva desenvolver modelos matemáticos que represente o processo, com base nos fenômenos envolvidos no mesmo tais como transferência de massa, transferência de energia e equilíbrio sólido-líquido, implementando-os em um ambiente de desenvolvimento VBA (Visual Basic) for Excel ®. O presente trabalho foi realizado em quatro etapas: i) modelagem dos fenômenos de transferência de calor e massa, ii) modelagem da rotina dos coeficientes de atividade através do modelo UNIFAC e modelagem do sistema de equilíbrio sólido-líquido; iii) modelagem matemática do processo de solubilização e cálculo da espessura da parafina ao longo do tempo; iv) implementação dos modelos em um ambiente de desenvolvimento VBA for Excel® e criação de um simulador com uma interface gráfica, para simular o processo de solubilização da parafina depositada em dutos e sua otimização. O simulador conseguiu produzir soluções bastante adequadas, mantendo continuidade das equações diferenciáveis do balanço de energia e de massa, com uma interpretação física viável, sem a presença de dissipação de oscilações nos perfis de temperatura e massa. Além disso, esse simulador visa permitir a simulação nas diversas condições de escoamento, bem como compreender a importância das variáveis (vazão, temperatura de entrada, temperatura externa, cadeia carbônica do solvente). Através dos resultados foram possíveis verificar os perfis de temperatura, fração molar e o de solubilização

Caracterização e avaliação do macro sistema urbano de distribuição de água de Natal RN

The aim of this study is to characterize and evaluate the Macro System of Regional Water Distribution Natal North (RNN) and Southern Regional Natal (RNS), covering 35% and 65% respectively of the Natal-RN City. The terms of the quality and quantity of water (surface and groundwater) were also evaluated in order to adjust the parameters that contribute to proper distribution and control in water reserves. The methodology of the work took place from collecting volumetric data of production capacity and distribution of the two treatment plants for Regional as well as the flow rates of wells. Yet the quantitative capacity of reservation, distribution and consumption of the main reservoirs, population numbers and consumption of members neighborhoods were collected. Data were tabulated and used in computational simulator EPANET to diagnose possible through the water balance, the offers and demands on the water supply system in the neighborhoods of the capital, linking them to specific distribution points. We also evaluated the wells in the levels of nitrate in water consumed. As a result it was found that some neighborhoods in the South Regional Natal, was ranked as critical supply situation: City of Hope, Lagoa Nova and Nova Descoberta, where demand exceeds supply. While in most Northern Regional Natal present deficiency in the supply system as: Lagoa Azul, the Parque dos Coqueiros, igapó, Amarante and Salinas. The rates of nitrate in the city were significant, but manageable with corrective and preventive measures. The averages were 12 mg /l-N in Candelária, 10 mg/l-N in Lagoa Nova, 9 mg/l-N in Satelite, 20 mg/l-N in Gramore and 15 mg/l-N in N. Sra. Apresentação. Therefore proper distribution of water abstracted and implementation of quality control ensures the supply required by the system, associated with preservation of Water Resources of the Metropolitan Region of Natal

Joker: um realizador de desenhos animados para linguagens formais

Using formal methods, the developer can increase software s trustiness and correctness. Furthermore, the developer can concentrate in the functional requirements of the software. However, there are many resistance in adopting this software development approach. The main reason is the scarcity of adequate, easy to use, and useful tools. Developers typically write code and test it. These tests usually consist of executing the program and checking its output against its requirements. This, however, is not always an exhaustive discipline. On the other side, using formal methods one might be able to investigate the system s properties further. Unfortunately, specification languages do not always have tools like animators or simulators, and sometimes there are no friendly Graphical User Interfaces. On the other hand, specification languages usually have a compiler which normally generates a Labeled Transition System (LTS). This work proposes an application that provides graphical animation for formal specifications using the LTS as input. The application initially supports the languages B, CSP, and Z. However, using a LTS in a specified XML format, it is possible to animate further languages. Additionally, the tool provides traces visualization, the choices the user did, in a graphical tree. The intention is to improve the comprehension of a specification by providing information about errors and animating it, as the developers do for programming languages, such as Java and C++.

Implementação da técnica de software pipelining na rede em chip IPNoSyS

Alongside the advances of technologies, embedded systems are increasingly present in our everyday. Due to increasing demand for functionalities, many tasks are split among processors, requiring more efficient communication architectures, such as networks on chip (NoC). The NoCs are structures that have routers with channel point-to-point interconnect the cores of system on chip (SoC), providing communication. There are several networks on chip in the literature, each with its specific characteristics. Among these, for this work was chosen the Integrated Processing System NoC (IPNoSyS) as a network on chip with different characteristics compared to general NoCs, because their routing components also accumulate processing function, ie, units have functional able to execute instructions. With this new model, packets are processed and routed by the router architecture. This work aims at improving the performance of applications that have repetition, since these applications spend more time in their execution, which occurs through repeated execution of his instructions. Thus, this work proposes to optimize the runtime of these structures by employing a technique of instruction-level parallelism, in order to optimize the resources offered by the architecture. The applications are tested on a dedicated simulator and the results compared with the original version of the architecture, which in turn, implements only packet level parallelism

Identificação e comparação entre controle preditivo com modelo não linear e PI sintonizados com PSO em sistema de separação gravitacional de águia-óleo

The separation methods are reduced applications as a result of the operational costs, the low output and the long time to separate the uids. But, these treatment methods are important because of the need for extraction of unwanted contaminants in the oil production. The water and the concentration of oil in water should be minimal (around 40 to 20 ppm) in order to take it to the sea. Because of the need of primary treatment, the objective of this project is to study and implement algorithms for identification of polynomial NARX (Nonlinear Auto-Regressive with Exogenous Input) models in closed loop, implement a structural identification, and compare strategies using PI control and updated on-line NARX predictive models on a combination of three-phase separator in series with three hydro cyclones batteries. The main goal of this project is to: obtain an optimized process of phase separation that will regulate the system, even in the presence of oil gushes; Show that it is possible to get optimized tunings for controllers analyzing the mesh as a whole, and evaluate and compare the strategies of PI and predictive control applied to the process. To accomplish these goals a simulator was used to represent the three phase separator and hydro cyclones. Algorithms were developed for system identification (NARX) using RLS(Recursive Least Square), along with methods for structure models detection. Predictive Control Algorithms were also implemented with NARX model updated on-line, and optimization algorithms using PSO (Particle Swarm Optimization). This project ends with a comparison of results obtained from the use of PI and predictive controllers (both with optimal state through the algorithm of cloud particles) in the simulated system. Thus, concluding that the performed optimizations make the system less sensitive to external perturbations and when optimized, the two controllers show similar results with the assessment of predictive control somewhat less sensitive to disturbances

Arquitetura hardware/software de um núcleo NCAP segundo o padrão IEEE 1451.1: uma prova de conceito

Os sensores inteligentes são dispositivos que se diferenciam dos sensores comuns por apresentar capacidade de processamento sobre os dados monitorados. Eles tipicamente são compostos por uma fonte de alimentação, transdutores (sensores e atuadores), memória, processador e transceptor. De acordo com o padrão IEEE 1451 um sensor inteligente pode ser dividido em módulos TIM e NCAP que devem se comunicar através de uma interface padronizada chamada TII. O módulo NCAP é a parte do sensor inteligente que comporta o processador. Portanto, ele é o responsável por atribuir a característica de inteligência ao sensor. Existem várias abordagens que podem ser utilizadas para o desenvolvimento desse módulo, dentre elas se destacam aquelas que utilizam microcontroladores de baixo custo e/ou FPGA. Este trabalho aborda o desenvolvimento de uma arquitetura hardware/software para um módulo NCAP segundo o padrão IEEE 1451.1. A infra-estrutura de hardware é composta por um driver de interface RS-232, uma memória RAM de 512kB, uma interface TII, o processador embarcado NIOS II e um simulador do módulo TIM. Para integração dos componentes de hardware é utilizada ferramenta de integração automática SOPC Builder. A infra-estrutura de software é composta pelo padrão IEEE 1451.1 e pela aplicação especí ca do NCAP que simula o monitoramento de pressão e temperatura em poços de petróleo com o objetivo de detectar vazamento. O módulo proposto é embarcado em uma FPGA e para a sua prototipação é usada a placa DE2 da Altera que contém a FPGA Cyclone II EP2C35F672C6. O processador embarcado NIOS II é utilizado para dar suporte à infra-estrutura de software do NCAP que é desenvolvido na linguagem C e se baseia no padrão IEEE 1451.1. A descrição do comportamento da infra-estrutura de hardware é feita utilizando a linguagem VHDL

Estudo paramétrico da injeção de polímeros em reservatórios de petróleo

Developing an efficient methodology for oil recovery is extremely important . Within the range of enh anced oil recovery, known as EOR, the injection of polymer solutions becomes effective in controlling the mobility of displacing fluid . This method consists of adding polymers to the injection water to increase its viscosity, so that more water diffuses in to the porous medium and increasing the sweep efficiency in the reservoir. This work is studied by numerical simulation , application of the injection polymer solution in a homogeneous reservoir , semisynthetic with similar characteristics to the reservoirs of the Brazilian Northeast , numerical simulations were performed using thermal simulator STARS from CMG (Computer Modelling Group ). The study aimed to analyze the influence of some parameters on the behavior of reservoir oil production, with the response to cumulative production. Simulations were performed to analyze the influence of water injection, polymer solution and alternating injection of water banks and polymer solution, comparing the results for each simulated condition. The primary outcomes were: oil viscosity, percentage of injected polymer, polymer viscosity and flow rate of water injection. The evaluation of the influence of variables consisted of a complete experimental design followed a Pareto analysis for the purpose of pointing out which va riables would be most influential on the response represented b y the cumulative oil production . It was found that all variables significantly influenced the recovery of oil and the injection of polymer solution on an ongoing basis is more efficient for the cumulative production compared to oil recovery by continuous water injection. The primary recovery show ed low levels of oil production , water injection significantly improves the pro duction of oil in the reservoir , but the injection of polymer solution em erges as a new methodology to increase the production of oil, increasing the life of the well and possible reduction of water produced.

Integração da simulação termoenergética com o processo de projeto: a análise de 6 casos

This work consists of the integrated design process analyses with thermal energetic simulation during the early design stages, based on six practical cases. It aims to schematize the integration process, identifying the thermal energetic analyses contributions at each design phase and identifying the highest impact parameters on building performance. The simulations were run in the DesignBuilder energy tool, which has the same EnergyPlus engine, validated. This tool was chosen due to the flexible and user friendly graphic interface for modeling and output assessment, including the parametric simulation to compare design alternatives. The six case studies energy tools are three architectural and three retrofit projects, and the author the simulations as a consultant or as a designer. The case studies were selected based on the commitment of the designers in order to achieve performance goals, and their availability to share the process since the early pre-design analyses, allowing schematizing the whole process, and supporting the design decisions with quantifications, including energy targets. The thermoenergetic performance analyses integration is feasible since the early stages, except when only a short time is available to run the simulations. The simulation contributions are more important during the sketch and detail phases. The predesign phase can be assisted by means of reliable bioclimatic guidelines. It was verified that every case study had two dominant design variables on the general performance. These variables differ according the building characteristics and always coincide with the local bioclimatic strategies. The adaptation of alternatives to the design increases as earlier it occurs. The use of simulation is very useful: to prove and convince the architects; to quantify the cost benefits and payback period to the retrofit designer; and to the simulator confirm the desirable result and report the performance to the client

Sistema detector de vazamentos em instalações prediais de água fria

Building installations of cold water are key parts in any model of housing, are homes or condos. However, these systems are subject to failure, which can range from a leak in a device until faults in the structure of water reservoirs and distribution system. These faults are responsible for great economic and environmental costs. In order to reduce these losses, this work proposes the development of a system able to detect the presence and identify some types of water leaks that may occur. For implementation and testing, consumption model was used in a simulator capable of reproducing a similar behavior to a real model and its consequent failures. The detection of leaks is done based on an expert like model having two detection modules, one active and one passive, which use an array of sensors and actuators (valves) to do the sensing. For testing and implementation has been developed a software capable of coupling the system simulator and detector. From the results it can be seen that the system proposed in this work, as well as functioning satisfactorily, can be easily implemented in microcontrollers or embedded systems due to its simplicity.

Desenvolvimento e avaliação do emprego de dispositivo ajustável ao corpo para treinamento de habilidade de acesso venoso periférico no membro superior

OBJECTIVE: To dev elop and evaluate the use of a body adjustable device for training of peripheral venous catheterization for healthcare undergraduate students . METHODS: This study involved two phases: I) development of the innovative simulator and II) a controlled trial co mparing the performance of the body adjustable device in relation to the commercial simulator for the training of venipuncture skills. A total of 79 first - year medical students participated in the intervention phase, which consisted of pretest assessment, lecture on peripheral venous access, randomization into two groups according to the simulator used for training (Commercial Simulator and Experimental Simulator), real venipuncture procedure, post - test assessment and evaluation of satisfaction. RESULTS: Gr oups were homogeneous in age, sex, pre - test and post - test scores, attitudinal assessment and performance in performing the real venipuncture. Students from the Experimental Simulator group performed better on the filling of simulated records. At the end of the study, cognitive gain significantly increased in both groups. The degree of realism perceived by students was equivalent for two groups. A total of 85.7% of students rated the Experimental Simulator as good or excellent. CONCLUSIONS: Experimental simu lator proved to be a low cost alternative for the training of venipuncture skills in upper limb. The cognitive procedural and attitudinal performances of students who used the experimental simulator were similar to those observed in the group trained with commercial simulator.

Direitos fundamentais sociais no Brasil: desafios e mecanismos para sua concretização

The work referred to above, in order to contribute to the legal issues, economic, political and social of the violation of social rights, performs even firmer approach to various implementation mechanisms of social rights in Brazil. Therefore, it begins the study dealing with aspects and important characters of the rights under discussion, as its normative forecast, concept, classifications; respect of social rights with the existential minimum; the principle of reservation of the possible and the need to use this principle as optimization commandment of state resources and the deficit of the realization of social rights in the country. This, in later chapters, in an interdisciplinary approach, challenges and proposals for the realization of social rights by bringing in each chapter, mechanisms for such implementation. That way, as a general objective, it has been to contribute to the discussed problems, when present proposals for the realization of social rights in the Brazilian context. As specific objectives, as well as record the key aspects of the rights in allusion, the one has to promote the perspective of economic development and taxation as posts instruments that the State must be focused on the promotion of social rights by registering in this context that nonexistent economic development without reducing poverty, misery and social inequality and adding that there should be a directly proportional relationship between the tax burden in the country and the human and social development index; analyze the achievement of budget control as essential and healthy measure for the realization of social rights; highlight the importance of society to the achievement of unavailable social interests, affirming the need for the implementation of participatory democracy and, in this line, brings knowledge of the Constitution and the constitutional sense as elements that provide the constitutional progress. Finally, it presents a study on public policies, considering that these are equivalent to the primary means of the promotion of social rights. That way it analyzes the stages that integrate public policies, ranging from the perception of social problems for evaluation and control of the policies implemented; debate about the administrative discretion in when it comes to public policies; brings the classification of essential public policies, the relationship of these with the existential minimum, control parameters and, finally, the legalization of public policy, regarded as legitimate to remedy the unconstitutional state failure and give normative effectiveness and strength to the defining constitutional rules for fundamental social rights. It uses to achieve the objectives outlined, the bibliographic and normative approach method and performs an analysis of jurisprudence related understandings to matter. In the conclusions, it rescues the most important aspects elucidated at work, with the aim of giving emphasis to the proposals and mechanisms that contribute to the solution of the discussed problems.