Publications

• Article dans une revue

Sufficient conditions for uniform exponential stability and h -stability of some classes of dynamic equations on arbitrary time scales

Bacem Ben Nasser, Khaled Boukerrioua, Michael Defoort, Mohamed Djemai, Mohamed Ali Hammami, Taous-Meriem Laleg-Kirati

This paper investigates the exponential stability and -stability problems of some classes of nonlinear systems. First, we analyze the global uniform exponential stability for a class of integro-differential equations on time scales. We also derive some sufficient conditions for stability using an…

Nonlinear Analysis: Hybrid Systems, 2019, 32, pp.54-64. ⟨10.1016/j.nahs.2018.10.009⟩. ⟨hal-03644208⟩

• Article dans une revue

Astor: Exploring the design space of generate-and-validate program repair beyond GenProg

Matias Martinez, Martin Monperrus

This article contributes to defining the design space of program repair. Repair approaches can be loosely characterized according to the main design philosophy, in particular “generate- and-validate” and synthesis-based approaches. Each of those repair approaches is a point in the design space of…

Journal of Systems and Software, 2019, 151, pp.65-80. ⟨10.1016/j.jss.2019.01.069⟩. ⟨hal-03574624⟩

• Article dans une revue

A numerical analysis of the risk of rib fractures during blunt ballistic impacts on a human thorax

Anthony Bracq, Christophe Maréchal, Rémi Delille, Benjamin Bourel, Franck Lauro, Sébastien Roth, Olivier Mauzac

Computer Methods in Biomechanics and Biomedical Engineering, 2019, 22 (sup1), pp.S248-S250. ⟨10.1080/10255842.2020.1714258⟩. ⟨hal-03442336⟩

• Article dans une revue

Reconstruction of a CAD model from the deformed mesh using B-spline surfaces

Aicha Ben Makhlouf, Borhen Louhichi, Mohamed Ali Mahjoub, Dominique Deneux

For several years, researchers have focused on Reverse Engineering techniques, which generate the geometric model of an object from a point set, a mesh, a triangulation, etc. These data are provided by 3D scanners, three-dimensional Coordinate Measuring Machines, finite elements results, deformed…

International Journal of Computer Integrated Manufacturing, 2019, 32 (7), pp.669-681. ⟨10.1080/0951192X.2019.1599442⟩. ⟨hal-03426629⟩

• Article dans une revue

EasySched : une architecture multi-agent pour l'ordonnancement prédictif et réactif de systèmes de production de biens en fonction de l'énergie renouvelable disponible dans un contexte industrie 4.0, EasySched: a multi-agent architecture for the predictive and reactive scheduling of Industry 4.0 production systems based on the available renewable energy

Maroua Nouiri, Damien Trentesaux, Abdelghani Bekrar

L'industrie 4.0 s'accompagne de la prise en compte de contraintes de développement durable. Dans ce contexte, nous proposons une architecture multi-agent pour l'ordonnancement prédictif et réactif coordonné entre des systèmes de production de biens et des systèmes de production d…, Industry 4.0 is concerned with sustainable development constraints. In this context, we propose a multi-agent architecture, named EasySched, aiming at elaborating predictive and reactive scheduling as the result of a coordination between systems producing goods and systems producing renewable…

Génie industriel et productique, 2019, 2 (1), ⟨10.21494/ISTE.OP.2019.0375⟩. ⟨hal-02107556⟩

• Article dans une revue

Theoretical and numerical study of Couette‐Taylor flow with an axial flow using lattice Boltzmann method

Insaf Mehrez, Ramla Gheith, Fethi Aloui, Sassi Ben Nasrallah

In this study, the numerical models for swirling flows developed by Li et al and Zhou for lattice Boltzmann method (LBM) are chosen. These models were firstly validated using the Couette-Taylor flow between two concentric cylinders simulations. Numerical results showed the efficiency of the Zhou…

International Journal for Numerical Methods in Fluids, 2019, 90 (9), pp.427-441. ⟨10.1002/fld.4727⟩. ⟨hal-03612765⟩

• Article dans une revue

The role of hydrogen in the nitriding of anatase TiO2 films in the N2-H2 microwave afterglows

Seol Ryu, Yunfei Wang, André Ricard, Jean-Philippe Sarrette, Ansoon Kim, Yu Kwon Kim

Nitriding in the afterglows can be beneficial in the surface-selective nitridation of oxide materials for the control of surface defects or active sites in electronic devices or catalysts. Here we introduce our results on the nitriding of anatase TiO 2 films in the afterglows of N 2 -H 2 microwave…

Surface and Coatings Technology, 2019, 364, pp.341-346. ⟨10.1016/j.surfcoat.2019.03.011⟩. ⟨hal-02555216⟩

• Article dans une revue

Rib fractures prediction method for kinetic energy projectile impact: from blunt ballistic experiments on SEBS gel to impact modeling on a human torso FE model

Anthony Bracq, Rémi Delille, Christophe Maréchal, Benjamin Bourel, S. Roth, Olivier Mauzac

The present paper aims to assess the risk of rib fractures caused by any rigid less-lethal kinetic energy projectiles. To that end, a coupled experimental and numerical approach is proposed to relate ballistic experiments with the risk of blunt trauma. A polymer gel block is employed as ballistic…

Forensic Science International, 2019, 297, pp.177-183. ⟨10.1016/j.forsciint.2019.02.007⟩. ⟨hal-03516418⟩

• Article dans une revue

Optical measurements of temperature fields in sooting flames: influence of soot self-absorption

Qianlong Wang, Guillaume Legros, Céline Morin, Mingfa Yao, Weiwei Cai, Liqiao Jiang

Regular pyrometry techniques have been extensively used to infer the temperature field in sooting flames from soot luminosity. However, correction for soot self-absorption along the line-of-sight needs to be considered. The original contribution of the present paper is to assess both numerical and…

Applied Physics B - Laser and Optics, 2019, 125 (4), pp.63. ⟨10.1007/s00340-019-7179-y⟩. ⟨hal-02127714⟩

• Article dans une revue

Effective dynamic selection of smart products scheduling rules in FMS

Wassim Bouazza, Djamila Hamdadou, Yves Sallez, Damien Trentesaux

The present paper addresses the dynamic scheduling problem of smart products in a Flexible Manufacturing System (FMS). Unrelated machines, multiple product families, operation setups and dynamic job arrivals are considered. The goal is to propose a dynamic selection of smart products scheduling…

Manufacturing Letters, 2019, 20, pp.45-48. ⟨10.1016/j.mfglet.2019.05.004⟩. ⟨hal-03426415⟩