120 resultados para paraconsistent model theory
Resumo:
A transmission line digital model is developed direct in the phase and time domains. The successive modal transformations considered in the three-phase representation are simplified and then the proposed model can be easily applied to several operation condition based only on the previous knowing of the line parameters, without a thorough theoretical knowledge of modal analysis. The proposed model is also developed based on lumped elements, providing a complete current and voltage profile at any point of the transmission system. This model makes possible the modeling of non-linear power devices and electromagnetic phenomena along the transmission line using simple electric circuit components, representing a great advantage when compared to several models based on distributed parameters and inverse transforms. In addition, an efficient integration method is proposed to solve the system of differential equations resulted from the line modeling by lumped elements, thereby making possible simulations of transient and steady state using a wide and constant integration step. © 2012 IEEE.
Resumo:
Community ecology seeks to understand and predict the characteristics of communities that can develop under different environmental conditions, but most theory has been built on analytical models that are limited in the diversity of species traits that can be considered simultaneously. We address that limitation with an individual-based model to simulate assembly of fish communities characterized by life history and trophic interactions with multiple physiological tradeoffs as constraints on species performance. Simulation experiments were carried out to evaluate the distribution of 6 life history and 4 feeding traits along gradients of resource productivity and prey accessibility. These experiments revealed that traits differ greatly in importance for species sorting along the gradients. Body growth rate emerged as a key factor distinguishing community types and defining patterns of community stability and coexistence, followed by egg size and maximum body size. Dominance by fast-growing, relatively large, and fecund species occurred more frequently in cases where functional responses were saturated (i.e. high productivity and/or prey accessibility). Such dominance was associated with large biomass fluctuations and priority effects, which prevented richness from increasing with productivity and may have limited selection on secondary traits, such as spawning strategies and relative size at maturation. Our results illustrate that the distribution of species traits and the consequences for community dynamics are intimately linked and strictly dependent on how the benefits and costs of these traits are balanced across different conditions. © 2012 Elsevier B.V.
Resumo:
In this work we study a Hořava-like 5-dimensional model in the context of braneworld theory. The equations of motion of such model are obtained and, within the realm of warped geometry, we show that the model is consistent if and only if λ takes its relativistic value 1. Furthermore, we show that the elimination of problematic terms involving the warp factor second order derivatives are eliminated by imposing detailed balance condition in the bulk. Afterwards, Israel's junction conditions are computed, allowing the attainment of an effective Lagrangian in the visible brane. In particular, we show that the resultant effective Lagrangian in the brane corresponds to a (3 + 1)-dimensional Hořava-like model with an emergent positive cosmological constant but without detailed balance condition. Now, restoration of detailed balance condition, at this time imposed over the brane, plays an interesting role by fitting accordingly the sign of the arbitrary constant β, insuring a positive brane tension and a real energy for the graviton within its dispersion relation. Also, the brane consistency equations are obtained and, as a result, the model admits positive brane tensions in the compactification scheme if, and only if, β is negative and the detailed balance condition is imposed. © 2013 Springer-Verlag Berlin Heidelberg and Società Italiana di Fisica.
Resumo:
Some dynamical properties for a bouncing ball model are studied. We show that when dissipation is introduced the structure of the phase space is changed and attractors appear. Increasing the amount of dissipation, the edges of the basins of attraction of an attracting fixed point touch the chaotic attractor. Consequently the chaotic attractor and its basin of attraction are destroyed given place to a transient described by a power law with exponent -2. The parameter-space is also studied and we show that it presents a rich structure with infinite self-similar structures of shrimp-shape. © 2013 Elsevier B.V. All rights reserved.
Resumo:
The phases of a transmission line are tightly coupled due to mutual impedances and admittances of the line. One way to accomplish the calculations of currents and voltages in multi phase lines consists in representing them in modal domain, where its n coupled phases are represented by their n propagation modes. The separation line in their modes of propagation is through the use of a modal transformation matrix whose columns are eigenvectors associated with the parameters of the line. Usually, this matrix is achieved through numerical methods which do not allow the achievement of an analytical model for line developed directly in the phases domain. This work will show an analytical model for phase currents and voltages of the line and results it will be applied to a hypothetical two-phase. It will be shown results obtained with that will be compared to results obtained using a classical model © 2003-2012 IEEE.
Resumo:
It is possible to show that there are three independent families of models describing a massive spin-2 particle via a rank-2 tensor. One of them contains the massive Fierz-Pauli model, the only case described by a symmetric tensor. The three families have different local symmetries in the massless limit and can not be interconnected by any local field redefinition. We show here, however, that they can be related with the help of a decoupled and nondynamic (spectator) field. The spectator field may be either an antisymmetric tensor B μν=-Bνμ, a vector Aμ or a scalar field φ, corresponding to each of the three families. The addition of the extra field allows us to formulate master actions which interpolate between the symmetric Fierz-Pauli theory and the other models. We argue that massive gravity models based on the Fierz-Pauli theory are not expected to be equivalent to possible local self-interacting theories built up on top of the two new families of massive spin-2 models. The approach used here may be useful to investigate dual (nonsymmetric) formulations of higher-spin particles. © 2013 American Physical Society.
Resumo:
This article shows a transmission line model developed directly in the phase domain. The proposed model is based on the relationships between the phase currents and voltages at both the sending and receiving ends of a single-phase line. These relationships, established using an ABCD matrix, were extended to multi-phase lines. The proposed model was validated by using it to represent a transmission line during short-and open-circuit tests. The results obtained with the proposed model were compared with results obtained with a classical model based on modal decomposition. These comparisons show that proposed model was correctly developed. © 2013 Taylor and Francis Group, LLC.
Resumo:
Processo FAPESP: 11/08171-3
Resumo:
The introduction of type-II defects is discussed under the Lagrangian formalism and Lax representation for the N = 1 super-Liouville model. We derive a new kind of super-Backlund transformation for the model and show explicitly the conservation of the modified energy and momentum, as well as supercharge.
Resumo:
Vertex operators in string theory me in two varieties: integrated and unintegrated. Understanding both types is important for the calculation of the string theory amplitudes. The relation between them is a descent procedure typically involving the b-ghost. In the pure spinor formalism vertex operators can be identified as cohomology classes of an infinite-dimensional Lie superalgebra formed by covariant derivatives. We show that in this language the construction of the integrated vertex from an unintegrated vertex is very straightforward, and amounts to the evaluation of the cocycle on the generalized Lax currents.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)