The present paper deals with the modeling and numerical approximation of bed load transport under action water. A new shallow water type model is derived from stratified two-fluid Navier–Stokes equations. Its novelty lies in magnitude a viscosity term that leads to momentum equation elliptic type. full model, sediment water, verifies dissipative energy balance for smooth solutions. resolution l...

We prove that conservation of the stress tensor is a consequence of the invariance of the partition function under canonical diffeomorphisms. From this observation a simple and general derivation of the formula which gives the local expression of the stress tensor of a molecular system in terms of its microscopic degrees of freedom readily follows. The derivation is valid in the canonical as we...

Due to the special requirements of distributed systems, it is important that modeling techniques for this kind of systems ooer a stringent module concept. Each module has to support the encapsulation of data structure as well as functionality also at runtime. Modular graph transformation, presented in this contribution, supports these features. Modules are built up of speciications where attrib...

In this work we introduce a completely general Chapman Enskog procedure in which we divide the local distribution into an isotropic distribution with anisotropic corrections. We obtain a recursion relation on all integrals of the distribution function required in the derivation of the moment equations. We obtain the hydrodynamic equations in terms only of the first few moments of the isotropic ...

Considering the theory of attribute grammars, we use logical formulas instead of traditional functional semantic rules. Following the decoration of a derivation tree, a suitable algorithm should maintain the consistency of the formulas together with the evaluation of the attributes. This may be a Prolog-like resolution, but this paper examines a somewhat different strategy, based on production ...

In this paper we propose a compositional semantics for lexicalized tree-adjoining grammar (LTAG). Tree-local multicomponent derivations allow separation of the semantic contribution of a lexical item into one component contributing to the predicate argument structure and a second component contributing to scope semantics. Based on this idea a syntax-semantics interface is presented where the co...

Distributions of functionals of Brownian bridge arise as limiting distributions in non-parametric statistics. In this paper we will give a derivation of distributions of extrema of the Brownian bridge based on excursion theory for Brownian motion. The idea of rescaling and conditioning on the local time has been used widely in the literature. In this paper it is used to give a unified derivatio...

We provide a derivation of a more accurate version of the stochastic Gross– Pitaevskii equation, as introduced by Gardiner et al (2002 J. Phys. B: At. Mol. Opt. Phys. 35 1555). This derivation does not rely on the concept of local energy and momentum conservation and is based on a quasiclassical Wigner function representation of a ‘high temperature’ master equation for a Bose gas, which include...