Uma abordagem dirigida por modelos para desenvolvimento de middlewares auto-adaptativos para transmissão de fluxo de dados baseado em restrições de QoS

The use of middleware technology in various types of systems, in order to abstract low-level details related to the distribution of application logic, is increasingly common. Among several systems that can be benefited from using these components, we highlight the distributed systems, where it is necessary to allow communications between software components located on different physical machines. An important issue related to the communication between distributed components is the provision of mechanisms for managing the quality of service. This work presents a metamodel for modeling middlewares based on components in order to provide to an application the abstraction of a communication between components involved in a data stream, regardless their location. Another feature of the metamodel is the possibility of self-adaptation related to the communication mechanism, either by updating the values of its configuration parameters, or by its replacement by another mechanism, in case of the restrictions of quality of service specified are not being guaranteed. In this respect, it is planned the monitoring of the communication state (application of techniques like feedback control loop), analyzing performance metrics related. The paradigm of Model Driven Development was used to generate the implementation of a middleware that will serve as proof of concept of the metamodel, and the configuration and reconfiguration policies related to the dynamic adaptation processes. In this sense was defined the metamodel associated to the process of a communication configuration. The MDD application also corresponds to the definition of the following transformations: the architectural model of the middleware in Java code, and the configuration model to XML

Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos

The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAFÉ Quality Model

Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software

The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development

Modeling the spatial and temporal heterogeneity of deforestation-driven carbon emissions: the INPE-EM framework applied to the Brazilian Amazon

We present a generic spatially explicit modeling framework to estimate carbon emissions from deforestation (INPE-EM). The framework incorporates the temporal dynamics related to the deforestation process and accounts for the biophysical and socioeconomic heterogeneity of the region under study. We build an emission model for the Brazilian Amazon combining annual maps of new clearings, four maps of biomass, and a set of alternative parameters based on the recent literature. The most important results are as follows: (a) Using different biomass maps leads to large differences in estimates of emission; for the entire region of the Brazilian Amazon in the last decade, emission estimates of primary forest deforestation range from 0.21 to 0.26 similar to Pg similar to C similar to yr-1. (b) Secondary vegetation growth presents a small impact on emission balance because of the short duration of secondary vegetation. In average, the balance is only 5% smaller than the primary forest deforestation emissions. (c) Deforestation rates decreased significantly in the Brazilian Amazon in recent years, from 27 similar to Mkm2 in 2004 to 7 similar to Mkm2 in 2010. INPE-EM process-based estimates reflect this decrease even though the agricultural frontier is moving to areas of higher biomass. The decrease is slower than a non-process instantaneous model would estimate as it considers residual emissions (slash, wood products, and secondary vegetation). The average balance, considering all biomass, decreases from 0.28 in 2004 to 0.15 similar to Pg similar to C similar to yr-1 in 2009; the non-process model estimates a decrease from 0.33 to 0.10 similar to Pg similar to C similar to yr-1. We conclude that the INPE-EM is a powerful tool for representing deforestation-driven carbon emissions. Biomass estimates are still the largest source of uncertainty in the effective use of this type of model for informing mechanisms such as REDD+. The results also indicate that efforts to reduce emissions should focus not only on controlling primary forest deforestation but also on creating incentives for the restoration of secondary forests.

Quantitative aspects of entanglement in the driven Jaynes-Cummings model

Adopting the framework of the Jaynes-Cummings model with an external quantum field, we obtain exact analytical expressions of the normally ordered moments for any kind of cavity and driving fields. Such analytical results are expressed in the integral form, with their integrands having a commom term that describes the product of the Glauber-Sudarshan quasiprobability distribution functions for each field, and a kernel responsible for the entanglement. Considering a specific initial state of the tripartite system, the normally ordered moments are then applied to investigate not only the squeezing effect and the nonlocal correlation measure based on the total variance of a pair of Einstein-Podolsky-Rosen type operators for continuous variable systems, but also the Shchukin-Vogel criterion. This kind of numerical investigation constitutes the first quantitative characterization of the entanglement properties for the driven Jaynes-Cummings model.

Type-II Backlund transformations via gauge transformations

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

Permutability of Backlund transformations for N=2 supersymmetric sine-Gordon

The permutability of two Backlund transformations is employed to construct a nonlinear superposition formula and to generate a class of solutions for the N=2 super sine-Gordon model. We present explicitly the one and two soliton solutions.

On the control of a non-ideal engineering system: A friction-driven oscillating system with limited power supply

In this work a switching feedback controller for stick-slip compensation of a 2-DOF mass-spring-belt system which interacts with an energy source of limited power supply (non-ideal case) is developed. The system presents an oscillatory behavior due to the stick-slip friction. As the system equilibrium for a conventional feedback controller is not the origin, a switching control law combining a state feedback term and a discontinuous term is proposed to regulate the position of the mass. The problem of tracking a desired periodic trajectory is also considered. The feedback system is robust with respect to the friction force that is assumed to be within known upper and lower bounds.

Effects of oscillatory behavior of the dipole function on the dissociation dynamics of the classical driven Morse oscillator

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

Suppressing Fermi acceleration in two-dimensional driven billiards

We consider a dissipative oval-like shaped billiard with a periodically moving boundary. The dissipation considered is proportional to a power of the velocity V of the particle. The three specific types of power laws used are: (i) F proportional to-V; (ii) F proportional to-V-2 and (iii) F proportional to-V-delta with 1 < delta < 2. In the course of the dynamics of the particle, if a large initial velocity is considered, case (i) shows that the decay of the particle's velocity is a linear function of the number of collisions with the boundary. For case (ii), an exponential decay is observed, and for 1 < delta < 2, an powerlike decay is observed. Scaling laws were used to characterize a phase transition from limited to unlimited energy gain for cases (ii) and (iii). The critical exponents obtained for the phase transition in the case (ii) are the same as those obtained for the dissipative bouncer model. Therefore near this phase transition, these two rather different models belong to the same class of universality. For all types of dissipation, the results obtained allow us to conclude that suppression of the unlimited energy growth is indeed observed.

Decay of energy and suppression of Fermi acceleration in a dissipative driven stadium-like billiard

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

Influence of the Al content on the phase transformations in Cu-Al-Ag alloys

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

beta Phase transformations in the Cu-11mass%Al alloy with Ag additions

In the Cu-Al system, due to the sluggishness of the beta a dagger" (alpha + gamma(1)) eutectoid reaction, the beta phase can be retained metastably. During quenching, metastable beta alloys undergo a martensitic transformation to a beta' phase at Al low content. The ordering reaction beta a dagger" beta(1) precedes the martensitic transformation. The influence of Ag additions on the reactions containing the beta phase in the Cu-11mass%Al alloy was studied using differential scanning calorimetry and in situ X-ray diffractometry. The results indicated that, on cooling, two reactions are occurring in the same temperature range, the beta -> (alpha + gamma(1)) decomposition reaction and the beta -> beta(1) reaction, with different reaction mechanisms (diffusive for the former and ordering for the latter) and, consequently, with different reaction rates. For lower cooling rates, the dominant is the decomposition reaction and for higher cooling rates the ordering reaction prevails. on heating, the (alpha + gamma(1)) -> beta reverse eutectoid reaction occurs with a resulting beta phase saturated with alpha. The increase of Ag concentration retards the beta -> (alpha + gamma(1)) decomposition reaction and the beta -> beta(1) ordering reaction, which occurs in the same temperature range, becomes the predominant process.

Photo-induced transformations in chalcogenide nanocomposite layers

Investigations of photo-induced structural transformations (PST) and related changes of optical parameters in amorphous chalcogenide layers were further developed towards the establishment of their dependence on the compositional modulation of the material at nanoscale-dimensions (similar to3-10 nm) and possible improvement of optical recording parameters as well. Besides the known amorphous-amorphous PST, photo-stimulated interdiffusion and crystallization in multilayer structures were found as a useful method for amplitude-phase optical relief formation. The last two types of PST were influenced by size restrictions and efficiently operated by the composition and by the modulation period of the layered nanocomposite. Experimental evidences were obtained in Se-, AsSe-, Se0.4Te0.6-containing layered or quasi zero-dimensional structures based on As2S3 or SiOx and MgF2 matrix. Comparison was made with As2S3- and GeS2-based multicomponent layers, containing Se, Te and Ga. (C) 2004 Elsevier B.V. All rights reserved.