Modelling and predicting partial orders from pairwise belief functions

In this paper, we introduce a generic way to represent and manipulate pairwise information about partial orders (representing rankings, preferences, ...) with belief functions. We provide generic and practical tools to make inferences from this pairwise information and illustrate their use on the machine learning problems that are label ranking and multi-label prediction. Our approach differs from most other quantitative approaches handling complete or partial orders, in the sense that partial orders are here considered as primary objects and not as incomplete specifications of ideal but unknown complete orders.     

Intergranular Oxidation of Nickel-Base Alloys: Potentialities of Focused Ion Beam Tomography

Oxidation of Metals - The present work focuses on the intergranular oxidation of Alloy 600 and its weld material Alloy 82 after exposure in simulated primary water at 340–360 °C...     

Behavior of Boron in Molten Aluminum and its Grain Refinement Mechanism

The mechanism of heterogeneous grain refining of aluminum by ultrafine elemental boron particles was investigated. In order to facilitate the observation of the boron-aluminum interface, a boron filament was introduced in a melt at 1013 K (740 °C) containing different levels of Ti. The Al/B interface was studied using transmission electron microscopy and different phases were identified using the electron diffraction method. The experimental results showed that boron is dissolved in pure aluminum while its dissolution is inhibited in presence of titanium solute. A thin layer of TiB₂ formed at the surface of boron thickens with residence time in the melt. The mechanisms by which aluminum is crystallized on boron are discussed.     

Microstructural characterization of creep anisotropy at 673 K in the M5® alloy

Zirconium alloy tubing is used in pressurized water nuclear reactors in order to prevent fissile material from leaking into the coolant. It can be the first safety wall of nuclear fuel, and is submitted to complex thermomechanical loadings. In consequence, new Nb-modified alloys, such as the M5® alloy, and fine numerical models are being developed to guarantee a better and longer mechanical integrity of these tubes. To identify the physical mechanisms that could be considered in such models, an experimental approach, combining creep tests with electron backscattered diffraction and Transmission electron microscopy investigations, was carried out.Tubular specimens were submitted to multiaxial creep tests at a temperature of 673 K. Seven ratios between the axial and hoop applied stresses were investigated. It enabled a macroscopic evidence of the creep anisotropy. Besides, EBSD analyses on a mesoscopic-sized non deformed area led to the characterization of the variation of the average Schmid factor with the direction of loading. Finally, TEM observations were done on seven crept samples, corresponding to the seven directions of loading tested mechanically. The variations of the different parameters investigated (activated slip systems, dislocation densities, curvatures of the dislocations) can be seen as the effects of the creep anisotropy at a microscopic scale. The correlation between results is then discussed in a multiscale frame.     

Motorcyclists’ speed and “looked-but-failed-to-see” accidents

Previous research on motorcycle crashes has shown the frequency and severity of accidents in which a non-priority road user failed to give way to an approaching motorcyclist without seeing him/her, even though the road user had looked in the approaching motorcycle's direction and the motorcycle was visible. These accidents are usually called “looked-but-failed-to-see” (LBFS) accidents. This article deals with the effects that the motorcyclist's speed has in these accidents. It is based on the in-depth study and precise kinematic reconstruction of 44 accident cases involving a motorcyclist and another road user, all occurring in intersections. The results show that, in urban environments, the initial speeds of motorcyclists involved in “looked-but-failed-to-see” accidents are significantly higher than in other accidents at intersections. In rural environments, the difference in speed between LBFS accidents and other accidents is not significant, but further investigations would be necessary to draw any conclusions. These results suggest that speed management, through road design or by other means, could contribute to preventing “looked-but-failed-to-see” motorcycle accidents, at least in urban environments.     

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

We propose algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially deadlocking and deadlock free controlled systems. The termination of the algorithms solving these problems is ensured using abstract interpretation techniques which provide an overapproximation of the transitions to disable. We then extend our algorithms to controllers with memory and to online controllers. We also propose improvements in the synthesis of controllers in the finite case which, to our knowledge, provide more permissive solutions than what was previously proposed in the literature. Our tool SMACS gives an empirical validation of our methods by showing their feasibility, usability and efficiency.