Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Projeto e implementação de uma plataforma MP-SoC usando SystemC

This work presents the concept, design and implementation of a MP-SoC platform, named STORM (MP-SoC DirecTory-Based PlatfORM). Currently the platform is composed of the following modules: SPARC V8 processor, GPOP processor, Cache module, Memory module, Directory module and two different modles of Network-on-Chip, NoCX4 and Obese Tree. All modules were implemented using SystemC, simulated and validated, individually or in group. The modules description is presented in details. For programming the platform in C it was implemented a SPARC assembler, fully compatible with gcc s generated assembly code. For the parallel programming it was implemented a library for mutex managing, using the due assembler s support. A total of 10 simulations of increasing complexity are presented for the validation of the presented concepts. The simulations include real parallel applications, such as matrix multiplication, Mergesort, KMP, Motion Estimation and DCT 2D

A biotecnologia e a educação ambiental no resguarde a duas espécies em vias de extinção na flora da Mata Atlântica Brasileira

The anthropical action caused destruction of great part of the Atlantic forest remaining today around 7% to 8% of the original portion. A classical example of the degradation is the situation of the Pau-Brasil (Caesalpinia echinata Lam.) which appellant exploration summarized abruptly decreased the wild occurrence of the species. Besides the economic exploration and the threat of extinction, the plant shows some characteristics that its own physiology makes difficult the survival in natural conditions. For this reason, any strategy developed to conserve it should also guarantee ways for its multiplication. In these conditions, the only reasonable technology is micropropagation in vitro based on immature segments of Catullus (explants or internodes). However, in virtue of the threat of extinction, extractivism and fenology, the disponibility of the sources of explants are reduced. Then, to turn this around, the present research showed the hypothesis that arrange these explants would have as a solution to elaborate a bank of matrixes and the utilization of produced seedlings as source of explant. Then, assuming that the soil is a fundamental element for a good formation of the seedlings, there were tests in a greenhouse on the Laboratory of plant biotechnology at UFRN, from May to June of 2008 that showed the influence of the four different soils on the production of Pau-Brasil. The objective of this work was to make possible the seedlings production of the specie and from them to establish a bank of matrixes as source of explant to guarantee the continuity of the process of micropropagation, contributing with the preservation of the specie

Conservação de espécies nativas em um assentamento rural do município de Apodi-RN: impactos socioambientais e econômicos e o uso da biotecnologia como alternativa promissora

The Caatinga biome has a high diversity of potential and their conservation constitutes one of the greatest challenges of Brazilian science. The sustainable management of the Caatinga emerges as an alternative that through the formation of systems agrossilvipastoris, enables the use of forest resources sustainably, ensuring their conservation, regeneration and recovery. In RN this technique has been developed mainly in settlements of Agrarian Reform, such as P. A. Moaci Lucena, and their impacts go beyond the environmental aspect and reverberate socially and economically on the quality of life of family farmers. Despite the efficiency of the Sustainable Management of the Caatinga in the conservation of native species, many forests species of this biome faces serious problems of propagation and for this reason have become vulnerable to extinction, as is the case of Mimosa caesalpiniifolia Benth . Thus , it is evident the need to use sustainable alternatives to overcome the difficulties of propagation of this species and enable their replacement in areas where their existence is threatened. The Plant Biotechnology is considered as a promising alternative in this sense, considering that by micropropagation enables the large-scale production of seedlings with high health genetics status. This work has the following objectives: evaluate the perception of family farmers of P. A. Moaci Lucena in relation to social, environmental and economic impacts of the Sustainable Management of the Caatinga and check the conditions of germination and in vitro propagation of Mimosa caesalpiniifolia Benth that enabling the production of seedlings of this specie on a large scale. To achieve the first objective, semi-structured interviews showed that in the perception of farmers PA Moaci Lucena, the Sustainable Management of the Caatinga was responsible for generating many social, environmental and economic impacts that affected directly in the improvement in the quality of life of the families of the Settlement Project Moaci Lucena. Have to achieve the second objective, were investigated the influence of different substrates and concentrations of growth regulator BAP in the germination and shoot induction in vitro of Mimosa caesalpiniifolia Benth. The vermiculite was presented as the most suitable substrate for germination of this species, because it provided a more rapid germination, higher growth rates and higher dry matter accumulation. Regarding micropropagation, the concentration of 17.76 μmol/L of BAP presented a more responsive in relation to multiplication rate and the number of shoots in M. caesalpiniifolia, thus constituting the most suitable concentration for the in vitro propagation of this specie

Sistema de numeração posicional e a lógica da divisão de inteiros

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

Fabricação e estudo de um forno solar com dispositivo de transporte

It presents a solar oven manufactured from MDF boards intended for the baking of foods such as pizza, cakes, breads, hamburgers and the like. They will be given the manufacturing processes and assembly of such an oven which has features of low cost manufacturing. The main feature of the proposed furnace and can be transported to any locations because it is seated on a device for carrying case / backpack. Tests will be conducted for the baking of various foods and their results will be compared with the various types of existing solar ovens shown by the literature. They will analyze the thermal and economic feasibility of such an oven that can provide socialization of the use of solar energy for poor communities and can become a source of generation of employment and income. The proposed solar oven baking has capacity for two foods and can be manufactured to allow multiple simultaneous baking of food.

Obtenção, caracterização e utilização de um compósito com matriz de resina poliéster e carga de fibras de sisal

The constant search for sustainable alternatives has earned great effort of researchers in research and obtaining new materials, encouraging the rise of eco-friendly productive development and providing simple and practical solutions to economic profitability. In this sense, the use of materials derived from natural renewable sources, vegetables, has great potential applicability to sustainable development. As alternative materials plant fibers can be applied to production of a range of composite materials easing the use of materials derived from non-renewable this thesis were sisal mats used for achieving a composite matrix having as one orthophthalic polyester resin. The webs were subjected to surface treatment in boiling water for 15 minutes. The webs of sisal fibers used were, respectively, 5%, 10% and 15% of the composite weight. The composite was obtained and characterized mechanically and thermally to the chosen formulations. several plates of the composite to obtain the body of evidence for the characterization tests complying with the relevant rules were made. The obtained composites showed strength tensile and bending lower than the array, so it can be used where are required low load requests. The most significant result of the composite studied given to the impact energy absorption, far superior to the matrix used. Other properties were highlighted in oil absorption, and density. It proved the feasibility of obtaining the composite for the three formulations studied C5, C10 and C15 being the most feasible to C10. To demonstrate the feasibility of using composite were made a wall clock, a bench, a chair and a shelf, low mechanical stress structures. It was concluded that the sisal rugs exercised the load function in the composite.

Obtenção, caracterização e utilização de um compósito com matriz de resina poliéster e carga de fibras de sisal

The constant search for sustainable alternatives has earned great effort of researchers in research and obtaining new materials, encouraging the rise of eco-friendly productive development and providing simple and practical solutions to economic profitability. In this sense, the use of materials derived from natural renewable sources, vegetables, has great potential applicability to sustainable development. As alternative materials plant fibers can be applied to production of a range of composite materials easing the use of materials derived from non-renewable this thesis were sisal mats used for achieving a composite matrix having as one orthophthalic polyester resin. The webs were subjected to surface treatment in boiling water for 15 minutes. The webs of sisal fibers used were, respectively, 5%, 10% and 15% of the composite weight. The composite was obtained and characterized mechanically and thermally to the chosen formulations. several plates of the composite to obtain the body of evidence for the characterization tests complying with the relevant rules were made. The obtained composites showed strength tensile and bending lower than the array, so it can be used where are required low load requests. The most significant result of the composite studied given to the impact energy absorption, far superior to the matrix used. Other properties were highlighted in oil absorption, and density. It proved the feasibility of obtaining the composite for the three formulations studied C5, C10 and C15 being the most feasible to C10. To demonstrate the feasibility of using composite were made a wall clock, a bench, a chair and a shelf, low mechanical stress structures. It was concluded that the sisal rugs exercised the load function in the composite.