Operational semantics of a domain specific language for real time musician–computer interaction

With the advent and availability of powerful personal computing, the computer music research and industry have been focusing on real-time musical interactions between musicians and computers; delegating human-like actions to computers who interact with a musical environment. One common use-case of this kind is Automatic Accompaniment where the system is comprised of a real-time machine listening system that in reaction to recognition of events in a score from a human performer, launches necessary actions for the accompaniment section. While the real-time detection of score events out of live musicians’ performance has been widely addressed in the literature, score accompaniment (or the reactive part of the process) has been rarely discussed. This paper deals with this missing component in the literature from a formal language perspective. We show how language considerations would enable better authoring of time and interaction during programming/composing and how it addresses critical aspects of a musical performance (such as errors) in real-time. We sketch the real-time features required by automatic musical accompaniment seen as a reactive system. We formalize the timing strategies for musical events taking into account the various temporal scales used in music. Various strategies for the handling of synchronization constraints and the handling of errors are presented. We give a formal semantics to model the possible behaviors of the system in terms of Parametric Timed Automata.     

An X-ray Diffraction Method to Improve Fatigue Fracture Surface Analysis

When in-service failure occurs, it is important to determine the causes of failure. To get a good knowledge of in-service loading, the Authors decided to study fatigue fracture surfaces to obtain this information. The ideal method is the one that permits the determination of maximum stress intensity factor and the load ratio from a fracture analysis. In a previous study, authors have applied a method based on the determination of the areal coverage of significant fractographic features on the fracture surface. Due to limits of this method, authors decided to add another technique based on X-ray diffraction measurements.     

Two-step water splitting thermochemical cycle based on iron oxide redox pair for solar hydrogen production

This study deals with solar hydrogen production from the two-step iron oxide thermochemical cycle (Fe₃O₄/FeO). This cycle involves the endothermic solar-driven reduction of the metal oxide (magnetite) at high temperature followed by the exothermic steam hydrolysis of the reduced metal oxide (wustite) for hydrogen generation. Thermodynamic and experimental investigations have been performed to quantify the performances of this cycle for hydrogen production. High-temperature decomposition reaction (metal oxide reduction) was performed in a solar reactor set at the focus of a laboratory-scale solar furnace. The operating conditions for obtaining the complete reduction of magnetite into wustite were defined. An inert atmosphere is required to prevent re-oxidation of Fe(II) oxide during quenching. The water-splitting reaction with iron(II) oxide producing hydrogen was studied to determine the chemical kinetics, and the influence of temperature and particles size on the chemical conversion. A conversion of 83% was obtained for the hydrolysis reaction of non-stoichiometric solar wustite Fe_(1−y)O at 575 °C.     

A decision-oriented model to evaluate the effect of land use and agricultural management on herbicide contamination in stream water

Modelling stream water pollution by herbicides in agricultural areas is a critical issue since numerous and incompletely known processes are involved. A decision-oriented model, SACADEAU-Transf, which represents water and pesticide transfer in medium-sized catchments (10–50 km²) is presented. This model aims at evaluating the effect of land use, agricultural practice and landscape on the contamination of stream water in rural catchments. The processes are represented in an easily understandable way with a moderate amount of information, producing semi-quantitative and spatialized outputs. Modelling focuses on the first few months after herbicide application when high levels of contamination are generally observed, by considering transfer through the catchment area via surface and subsurface flow. The surface flow, based on a tree plot network representation of the catchment, is controlled by soil-surface properties and saturated conditions. The subsurface flow based on Topmodel concepts is controlled by the topography. Herbicide transfer is coupled to water transfer by taking into account the main characteristics of the chemicals. The model simulates the daily water and herbicide outflow at the outlets of the farmers' fields as well as from the catchment. Preliminary results on maize herbicide transfer are presented for an agricultural catchment with an area of 17 km² located in north-western France. The relevance of SACADEAU-Transf model is discussed in view of the qualities required for the decision-oriented models developed for improving agro-environmental management.     

Modeling the short-circuit current density of polymer solar cells based on P3HT:PCBM blend

We have investigated the short-circuit current density of organic solar cells based on poly (3-hexylthiophene)(P3HT)/6,6-phenyl C61-butyric acid methyl ester (PCBM) blend. In order to model charge collection efficiencies with respect to short circuit density in such blends, a full optical modeling of the cell is performed. From the distribution of the electromagnetic field, we compute the rate of exciton generation. This exciton generation rate is used as input in the transport equations of holes and electrons. Charge densities at steady state are obtained as solutions are used for computing short-circuit current densities generated in the cell. The dependence of short-circuit current densities versus the thickness of the blend is analyzed and compared with our experimental data and with data extracted from the literature.     

Connecting Knowledge Compilation Classes Width Parameters

Theory of Computing Systems - The field of knowledge compilation establishes the tractability of many tasks by studying how to compile them to Boolean circuit classes obeying some requirements such...     

Experimental study of the start-up of a fuel cell stack for backup power application

The transient response of proton exchange membrane fuel cells during start-up is an important issue for backup power systems which require a very short start-up time in order to limit the use of batteries during a blackout. The start-up procedure of a ten cells stack was studied: in the first stage the cathode channel initially filled with nitrogen was supplied with oxygen in open circuit then in the second stage it was connected to the load. The influences of the current time-profile (step or ramp), the cell voltage at the connection and the gas flow rates on the voltage variation were investigated. It was found that the voltage value during the filling of the cathode is not sufficient to determine which fraction of the cathode was filled with oxygen. In most cases, high oxygen flow rates allow reducing the start-up time of the stack. Furthermore, for fixed current density and stoichiometric coefficients it was found that a minimum start-up time exits. The analysis of transient response to current steps showed that around 70% of the maximum electrical power was available less than 2 s after the beginning of the start-up procedure.     

Finite element simulation of interfacial segregation in dilute alloys

The finite element software Comsol is used to simulate surface or grain boundary segregation in dilute alloys. The model computes simultaneously the evolution of interfacial concentration and diffusion in the bulk. The solute exchange between bulk and interface is governed by Darken’s equation. The model is able to reproduce thermodynamic and kinetic aspects of the phenomenon, in particular the saturation segregation level and the short-time segregation kinetics expressed by the McLean approximation. It is also able to reproduce experimental trends in the case of surface segregation of sulphur in a Ni superalloy. In the case of the grain boundary segregation of impurities (P or S) in engineering alloys, the present approach provides a practical tool, as it can be coupled to other finite element simulations (heat transfer and/or mechanics). Thus, it becomes possible to predict the risk of synergetic segregation and thermomechanical damage during service or processing (forging, welding,...).