814 resultados para Computer Algebra
Resumo:
As recently shown the conformal affine Toda models can be obtained via hamiltonian reduction from a two-loop Kac-Moody algebra. In this paper we propose a systematic procedure to analyze the higher spin symmetries of the conformal affine Toda models. The method is based on an explicit construction of infinite towers of extended conformal symmetry generators. Two fundamental building blocks of this construction are special spin-one and -two primary fields characterizing the conformal structure of these models. The connection to the algebra of area preserving diffeomorphisms on a two-manifold (w∞ algebra) is established.
Resumo:
We comment on the off-critical perturbations of WZNW models by a mass term as well as by another descendent operator, when we can compare the results with further algebra obtained from the Dirac quantization of the model, in such a way that a more general class of models be included. We discover, in both cases, hidden Kac-Moody algebras obeyed by some currents in the off-critical case, which in several cases are enough to completely fix the correlation functions.
Resumo:
The Green's functions of the recently discovered conditionally exactly solvable potentials are computed. This is done through the use of a second-order differential realization of the so(2,1) Lie algebra. So we present the dynamical symmetry underlying the solvability of such potentials and show that they belong to a general class of solvable and partially solvable potentials. © 1994 The American Physical Society.
Resumo:
We discuss a relativistic free particle with fractional spin in 2+1 dimensions, where the dual spin components satisfy the canonical angular momentum algebra {Sμ, Sν} = εμνγSγ. It is shown that it is a general consequence of these features that the Poincaré invariance is broken down to the Lorentz one, so indicating that it is not possible to keep simultaneously the free nature of the anyon and the translational invariance.
Resumo:
A simple procedure to obtain complete, closed expressions for Lie algebra invariants is presented. The invariants are ultimately polynomials in the group parameters. The construction of finite group elements requires the use of projectors, whose coefficients are invariant polynomials. The detailed general forms of these projectors are given. Closed expressions for finite Lorentz transformations, both homogeneous and inhomogeneous, as well as for Galilei transformations, are found as examples.
Resumo:
The free action for the massless sector of the type II superstring was recently constructed using closed Ramond-Neveo-Schwarz superstring field theory. The supersymmetry transformations of this action are shown to satisfy an N = 2 D = 10 supersymmetry algebra with Ramond-Ramond central charges.
Resumo:
In this paper we employ the construction of the Dirac bracket for the remaining current of sl(2) q deformed Kac-Moody algebra when constraints similar to those connecting the sl(2)-Wess-Zumino-Witten model and the Liouville theory are imposed to show that it satisfies the q-Virasoro algebra proposed by Frenkel and Reshetikhin The crucial assumption considered in our calculation is the existence of a classical Poisson bracket algebra induced in a consistent manner by the correspondence principle, mapping the quantum generators into commuting objects of classical nature preserving their algebra.
Resumo:
This article describes a methodological approach to conditional reasoning in online asynchronous learning environments such as Virtual-U VGroups, developed by SFU, BC, Canada, consistent with the notion of meaning implication: If part of a meaning C is embedded in B and a part of a meaning B is embedded in A, then A implies C in terms of meaning [Piaget 91]. A new transcript analysis technique was developed to assess the flows of conditional meaning implications and to identify the occurrence of hypotheses and connections among them in two human science graduate mixed-mode online courses offered in the summer/spring session of 1997 by SFU. Flows of conditional meaning implications were confronted with Virtual-U VGroups threads and results of the two courses were compared. Findings suggest that Virtual-U VGroups is a knowledge-building environment although the tree-like Virtual-U VGroups threads should be transformed into neuronal-like threads. Findings also suggest that formulating hypotheses together triggers a collaboratively problem-solving process that scaffolds knowledge-building in asynchronous learning environments: A pedagogical technique and an built-in tool for formulating hypotheses together are proposed. © Springer Pub. Co.
Resumo:
Monte Carlo simulations of water-dimethylformamide (DMF) mixtures were performed in the isothermal and isobaric ensemble at 298.15 K and 1 atm. The intermolecular interaction energy was calculated using the classical 6-12 Lennard-Jones pairwise potential plus a Coulomb term. The TIP4P model was used for simulating water molecules, and a six-site model previously optimised by us was used to represent DMF. The potential energy for the water-DMF interaction was obtained via standard geometric combining rules using the original potential parameters for the pure liquids. The radial distribution functions calculated for water-DMF mixtures show well characterised hydrogen bonds between the oxygen site of DMF and hydrogen of water. A structureless correlation curve was observed for the interaction between the hydrogen site of the carbonyl group and the oxygen site of water. Hydration effects on the stabilisation of the DMF molecule in aqueous solution have been investigated using statistical perturbation theory. The results show that energetic changes involved in the hydration process are not strong enough to stabilise another configuration of DMF than the planar one.
Resumo:
This paper describes an innovative approach to develop the understanding about the relevance of mathematics to computer science. The mathematical subjects are introduced through an application-to-model scheme that lead computer science students to a better understanding of why they have to learn math and learn it effectively. Our approach consists of a single one semester course, taught at the first semester of the program, where the students are initially exposed to some typical computer applications. When they recognize the applications' complexity, the instructor gives the mathematical models supporting such applications, even before a formal introduction to the model in a math course. We applied this approach at Unesp (Brazil) and the results include a large reduction in the rate of students that abandon the college and better students in the final years of our program.
Resumo:
The problem of dynamic camera calibration considering moving objects in close range environments using straight lines as references is addressed. A mathematical model for the correspondence of a straight line in the object and image spaces is discussed. This model is based on the equivalence between the vector normal to the interpretation plane in the image space and the vector normal to the rotated interpretation plane in the object space. In order to solve the dynamic camera calibration, Kalman Filtering is applied; an iterative process based on the recursive property of the Kalman Filter is defined, using the sequentially estimated camera orientation parameters to feedback the feature extraction process in the image. For the dynamic case, e.g. an image sequence of a moving object, a state prediction and a covariance matrix for the next instant is obtained using the available estimates and the system model. Filtered state estimates can be computed from these predicted estimates using the Kalman Filtering approach and based on the system model parameters with good quality, for each instant of an image sequence. The proposed approach was tested with simulated and real data. Experiments with real data were carried out in a controlled environment, considering a sequence of images of a moving cube in a linear trajectory over a flat surface.
Resumo:
Relaxed conditions for the stability study of nonlinear, continuous and discrete-time systems given by fuzzy models are presented. A theoretical analysis shows that the proposed method provides better or at least the same results of the methods presented in the literature. Digital simulations exemplify this fact. These results are also used for the fuzzy regulators design. The nonlinear systems are represented by the fuzzy models proposed by Takagi and Sugeno. The stability analysis and the design of controllers are described by LMIs (Linear Matrix Inequalities), that can be solved efficiently by convex programming techniques. The specification of the decay rate, constraints on control input and output are also described by LMIs. Finally, the proposed design method is applied in the control of an inverted pendulum.
Resumo:
This paper describes an innovative approach to establish a CS curriculum, aiming flexibility and minimization of the time spent in the classrooms. This approach has been developed at the Paulista State University - Unesp - at São José do Rio Preto, and is producing very interesting results. The load reduction is achieved through a series of fundamental core and breadth courses that precede depth courses in specific areas. The flexibility comes as a side effect of the depth courses, which can be adapted without any changes in the core courses. In the following pages we fully describe our motivations, actions and results.
Resumo:
This paper describes a new computer approach for chemotaxonomic studies. The methodology employed enables the search for chemical substructures as taxonomic descriptors using all expert system built with plant natural products. The operation of the system was tested with diterpenes as taxonomic markers in Lamiaceae. © 2001 Elsevier Science Ltd.
Resumo:
We consider an integrable conformally invariant two-dimensional model associated to the affine Kac-Moody algebra sl3(ℂ). It possesses four scalar fields and six Dirac spinors. The theory does not possesses a local Lagrangian since the spinor equations of motion present interaction terms which are bilinear in the spinors. There exists a submodel presenting an equivalence between a U(1) vector current and a topological current, which leads to a confinement of the spinors inside the solitons. We calculate the one-soliton and two-soliton solutions using a procedure which is a hybrid of the dressing and Hirota methods. The soliton masses and time delays due to the soliton interactions are also calculated. We give a computer program to calculate the soliton solutions. © 2002 Published by Elsevier Science B.V.