932 resultados para Classical logic
Resumo:
A semi-classical approach is used to obtain Lorentz covariant expressions for the form factors between the kink states of a quantum field theory with degenerate vacua. Implemented on a cylinder geometry it provides an estimate of the spectral representation of correlation functions in a finite volume. Illustrative examples of the applicability of the method are provided by the sine-Gordon and the broken phi(4) theories in 1 + 1 dimensions. (C) 2003 Elsevier B.V. All rights reserved.
Resumo:
We predict a dynamical: classical superfluid-insulator transition in a Bose-Einstein condensate (BEC) trapped in combined optical and axially symmetrical harmonic potentials initiated by the periodic modulation of the radial trapping potential. The transition is marked by a loss of phase coherence in the BEC and a subsequent destruction of the interference pattern upon free:expansion. For a weak modulation of the radial potential the phase coherence is maintained. For a stronger modulation and a longer holding time in the modulated trap, the phase coherence is destroyed thus signalling a classical superfluid-insulator transition. The results are illustrated by a complete numerical solution of the axially symmetrical mean-field Gross-Pitaevskii equation for a repulsive BEC. Suggestions for future experimentation are-made.
Resumo:
The Lagrangian formalism for the N = 2 supersymmetric sinh-Gordon model with a jump defect is considered. The modified conserved momentum and energy are constructed in terms of border functions. The supersymmetric Backlund transformation is given and an one-soliton solution is obtained.The Lax formulation based on the affine super Lie algebra sl(2, 2) within the space split by the defect leads to the integrability of the model and henceforth to the existence of an infinite number of constants of motion.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The structure of integrable field theories in the presence of jump defects is discussed in terms of boundary functions under the Lagrangian formalism. Explicit examples of bosonic and fermionic theories are considered. In particular, the boundary functions for the N = 1 and N = 2 super sinh-Gordon models are constructed and shown to generate the Backlund transformations for its soliton solutions. As a new and interesting example, a solution with an incoming boson and an outgoing fermion for the N = 1 case is presented. The resulting integrable models are shown to be invariant under supersymmetric transformation.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
O artigo examina, em dois momentos distintos, as principais abordagens sociológicas sobre a ciência no século vinte: a Sociologia do Conhecimento, a Sociologia da Ciência e a Sociologia do Conhecimento Científico. No primeiro tópico são recapitulados os argumentos sociológicos de Karl Mannheim e de Robert King Merton. Defende-se a interpretação de que a obra de Mannheim seja reconhecida enquanto pressuposto epistemológico para o desenvolvimento da Sociologia da Ciência de Merton. Adaptada por Merton, a metateoria sociológica de Mannheim surge através de uma abordagem estrutural funcionalista associada a uma teoria de médio alcance. No segundo momento, são retomados os argumentos de Thomas Kuhn para, logo após, ser analisada a Sociologia do Conhecimento Científico enquanto apreciação construtiva da tradição de pensamento mertoniana. O estudo dos princípios lógicos da Sociologia do Conhecimento Científico de David Bloor e a investigação acerca da tradição de pensamento iniciada na Universidade de Edimburgo, na Escócia, foram o foco elementar dessa etapa do artigo. Finalmente, as principais características de cada uma das tradições são ressaltadas, buscando-se por mudanças e continuidades que viabilizaram o desenvolvimento da abordagem sociológica sobre a atividade científica desde sua gênese clássica até os estudos contemporâneos.
Resumo:
A mapping which relates the Wigner phase-space distribution function associated with a given stationary quantum-mechanical wavefunction to a specific solution of the time-independent Liouville transport equation is obtained. Two examples are studied.
Resumo:
The crossflow filtration process differs of the conventional filtration by presenting the circulation flow tangentially to the filtration surface. The conventional mathematical models used to represent the process have some limitations in relation to the identification and generalization of the system behavior. In this paper, a system based on fuzzy logic systems is developed to overcome the problems usually found in the conventional mathematical models. Imprecisions and uncertainties associated with the measurements made on the system are automatically incorporated in the fuzzy approach. Simulation results are presented to justify the validity of the proposed approach.
Resumo:
It can be observed that the number and the complexity of the application's domains, where the Paraconsistent Annotated Logic has been used, have grown a lot in the last decade. This increase in the complexity of the application's domain is an extra challenge for the designers of such systems, once there are not suitable computer hardware to run paraconsistent systems. This work proposes a new hardware architecture for the building Paraconsistent system.
Resumo:
Dynamical properties of the U-238-U-238 system at the classical turning point, specifically the distance of closest approach, the relative orientations of the nuclei, and deformations have been studied at the sub-Coulomb energy of E(lab) = 6.07 MeV/nucleon using a classical dynamical model with a variable moment of inertia. Probability of favorable alignment for anomalous positron-electron pair emission through vacuum decay is calculated. The calculated small favorable alignment probability value of 0.116 is found to be enhanced by about 16% in comparison with the results of a similar study using a fixed moment of inertia as well as the results from a semiquantal calculation reported earlier.
Resumo:
It is shown that the action functional S[g, phi] = integral d4 x square-root -g[R/k(1 + klambdaphi2) + partial derivative(mu)phi partial derivative(mu)phi] describes, in general, one and the same classical theory whatever may be the value of the coupling constant lambda.