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.     

GPELab,a Matlab toolbox to solve Gross–Pitaevskii equations I: Computation of stationary solutions

This paper presents GPELab (Gross–Pitaevskii Equation Laboratory), an advanced easy-to-use and flexible Matlab toolbox for numerically simulating many complex physics situations related to Bose–Einstein condensation. The model equation that GPELab solves is the Gross–Pitaevskii equation. The aim of this first part is to present the physical problems and the robust and accurate numerical schemes that are implemented for computing stationary solutions, to show a few computational examples and to explain how the basic GPELab functions work. Problems that can be solved include: 1d, 2d and 3d situations, general potentials, large classes of local and nonlocal nonlinearities, multi-components problems, and fast rotating gases. The toolbox is developed in such a way that other physics applications that require the numerical solution of general Schrödinger-type equations can be considered.     

Robust backstepping for the Euler approximate model of sampled-data strict-feedback systems

Stabilization of uncertain sampled-data strict-feedback systems is addressed. The stability study is carried out on the Euler approximation of the exact discretized model of the plant. Firstly, a class of state-feedback controllers is developed that guarantees an input-to-state stability property for the closed-loop system. Additionally, assuming some hypotheses on the uncertain terms hold, a practical asymptotic stability property is ensured by designing an appropriate class of controllers.     

Real-time retrieval for case-based reasoning in interactive multiagent-based simulations

The aim of this paper is to present the principles and results about case-based reasoning adapted to real-time interactive simulations, more precisely concerning retrieval mechanisms. The article begins by introducing the constraints involved in interactive multiagent-based simulations. The second section presents a framework stemming from case-based reasoning by autonomous agents. Each agent uses a case base of local situations and, from this base, it can choose an action in order to interact with other autonomous agents or users’ avatars. We illustrate this framework with an example dedicated to the study of dynamic situations in football. We then go on to address the difficulties of conducting such simulations in real-time and propose a model for case and for case base. Using generic agents and adequate case base structure associated with a dedicated recall algorithm, we improve retrieval performance under time pressure compared to classic CBR techniques. We present some results relating to the performance of this solution. The article concludes by outlining future development of our project.     

Values of the mass transfer coefficient of the linear driving force model for VOC adsorption on activated carbons

Modelling of activated carbon cartridges is essential in personal protective equipments against toxic gases in order to know the duration of protection. The linear driving force model seems to be more adapted than the actual Wheeler–Jonas model because it has more physical significance. The difficulty is that the mass transfer coefficient can not be calculated a priori. Values of the LDF mass transfer coefficient are disseminated in the literature and thus there is no overview of the range and variations with different adsorbents, adsorbates and concentrations. The object of this paper is thus twofold: obtaining values of the mass transfer coefficient at different concentrations and adsorbates in order to have a comprehensive view of variations and appreciating the validity of the LDF constant pattern model.     

Influence of Host-Plant Surface Chemicals on the Oviposition of the Cereal Stemborer Busseola Fusca

The chemical composition of plant surfaces plays a role in selection of host plants by herbivorous insects. Once the insect reaches the plant, these cues determine host acceptance. Laboratory studies have shown that the stem borer Busseola fusca (Lepidoptera: Noctuidae), an important pest of sorghum and maize in sub-Saharan Africa, is able to differentiate between host and non-host plant species. However, no information is available on the cues used by this insect to seek and accept the host plant. Thus, the role of surface phytochemical stimuli on host selection and oviposition by B. fusca was studied in the laboratory using two host plants, sorghum, Sorghum bicolor, and maize, Zea mays, and one non-host plant, Napier grass, Pennisetum purpureum. The numbers of eggs and egg masses deposited on the three plant species were compared first under no-choice and choice conditions. In both cases, more eggs and egg masses were laid on maize and sorghum than on the non-host. Artificial surrogate stems treated with a water or chloroform surface extract of each plant were then compared with surrogate stems treated with, respectively, water or chloroform as controls, under similar conditions. Surrogate stems treated with plant water extracts did not show an increase in oviposition when compared to controls, indicating that the major compounds in these extracts, i.e., simple sugars and free amino acids, are not significantly responsible for the oviposition preference. By contrast, a chloroform extract of sorghum enhanced oviposition on the surrogate stems compared to the control, while those of maize and Napier grass showed no significant effects. Analysis of the chloroform extract of sorghum showed higher amounts of α-amyrin, ß-amyrin, and n-nonacosane compared to those of maize and Napier grass. A blend of the three chemicals significantly increased oviposition compared to the chloroform-treated control, indicating that these compounds are part of the surface chemical signature of the plant responsible for host recognition and oviposition by B. fusca.     

Structural Analysis of Partial and Total Esters of Glycerol Undecenoate and Diglycerol Undecenoate

The direct esterification reaction between glycerol and undecylenic acid or between diglycerol and undecylenic acid generates all the possible types of glycerol or diglycerol esters. Purification by silica gel chromatography resulted in the isolation of each of these types of ester in a pure form. The molecular structures of the compounds isolated were characterized and identified by mass spectrometry, ¹H NMR, ¹³C NMR and DEPT‐135. We then studied the composition of esters of undecylenic acid formed with glycerol or diglycerol as a function of their reaction conditions, which constitute a highly complex system. We purified undecylenic acid esters from each polyol family to allow the structural identification of each ester of glycerol and each ester of diglycerol with undecylenic acid. We found that the polarity of these non‐ionic amphiphilic esters directly affected their affinity for organic and inorganic solvents and that these esters behaved very differently from anionic amphiphilic molecules, such as undecylenic acid.     

The effect of copolymer composition on the surface properties of perfluoroalkylethyl acrylates

The surface properties of two perfluoroalkylethyl acrylic copolymers—aqueous, Zonyl^®329 and solvent‐based, Zonyl^®225—were studied. Zonyl^®329 is a water‐based dispersion and Zonyl^®225 a solvent‐based copolymer solution; both polymers have the same perfluoroalkyethyl side chains [F(CF₂)_nCH₂CH₂? ] but have different comonomer compositions. Thin films, prepared by dip coating onto mica and quartz, with and without annealing, were characterized by contact angle and by X‐ray photoelectron spectroscopy (XPS). The contact angle measurements showed little variation with polymer and with substrate, consistent with the supposition that the perfluoroalkylethyl chains aggregate on the surface and thus dominate surface properties, irrespective of the composition of the rest of the polymer. XPS revealed only small variations in surface chemistry for studied films. Annealed films showed improved segregation for solvent‐based Zonyl^®225, which has both hydrocarbon alkyl and perfluoroalkylethyl side chains; the presence of hydrocarbon alkyl chains enables the perfluoroalkylethyl chains to reorganize after annealing. Depending on the external conditions, this thermal treatment can enable more perfluoroalkylethyl chains to reach the film surface (solid/air interface), leading to a reduction in the dispersive‐dominant surface and enhancement in perfluoroalkylethyl segregation. This suggested that perfluoroalkylethyl side chains dominate the surface properties, which are thus not dependent on substrate, backbone composition, or formulation. © 2009 Wiley Periodicals, Inc. J Appl Polym Sci, 2009