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

Aplicação do Sensoriamento Remoto e do Sistema de Informações Geográficas na Detecção de Manchas de Óleo na Região do Pólo de Exploração de Guamaré, R.N.

Objective to establish a methodology for the oil spill monitoring on the sea surface, located at the Submerged Exploration Area of the Polo Region of Guamaré, in the State of Rio Grande do Norte, using orbital images of Synthetic Aperture Radar (SAR integrated with meteoceanographycs products. This methodology was applied in the following stages: (1) the creation of a base map of the Exploration Area; (2) the processing of NOAA/AVHRR and ERS-2 images for generation of meteoceanographycs products; (3) the processing of RADARSAT-1 images for monitoring of oil spills; (4) the integration of RADARSAT-1 images with NOAA/AVHRR and ERS-2 image products; and (5) the structuring of a data base. The Integration of RADARSAT-1 image of the Potiguar Basin of day 21.05.99 with the base map of the Exploration Area of the Polo Region of Guamaré for the identification of the probable sources of the oil spots, was used successfully in the detention of the probable spot of oil detected next to the exit to the submarine emissary in the Exploration Area of the Polo Region of Guamaré. To support the integration of RADARSAT-1 images with NOAA/AVHRR and ERS-2 image products, a methodology was developed for the classification of oil spills identified by RADARSAT-1 images. For this, the following algorithms of classification not supervised were tested: K-means, Fuzzy k-means and Isodata. These algorithms are part of the PCI Geomatics software, which was used for the filtering of RADARSAT-1 images. For validation of the results, the oil spills submitted to the unsupervised classification were compared to the results of the Semivariogram Textural Classifier (STC). The mentioned classifier was developed especially for oil spill classification purposes and requires PCI software for the whole processing of RADARSAT-1 images. After all, the results of the classifications were analyzed through Visual Analysis; Calculation of Proportionality of Largeness and Analysis Statistics. Amongst the three algorithms of classifications tested, it was noted that there were no significant alterations in relation to the spills classified with the STC, in all of the analyses taken into consideration. Therefore, considering all the procedures, it has been shown that the described methodology can be successfully applied using the unsupervised classifiers tested, resulting in a decrease of time in the identification and classification processing of oil spills, if compared with the utilization of the STC classifier

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.

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.

Software educacional sobre escala de pessoal de enfermagem: Elaboração, desenvolvimento e aplicação via internet

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

Promoting corporate social responsibility in small and medium enterprises in the Caribbean: methodology report

Incluye Bibliografía

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.

Evaluation of a digital methodology for human identification using palatal rugoscopy

Palatal rugoscopy, or palatoscopy, is the process by which human identification can be obtained by inspecting the transverse palatal rugae inside the mouth. Aim: This study evaluated a digital method for human identification using palatoscopy, by comparing photographs of the palate against the images of cast models of the maxilla photographed with and without highlighting of the palatal rugae. Methods: Condensation silicone impressions were made from the upper arches of 30 adult subjects of both genders and their palates were then photographed. The first impression was made with heavy silicone, the second impression with light silicone, and then the models were cast in improved type IV dental stone. The casts were photographed, the palatal rugae of each one were highlighted with a pencil, and then the models were photographed again. Using a free image-editing software, the digital photographs were overlapped over the images of the palatal rugae of the models with and without highlighting of the palatal rugae, in order to identify the pairs. Results: The result of overlapping the digital photographs with the images of the models without highlighted palatal rugae resulted in 90% positive identification. For the overlapping of the digital photographs with the images of models with highlighted palatal rugae, there was 100% positive identification. Conclusions: The digital method evaluated in this study was proven effective for human identification.

Development of a thermoeconomic methodology for the optimization of biodiesel production - Part I: Biodiesel plant and thermoeconomic functional diagram

This work developed a methodology that uses the thermoeconomic functional diagram applied for allocating the cost of products produced by a biodiesel plant. The first part of this work discusses some definitions of exergy and thermoeconomy, with a detailed description of the biodiesel plant studied, identification of the system functions through Physical Diagram, calculation of the irreversibilities of the plant, construction of the Thermoeconomic Functional Diagram and determination of the expressions for the plant's exergetic functions. In order to calculate the exergetic increments and the physical exergy of certain flows in each step, the Chemical Engineering Simulation Software HYSYS 3.2 was used. The equipments that have the highest irreversibilities in the plant were identified after the exergy calculation. It was also found that the lowest irreversibility in the system refers to the process with a molar ratio of 6:1 and a reaction temperature of 60 °C in the transesterification process. In the second part of this work (Part II), it was calculated the thermoeconomic cost of producing biodiesel and related products, including the costs of carbon credits for the CO2 that is not released into the atmosphere, when a percentage of biodiesel is added to the petroleum diesel used by Brazil's internal diesel fleet (case study). © 2013 Elsevier Ltd. All rights reserved.

Knowledge-based risk management: Survey on Brazilian software development enterprises

A risks management, carried on in an effective way, leads the software development to success and may influence on the organization. The knowledge takes part of such a process as a way to help taking decisions. This research aimed to analyze the use of Knowledge Management techniques to the Risk Management in software projects development and the possible influence on the enterprise revenue. It had, as its main studying subject, Brazilian incubated and graduated software developing enterprises. The chosen research method was the Survey type. Multivariate statistical methods were used for the treatment and analysis of the obtained results, this way identifying the most significant factors, that is, enterprise's achievement constraining factors and those outcome achievement ones. Among the latter we highlight the knowledge methodology, the time of existence of the enterprise, the amount of employees and the knowledge externalization. The results encourage contributing actions to the increasing of financial revenue. © 2013 Springer-Verlag.

Dicionário terminológico bilíngüe francês-português de termos jurídicos: tratamento terminográfico e reflexões sobre terminologia bilíngüe

Pós-graduação em Estudos Linguísticos - IBILCE

Educação em engenharia: estudo de metodologias pedagógicas e desenvolvimento de um software aplicado ao ensino de estabilidade de sistemas de energia elétrica

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

Análise, desenvolvimento e implantação de software para monitorização, controle e gerenciamento dos processos na condução de estudos clínicos em cancerologia

Pós-graduação em Pesquisa e Desenvolvimento (Biotecnologia Médica) - FMB

Representações dos números racionais e a medição de segmentos: possibilidades com tecnologias informáticas

Pós-graduação em Educação Matemática - IGCE

Um estudo sobre o uso de régua, compasso e um software de geometria dinâmica no ensino da geometria hiperbólica

Pós-graduação em Educação Matemática - IGCE