Prediction of geometric uncertainty effects on Fluid Dynamics by Polynomial Chaos and Fictitious Domain method

In this paper the Tensorial-expanded Chaos Collocation method has been used to solve Fluid Dynamic problems with geometric uncertainties. The main advantage of the Tensorial-expanded Chaos Collocation method is its non-intrusive formulation, so existing deterministic solvers can be used. A Least-Squares Spectral Element Method has been employed for the analysis of the deterministic differential problems obtained by Tensorial-expanded Chaos Collocation. This algorithm exploits a Fictitious Domain approach, so it is particularly suitable to solve differential problems defined on stochastic domains. The great capabilities of the Tensorial-expanded Chaos Collocation method combined to the Fictitious Domain-Least-Squares Spectral Element Method are demonstrated by numerical experiments.     

An experimental study on the applicability of evolutionary algorithms to craniofacial superimposition in forensic identification

Photographic supra-projection is a forensic process that aims to identify a missing person from a photograph and a skull found. One of the crucial tasks throughout all this process is the craniofacial superimposition which tries to find a good fit between a 3D model of the skull and the 2D photo of the face. This photographic supra-projection stage is usually carried out manually by forensic anthropologists. It is thus very time consuming and presents several difficulties. In this paper, we aim to demonstrate that real-coded evolutionary algorithms are suitable approaches to tackle craniofacial superimposition. To do so, we first formulate this complex task in forensic identification as a numerical optimization problem. Then, we adapt three different evolutionary algorithms to solve it: two variants of a real-coded genetic algorithm and the state of the art evolution strategy CMA-ES. We also consider an existing binary-coded genetic algorithm as a baseline. Results on several superimposition problems of real-world identification cases solved by the Physical Anthropology lab at the University of Granada (Spain) are considered to test our proposals.     

Command governor for constrained switched systems with scheduled model transition dwell times

In this paper, a switched control architecture for constrained control systems is presented. The strategy is based on command governor ideas that are here specialized to ‘optimally’ schedule switching events on the plant dynamics for improving control performance at the expense of low computational burdens. The significance of the method mainly lies in its capability to avoid constraints violation and loss of stability regardless of any configuration change occurrence in the plant/constraint structure. To this end, the concept of model transition dwell time is used within the proposed control framework to formally define the minimum time necessary to enable a switching event under guaranteed conditions on the overall stability and constraint fulfilment. Simulation results on a simple linear system and on a Cessna 182 aircraft model show the effectiveness of the proposed strategy. Copyright © 2017 John Wiley & Sons, Ltd.     

Evaluating ASP and Commercial Solvers on the CSPLib

This paper deals with four solvers for combinatorial problems: the commercial state-of-the-art solver ILOG oplstudio, and the research answer set programming (ASP) systems dlv, smodels and cmodels. The first goal of this research is to evaluate the relative performance of such systems when used in a purely declarative way, using a reproducible and extensible experimental methodology. In particular, we consider a third-party problem library, i.e., the CSPLib, and uniform rules for modelling and instance selection. The second goal is to analyze the marginal effects of popular reformulation techniques on the various solving technologies. In particular, we consider structural symmetry breaking, the adoption of global constraints, and the addition of auxiliary predicates. Finally, we evaluate, on a subset of the problems, the impact of numbers and arithmetic constraints on the different solving technologies. Results show that there is not a single solver winning on all problems, and that reformulation is almost always beneficial: symmetry-breaking may be a good choice, but its complexity has to be carefully chosen, by taking into account also the particular solver used. Global constraints often, but not always, help opl, and the addition of auxiliary predicates is usually worth, especially when dealing with ASP solvers. Moreover, interesting synergies among the various modelling techniques exist.     

Male response to natural sex pheromone ofMigdolus fryanus westwood (Coleoptera: Cerambycidae) females as affected by daily climatic factors

Males of the sugarcane borer,Migdolus fryanus (Coleoptera: Cerambycidae), are attracted to females by means of a sex pheromone. Mating usually occurs during a few days from October to March under field conditions in São Paulo State, Brazil. This work reports on mating of this species as affected by daily climatic factors, during a single nuptial flight. Maximum male capture by the natural sex pheromone occurred from 1000 to 1100 AM at air and soil temperatures of 30.0°C and relative humidity of 57.0%. As these temperatures increased, females burrowed into the soil, as they are more sensitive to heat than males. Thus, it was concluded that sex pheromone-mediated mating in this cerambycid is directly affected by temperatures of air and soil.     

The phase behavior of n-alkane systems

Normal alkanes show very complicated phase transition kinetics and macroscopic phase equilibrium behavior. This paper focuses on the phase stability and equilibrium of complicated mixtures like n-alkanes and on the enabling global optimization technologies needed to gather problem knowledge. The new ideas contained in this paper include:

(1) novel level set methods for gathering encoded knowledge;

(2) the differential geometry for uncovering pathways to more subtle knowledge;

(3) all supporting non-linearly constrained optimization techniques;

(4) all data handling needed to unravel complex solution structure.

These new ideas are incorporated within the integral path methodology or terrain methods recently developed by Lucia, A., & Yang, F. (2003) [Lucia, A., & Yang F. (2003). Multivariable terrain methods. AIChE Journal 49, 2553] and Lucia, DiMaggio, and Depa (2004) [Lucia, A., DiMaggio, P.A., & Depa, P. (2004). A geometric terrain methodology for global optimization. Journal of Global Optimization 29, 297]. This framework provides global knowledge for understanding solution structure, like the complex solution structure of n-alkanes. In particular, it is shown that knowledge of the Newton and tangent vector fields, Gauss curvature, integral path bifurcation points, and non-differentiable manifolds provides a deterministic way of finding additional solutions, saddle points, and other information that might otherwise go undetected.It is shown that the optimization tools developed in this work provide all knowledge of interest on the appropriate hypothetical single-phase or composite surface (i.e., minima, saddle points, singular points, and integral paths) in phase stability applications. This knowledge can be obtained by solving the phase stability problem exactly once, in a pre-processing step, and used to reliably initialize any multi-phase equilibrium calculation for any feed. This removes the need to repeatedly solve the phase stability problem as the feed composition changes and greatly increases computational efficiency. Numerical examples and geometric illustrations are used to elucidate key ideas and to show how the proposed approach can be used to unravel the complicated phase behavior of n-alkane mixtures.     

The pure rotational spectrum of water vapor—A millimeter,submillimeter, and far infrared analysis

Line positions, strengths, and absolute energies are calculated for the pure rotational spectrum of water in the region between 0 cm^?1 and 877 cm^?1. These calculations are done in the context of a reduced centrifugal distortion Hamiltonian, and are based on microwave measurements of this spectrum to 1 THz, and Far Infrared measurements between 32 cm^?1 and 715 cm^?1.     

An extensible system for source code analysis

Constructing code analyzers may be costly and error prone if inadequate technologies and tools are used. If they are written in a conventional programming language, for instance, several thousand lines of code may be required even for relatively simple analyses. One way of facilitating the development of code analyzers is to define a very high-level domain-oriented language and implement an application generator that creates the analyzers from the specification of the analyses they are intended to perform. This paper presents a system for developing code analyzers that uses a database to store both a no-loss fine-grained intermediate representation and the results of the analyses. The system uses an algebraic representation, called F(p), as the user-visible intermediate representation. Analyzers are specified in a declarative language, called F(p)-l, which enables an analysis to be specified in the form of a traversal of an algebraic expression, with access to, and storage of, the database information the algebraic expression indices. A foreign language interface allows the analyzers to be embedded in C programs. This is useful for implementing the user interface of an analyzer, for example, or to facilitate interoperation of the generated analyzers with pre-existing tools. The paper evaluates the strengths and limitations of the proposed system, and compares it to other related approaches     

Electrocatalytic properties and electrochemical stability of polyaniline and polyaniline modified with platinum nanoparticles in formaldehyde medium

We report the electro-oxidation of formaldehyde on polyaniline films modified with Pt nanoparticles (PANI-Pt films) in an aqueous sulfuric acid solution. The electrodeposition of Pt particles on the PANI matrix was found to promote a mass loss of the film, with a similar effect occurring after cycling the PANI films in the acidic medium containing formaldehyde. However, despite the electrochemical instability of PANI-Pt films, on films containing larger amounts of incorporated Pt particles, the oxidation of formaldehyde produces adsorbed CO species (CO_ads) at a lower positive potential than on bulk Pt. Our findings also indicate that electro-oxidation of CO_ads on the PANI-Pt film surface depends not only on the thickness of PANI film but also on the amount of Pt particles incorporated into the PANI matrix.