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

Calculando distância em geometria espacial usando material manipulável como recurso didático

This work presents a proposal for introducing the teaching of Geometry Space study attempts to demonstrate that the use of manipulatives as a teaching resource can be an alternative learning facilitator for fixing the primitive concepts of geometry, the postulates and theorems, position relationships between points, lines and planes and calculating distances. The development makes use of a sequence of activities aimed at ensuring that students can build a more systematic learning and these are divided into four steps

A utilização da modelagem física no estudo do desenvolvimento, geometria e cinemática de falhas distensionais

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

Caracterização da geometria de depósitos sedimentares na borda sudoeste da Bacia`Potiguar

This study focuses on the potential of several techniques used to identify depositional geometries and paleogeographical investigation on the SW border of the Potiguar Basin. Three areas were selected for an integrated geological, geophysical and geochemistry study. The main used techniques were facies analysis, remote sensing,ground penetrating radar (GPR) and gamma-ray in outcrops, as well as petrographic microscope observations and the using of scanning eletronic microscopic (SEM), and Carbon and Oxygen Isotopic study in the carbonate tufa. These methodological approaches were very efficient in the facies analysis of 2D geometries. The GPR profiles carried out in Quixeré identified important geological reflectors which allowed to the identification of depositional geometries of tufa. However, GPR profiles were not able to identify geological reflectors in the Apodi and Olho d´Água da Bica outcrops. Gammaray profiles also presented good results, which justify their use in 1D and 2D geometric analysis. Carbon and Oxygen Isotopic analyses were also used to investigate paleoenvironmental setting of tufa deposits. It is important to remark the excellent resultsof GRP using in the identification of deposition al geometries of tufa and their contact relationships with the underlying rocks. Field analysis of faults indicate a vertical sigma-1 orientation which was associated to normal faults

Dobramentos distensionais e a geometria da falha de Baixa Grande, Graben de Umbuzeiro, Bacia Potiguar (RN)

In spite of significant study and exploration of Potiguar Basin, easternmost Brazilian equatorial margin, by the oil industry, its still provides an interesting discussion about its origin and the mechanisms of hydrocarbon trapping. The mapping and interpretation of 3D seismic reflection data of Baixa Grande Fault, SW portion of Umbuzeiro Graben, points as responsible for basin architecture configuration an extensional deformational process. The fault geometry is the most important deformation boundary condition of the rift stata. The development of flat-ramp geometries is responsible for the formation of important extensional anticline folds, many of then hydrocarbon traps in this basin segment. The dominant extensional deformation in the studied area, marked by the development of normal faults developments, associated with structures indicative of obliquity suggests variations on the former regime of Potiguar Basin through a multiphase process. The changes in structural trend permits the generation of local transpression and transtension zones, which results in a complex deformation pattern displayed by the Potiguar basin sin-rift strata. Sismostratigraphic and log analysis show that the Baixa Grande Fault acts as listric growing fault at the sedimentation onset. The generation of a relay ramp between Baixa Grande Fault and Carnaubais Fault was probably responsible for the balance between subsidence and sedimentary influx taxes, inhibiting its growing behaviour. The sismosequences analysis s indicates that the extensional folds generation its diachronic, and then the folds can be both syn- and post-depositional

Aplicação da modelagem estrutural computacional direta na análise da geometria de falhas: exemplo da falha de Baixa Grande (Bacia Potiguar - NE do Brasil)

The Baixa grande fault is located on the edge of the S-SW Potiguar Rift. It limits the south part of Umbuzeiro Graben and the Apodi Graben. Although a number of studies have associated the complex deformation styles in the hanging wall of the Baixa Grande Fault with geometry and displacement variations, none have applied the modern computational techniques such as geometrical and kinematic validations to address this problem. This work proposes a geometric analysis of the Baixa Fault using seismic interpretation. The interpretation was made on 3D seismic data of the Baixa Grande fault using the software OpendTect (dGB Earth Sciences). It was also used direct structural modeling, such as Analog Direct Modeling know as Folding Vectors and, 2D and 3D Direct Computational Modeling. The Folding Vectors Modeling presented great similarity with the conventional structural seismic interpretations of the Baixa Grande Fault, thus, the conventional interpretation was validated geometrically. The 2D direct computational modeling was made on some sections of the 3D data of the Baixa Grande Fault on software Move (Midland Valley Ltd) using the horizon modeling tool. The modeling confirms the influence of fault geometry on the hanging wall. The Baixa Grande Fault ramp-flat-ramp geometry generates synform on the concave segments of the fault and antiform in the convex segments. On the fault region that does not have segments angle change, the beds are dislocated without deformation, and on the listric faults occur rollover. On the direct 3D computational modeling, structural attributes were obtained as horizons on the hanging wall of the main fault, after the simulation of several levels of deformation along the fault. The occurrence of structures that indicates shortening in this modeling, also indicates that the antiforms on the Baixa Grande Fault were influenced by fault geometry

Influência da geometria e umidade de colunas de solo na biodegradação de filmes de PCL

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

Teoria algébrica de processos da medida em sistemas quânticos

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

Estudo da geometria do cavaco no corte com discos abrasivos

This paper shows a research about the study of the chip's geometry generated in the diving cut-off operation, under several cutting conditions. As a result it was possible to verify tint the cutting conditions and the type of the material being cut can directly affect the chip's geometry.

Influência da geometria do martelo na determinação da força durante o ensaio de impacto Charpy-V

The instrumentation applied to the Charpy test machine allows the accompaniment of the specimen answer front the impact load, in form of a sign characteristically dynamic representative of the deformation process and it fractures of material tested. The main advantages of the rehearsal conventional Charpy: low cost, manufacturing sample facilities and simple handle the machine. With the instrumentation, the number of information regarding the process of fracture of the specimen increases. In this work discusses the influence of the hammer geometry in determination of the force during the process of specimen fracture submitted to the instrumented impact test Charpy-V. The purpose is obtaining a hammer, in conformity with Norma ISO 14.556, with great sensibility to register the force during the impact. Two geometries different from hammers were instrumented and rehearsed with material of low tenacity, in this case the steel ABNT 4140 in the condition of having normalized. It could be proven as larger the sensibility of the hammer, adult will be the effects of the shock waves in the strain gages of the transducer.

Extração semi-automática de rodovias em um par de imagens aéreas digitais utilizando geometria epipolar e programação dinâmica

The purpose of this paper is to introduce a methodology for semi-automatic road extraction from aerial digital image pairs by using dynamic programming and epipolar geometry. The method uses both images from where each road feature pair is extracted. The operator identifies the corresponding road featuresand s/he selects sparse seed points along them. After all road pairs have been extracted, epipolar geometry is applied to determine the automatic point-to-point correspondence between each correspondent feature. Finally, each correspondent road pair is georeferenced by photogrammetric intersection. Experiments were made with rural aerial images. The results led to the conclusion that the methodology is robust and efficient, even in the presence of shadows of trees and buildings or other irregularities.

Teorema de Riemann-Roch e aplicações

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

Olhares que pensam e sentem: arte e mediação cultural na aula de geometria

Pós-graduação em Artes - IA

Geração algébrica de malhas bidimensionais

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