An algorithm for automatic checking of exercises in a dynamic geometry system: iGeom

One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil. This paper describes an algorithm, and a tool based on it, designed for the authoring and automatic checking of geometry exercises. The algorithm dynamically compares the distances between the geometric objects of the student`s solution and the template`s solution, provided by the author of the exercise. Each solution is a geometric construction which is considered a function receiving geometric objects (input) and returning other geometric objects (output). Thus, for a given problem, if we know one function (construction) that solves the problem, we can compare it to any other function to check whether they are equivalent or not. Two functions are equivalent if, and only if, they have the same output when the same input is applied. If the student`s solution is equivalent to the template`s solution, then we consider the student`s solution as a correct solution. Our software utility provides both authoring and checking tools to work directly on the Internet, together with learning management systems. These tools are implemented using the dynamic geometry software, iGeom, which has been used in a geometry course since 2004 and has a successful track record in the classroom. Empowered with these new features, iGeom simplifies teachers` tasks, solves non-trivial problems in student solutions and helps to increase student motivation by providing feedback in real time. (c) 2008 Elsevier Ltd. All rights reserved.

Decay of geometry for Fibonacci critical covering maps of the circle

We study the growth of Df `` (f(c)) when f is a Fibonacci critical covering map of the circle with negative Schwarzian derivative, degree d >= 2 and critical point c of order l > 1. As an application we prove that f exhibits exponential decay of geometry if and only if l <= 2, and in this case it has an absolutely continuous invariant probability measure, although not satisfying the so-called Collet-Eckmann condition. (C) 2009 Elsevier Masson SAS. All rights reserved.

Periodic geodesics and geometry of compact Lorentzian manifolds with a Killing vector field

We study the geometry and the periodic geodesics of a compact Lorentzian manifold that has a Killing vector field which is timelike somewhere. Using a compactness argument for subgroups of the isometry group, we prove the existence of one timelike non self-intersecting periodic geodesic. If the Killing vector field is nowhere vanishing, then there are at least two distinct periodic geodesics; as a special case, compact stationary manifolds have at least two periodic timelike geodesics. We also discuss some properties of the topology of such manifolds. In particular, we show that a compact manifold M admits a Lorentzian metric with a nowhere vanishing Killing vector field which is timelike somewhere if and only if M admits a smooth circle action without fixed points.

Noncommutative Jordan superalgebras of degree n > 2

We prove a coordinatization theorem for noncommutative Jordan superalgebras of degree n > 2, describing such algebras. It is shown that the symmetrized Jordan superalgebra for a simple finite-dimensional noncommutative Jordan superalgebra of characteristic 0 and degree n > 1 is simple. Modulo a ""nodal"" case, we classify central simple finite-dimensional noncommutative Jordan superalgebras of characteristic 0.

COMPARISON RESULTS FOR CONJUGATE AND FOCAL POINTS IN SEMI-RIEMANNIAN GEOMETRY VIA MASLOV INDEX

We prove an estimate on the difference of Maslov indices relative to the choice of two distinct reference Lagrangians of a continuous path in the Lagrangian Grassmannian of a symplectic space. We discuss some applications to the study of conjugate and focal points along a geodesic in a semi-Riemannian manifold.

Understanding the Effect of Adsorption Geometry over Substrate Selectivity in the Surface-Enhanced Raman Scattering Spectra of Simazine and Atrazine

This paper studies the selectivity of Well-defined Au and Ag nanostructures as substrates for the SERS, (surface-enhanced Raman scattering) detection of simazine (6-chloro-N,N`-diethyl-1,3,5-triazine-2,4-diamine) and atrazine (6-chloro-N-ethyl-N`-isopropyl-1,3,5-triazine-2,4-diamine). Our data showed that simazine and atrazine displayed similar SERS spectra when the Au was employed as substrate. Conversely, distinct SERS signatures were obtained upon the utilization of Ag substrates. Density functional theory (DFT) calculations and vibrational assignments suggested that, while simazine and atrazine adsorbed on Au via the N3 position of the triazine ring, simazine adsorbed on Ag via N3 and atrazine via N5. The results presented herein demonstrated that the adsorption geometry of analyte molecules can play a central role over substrate selectivity in SERS, which is particularly important in applications involving ultrasensitive analysis of mixtures containing structurally similar molecules.

Investigation of Plasma Immersion Ion Implantation Process in Magnetic Mirror Geometry

Plasma immersion ion implantation (PIII) with low external magnetic field has been investigated both numerically and experimentally. The static magnetic field considered is essentially nonuniform and is generated by two magnetic coils installed outside the vacuum chamber. Experiments have been conducted to investigate the effect of two of the most important PIII parameters: target voltage and gas pressure. In that context, it was found that the current density increased when the external parameters were varied. Later, the PIII process was analyzed numerically using the 2.5-D computer code KARAT. The numerical results show that the system of crossed E x B fields enhances the PIII process. The simulation showed an increase of the plasma density around the target under the operating and design conditions considered. Consequently, an increase of the ion current density on the target was observed. All these results are explained through the mechanism of gas ionization by collisions with electrons drifting in crossed E x B fields.

Boundary identification criteria and geometry analysis of Al 7050 stretch zone from elevation profiles

This article describes the development of a method for analysis of the shape of the stretch zone surface based on parallax measurement theory and using digital image processing techniques. Accurate criteria for the definition of the boundaries of the stretch zone are established from profiles of fracture surfaces obtained from crack tip opening displacement tests on Al-7050 alloy samples. The elevation profiles behavior analysis is based on stretch zone width and height parameters. It is concluded that the geometry of the stretch zone profiles under plane strain conditions can be described by a semi-parabolic relationship. (C) Elsevier B.V., 1999. All rights reserved.

Differential geometry of intersection curves in R(4) of three implicit surfaces

We present algorithms for computing the differential geometry properties of intersection Curves of three implicit surfaces in R(4), using the implicit function theorem and generalizing the method of X. Ye and T. Maekawa for 4-dimension. We derive t, n, b(1), b(2) vectors and curvatures (k(1), k(2), k(3)) for transversal intersections of the intersection problem. (C) 2008 Elsevier B.V. All rights reserved.

Compton scattering in noncommutative space-time at the Next Linear Collider

We study Compton scattering in the noncommutative (NC) counterpart of QED. Interactions in NC QED have momentum dependent phase factors and the gauge fields have Yang-Mills type couplings; this modifies the cross sections and they are different from the commuting standard model. Collider signals of noncommutative space-time are studied at the Next Linear Collider (NLC) operating in the e gamma mode. Results for different polarized cases are presented and it is shown that the Compton process can probe the noncommutative scale in the range of 1-2.5 TeV for typical proposed NLC energies.

Spinorial field and Lyra geometry

The Dirac field is studied in a Lyra space-time background by means of the classical Schwinger Variational Principle. We obtain the equations of motion, establish the conservation laws, and get a scale relation relating the energy-momentum and spin tensors. Such scale relation is an intrinsic property for matter fields in Lyra background.

Noncommutative integrable field theories in 2d

We study the noncommutative generalization of (Euclidean) integrable models in two dimensions, specifically the sine- and sinh-Gordon and the U(N) principal chiral models. By looking at tree-level amplitudes for the sinh-Gordon model we show that its naive noncommutative generalization is not integrable. on the other hand, the addition of extra constraints, obtained through the generalization of the zero-curvature method, renders the model integrable. We construct explicit nonlocal nontrivial conserved charges for the U(N) principal chiral model using the Brezin-Itzykson-Zinn-Justin-Zuber method. (C) 2003 Elsevier B.V. All rights reserved.

Duality in noncommutative topologically massive gauge field theory revisited

We introduce a master action in non-commutative space, out of which we obtain the action of the non-commutative Maxwell-Chern-Simons theory. Then, we look for the corresponding dual theory at both first and second order in the non-commutative parameter. At the first order, the dual theory happens to be, precisely, the action obtained from the usual commutative self-dual model by generalizing the Chern-Simons term to its non-commutative version, including a cubic term. Since this resulting theory is also equivalent to the non-commutative massive Thirring model in the large fermion mass limit, we remove, as a byproduct, the obstacles arising in the generalization to non-commutative space, and to the first non-trivial order in the non-commutative parameter, of the bosonization in three dimensions. Then, performing calculations at the second order in the non-commutative parameter, we explicitly compute a new dual theory which differs from the non-commutative self-dual model and, further, differs also from other previous results and involves a very simple expression in terms of ordinary fields. In addition, a remarkable feature of our results is that the dual theory is local, unlike what happens in the non-Abelian, but commutative case. We also conclude that the generalization to non-commutative space of bosonization in three dimensions is possible only when considering the first non-trivial corrections over ordinary space.

The Schrodinger and Pauli-Dirac Oscillators in Noncommutative Phase Space

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