How to learn from the resilience of Human–Machine Systems?

This paper proposes a functional architecture to learn from resilience. First, it defines the concept of resilience applied to Human–Machine System (HMS) in terms of safety management for perturbations and proposes some indicators to assess this resilience. Local and global indicators for evaluating human–machine resilience are used for several criteria. A multi-criteria resilience approach is then developed in order to monitor the evolution of local and global resilience. The resilience indicators are the possible inputs of a learning system that is capable of producing several outputs, such as predictions of the possible evolutions of the system's resilience and possible alternatives for human operators to control resilience. Our system has a feedback–feedforward architecture and is capable of learning from the resilience indicators. A practical example is explained in detail to illustrate the feasibility of such prediction.     

Mini-maximizing two qubit quantum computations

Two qubit quantum computations are viewed as two player, strictly competitive games and a game-theoretic measure of optimality of these computations is developed. To this end, the geometry of Hilbert space of quantum computations is used to establish the equivalence of game-theoretic solution concepts of Nash equilibrium and mini-max outcomes in games of this type, and quantum mechanisms are designed for realizing these mini-max outcomes.     

Weighted argument systems: Basic definitions, algorithms, and complexity results

We introduce and investigate a natural extension of Dung's well-known model of argument systems in which attacks are associated with a weight, indicating the relative strength of the attack. A key concept in our framework is the notion of an inconsistency budget, which characterises how much inconsistency we are prepared to tolerate: given an inconsistency budget β, we would be prepared to disregard attacks up to a total weight of β. The key advantage of this approach is that it permits a much finer grained level of analysis of argument systems than unweighted systems, and gives useful solutions when conventional (unweighted) argument systems have none. We begin by reviewing Dung's abstract argument systems, and motivating weights on attacks (as opposed to the alternative possibility, which is to attach weights to arguments). We then present the framework of weighted argument systems. We investigate solutions for weighted argument systems and the complexity of computing such solutions, focussing in particular on weighted variations of grounded extensions. Finally, we relate our work to the most relevant examples of argumentation frameworks that incorporate strengths.     

Friction model for friction stir welding process simulation: Calibrations from welding experiments

The accurate 3D finite element simulation of the Friction Stir Welding (FSW) process requires a proper knowledge of both material and interface behaviors, but friction, the key phenomenon of this process, is quite difficult to model and identify. According to the extreme encountered conditions and the highly coupled nature of the material flow, simple tribological tests are not representative enough, so the welding process itself has been utilized in most analyses of the literature, although its complexity has led to use simplified numerical models and approaches. The recent development of more accurate 3D simulation software, which allows modeling the entire complexity of the FSW process, makes it possible to follow a much more rigorous inverse analysis (or calibration) approach. FSW trials are conducted on an Al 6061 aluminum plate with an unthreaded concave tool. Forces and tool temperatures are accurately recorded at steady welding state, for different welding speeds. The numerical simulations are based on an Arbitrary Lagrangian Eulerian (ALE) formulation that has been implemented in the Forge3^® F.E. software. The main feature of the numerical approach is to accurately compute the contact and frictional surface between the plate and the tool. A first study using Norton's friction model show the great sensitivity of welding forces and tool temperatures to friction coefficients, the need to take into account the changes brought to the contact surface by slight friction variations (thanks to the ALE formulation), the possibility to get very accurate calibrations on forces, and the impossibility to properly render the tool temperature profile. On the other hand, the use of Coulomb's friction model allows obtaining realistic temperature profiles and so calibrating a friction coefficient that offers an excellent agreement with experiments, on forces as much as on tool temperatures, for various welding speeds.     

Reconstruction and quantification of the carotid artery bifurcation from 3-D ultrasound images

Three-dimensional (3-D) ultrasound is a relatively new technique, which is well suited to imaging superficial blood vessels, and potentially provides a useful, noninvasive method for generating anatomically realistic 3-D models of the peripheral vasculature. Such models are essential for accurate simulation of blood flow using computational fluid dynamics (CFD), but may also be used to quantify atherosclerotic plaque more comprehensively than routine clinical methods. In this paper, we present a spline-based method for reconstructing the normal and diseased carotid artery bifurcation from images acquired using a freehand 3-D ultrasound system. The vessel wall (intima-media interface) and lumen surfaces are represented by a geometric model defined using smoothing splines. Using this coupled wall-lumen model, we demonstrate how plaque may be analyzed automatically to provide a comprehensive set of quantitative measures of size and shape, including established clinical measures, such as degree of (diameter) stenosis. The geometric accuracy of 3-D ultrasound reconstruction is assessed using pulsatile phantoms of the carotid bifurcation, and we conclude by demonstrating the in vivo application of the algorithms outlined to 3-D ultrasound scans from a series of patient carotid arteries.     

Interactive simulation of needle insertion models

A novel interactive virtual needle insertion simulation is presented. The simulation models are based on measured planar tissue deformations and needle insertion forces. Since the force-displacement relationship is only of interest along the needle shaft, a condensation technique is shown to reduce the computational complexity of linear simulation models significantly. As the needle penetrates or is withdrawn from the tissue model, the boundary conditions that determine the tissue and needle motion change. Boundary condition and local material coordinate changes are facilitated by fast low-rank matrix updates. A large-strain elastic needle model is coupled to the tissue models to account for needle deflection and bending during simulated insertion. A haptic environment, based on these novel interactive simulation techniques, allows users to manipulate a three-degree-of-freedom virtual needle as it penetrates virtual tissue models, while experiencing steering torques and lateral needle forces through a planar haptic interface.