Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Sistemas de dunas do parque das Dunas e Barreiras do Inferno/Natal (RN: levantamento geológico /geofísico, elaboração do modelo deterministico e avaliação da vulnerabilidade/suscetibilidade

The current work was developed on the dune systems of the Parque das Dunas and Barreira do Inferno. These places are located in the cities of Natal and Parnamirim (RN, Brazil), respectively. This project has the purpose of developing the deterministic model on a specific blowout at Parque das Dunas, based in the geophysical interpretations of the lines gotten with the Ground Penetration Radar and the planialtimetric acquisitions of the topographical surface of the land. Also analyses of the vulnerability/susceptibility of these dune systems had been done in relation to the human pressures. To develop its deterministic model, it is necessary to acquire inner and outer geometries of the cited blowout. In order to depict inner geometries underneath the surface are used the GPR observing the altimetric control for topographical correction of the GPR lines. As for the outer geometries, the geodesic GPS gives us the planialtimetric points (x, y and z points) with milimetric precision, resulting in high-resolution surfaces. Using interpolation methods of the planialtimetric points was possible create Digital Elevations Models (DEM´s) of these surfaces. As a result, 1,161.4 meters of GPR lines were acquired on the blowout at the Parque das Dunas and 3,735.27 meters on the blowout at the Barreira do Inferno. These lines had been acquired with a 200 MHz antenna, except the 7 and 8 lines, for which we had been used a 100 MHz antenna. The gotten data had been processed and interpreted, being possible to identify boundary surfaces of first, second and third order. The first order boundary surface is related with the contact of the rocks of the Barreiras Group with the aeolian deposits. These deposits had been divided in two groups (Group 1 and Group 2) which are related with the geometry of stratum and the dip of its stratifications. Group 1 presented stratum of sigmoidal and irregular geometries and involved bodies where the reflectors had presented dips that had varied of 20 to the 28 degrees for the Parque das Dunas blowout and of 22 to the 29 degrees for the Barreira do Inferno blowout. Usually, it was limited in the base for the first order surface and in the top for the second order surface. Group 2 presented stratum of trough, wedge or lens geometries, limited in the base for the second order vi surface, where the corresponding deposits had more shown smoothed reflectors or with dips of low angle. The Deterministic and Digital Elevation Models had been developed from the integration and interpretation of the 2D data with the GOCAD® program. In Digital Elevations Models it was possible to see, for the localities, corridor or trough-shaped blowouts. In Deterministic Model it was possible to see first and second order boundary surfaces. For the vulnerability/susceptibility of the dune systems it was applied the methodology proposal by Boderè al (1991); however the same one did not show adequate because it evaluates actual coastal dunes. Actual coastal dunes are dunes that are presented in balance with the current environmental conditions. Therefore, a new methodology was proposal which characterizes the supplying and activity sedimentary, as well as the human pressures. For the methodology developed in this work, both the localities had presented a good management. The Parque das Dunas was characterized as a relic dune system and the Barreira do Inferno was characterized as a palimpsestic dune system. Also two Thematic Maps had been elaborated for the environmental characterization of the studied dune systems, with software ArcGis 8.3, and its respective data bases

Tecnologia educacional: avaliação de um web site sobre Escala de Pessoal de Enfermagem

O uso da tecnologia de informática é uma realidade em todas as áreas do conhecimento humano, nos dias atuais. A incorporação tecnológica se faz nos serviços e no ensino, nos diferentes processos de trabalho do enfermeiro. Este estudo teve como objetivo avaliar um site desenvolvido sobre o tema Escala de Pessoal de Enfermagem, relevante na gestão de recursos humanos em saúde. A metodologia envolveu pesquisa quantitativa com docentes da área de administração em enfermagem, e alunos das oito Universidades Públicas do estado de São Paulo que formam enfermeiros. Entre os principais resultados, apontamos que 85% dos avaliadores consideraram o site excelente ou satisfatório. Além disso, foram analisados os comentários enviados por e-mail e as autoras fazem uma auto-avaliação. O site foi considerado de utilidade tanto para a prática profissional (81,7% entre excelente e satisfatório) como para o ensino (84,6% entre excelente e satisfatório).

Human Accessibility Modelling Applied to Protected Areas Management

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

An interactive environment for solid modeling based on free software

This paper describes an interactive environment built entirely upon public domain or free software, intended to be used as the preprocessor of a finite element package for the simulation of three-dimensional electromagnetic problems.

Análise de risco aplicada ao manejo precaucionário das pescarias artesanais na região do reservatório da UHE-Tucuruí (Pará, Brasil)

As pescarias no reservatório da UHE-Tucuruí no rio Tocantins, Pará, envolvem cerca de 6.000 pescadores e movimentam cerca de R$ 4,2 milhões/ano. A atividade se concentra em três espécies principais: tucunaré Cichla monoculus (capturado com anzol), pescada Plagioscion squamosissimus (capturado com rede e/ou anzol) e mapará Hypophthalmus marginatus (capturado com rede). Com o objetivo de caracterizar os pescadores e as pescarias do reservatório, criar cenários de aumento do esforço pesqueiro e prever os momentos de conflito pela escassez de recursos, foram levantadas informações da literatura e realizadas duas campanhas de coleta de dados nos anos de 1999 e 2000, envolvendo entrevistas com líderes comunitários e pescadores. As seguintes variáveis foram consideradas: desembarque por espécie-alvo (de acordo com os registros fornecidos pelas colônias de pescadores), artes de pesca, estratégias dos pescadores, conflitos e formas de apropriação do espaço e rendimentos da atividade. Estas variáveis foram inseridas em um modelo dinâmico, simulado no software Vensim PLE para um período de 10 anos a partir de 1999. Os resultados indicam que a pesca de anzol é a estratégia mais rentável, e que possíveis momentos de conflito devido à escassez de recursos podem acontecer em curto prazo (2005). A metodologia utilizada para as simulações e análises de risco também se revelou adequada à realidade local e ao conjunto de dados disponíveis.

Design and management optimization of trickle irrigation systems using non-linear programming

A non-linear model is presented which optimizes the lay-out, as well as the design and management of trickle irrigation systems, to achieve maximum net benefit. The model consists of an objective function that maximizes profit at the farm level, subject to appropriate geometric and hydraulic constraints. It can be applied to rectangular shaped fields, with uniform or zero slope. The software used is the Gams-Minos package. The basic inputs are the crop-water-production function, the cost function and cost of system components, and design variables. The main outputs are the annual net benefit and pipe diameters and lengths. To illustrate the capability of the model, a sensitivity analysis of the annual net benefit for a citrus field is evaluated with respect to irrigated area, ground slope, micro-sprinkler discharge and shape of the field. The sensitivity analysis suggests that the greatest benefit is obtained with the smallest microsprinkler discharge, the greatest area, a square field and zero ground slope. The costs of the investment and energy are the components of the objective function that had the greatest effect in the 120 situations evaluated. (C) 1996 Academic Press Limited

Software to productive and reproductive control of goats: PROCAPRI

PROCAPRI is a software to productive and reproductive control of goats developed with the aim of assisting the goat producers in their decisions, to make a representative data set of Brazilian goats production and providing research information. It has five modules: Administration, Association, UNESP, Maintenance, and Utilities. It has been available since October 1994, and it has been amply used, with 157 copies distributed until April 1998 in Brazil and other countries.

Custo Leite para Windows: Software de Controle de Custos para a Pecuária Leiteira

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Insecticide selectivity to two species of Trichogramma in three different hosts, as determined by IOBC/WPRS methodology

BACKGROUND: The use of Trichogramma species is a potential key strategy in integrated pest management. However, its effectiveness depends on the use of chemicals that do not interfere with parasitism and parasite population growth. Here, a study was made of the effects of synthetic insecticides on Trichogramma pretiosum and Trichogramma exiguum in different hosts (Ephestia kuehniella, Plutella xylostella and Spodoptera frugiperda) and the influence of International Organisation for Biological Control (IOBC/WPRS) methodology in selectivity studies using different Trichogramma species. The insecticides used were commercial formulations (triflumuron at a concentration of 0.2 mL L-1 water, etofenprox at a concentration of 0.47 mL L-1 water and endosulfan at a concentration of 7.5 mL L-1 water); the control treatment consisted of distilled water. Eggs attached to cardboard cards were offered to parasitoids inside glass cages. Parasitised eggs, parasitism and adult emergence rates and parasitism reduction were evaluated.RESULTS: Endosulfan and etofenprox, classified as class-4 toxic products, were extremely toxic to the parasitoids. Triflumuron, classified as a non-toxic product, was selective to the parasitoids in eggs of all hosts.CONCLUSIONS: The methodology recommended by IOBC/WPRS influenced results regarding the use of different species of parasitoids, and the use of a single parasitoid species in their experiment is questionable. (C) 2011 Society of Chemical Industry

A QUANTITATIVE APPROACH TO SUBSIDIZE THE PRECAUTIONARY MANAGEMENT of THE SMALL-SCALE FISHERIES IN ITAIPU RESERVOIR, BRAZIL

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Methodology for automatic selection of passes in surface grinding

The main purpose of this work is the development of computational tools in order to assist the on-line automatic detection of burn in the surface grinding process. Most of the parameters currently employed in the burning recognition (DPO, FKS, DPKS, DIFP, among others) do not incorporate routines for automatic selection of the grinding passes, therefore, requiring the user's interference for the choice of the active region. Several methods were employed in the passes extraction; however, those with the best results are presented in this article. Tests carried out in a surface-grinding machine have shown the success of the algorithms developed for pass extraction. Copyright © 2007 by ABCM.

Evolutionary heuristic to determine future land use

In the spatial electric load forecasting, the future land use determination is one of the most important tasks, and one of the most difficult, because of the stochastic nature of the city growth. This paper proposes a fast and efficient algorithm to find out the future land use for the vacant land in the utility service area, using ideas from knowledge extraction and evolutionary algorithms. The methodology was implemented into a full simulation software for spatial electric load forecasting, showing a high rate of success when the results are compared to information gathered from specialists. The importance of this methodology lies in the reduced set of data needed to perform the task and the simplicity for implementation, which is a great plus for most of the electric utilities without specialized tools for this planning activity. © 2008 IEEE.

To estimate the electric field near electric energy transmission systems by use simple software

The main objective this article is describe a methodology for the calculation of the profile of the electric field in the level soil and proximities originated by electric energy transmission systems real and in operation in the country. It also is commented the equation used and your computational implementation in order to agile and to optimize the studies. The results of simulations were just presented for the transmission system in the voltage class 500 kV for simplify the understanding and space restriction in the article, very although five others types of configurations have also been used in the complete study with very voltages and respective classes. The results were animating and very nearby of values well-known of electric field of other and publications traditional in the area. The graphic exits of program for better visual comprehension and understanding went in accomplished in the plan and in the space © 2010 IEEE.

Determination of the quality index of a Paleudult under sunflower culture and different management systems

Soil is an essential resource for life and its properties are susceptible to be modified by tillage systems. The impact of management practices on soil functions can be assessed through a soil quality index. It is interesting to assess soil quality in different soil types. Therefore, the aim of this study was to determine the soil quality index of a Paleudult under different management conditions and sunflower culture. The experiment was carried out in Botucatu (SP, Brazil), in an 11-year non-tilled area used for growing soybean and maize during summer and black oat or triticale in winter. Four management systems were considered: no-tillage with a hoe planter (NTh), no-tillage with a double-disk planter (NTd), reduced tillage (RT) and conventional tillage (CT). Soil samples were taken from the planting lines at harvest time. To determine the soil quality indices, following the methodology proposed by Karlen and Stott (1994), three main soil functions were assessed: soil capacity for root development, water storage capacity of the soil and nutrient supply capacity of the soil. The studied Paleudult was considered a soil with good quality under all the observed management systems. However, the soil quality indices varied between treatments being 0.64, 0.68, 0.86 and 0.79 under NTh, NTd, RT and CT, respectively. Physical attributes such as resistance to penetration and macroporosity increased the soil quality index in RT and CT compared to NTh and NTd. The soil quality indices obtained suggested that the evaluated soil is adequate for sunflower production under our study conditions. In view of the SQI values, RT is the most suitable management for this site since it preserves soil quality and provides an acceptable sunflower yield. © 2011 Elsevier B.V.