Volume di 368 pagine, stampato nell'ambito delle pubblicazioni edite per i 90 anni del CNR. Contiene il carteggio intercorso tra Mario G. Salvadori e Mauro Picone e una serie di documenti utili a ricostruire la figura di Salvadori e i suoi rapporti con l'IAC. Il carteggio è preceduto da una presentazione di Luigi Nicolais e da un ampio saggio (pagg. 11-74) scritto dai tre curatori.
Storia dei maggiori progetti sviluppati da Mauro Picone per costruire in Italia un calcolatore elettronico prima della CEP. A questi progetti segue la collaborazione allo sviluppo della CEP tramite la realizzazione di un simulatore della calcolatrice pisana sulla Ferranti Mark 1* dell'INAC (FINAC). Invine, si accenna alla collaborazione con Olivetti per realizzare la serie ELEA 9004.
Storia della scienza
storia dell'informatica
storia della matematica
storia dell'industria
Storia delle soluzioni meccaniche inventate dal Seicento alla prima metà del Novecento per eseguire moltiplicazioni e divisioni. Ci si sofferma in particolare su alcune macchine che risolvono direttamente il problema e non ricorrono ad algoritmi di addizione o sottrazione ripetuta.
calcolo meccanico
storia della matematica
storia dell'informatica
Schede tecniche e storiche delle calcolatrici meccaniche esposte nel nuovo allestimento del Museo degli Strumenti di Calcolo della Fondazione Galileo Galilei a Pisa
Calcolatrice
addizionatrice
aritmomestro
storia della scienza
storia dell'informatica
storia della matematica
storia dell'industria
This paper investigates the use of time series of ALOS/PALSAR-1 and COSMO-SkyMed data for the soil moisture retrieval (mv) by means of the SMOSAR algorithm. The application context is the exploitation of mv maps at a moderate spatial and temporal resolution for improving flood/drought monitoring at regional scale. The SAR data were acquired over the Capitanata plain in Southern Italy, over which ground campaigns were carried out in 2007, 2010 and 2011. The analysis shows that the mv retrieval accuracy is 5%-7% m^3/m^3 at L- and X band, although the latter is restricted to a use over nearly bare soil only.
SAR
soil moisture retrieval
COSMO-SkyMed
X-band
ALOS
L-band
The MIPAS (Michelson Interferometer for Passive Atmospheric Sounding) instrument on the Envisat (Environmental satellite) satellite has provided vertical profiles of the atmospheric composition on a global scale for almost ten years. The MIPAS mission is divided in two phases: the full resolution phase, from 2002 to 2004, and the optimized resolution phase, from 2005 to 2012, which is characterized by a finer vertical and horizontal sampling attained through a reduction of the spectral resolution. While the description and characterization of the products of the ESA processor for the full resolution phase has been already described in previous papers, in this paper we focus on the performances of the latest version of the ESA (European Space Agency) processor, named ML2PP V6 (MIPAS Level 2 Prototype Processor), which has been used for reprocessing the entire mission. The ESA processor had to perform the operational near real time analysis of the observations and its products needed to be available for data assimilation. Therefore, it has been designed for fast, continuous and automated analysis of observations made in quite different atmospheric conditions and for a minimum use of external constraints in order to avoid biases in the products. The dense vertical sampling of the measurements adopted in the second phase of the MIPAS mission resulted in sampling intervals finer than the instantaneous field of view of the instrument. Together with the choice of a retrieval grid aligned with the vertical sampling of the measurements, this made ill-conditioned the retrieval problem of the MIPAS operational processor. This problem has been handled with minimal changes to the original retrieval approach but with significant improvements nonetheless. The Levenberg-Marquardt method, already present in the retrieval scheme for its capability to provide fast convergence for nonlinear problems, is now also exploited for the reduction of the ill-conditioning of the inversion. An expression specifically designed for the regularizing Levenberg-Marquardt method has been implemented for the computation of the covariance matrices and averaging kernels of the retrieved products. The regularization of the Levenberg-Marquardt method is controlled by the convergence criteria and is deliberately kept weak. The resulting oscillations of the retrieved profile are a posteriori damped by an innovative self-adapting Tikhonov regularization. The convergence criteria and the weakness of the self-adapting regularization ensure that minimum constraints are used and the best vertical resolution obtainable from the measurements is achieved in all atmospheric conditions. Random and systematic errors, as well as vertical and horizontal resolution are compared in the two phases of the mission for all products, namely: temperature, H2O, O-3, HNO3, CH4, N2O, NO2, CFC-11, CFC-12, N2O5 and ClONO2. The use in the two phases of the mission of different optimized sets of spectral intervals ensures that, despite the different spectral resolutions, comparable performances are obtained in the whole MIPAS mission in terms of random and systematic errors, while the vertical resolution and the horizontal resolution are significantly better in the case of the optimized resolution measurements.
2013Rapporto di ricerca / Relazione scientificametadata only access
1st Progress report 2013 (Financial and activity report) - project T.He.T.A. "Technological tools for the Promotion of Transadriatic Archaeological Heritages"
A common problem, arising in many different applied contexts, consists in estimating the number
of exponentially damped sinusoids whose weighted sum best fits a finite set of noisy data and in
estimating their parameters. Many different methods exist to this purpose. The best of them are based
on approximate Maximum Likelihood estimators, assuming to know the number of damped sinusoids,
which can then be estimated by an order selection procedure. As the problem can be severely ill posed,
a stochastic perturbation method is proposed which provides better results than Maximum Likelihood
based methods when the signal-to-noise ratio is low. The method depends on some hyperparameters
which turn out to be essentially independent of the application. Therefore they can be fixed once and for
all, giving rise to a black box method.
Modal analysis
Complex moments problem
Random Hankel pencils
Stochastic perturbations
Universality properties of the distribution of the generalized eigenvalues of a pencil of
random Hankel matrices, arising in the solution of the exponential interpolation problem
of a complex discrete stationary process, are proved under the assumption that every
finite set of random variables of the process have a multivariate spherical distribution.
An integral representation of the condensed density of the generalized eigenvalues is
also derived. The asymptotic behavior of this function turns out to depend only on
stationarity and not on the specific distribution of the process.
Complex moments; Pad ́e approximants; random polynomials
An atomic random complex measure defined on the unit disk with normally distributed
moments is considered. An approximation to the distribution of the zeros of its Cauchy
transform is computed. Implications of this result for solving several moment problems
are discussed.
Random determinants
Complex exponentials
Complex moments problem
Logarithmic potentials
Lattice Boltzmann models (LBM) and phase field models (PFM) are two of the most widespread approaches for the numerical study of multicomponent fluid systems. Both methods have been successfully employed by several authors but, despite their popularity, still remains unclear how to properly compare them and how they perform on the same problem. Here we present a unified framework for the direct (one-to-one) comparison of the multicomponent LBM against the PFM. We provide analytical guidelines on how to compare the Shan-Chen (SC) lattice Boltzmann model for non-ideal multicomponent fluids with a corresponding free energy (FE) lattice Boltzmann model. Then, in order to properly compare the LBM vs. the PFM, we propose a new formulation for the free energy of the Cahn-Hilliard/Navier-Stokes equations. Finally, the LBM model is numerically compared with the corresponding phase field model solved by means of a pseudo-spectral algorithm. This work constitute a first attempt to set the basis for a quantitative comparison between different algorithms for multicomponent fluids. We limit our scope to the few of the most common variants of the two most widespread methodologies, namely the lattice Boltzmann model (SC and FE variants) and the phase field model. (C) 2012 Elsevier Inc. All rights reserved.
Phase field model
Lattice Boltzmann
Navier-Stokes
Cahn-Hilliard
Comparison
Drop
Leakage
Spurious currents
SPINODAL DECOMPOSITION
KINETIC-THEORY
GAS MIXTURES
NONUNIFORM SYSTEM
NONIDEAL FLUIDS
BINARY-MIXTURES
SURFACE-TENSION
EQUATION MODEL
FREE ENERGY
FLOWS
Growth, competition and cooperation in spatial population genetics
Pigolotti S
;
Benzi R
;
Perlekar P
;
Jensen
;
M H
;
Toschi F
;
Nelson
;
D R
We study an individual based model describing competition in space between two different alleles. Although the model is similar in spirit to classic models of spatial population genetics such as the stepping stone model, here however space is continuous and the total density of competing individuals fluctuates due to demographic stochasticity. By means of analytics and numerical simulations, we study the behavior of fixation probabilities, fixation times, and heterozygosity, in a neutral setting and in cases where the two species can compete or cooperate. By concluding with examples in which individuals are transported by fluid flows, we argue that this model is a natural choice to describe competition in marine environments. (C) 2013 Elsevier Inc. All rights reserved.
Stochastic model
Neutral theory
Stepping stone model
Fixation individual based
DISTANCE
SYSTEMS
FLOWS
Reactions in turbulent flows, chemical reactions or combustion, are common. Typically reaction time scales are much shorter than turbulence timescales. In biological applications, as it is the case for bacterial and plankton populations living under the influence of currents in oceans and lakes, the typical lifetime can be long and thus can fall well within the inertial range of turbulence time scales. Under these conditions, turbulent transport interacts in a very complex way with the dynamics of growth and death of the individuals in the population. In the present paper, we quantitatively investigate the effect of the flow compressibility on the dynamics of populations. Small effective compressibility can be induced by several physical mechanisms, such as, e.g., by the density mismatch, by a small but finite size of microorganisms, and by gyrotaxis (an interaction between swimming and shear). We report, for the first time, how even a tiny effective compressibility can produce a dramatically large effect on global quantities like the carrying capacity of the ecosystem. We interpret our findings by means of a cumulative effect made possible by the long replication times of the organisms with respect to turbulence time scales. A statistical quantification of the fluctuations of population concentration is presented.
A Study of Fluid Interfaces and Moving Contact Lines Using the Lattice Boltzmann Method
Srivastava S
;
Perlekar P
;
Biferale L
;
Sbragaglia M
;
Boonkkamp
;
J H M ten Thije
;
Toschi
;
F
We study the static and dynamical behavior of the contact line between two fluids and a solid plate by means of the Lattice Boltzmann method (LBM). The different fluid phases and their contact with the plate are simulated by means of standard Shan-Chen models. We investigate different regimes and compare the multicomponent vs. the multiphase LBM models near the contact line. A static interface profile is attained with the multiphase model just by balancing the hydrostatic pressure (due to gravity) with a pressure jump at the bottom. In order to study the same problem with the multicomponent case we propose and validate an idea of a body force acting only on one of the two fluid components. In order to reproduce results matching an infinite bath, boundary conditions at the bath side play a key role. We quantitatively compare open and wall boundary conditions and study their influence on the shape of the meniscus against static and lubrication theory solution.
Lattice-Boltzmann
multiphase flow
multicomponent flow
plunging plate problem
Landau-Levich
DYNAMICS
LIQUID
MODEL
EQUATION
PLATE
FLOWS
Simulations of Boiling Systems Using a Lattice Boltzmann Method
Biferale L
;
Perlekar P
;
Sbragaglia M
;
Toschi
;
F
We report about a numerical algorithm based on the lattice Boltzmann method and its applications for simulations of turbulent convection in multi-phase flows. We discuss the issue of `latent heat' definition using a thermodynamically consistent pseudo-potential on the lattice. We present results of numerical simulations in 3D with and without boiling, showing the distribution of pressure, density and temperature fluctuations inside a convective cell.