Bioventing is a technology used to abate the presence of pollutants in the subsoil. Microorganisms biodegrade the pollutant but the biochemical reaction requires oxygen and so an airflow is induced in the subsoil by means of injection and/or extraction wells. Costs, final result and decontamination time are reliant on contaminant type, soil permeability and several other factors, but oxygen subsoil concentration plays a very important role. For this reason a rational choice of well locations and flow rates is required. The mathematical definition of the optimal design problem will be set-up starting from a simplified mathematical model describing the bioventing system. A formal definition of decontaminated subsoil will be given and the set of system control variables will be identified. Optimization strategies such as cost minimization and time optimization will be mathematically described.

We introduce a numerical scheme to approximate a quasilinear hyperbolic system which models the movement of cells under the influence of chemotaxis. Since we expect to find solutions which contain vacuum parts, we propose an upwinding scheme which properly handles the presence of vacuum and which gives a good approximation of the time asymptotic states of the system. For this scheme we prove some basic analytical properties and study its stability near some of the steady states of the system. Finally, we present some numerical simulations which show the dependence of the asymptotic behavior of the solutions upon the parameters of the system.

In this paper we propose a multiperiod optimization model based on the maximal covering location problem in order to support safety policies within urban areas. In particular, we focus on the field of car accidents control, by considering the problem of the optimal location of intersection safety cameras (ISC) on an urban traffic network to maximize road control and reduce the number and the impact of car accidents. The effectiveness of accidents prevention programs can be increased by changing periodically the position of the available ISCs on a given time horizon. To this aim, we propose a novel multiperiod maximal covering location approach designed to maximize the overall coverage on the whole discretized time horizon. The results of the application of this methodology on a real dataset concerning road accidents occurred on a portion of the urban traffic network of the city of Rome are presented and discussed.

Variational models for image segmentation, e.g. Mumford-Shah variational model [47] and Chan-Vese model [21,59], generally involve a regularization term that penalizes the length of the boundaries of the segmentation. In practice often the length term is replaced by a weighted length, i.e., some portions of the set of boundaries are penalized more than other portions, thus unbalancing the geometric term of the segmentation functional. In the present paper we consider a class of variational models in the framework of ?-convergence theory. We propose a family of functionals defined on vector valued functions that involve a multiple well potential of the type arising in diffuse-interface models of phase transitions. A potential with equally distanced wells makes it possible to retrieve the penalization of the true (i.e., not weighted) length of the boundaries as the ?-convergence parameter tends to zero. We explore the differences and the similarities of behavior of models in the proposed class, followed by some numerical experiments. © 2014 Elsevier Inc. All rights reserved.

[object Object]

Detecting malware in mobile applications has become increasingly complex as malware developers turn to advanced techniques to hide or obfuscate malicious components. Alterdroid is a dynamic-analysis tool that compares the behavioral differences between an original app and numerous automatically generated versions of it containing carefully injected modifications.

We present a numerical study of Rayleigh-Benard convection disturbed by a longitudinal wind. Our results show that under the action of the wind, the vertical heat flux through the cell initially decreases, due to the mechanism of plume sweeping, and then increases again when turbulent forced convection dominates over the buoyancy. As a result, the Nusselt number is a nonmonotonic function of the shear Reynolds number. We provide simple models that capture with good accuracy all the dynamical regimes observed. We expect that our findings can lead the way to a more fundamental understanding of the complex interplay between mean wind and plume ejection in the Rayleigh-Benard phenomenology.

We study the competition between domain coarsening in a symmetric binary mixture below critical temperature and turbulent fluctuations. We find that the coarsening process is arrested in the presence of turbulence. The physics of the process shares remarkable similarities with the behavior of diluted turbulent emulsions and the arrest length scale can be estimated with an argument similar to the one proposed by Kolmogorov and Hinze for the maximal stability diameter of droplets in turbulence. Although, in the absence of flow, the microscopic diffusion constant is negative, turbulence does effectively arrest the inverse cascade of concentration fluctuations by making the low wavelength diffusion constant positive for scales above the Hinze length.

Intermittency effects are numerically studied in turbulent bubbling Rayleigh-Benard (RB) flow and compared to the standard RB case. The vapour bubbles are modelled with a Euler-Lagrangian scheme and are two-way coupled to the flow and temperature fields, both mechanically and thermally. To quantify the degree of intermittency we use probability density functions, structure functions, extended self-similarity (ESS) and generalized extended self-similarity (GESS) for both temperature and velocity differences. For the standard RB case we reproduce scaling very close to the Obukhov-Corrsin values common for a passive scalar and the corresponding relatively strong intermittency for the temperature fluctuations, which are known to originate from sharp temperature fronts. These sharp fronts are smoothed by the vapour bubbles owing to their heat capacity, leading to much less intermittency in the temperature but also in the velocity field in bubbling thermal convection.

A proposal for particles' initialization in PSO is presented and discussed, with focus on costly global unconstrained optimization problems. The standard PSO iteration is reformulated such that the trajectories of the particles are studied in an extended space, combining particles' position and speed. To the aim of exploring effectively and efficiently the optimization search space since the early iterations, the particles are initialized using sets of orthogonal vectors in the extended space (orthogonal initialization, ORTHOinit). Theoretical derivation and application to a simulation-based optimization problem in ship design are presented, showing the potential benefits of the current approach.

. A guideline for an effective and efficient use of a deterministic variant of the Particle Swarm Optimization (PSO) algorithm is presented and discussed, assuming limited computational resources. PSO was introduced in Kennedy and Eberhart (1995) and successfully applied in many fields of engineering optimization for its ease of use. Its performance depends on three main characteristics: the number of swarm particles used, their initialization in terms of initial location and speed, and the set of coefficients defining the behavior of the swarm. Original PSO makes use of random coefficients to sustain the variety of the swarm dynamics, and requires extensive numerical campaigns to achieve statistically convergent results. Such an approach can be too expensive in industrial applications, especially when CFD simulations are used, and for this reason, efficient deterministic approaches have been developed (Campana et al. 2009). Additionally, the availability of parallel architectures has offered the opportunity to develop and compare synchronous and asynchronous implementation of PSO. The objective of present work is the identification of the most promising implementation for deterministic PSO. A parametric analysis is conducted using 60 analytical test functions and three different performance criteria, varying the number of particles, the initialization of the swarm, and the set of coeffi- cients. The most promising PSO setup is applied to a ship design optimization problem, namely the high-speed Delft catamaran advancing in calm water at fixed speed, using a potential-flow code.

Deterioration of stones is a complex problem and one of the main concern for people working in the field of conservation and restoration of cultural heritage. One important point in cultural heritage is to obtain information about the damage in a non-invasive way. By this paper, we propose a new non-invasive tool that permits evaluation of the thickness of (Formula presented.) (gypsum) grown (sulfation) on marble stones, using a mathematical model on data detected by pulsed infrared thermography.

L'applicazione di algoritmi di ottimizzazione nella navigazione a vela in Coppa America. Ce ne parla Daniele Peri dell'Iac-Cnr.

We developed an approach that integrates different network-based methods to analyze the correlation network arising from large-scale gene expression data. By studying grapevine (Vitis vinifera) and tomato (Solanum lycopersicum) gene expression atlases and a grapevine berry transcriptomic data set during the transition from immature to mature growth, we identified a category named “fight-club hubs” characterized by a marked negative correlation with the expression profiles of neighboring genes in the network. A special subset named “switch genes” was identified, with the additional property of many significant negative correlations outside their own group in the network. Switch genes are involved in multiple processes and include transcription factors that may be considered master regulators of the previously reported transcriptome remodeling that marks the developmental shift from immature to mature growth. All switch genes, expressed at low levels in vegetative/green tissues, showed a significant increase in mature/woody organs, suggesting a potential regulatory role during the developmental transition. Finally, our analysis of tomato gene expression data sets showed that wild-type switch genes are downregulated in ripening-deficient mutants. The identification of known master regulators of tomato fruit maturation suggests our method is suitable for the detection of key regulators of organ development in different fleshy fruit crops.

This paper presents an approach to model and simulate industrial plant accidents as well as the related emergency management; interoperable simulation is proposed as approach for applying High Level Architecture in this context. The authors are focusing their attention on the disaster simulation and its interaction with the emergency management. Modern simulation, by using technology enables such as mobile solution, enhance its support to first responders, the dynamic reaction to crisis evolution as well as the improvement in training and management of safe routing and handling of injured people. This paper introduces these elements as part of new research track devoted to get benefits from interoperable simulation in federating multidisciplinary models for industrial plant emergency management.