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

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Detecção de áreas degradadas na sub-bacia hidrográfica do rio taperoá/pb, utilizando parâmetros físicos dos sensores modis/terra e tm/landsat

This study includes the results of the analysis of areas susceptible to degradation by remote sensing in semi-arid region, which is a matter of concern and affects the whole population and the catalyst of this process occurs by the deforestation of the savanna and improper practices by the use of soil. The objective of this research is to use biophysical parameters of the MODIS / Terra and images TM/Landsat-5 to determine areas susceptible to degradation in semi-arid Paraiba. The study area is located in the central interior of Paraíba, in the sub-basin of the River Taperoá, with average annual rainfall below 400 mm and average annual temperature of 28 ° C. To draw up the map of vegetation were used TM/Landsat-5 images, specifically, the composition 5R4G3B colored, commonly used for mapping land use. This map was produced by unsupervised classification by maximum likelihood. The legend corresponds to the following targets: savanna vegetation sparse and dense, riparian vegetation and exposed soil. The biophysical parameters used in the MODIS were emissivity, albedo and vegetation index for NDVI (NDVI). The GIS computer programs used were Modis Reprojections Tools and System Information Processing Georeferenced (SPRING), which was set up and worked the bank of information from sensors MODIS and TM and ArcGIS software for making maps more customizable. Initially, we evaluated the behavior of the vegetation emissivity by adapting equation Bastiaanssen on NDVI for spatialize emissivity and observe changes during the year 2006. The albedo was used to view your percentage of increase in the periods December 2003 and 2004. The image sensor of Landsat TM were used for the month of December 2005, according to the availability of images and in periods of low emissivity. For these applications were made in language programs for GIS Algebraic Space (LEGAL), which is a routine programming SPRING, which allows you to perform various types of algebras of spatial data and maps. For the detection of areas susceptible to environmental degradation took into account the behavior of the emissivity of the savanna that showed seasonal coinciding with the rainy season, reaching a maximum emissivity in the months April to July and in the remaining months of a low emissivity . With the images of the albedo of December 2003 and 2004, it was verified the percentage increase, which allowed the generation of two distinct classes: areas with increased variation percentage of 1 to 11.6% and the percentage change in areas with less than 1 % albedo. It was then possible to generate the map of susceptibility to environmental degradation, with the intersection of the class of exposed soil with varying percentage of the albedo, resulting in classes susceptibility to environmental degradation

Landau and Kolmogoroff type polynomial inequalities

Let 0algebraic polynomials of degree not exceeding n).For the particular case j=1 and m=2, we provide a complete characterisation of the positive constants A and B, for which the corresponding Landau type polynomial inequalities parallel to f'parallel to less than or equal toA parallel to f parallel to + B parallel to f parallel to/ A theta(k) + B mu(k)hold. In each case we determine the corresponding extremal polynomials for which equalities are attained.

Almost strict total positivity and a class of Hurwitz polynomials

We establish sufficient conditions for a matrix to be almost totally positive, thus extending a result of Craven and Csordas who proved that the corresponding conditions guarantee that a matrix is strictly totally positive. Then we apply our main result in order to obtain a new criteria for a real algebraic polynomial to be a Hurwitz one. The properties of the corresponding extremal Hurwitz polynomials are discussed. (C) 2004 Elsevier B.V. All rights reserved.

Schur-SzegA composition of entire functions

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

Variational supersymmetric approach to evaluate Fokker-Planck probability

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

Alternant and BCH codes over certain rings

Alternant codes over arbitrary finite commutative local rings with identity are constructed in terms of parity-check matrices. The derivation is based on the factorization of x s - 1 over the unit group of an appropriate extension of the finite ring. An efficient decoding procedure which makes use of the modified Berlekamp-Massey algorithm to correct errors and erasures is presented. Furthermore, we address the construction of BCH codes over Zm under Lee metric.

CYCLIC CODES THROUGH B[X], B[X; 1/kp Z(0)] and B[X; 1/p(k) Z(0)]: A COMPARISON

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

Strength of the trilinear Higgs boson coupling in technicolor models

We discuss the strength of the trilinear Higgs boson coupling in technicolor (or composite) models in a model independent way. The coupling is determined as a function of a very general ansatz for the technicolor self-energy, and turns out to be equal or smaller than the one of the Standard Model Higgs boson depending on the dynamics of the theory. (c) 2006 Published by Elsevier B.V.

Quantization rules for bound states in quantum wells

An algebraic reformulation of the Bohr-Sommerfeld (BS) quantization rule is suggested and applied to the study of bound states in one-dimensional quantum wells. The energies obtained with the present quantization rule are compared to those obtained with the usual BS and WKB quantization rules and with the exact solution of the Schrodinger equation. We find that, in diverse cases of physical interest in molecular physics, the present quantization rule not only yields a good approximation to the exact solution of the Schrodinger equation, but yields more precise energies than those obtained with the usual BS and/or WKB quantization rules. Among the examples considered numerically are the Poeschl-Teller potential and several anharmonic oscillator potentials. which simulate molecular vibrational spectra and the problem of an isolated quantum well structure subject to an external electric field.

A model for Hopfions on the space-time S(3)xR

We construct static and time dependent exact soliton solutions for a theory of scalar fields taking values on a wide class of two dimensional target spaces, and defined on the four dimensional space-time S-3 X R. The construction is based on an ansatz built out of special coordinates on S3. The requirement for finite energy introduce boundary conditions that determine an infinite discrete spectrum of frequencies for the oscillating solutions. For the case where the target space is the sphere S-2, we obtain static soliton solutions with nontrivial Hopf topological charges. In addition, such Hopfions can oscillate in time, preserving their topological Hopf charge, with any of the frequencies belonging to that infinite discrete spectrum. (C) 2005 American Institute of Physics.

On negative flows of the AKNS hierarchy and a class of deformations of a bihamiltonian structure of hydrodynamic type

A deformation parameter of a bihamiltonian structure of hydrodynamic type is shown to parametrize different extensions of the AKNS hierarchy to include negative flows. This construction establishes a purely algebraic link between, on the one hand, two realizations of the first negative flow of the AKNS model and, on the other, two-component generalizations of Camassa-Holmand Dym-type equations. The two-component generalizations of Camassa-Holm- and Dym-type equations can be obtained from the negative-order Hamiltonians constructed from the Lenard relations recursively applied on the Casimir of the first Poisson bracket of hydrodynamic type. The positive-order Hamiltonians, which follow froth the Lenard scheme applied on the Casimir of the second Poisson bracket of hydrodynamic type, are shown to coincide with the Hamiltonians of the AKNS model. The AKNS Hamiltonians give rise to charges conserved with respect to equations of motion of two-component Camassa-Holm- and two-component Dym-type equations.

Lorentz-violating dilatations in momentum space and some extensions on nonlinear actions of Lorentz-algebra-preserving systems

We work on some general extensions of the formalism for theories which preserve the relativity of inertial frames with a nonlinear action of the Lorentz transformations on momentum space. Relativistic particle models invariant under the corresponding deformed symmetries are presented with particular emphasis on deformed dilatation transformations. The algebraic transformations relating the deformed symmetries with the usual (undeformed) ones are provided in order to preserve the Lorentz algebra. Two distinct cases are considered: a deformed dilatation transformation with a spacelike preferred direction and a very special relativity embedding with a lightlike preferred direction. In both analysis we consider the possibility of introducing quantum deformations of the corresponding symmetries such that the spacetime coordinates can be reconstructed and the particular form of the real space-momentum commutator remains covariant. Eventually feasible experiments, for which the nonlinear Lorentz dilatation effects here pointed out may be detectable, are suggested.

A possible way to relate the covariantization and the negative dimensional integration method in the light-cone gauge

Here we present a possible way to relate the method of covariantizing the gauge-dependent pole and the negative dimensional integration method for computing Feynman integrals pertinent to the light-cone gauge fields. Both techniques are applicable to the algebraic light-cone gauge and dispense with prescriptions to treat the characteristic poles.