Nowadays, large-scale industrial software systems may involve hundreds of developers working on different but related models representing parts the same system specification. Detecting and resolving structural inconsistencies between these is then critical. In this article we propose to represent by sequences elementary construction operations, rather than set model elements they contain. Structural methodological consistency rules can be expressed uniformly as logical constraints such...

For a fast rotating condensate in harmonic trap, we investigate the structure of vortex lattice using wave functions minimizing Gross Pitaveskii energy Lowest Landau Level. We find that minimizer frame has distorted for which plot typical distribution. compute analytically an infinite regular and class lattices. optimal distortion relate it to decay function. Finally, generalize our method other trapping potentials.

Describing and managing activities, resources, constraints of software development processes is a challenging goal for many organizations. A first generation Software Process Modeling Languages (SPMLs) appeared in the 1990s but failed to gain broad industrial support. Recently, however, second SPMLs has appeared, leveraging strong interest modeling languages such as UML. In this paper, we propose comparison these UML-based SPMLs. While not exhaustive, concentrates on most representative...

This paper presents a Context-Aware Dynamic Software Product Line (DSPL) for building service oriented applications and adapting them at runtime in accordance with their using context. DSPL, named CAPucine Service-Oriented is based on two different processes product derivation. The first process uses assets that represent features of the family. assets, represented as models, get composed transformed order to generate product. second relates dynamic adaptation. introduces context-aware...

The present article is an overview of some mathematical results, which provide elements rigorous basis for multiscale computations in materials science. emphasis laid upon atomistic to continuum limits crystalline materials. Various approaches are addressed. setting stationary. relation existing techniques used the engineering literature investigated.

Following-up on a previous work of ours, we present general approach to approximate at the fine scale solution an elliptic equation with oscillatory coefficient when this consists "nice" (in simplest possible case say periodic) function which is, in some sense be made precise, perturbed. The is based determination local profile, similar corrector classical homogenization. well-posedness that equation, various functional settings depending upon nature perturbation, purpose article....

We present in this article a positive finite volume method for diffusion equation on deformed meshes. This is mainly inspired from 50, 52, and uses auxiliary unknowns at the nodes of mesh. The flux computed so as to be two-point nonlinear flux, giving rise matrix which transpose an M-matrix, ensures that scheme positive. A particular attention given computation unknowns. propose new strategy, aims providing easy implement parallel domain decomposition setting. An analysis provided: existence...

In order to describe a solid which deforms smoothly in some region, but non other many multiscale methods have recently been proposed. They aim at coupling an atomistic model (discrete mechanics) with macroscopic (continuum mechanics). We provide here theoretical ground for such one-dimensional setting. briefly study the general case of convex energy, and next concentrate on specific example nonconvex Lennard-Jones case. latter situation, we prove that discretization needs account adequate...

With millions of applications (apps) distributed through mobile markets, engaging and retaining end-users challenge Android developers to deliver a nearly perfect user experience. As apps run in resource-limited devices, performance is critical criterion for the quality Therefore, are expected pay much attention limit bad practices. On one hand, many studies already identified such practices showed that they can heavily impact app performance. Hence, static analysers, a.k.a. linters, have...

In quasi-periodic homogenization of elliptic equations or nonlinearperiodic systems, the cell problem must be ingeneral set on whole space. Numerically computing thehomogenization coefficient therefore implies a truncation error, dueto fact that is approximated bounded, largedomain. We present here an approach improves rate ofconvergence this approximation.

We consider the corrector equation associated, in homogenization theory, to a linear second-order elliptic divergence form −∂i(aij∂ju)=f, when diffusion coefficient is locally perturbed periodic coefficient. The question under study existence (and uniqueness) of corrector, strictly sublinear at infinity, with gradient Lr if local perturbation itself Lr, r<+∞. This work follows up on previous works ours, providing an alternative, more general and versatile approach, based priori estimate, for...

We study the vortex distribution of wave functions minimizing Gross-Pitaevskii energy for a fast rotating condensate in lowest Landau level (LLL): we prove that minimizer cannot have finite number zeroes, thus lattice is infinite, but not uniform. This uses explicit expression projector onto LLL. also show any slow varying envelope function can be approximated LLL by distorting lattice. used particular to approximate inverted parabola and understand role ``invisible'' vortices: distortion...