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

Prospecção e monitoramento informacional no contexto da inteligência competitiva em microempresas do ramo óptico da região de Marília - SP

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

As aprendizagens formais não condicionam as competências profissionais : a realidade dos funcionários da autarquia da cidade da guarda. 'El aprendizaje formal no afecta a las competencias profesionales : la realidad de los funcionarios de la municipalidad de la ciudad de Guarda'.

Analizar los sistemas de relaciones laborales de la municipalidad, en particular las competencias profesionales que son de género dentro de la comunidad laboral, así como aquellos que son aprendidos a través del aprendizaje no formal, con vistas al aprendizaje de las dinámicas de cada funcionario para la comunidad. Se ha trabajado con una metodología empírica y se utilizó con el fin de complementar y profundizar la información de referencia cruzada, por ello se han utilizado diferentes métodos y técnicas, que debía de ser capaz de explorar intensamente una zona poco conocida, que señaló la falta de producción científica y la información sistematizada sobre el tema de nuestro estudio: el personal de una agencia, así como evaluar el impacto de la RVCC en el personal, social y laboral de estos empleados. Una característica clave de este estudio y el estudio de caso es el esfuerzo para obtener una comprensión global de los sistemas culturales de acción. Comprensión por parte de los sistemas culturales de la acción del conjunto de actividades interrelacionadas y actores involucrados en una situación social particular. El caso de estudio es por tanto una estrategia apropiada en la evaluación de los acontecimientos contemporáneos, como por ejemplo, la escuela de casos de RVCC y certificación de competencias, sobre todo cuando los comportamientos en cuestión no puede ser manipulado. Así, el estudio de caso como el desarrollo de esta investigación es exploratorio y descriptivo cuantitativo. La muestra utilizada en esta investigación fue intencional y no probabilística. El estudio se llevó a cabo con la autorización de la Municipalidad de ciudad de la Guarda de los cuales recibieron amplio apoyo a la aplicación de los cuestionarios que fueron administrados principalmente por la División de Recursos Humanos. Resulta útil tener en cuenta que las consideraciones de esta investigación con el fin de contribuir al desarrollo y análisis de los impactos y la valoración de la adquirida por los adultos, como sujetos implícitamente vinculados a su vida y a la promoción de las organizaciones públicas y privadas, esta cooperación de responsabilidades con el reconocimiento civil de estas habilidades después de la certificación, partiendo del concepto de competencia en la visión de una teoría dialéctica de la educación de adultos, superando el enfoque conductista-funcionalista aplicado tradicionalmente para la certificación de la educación en habilidades básicas para adultos. Para ello, es esencial para sacar conclusiones que, a pesar de dar un global e integrada de la labor realizada, no puede sin embargo ser tomadas como verdades absolutas.

Espécies reativas de oxigênio e de nitrogênio, antioxidantes e marcadores de dano oxidativo em sangue humano: principais métodos analíticos para sua determinação

We review here the chemistry of reactive oxygen and nitrogen species, their biological sources and targets; particularly, biomolecules implicated in the redox balance of the human blood, and appraise the analytical methods available for their detection and quantification. Those biomolecules are represented by the enzymatic antioxidant defense machinery, whereas coadjutant reducing protection is provided by several low molecular weight molecules. Biomolecules can be injured by RONS yielding a large repertoire of oxidized products, some of which can be taken as biomarkers of oxidative damage. Their reliable determination is of utmost interest for their potentiality in diagnosis, prevention and treatment of maladies.

Aplicação de métodos de calibração multivariada para a determinação simultânea de riboflavina (VB2), tiamina (VB1), piridoxina (VB6) e nicotinamida (VPP)

In this work, the artificial neural networks (ANN) and partial least squares (PLS) regression were applied to UV spectral data for quantitative determination of thiamin hydrochloride (VB1), riboflavin phosphate (VB2), pyridoxine hydrochloride (VB6) and nicotinamide (VPP) in pharmaceutical samples. For calibration purposes, commercial samples in 0.2 mol L-1 acetate buffer (pH 4.0) were employed as standards. The concentration ranges used in the calibration step were: 0.1 - 7.5 mg L-1 for VB1, 0.1 - 3.0 mg L-1 for VB2, 0.1 - 3.0 mg L-1 for VB6 and 0.4 - 30.0 mg L-1 for VPP. From the results it is possible to verify that both methods can be successfully applied for these determinations. The similar error values were obtained by using neural network or PLS methods. The proposed methodology is simple, rapid and can be easily used in quality control laboratories.

Química forense: perspectivas sobre novos métodos analíticos aplicados à documentoscopia, balística e drogas de abuso

In this review recent methods developed and applied to solve criminal occurences related to documentoscopy, ballistic and drugs of abuse are discussed. In documentoscopy, aging of ink writings, the sequence of line crossings and counterfeiting of documents are aspects to be solved with reproducible, fast and non-destructive methods. In ballistic, the industries are currently producing ''lead-free'' or ''nontoxic'' handgun ammunitions, so new methods of gunshot residues characterization are being presented. For drugs analysis, easy ambient sonic-spray ionization mass spectrometry (EASI-MS) is shown to provide a relatively simple and selective screening tool to distinguish m-CPP and amphetamines (MDMA) tablets, cocaine and LSD.

Métodos probabilístico e determinístico para diagnóstico da necessidade de subsolagem de solos agrícolas

This paper presents two techniques to evaluate soil mechanical resistance to penetration as an auxiliary method to help in a decision-making in subsoiling operations. The decision is based on the volume of soil mobilized as a function of the considered critical soil resistance to penetration in each case. The first method, probabilistic, uses statistical techniques to define the volume of soil to be mobilized. The other method, deterministic, determines the percentage of soil to be mobilized and its spatial distribution. Both cases plot the percentage curves of experimental data related to the soil mechanical resistance to penetration equal or larger to the established critical level and the volume of soil to be mobilized as a function of critical level. The deterministic method plots showed the spatial distribution of the data with resistance to penetration equal or large than the critical level. The comparison between mobilized soil curves as a function of critical level using both methods showed that they can be considered equivalent. The deterministic method has the advantage of showing the spatial distribution of the critical points.

Análise de custo-efetividade de métodos preventivos para superfície oclusal de acordo com o risco de cárie: resultados de um ensaio clínico controlado

This study presents the results of a cost-effectiveness analysis in a controlled clinical trial on the effectiveness of a modified glass ionomer resin sealant ( Vitremer, 3M ESPE) and the application of fluoride varnish (Duraphat, Colgate) on occlusal surfaces of first permanent molars in children 6-8 years of age (N = 268), according to caries risk (high versus low). Children were examined semiannually by the same calibrated dentist for 24 months after allocation in six groups: high and low risk controls (oral health education every three months); high and low risk with varnish (oral health education every three months + varnish biannually); and high and low risk with sealant (oral health education every three months + a single application of sealant). Economic analysis showed that sealing permanent first molars of high-risk schoolchildren showed a C/E ratio of US$ 119.80 per saved occlusal surface and an incremental C/E ratio of US$ 108.36 per additional saved occlusal surface. The study concluded that sealing permanent first molars of high-risk schoolchildren was the most cost-effective intervention.

Estudo comparativo dos métodos de estimativa da idade óssea de Greulich & Pyle e Tanner & Whitehouse

The purpose of this study was to verify whether the Greulich & Pyle (GP), Greulich & Pyle Visual (GPV) and Tanner & Whitehouse (TW) methods for estimating skeletal age could be applied in the Brazilian population, and which of these three methods could be considered more reliable when compared with the chronological age of the individuals. This study was based on one hundred and sixty volunteers (80 females and 80 males) with ages between 6 years and 10 months and 14 years and 9 months. The results showed that for the GP method, the correlations with chronological age were 0.95 for males and 0.97 for females. For the GPV method, the correlations were 0.96 and 0.97, respectively and for TW, 0.96 and 0.97. The results showed that the Greulich & Pyle, Greulich & Pyle Visual and Tanner & Whitehouse methods presented high correlation values when compared with the chronological age of the individuals. Corrective factors were established to make these methods applicable to the Brazilian population.

Metamorfose planar via métodos Level Set e Particle Level Set para a reconstrução de superfícies tridimensionais

Evolving interfaces were initially focused on solutions to scientific problems in Fluid Dynamics. With the advent of the more robust modeling provided by Level Set method, their original boundaries of applicability were extended. Specifically to the Geometric Modeling area, works published until then, relating Level Set to tridimensional surface reconstruction, centered themselves on reconstruction from a data cloud dispersed in space; the approach based on parallel planar slices transversal to the object to be reconstructed is still incipient. Based on this fact, the present work proposes to analyse the feasibility of Level Set to tridimensional reconstruction, offering a methodology that simultaneously integrates the proved efficient ideas already published about such approximation and the proposals to process the inherent limitations of the method not satisfactorily treated yet, in particular the excessive smoothing of fine characteristics of contours evolving under Level Set. In relation to this, the application of the variant Particle Level Set is suggested as a solution, for its intrinsic proved capability to preserve mass of dynamic fronts. At the end, synthetic and real data sets are used to evaluate the presented tridimensional surface reconstruction methodology qualitatively.

Avaliação do amaciamento de carne bovina de dianteiro (Triceps brachii) pelos métodos de maturação, estimulação elétrica, injeção de ácidos e tenderização mecânica

Twenty-two Triceps brachii muscle obtained from 11 cows aged 3 and 4 years , killed in an experimental slaughter plant, were submitted to mechanical tenderization, injection with acetic acid 0,1M and lactic acid 0,2M, ageing for 9 and 14 days and electrical stimulation (250v - 60Hz - 90s), some of them were reserved as a control group, without treatment. The 14 days ageing time presented 21% of increase in subjective tenderness and 12% of reduction in shear force, these values were similar to the electrical stimulated meat. However the injection with acids and the ageing time 9 days did not present significant effect in the texture. Although the shear force values of mechanical tenderized meat was the shortest among all treatments, suspect of superestimation because of the fractures plan created by this process. Another analyses were carried out: pH reduction curve, R value; colour analysis; weight losses by cooking and by treatment; and microbiological analysis.

Desidratação osmótica de abacaxi aplicada à tecnologia de métodos combinados

The aim of this research was to optimize osmotic dehydration of pineapple, according to two criteria: maximize water loss and minimize solid gain. The process was made as an application to Combined Methods Technology, in which three preservation factors were combined: water activity, pH and chemical preservatives, all being applied at low levels, in order to get a product resembling non-processed fruit. The experiment was divided into three treatments, being: non-coated pineapple pieces (A), pieces coated with alginate (B) and coated with low-methoxyl pectin (C). Process involved the following main steps: enzymatic inactivation of fruit pieces; in treatments B and C, incorporation of their respective coatings; and osmotic dehydration, in sucrose syrup containing potassium sorbate and citric acid. Optimum conditions, determined from Response Surface Methodology, were the following: dehydration of fruit pieces coated by alginate, at 42-47° C, in sucrose syrup at 66-69° Brix, for 220 to 270 minutes. Results indicated that both coatings significantly affected the mass transfers of the process, reducing solid incorporation and increasing water loss; therefore, increasing weight loss and performance ratio (water loss: solid incorporation) took place. Water activity was not significantly affected by the coatings. The product obtained under optimum conditions was submitted to sensorial evaluation, and presented a good general acceptance. Moulds and yeasts countings indicated good microbiological stability of the product for at least 60 days at 30ºC.

Metamorfose planar via métodos Level Set e Particle Level Set para a reconstrução de superfícies tridimensionais

Evolving interfaces were initially focused on solutions to scientific problems in Fluid Dynamics. With the advent of the more robust modeling provided by Level Set method, their original boundaries of applicability were extended. Specifically to the Geometric Modeling area, works published until then, relating Level Set to tridimensional surface reconstruction, centered themselves on reconstruction from a data cloud dispersed in space; the approach based on parallel planar slices transversal to the object to be reconstructed is still incipient. Based on this fact, the present work proposes to analyse the feasibility of Level Set to tridimensional reconstruction, offering a methodology that simultaneously integrates the proved efficient ideas already published about such approximation and the proposals to process the inherent limitations of the method not satisfactorily treated yet, in particular the excessive smoothing of fine characteristics of contours evolving under Level Set. In relation to this, the application of the variant Particle Level Set is suggested as a solution, for its intrinsic proved capability to preserve mass of dynamic fronts. At the end, synthetic and real data sets are used to evaluate the presented tridimensional surface reconstruction methodology qualitatively.

Respostas eletromiográficas frente a diferentes métodos de treinamento de força

Universidade Estadual de Campinas . Faculdade de Educação Física

Comparação entre métodos para mensuração da potência aeróbia em atletas tetraplégicos= : Comparison of methods for aerobic power assessment in athletes with tetraplegia

Universidade Estadual de Campinas . Faculdade de Educação Física