Credible autocoding of convex optimization algorithms

The efficiency of modern optimization methods, coupled with increasing computational resources, has led to the possibility of real-time optimization algorithms acting in safety-critical roles. There is a considerable body of mathematical proofs on on-line optimization algorithms which can be leveraged to assist in the development and verification of their implementation. In this paper, we demonstrate how theoretical proofs of real-time optimization algorithms can be used to describe functional properties at the level of the code, thereby making it accessible for the formal methods community. The running example used in this paper is a generic semi-definite programming solver. Semi-definite programs can encode a wide variety of optimization problems and can be solved in polynomial time at a given accuracy. We describe a top-down approach that transforms a high-level analysis of the algorithm into useful code annotations. We formulate some general remarks on how such a task can be incorporated into a convex programming autocoder. We then take a first step towards the automatic verification of the optimization program by identifying key issues to be addressed in future work.     

Analyzing the nanoindentation response of carbon black filled elastomers

Carbon black (CB) filled elastomers are structurally complex materials that offer unique properties at different length scales. They have tremendous potential applications in a number of fields including the automotive and aerospace industries and for designing innovative smart materials such as artificial muscles but their applications remain limited primarily due to inadequate understanding of their unique mechanical properties. Here, using the Berkovich technique to probe the surface mechanical properties at different scales the nanoindentation response of a series of composites made by homogeneously dispersed CB nanoparticles inside a semicrystalline copolymer matrix has been explored. While the measured loading part of the force–displacement curves is well described by Meyer's empirical power relation, the inverted methodology (IM) approach to deal with the unloading part has been considered and its outcome has been compared with that obtained from the standard Oliver–Pharr's method. The results were consistent with the observed increase of hardness when the applied displacement decreases for all composite samples over a large range of CB volume fraction. Zhang and Xu's model is demonstrated to produce experimentally consistent explanation of this indentation size effect. X-ray photoelectron spectroscopy (XPS) spectra also show composition gradients with depth up to 100 nm. Furthermore, the effect of CB content, surface features, and length scale-dependent deformation on the hardness–displacement behavior have been considered. These findings highlight the possibility of attaining a diverse set of mechanical properties by a better understanding of the nanoindentation response of CB filled elastomers which can be useful for material selection and design improvements in a number of practical applications.     

High‐Pressure High‐Temperature Transparent Fixed‐Bed Reactor for Operando Gas‐Liquid Reaction Follow‐up

A 3‐MPa, 350 °C fixed‐bed reactor was designed to follow‐up gas‐liquid‐solid reactions on a millimetric size heterogeneous catalyst with Raman spectroscopy. The transparent reactor is a quartz cylinder enclosed in a Joule effect heated stainless‐steel tube. A methodology to determine how to focus the microscope for liquid and solid phase characterization is presented. The setup was validated by performing diesel hydrodesulfurization on a CoMo/alumina extrudate catalyst with a conversion very close to expected values along with the acquisition of Raman spectra of the solid catalyst showing an evolution of the catalyst phase during sulfidation.     

Imbibition test in a clay powder (MX-80 bentonite)

The MX-80 bentonite is a reference material for studies in clay barriers. This paper aims to present an investigation of the behaviour of such a material during an infiltration test from the bottom in oedometric conditions. Using dual-energy γ radiation technique, time variations of moisture content are measured at various locations along the clay sample. The transport of water occurring in this experiment can be described by the classical diffusion equation in terms of the Boltzmann variable. A parameter of hydraulic diffusivity is obtained with the Matano's method.Two fluid transport mechanisms govern the phenomena: imbibition of the microporosity in the clay grains and capillary imbibition in the mesoporosity around the grains. The competition between these two mechanisms will be put into relief by modelling the distribution of the water between and inside the bentonite grains. A clogging behaviour of the mesopores during the imbibition process will allow to explain the surprising decrease in hydraulic diffusivity.     

Risk-informed decision-making in the presence of epistemic uncertainty

An important issue in risk analysis is the distinction between epistemic and aleatory uncertainties. In this paper, the use of distinct representation formats for aleatory and epistemic uncertainties is advocated, the latter being modelled by sets of possible values. Modern uncertainty theories based on convex sets of probabilities are known to be instrumental for hybrid representations where aleatory and epistemic components of uncertainty remain distinct. Simple uncertainty representation techniques based on fuzzy intervals and p-boxes are used in practice. This paper outlines a risk analysis methodology from elicitation of knowledge about parameters to decision. It proposes an elicitation methodology where the chosen representation format depends on the nature and the amount of available information. Uncertainty propagation methods then blend Monte Carlo simulation and interval analysis techniques. Nevertheless, results provided by these techniques, often in terms of probability intervals, may be too complex to interpret for a decision-maker and we, therefore, propose to compute a unique indicator of the likelihood of risk, called confidence index. It explicitly accounts for the decision-maker's attitude in the face of ambiguity. This step takes place at the end of the risk analysis process, when no further collection of evidence is possible that might reduce the ambiguity due to epistemic uncertainty. This last feature stands in contrast with the Bayesian methodology, where epistemic uncertainties on input parameters are modelled by single subjective probabilities at the beginning of the risk analysis process.     

Crafting the Compelling User Experience

This article provides an introduction to the usage of software engineering approaches and tools for the design of user experience (UE). This approach was developed for three main reasons: (a) to provide UE design teams a rigorous, methodical, encompassing method that can be applied throughout the entire product development cycle; (b) to provide designers a way to work with abstract concepts to establish the conceptual design of the system before progressing to the realization of the design to the appropriate platform; and (c) to communicate the intended design to the implementation team in a manner that is concise, complete, and familiar. The approach is the application of Unified Modeling Language concepts to describe users and the UE design rather than the technical architecture. It is believed that designing the UE design separately from the technical architecture will help ensure teams deliver a usable and delightful UE. The methods in this article have been applied to a handful of real-world projects in the last year and a half. Thus far, the application of software engineering approaches and tools have been found to be very powerful aids that have enabled the creation of highly useful Web experiences as well as software applications.

Our intent is to address the full gamut of issues involved in creating a total user experience (UE)-from discovery of users needs through high-level and low-level design, ensuring fidelity during development, and deployment, with a full assessment of how well the design meets users' needs. We believe that through a concerted use of such a rigorous approach we can greatly improve not only the UE of products we create, but also the experience of designing and developing them. We are not the only team taking this direction in UE design. It has become clear to many in our field that a more rigorous, thorough, and accurate approach to UE design is not only possible-it is necessary, for many of the same reasons that software engineers long ago embraced such practices. As we are evolving our approaches in other phases, this article focuses on the discovery and design phase activities.     

Treatment of uncertain material interfaces in compressible flows

To treat uncertain interface position is an important issue for complex applications. In this paper, we address the characterization of randomly perturbed interfaces between fluids thanks to stochastic modeling and uncertainty quantification through the 2D Euler system. The perturbed interface is modeled as a random field and represented by a Karhunen–Loève expansion. The stochastic 2D Euler system is solved applying Polynomial Chaos theory through the Intrusive Polynomial Moment Method (IPMM). This stochastic resolution method is fully explained and studied (theoretically and numerically). Stochastic Richtmyer–Meshkov unstable flows are solved and presented for several configurations of the uncertain interface (different rugosities) between the fluids. The probability density functions of the mass density of the fluid in the vicinity of the interface are computed built and compared for the different simulations: the system exhibits strong sensitivity with respect to the stochastic initially leading modes.     

Reconfigurable computing: design methodology and hardware tasks scheduling for real-time image processing

Technology evolution makes possible the integration of heterogeneous components as programmable elements (processors), hardware dedicated blocks, hierarchical memories and buses. Furthermore, an optimized reconfigurable logic core embedded within a System-on-Chip will associate the performances of dedicated architecture and the flexibility of programmable ones. In order to increase performances, some of the applications are carried out in hardware, using dynamically reconfigurable logic, rather than software, using programmable elements. This approach offers a suitable hardware support to design malleable systems able to adapt themselves to a specific application. This article makes a synthesis of the Ardoise project. The first objective of Ardoise project was to design and to produce a dynamically reconfigurable platform based on commercial FPGAs. The concept of dynamically reconfigurable architecture depends partially on new design methodologies elaboration as well as on the programming environment. The platform architecture was designed to be suitable for real-time image processing. The article outlines mainly the Ardoise tools aspect: development environment and real-time management of the hardware tasks. The proposed methodology is based on a dynamic management of tasks according to an application scenario written using C++ language.