32 research outputs found
Peano Structures and the Semantics of Iteration
In this paper closure theory is applied in order to obtain a uniform semantical treatment of both primitive and general iteration. In particular, the theory of Peano algebras has been extended to algebraic structures to inductively define both primitive and general iterates as structure homomorphisms, i.e. as fixed points of iteration equations
Leray and LANS- modeling of turbulent mixing
Mathematical regularisation of the nonlinear terms in the Navier-Stokes
equations provides a systematic approach to deriving subgrid closures for
numerical simulations of turbulent flow. By construction, these subgrid
closures imply existence and uniqueness of strong solutions to the
corresponding modelled system of equations. We will consider the large eddy
interpretation of two such mathematical regularisation principles, i.e., Leray
and LANS regularisation. The Leray principle introduces a {\bfi
smoothed transport velocity} as part of the regularised convective
nonlinearity. The LANS principle extends the Leray formulation in a
natural way in which a {\bfi filtered Kelvin circulation theorem},
incorporating the smoothed transport velocity, is explicitly satisfied. These
regularisation principles give rise to implied subgrid closures which will be
applied in large eddy simulation of turbulent mixing. Comparison with filtered
direct numerical simulation data, and with predictions obtained from popular
dynamic eddy-viscosity modelling, shows that these mathematical regularisation
models are considerably more accurate, at a lower computational cost.Comment: 42 pages, 12 figure
Estudo epidemiolĂłgico da febre purpĂșrica brasileira: epidemia em localidade do Estado de SĂŁo Paulo (Brasil), 1986
EquaçÔes de predição para estimar os valores energéticos de alimentos concentrados de origem vegetal para aves utilizando a metanålise
Ï production in pâPb collisions at âsNN=8.16 TeV
Ï production in pâPb interactions is studied at the centre-of-mass energy per nucleonânucleon collision âsNN = 8.16 TeV with the ALICE detector at the CERN LHC. The measurement is performed reconstructing bottomonium resonances via their dimuon decay channel, in the centre-of-mass rapidity intervals 2.03 < ycms < 3.53 and â4.46 < ycms < â2.96, down to zero transverse momentum. In this work, results on the Ï(1S) production cross section as a function of rapidity and transverse momentum are presented. The corresponding nuclear modification factor shows a suppression of the Ï(1S) yields with respect to pp collisions, both at forward and backward rapidity. This suppression is stronger in the low transverse momentum region and shows no significant dependence on the centrality of the interactions. Furthermore, the Ï(2S) nuclear modification factor is evaluated, suggesting a suppression similar to that of the Ï(1S). A first measurement of the Ï(3S) has also been performed. Finally, results are compared with previous ALICE measurements in pâPb collisions at âsNN = 5.02 TeV and with theoretical calculations.publishedVersio