A neighbourhood semantic for the Logic TK

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

Flutter analysis including structural uncertainties

The common practice in industry is to perform flutter analyses considering the generalized stiffness and mass matrices obtained from finite element method (FEM) and aerodynamic generalized force matrices obtained from a panel method, as the doublet lattice method. These analyses are often reperformed if significant differences are found in structural frequencies and damping ratios determined from ground vibration tests compared to FEM. This unavoidable rework can result in a lengthy and costly process of analysis during the aircraft development. In this context, this paper presents an approach to perform flutter analysis including uncertainties in natural frequencies and damping ratios. The main goal is to assure the nominal system’s stability considering these modal parameters varying in a limited range. The aeroelastic system is written as an affine parameter model and the robust stability is verified solving a Lyapunov function through linear matrix inequalities and convex optimization

Microbialitos da formação Codó (Aptiano Superior) às margens do rio Tocantins em São Miguel do Tocantins (TO)

The southwestern region of the São Luís-Grajaú Basin has a rare outcrop of the Codó Formation (upper Aptian) with seven outstanding microbialite bioherms along the left margin of the Tocantins river, near Imperatriz (MA). Resting on sandstones of the Grajaú Formation, the Codó Formation presents: 1) a 20 cm thick basal calcilutite with gypsite pseudomorphs and some fossil tree stems; 2) metric dark shales with carbonate nodules and thin intercalated carbonate layers, enclosing some microbial laminites; 3) a 2 cm thick upper breccia composed of microbialite fragments and other carbonate clasts, with halite hoppers on the top; 4) the carbonate bioherms, which partially overlie the extensive shales and interrupt them laterally, as well as the breccia. The bioherms in the northern part of the outcrop are thicker (<2 m) and have interbedded dark shales, whereas the southern are thinner and continuous in the vertical direction. In general, they are composed of irregular gently to strongly wavy microbial laminites, sometimes with pseudocolumnar to conical lamination. All microbialites with highest synoptic relief (<20 cm) look like columnar stromatolites on weathered lateral expositions. In plan view, the horizontal sections of these microbialites are circular to slightly elliptic, sometimes forming very small channels (N60W) filled with fine breccia. The highest bed of the northern bioherm has mixed microbial laminites and columnar stromatolites, where intercolumnar spaces were filled with microbialite clasts, fish bones, plant fragments and very small probable crustacean coprolites. Several fractures and deformation in this upper bed indicate an initial brecciation process probably caused by subaerial exposure. In microscopic scale, the lamination is smooth, diffuse, defined by subtle granulation differences of very fine granular calcite crystals within micrite, but oxide levels, dissolution surfaces or thin precipitated calcite veneers...

O papel das tecnologias digitais em disciplinas de álgebra linear a distância: possibilidades, limites e desafios

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

Estrutura algébrica dos modelos integráveis

Pós-graduação em Física - IFT

Fluxo do grupo de renormalização dos modelos-'alfa' e as álgebras de Lie contínuas

Pós-graduação em Física - IFT

Class Notes for Math 905: Commutative Algebra, Instructor Sylvia Wiegand

Topics include: Rings, ideals, algebraic sets and affine varieties, modules, localizations, tensor products, intersection multiplicities, primary decomposition, the Nullstellensatz

Higher identities for the ternary commutator

We use computer algebra to study polynomial identities for the trilinear operation [a, b, c] = abc - acb - bac + bca + cab - cba in the free associative algebra. It is known that [a, b, c] satisfies the alternating property in degree 3, no new identities in degree 5, a multilinear identity in degree 7 which alternates in 6 arguments, and no new identities in degree 9. We use the representation theory of the symmetric group to demonstrate the existence of new identities in degree 11. The only irreducible representations of dimension <400 with new identities correspond to partitions 2(5), 1 and 2(4), 1(3) and have dimensions 132 and 165. We construct an explicit new multilinear identity for partition 2(5), 1 and we demonstrate the existence of a new non-multilinear identity in which the underlying variables are permutations of a(2)b(2)c(2)d(2)e(2) f.

Differential calculus and integration of generalized functions over membranes

In this paper we continue the development of the differential calculus started in Aragona et al. (Monatsh. Math. 144: 13-29, 2005). Guided by the so-called sharp topology and the interpretation of Colombeau generalized functions as point functions on generalized point sets, we introduce the notion of membranes and extend the definition of integrals, given in Aragona et al. (Monatsh. Math. 144: 13-29, 2005), to integrals defined on membranes. We use this to prove a generalized version of the Cauchy formula and to obtain the Goursat Theorem for generalized holomorphic functions. A number of results from classical differential and integral calculus, like the inverse and implicit function theorems and Green's theorem, are transferred to the generalized setting. Further, we indicate that solution formulas for transport and wave equations with generalized initial data can be obtained as well.

Differential geometry of grassmannians and the Plucker map

Using the Plucker map between grassmannians, we study basic aspects of classic grassmannian geometries. For 'hyperbolic' grassmannian geometries, we prove some facts (for instance, that the Plucker map is a minimal isometric embedding) that were previously known in the 'elliptic' case.

Synthesis Methodology Applied to a Tunable Patch Filter With Independent Frequency and Bandwidth Control

A new methodology for the synthesis of tunable patch filters is presented. The methodology helps the designer to perform a theoretical analysis of the filter through a coupling matrix that includes the effect of the tuning elements used to tune the filter. This general methodology accounts for any tuning parameter desired and was applied to the design of a tunable dual-mode patch filter with independent control of center frequency and bandwidth (BW). The bandpass filter uses a single triangular resonator with two etched slots that split the fundamental degenerate modes and form the filter passband. Varactor diodes assembled across the slots are used to vary the frequency of each degenerate fundamental mode independently, which is feasible due to the nature of the coupling scheme of the filter. The varactor diode model used in simulations, their assembling, the dc bias configuration, and measured results are presented. The theory results are compared to the simulations and to measurements showing a very good agreement and validating the proposed methodology. The fabricated filter presents an elliptic response with 20% of center frequency tuning range around 3.2 GHz and a fractional BW variation from 4% to 12% with low insertion loss and high power handling with a 1-dB compression point higher than +14.5 dB.

The globular cluster kinematics and galaxy dark matter content of NGC 3923

This paper presents further results from our spectroscopic study of the globular cluster (GC) system of the group elliptical NGC 3923. From observations made with the GMOS instrument on the Gemini South Telescope, an additional 50 GC and ultra-compact dwarf (UCD) candidates have been spectroscopically confirmed as members of the NGC 3923 system. When the recessional velocities of these GCs are combined with the 29 GC velocities reported previously, a total sample of 79 GC/UCD velocities is produced. This sample extends to over 6 arcmin (>6 R-e similar to 30 kpc) from the centre of NGC 3923 and is used to study the dynamics of the GC system and the dark matter content of NGC 3923. It is found that the GC system of NGC 3923 displays no appreciable rotation, and that the projected velocity dispersion is constant with radius within the uncertainties. The velocity dispersion profiles of the integrated light and GC system of NGC 3923 are indistinguishable over the region in which they overlap. We find some evidence that the diffuse light and GCs of NGC 3923 have radially biased orbits within similar to 130 arcsec. The application of axisymmetric orbit-based models to the GC and integrated light velocity dispersion profiles demonstrates that a significant increase in the mass-to-light ratio (from M/L-V = 8 to 26) at large galactocentric radii is required to explain this observation. We therefore confirm the presence of a dark matter halo in NGC 3923. We find that dark matter comprises 17.5(-4.5)(+7.3) per cent of the mass within 1 R-e, 41.2(-10.6)(+18.2) per cent within 2 R-e and 75.6(-16.8)(+15.4) per cent within the radius of our last kinematic tracer at 6.9 R-e. The total dynamical mass within this radius is found to be 1.5(-0.25)(+0.4) x 10(12) M-circle dot. In common with other studies of large ellipticals, we find that our derived dynamical mass profile is consistently higher than that derived by X-ray observations, by a factor of around 2.

The 6dF Galaxy Survey: stellar population trends across and through the Fundamental Plane

We present results from an analysis of stellar population parameters for 7132 galaxies in the 6dF Galaxy Survey Fundamental Plane (FP) sample. We bin the galaxies along the axes, v1, v2 and v3, of the tri-variate Gaussian to which we have fitted the galaxy distribution in effective radius, surface brightness and central velocity dispersion (FP space), and compute median values of stellar age, [Fe/H], [Z/H] and [a/Fe]. We determine the directions of the vectors in FP space along which each of the binned stellar population parameters vary most strongly. In contrast to previous work, we find stellar population trends not just with velocity dispersion and FP residual, but with radius and surface brightness as well. The most remarkable finding is that the stellar population parameters vary through the plane (v1 direction) and across the plane (v3 direction), but show no variation at all along the plane (v2 direction). The v2 direction in FP space roughly corresponds to luminosity density. We interpret a galaxys position along this vector as being closely tied to its merger history, such that early-type galaxies with lower luminosity density are more likely to have undergone major mergers. This conclusion is reinforced by an examination of the simulations of Kobayashi, which show clear trends of merger history with v2.

Miniversal deformations of matrices of bilinear forms

Arnold [V.I. Arnold, On matrices depending on parameters, Russian Math. Surveys 26 (2) (1971) 29-43] constructed miniversal deformations of square complex matrices under similarity; that is, a simple normal form to which not only a given square matrix A but all matrices B close to it can be reduced by similarity transformations that smoothly depend on the entries of B. We construct miniversal deformations of matrices under congruence. (C) 2011 Elsevier Inc. All rights reserved.

Homogeneous structures and rigidity of isoparametric submanifolds in Hilbert space

We study isoparametric submanifolds of rank at least two in a separable Hilbert space, which are known to be homogeneous by the main result in [E. Heintze and X. Liu, Ann. of Math. (2), 149 (1999), 149-181], and with such a submanifold M and a point x in M we associate a canonical homogeneous structure I" (x) (a certain bilinear map defined on a subspace of T (x) M x T (x) M). We prove that I" (x) , together with the second fundamental form alpha (x) , encodes all the information about M, and we deduce from this the rigidity result that M is completely determined by alpha (x) and (Delta alpha) (x) , thereby making such submanifolds accessible to classification. As an essential step, we show that the one-parameter groups of isometries constructed in [E. Heintze and X. Liu, Ann. of Math. (2), 149 (1999), 149-181] to prove their homogeneity induce smooth and hence everywhere defined Killing fields, implying the continuity of I" (this result also seems to close a gap in [U. Christ, J. Differential Geom., 62 (2002), 1-15]). Here an important tool is the introduction of affine root systems of isoparametric submanifolds.