Stochastic simulation of time-series models combined with geostatistics to predict water-table scenarios in a Guarani Aquifer System outcrop area, Brazil

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

Generalized partition function zeros of 1D spin models and their critical behavior at edge singularities

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Stability analysis of power systems described with detailed models by automatic method

The power system stability analysis is approached taking into explicit account the dynamic performance of generators internal voltages and control devices. The proposed method is not a direct method in the usual sense since conclusion for stability or instability is not exclusively based on energy function considerations but it is automatic since the conclusion is achieved without an analyst intervention. The stability test accounts for the nonconservative nature of the system with control devices such as the automatic voltage regulator (AVR) and automatic generation control (AGC) in contrast with the well-known direct methods. An energy function is derived for the system with machines forth-order model, AVR and AGC and it is used to start the analysis procedure and to point out criticalities. The conclusive analysis itself is made by means of a method based on the definition of a region surrounding the equilibrium point where the system net torque is equilibrium restorative. This region is named positive synchronization region (PSR). Since the definition of the PSR boundaries have no dependence on modelling approximation, the PSR test conduces to reliable results. (C) 2008 Elsevier Ltd. All rights reserved.

Modeling a spatially restricted distribution in the Neotropics: How the size of calibration area affects the performance of five presence-only methods

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Bicomplexes and conservation laws in non-Abelian Toda models

A bicomplex structure is associated with the Leznov-Saveliev equation of integrable models. The linear problem associated with the zero-curvature condition is derived in terms of the bicomplex linear equation. The explicit example of a non-Abelian conformal affine Toda model is discussed in detail and its conservation laws are derived from the zero-curvature representation of its equation of motion.

Higher order Painleve equations and their symmetries via reductions of a class of integrable models

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Super-WZNW with reductions to supersymmetric and fermionic integrable models

A systematic construction for an action describing a class of supersymmetric integrable models as well as for pure fermionic theories is discussed in terms of the gauged WZNW model associated to half integer graded affine Kac-Moody algebras. Explicit examples of the N = 1. 2 super-sinh(sine)-Gordon models are discussed in detail. Pure fermionic theories arises for cosets sl(p, 1)/sl(p) circle times u(1) when a maximal kernel condition is fulfilled. The integrability condition for such models is discussed and it is shown that the simplest example when p = 2 (cads to the constrained Bukhvostov-Lipatov, Thirring, scalar massive and pseudo-scalar massless Gross-Neveu models. (C) 2009 Published by Elsevier B.V.

Classical integrable N=1 and N=2 super sinh-Gordon models with jump defects

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.

Thermal phase transitions for Dicke-type models in the ultrastrong-coupling limit

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

Constrained KP models as integrable matrix hierarchies

We formulate the constrained KP hierarchy (denoted by cKP K+1,M) as an affine sl(M + K+ 1) matrix integrable hierarchy generalizing the Drinfeld-Sokolov hierarchy. Using an algebraic approach, including the graded structure of the generalized Drinfeld-Sokolov hierarchy, we are able to find several new universal results valid for the cKP hierarchy. In particular, our method yields a closed expression for the second bracket obtained through Dirac reduction of any untwisted affine Kac-Moody current algebra. An explicit example is given for the case sl(M + K + 1), for which a closed expression for the general recursion operator is also obtained. We show how isospectral flows are characterized and grouped according to the semisimple non-regular element E of sl(M + K+ 1) and the content of the center of the kernel of E. © 1997 American Institute of Physics.

Multicharged dyonic integrable models

We introduce and study new integrable models (IMs) of An (1)-nonabelian Toda type which admit U(1) ⊗ U(1) charged topological solitons. They correspond to the symmetry breaking SU(n + 1) → SU(2) ⊗ SU(2) ⊗ U(1)n-2 and are conjectured to describe charged dyonic domain walls of N = 1 SU(n + 1) SUSY gauge theory in large n limit. It is shown that this family of relativistic IMs corresponds to the first negative grade q = -1 member of a dyonic hierarchy of generalized cKP type. The explicit relation between the 1-soliton solutions (and the conserved charges as well) of the IMs of grades q = -1 and q = 2 is found. The properties of the IMs corresponding to more general symmetry breaking SU(n + 1) → SU(2)⊗p ⊗ U(1)n-p as well as IM with global SU(2) symmetries are discussed. © 2002 Elsevier Science B.V. All rights reserved.

Exact solutions to Elko spinors in spatially flat Friedmann-Robertson-Walker spacetimes

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Information-entropic measure of energy-degenerate kinks in two-field models

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Stochastic simulation of time-series models combined with geostatistics to predict water-table scenarios in a Guarani Aquifer System outcrop area, Brazil

Stochastic methods based on time-series modeling combined with geostatistics can be useful tools to describe the variability of water-table levels in time and space and to account for uncertainty. Monitoring water-level networks can give information about the dynamic of the aquifer domain in both dimensions. Time-series modeling is an elegant way to treat monitoring data without the complexity of physical mechanistic models. Time-series model predictions can be interpolated spatially, with the spatial differences in water-table dynamics determined by the spatial variation in the system properties and the temporal variation driven by the dynamics of the inputs into the system. An integration of stochastic methods is presented, based on time-series modeling and geostatistics as a framework to predict water levels for decision making in groundwater management and land-use planning. The methodology is applied in a case study in a Guarani Aquifer System (GAS) outcrop area located in the southeastern part of Brazil. Communication of results in a clear and understandable form, via simulated scenarios, is discussed as an alternative, when translating scientific knowledge into applications of stochastic hydrogeology in large aquifers with limited monitoring network coverage like the GAS.

Meta-models, environment and layers: agent-oriented engineering of complex systems

Traditional software engineering approaches and metaphors fall short when applied to areas of growing relevance such as electronic commerce, enterprise resource planning, and mobile computing: such areas, in fact, generally call for open architectures that may evolve dynamically over time so as to accommodate new components and meet new requirements. This is probably one of the main reasons that the agent metaphor and the agent-oriented paradigm are gaining momentum in these areas. This thesis deals with the engineering of complex software systems in terms of the agent paradigm. This paradigm is based on the notions of agent and systems of interacting agents as fundamental abstractions for designing, developing and managing at runtime typically distributed software systems. However, today the engineer often works with technologies that do not support the abstractions used in the design of the systems. For this reason the research on methodologies becomes the basic point in the scientific activity. Currently most agent-oriented methodologies are supported by small teams of academic researchers, and as a result, most of them are in an early stage and still in the first context of mostly \academic" approaches for agent-oriented systems development. Moreover, such methodologies are not well documented and very often defined and presented only by focusing on specific aspects of the methodology. The role played by meta- models becomes fundamental for comparing and evaluating the methodologies. In fact a meta-model specifies the concepts, rules and relationships used to define methodologies. Although it is possible to describe a methodology without an explicit meta-model, formalising the underpinning ideas of the methodology in question is valuable when checking its consistency or planning extensions or modifications. A good meta-model must address all the different aspects of a methodology, i.e. the process to be followed, the work products to be generated and those responsible for making all this happen. In turn, specifying the work products that must be developed implies dening the basic modelling building blocks from which they are built. As a building block, the agent abstraction alone is not enough to fully model all the aspects related to multi-agent systems in a natural way. In particular, different perspectives exist on the role that environment plays within agent systems: however, it is clear at least that all non-agent elements of a multi-agent system are typically considered to be part of the multi-agent system environment. The key role of environment as a first-class abstraction in the engineering of multi-agent system is today generally acknowledged in the multi-agent system community, so environment should be explicitly accounted for in the engineering of multi-agent system, working as a new design dimension for agent-oriented methodologies. At least two main ingredients shape the environment: environment abstractions - entities of the environment encapsulating some functions -, and topology abstractions - entities of environment that represent the (either logical or physical) spatial structure. In addition, the engineering of non-trivial multi-agent systems requires principles and mechanisms for supporting the management of the system representation complexity. These principles lead to the adoption of a multi-layered description, which could be used by designers to provide different levels of abstraction over multi-agent systems. The research in these fields has lead to the formulation of a new version of the SODA methodology where environment abstractions and layering principles are exploited for en- gineering multi-agent systems.