Publicaciones

• ART

Hybrid approaches for the two-scenario max-min knapsack problem

Saïd Hanafi, Raïd Mansi, Christophe Wilbaut, Arnaud Fréville

In this paper, we deal with the two-scenario max-min knapsack (MNK) problem. First, we consider several formulations of MNK as a mixed integer programming problem. Then, we propose a hybrid method as an alternative to solve the MNK exactly. The approach combines relaxation technique and the...

International Transactions in Operational Research, 2012, 19, pp.353 - 378. ⟨10.1111/j.1475-3995.2011.00836.x⟩. ⟨hal-03723733⟩

• THESE

Contribution à la formalisation et à l'identification de la stabilité humaine au regard de la sécurité : application aux transports guidés, Contribution to the characterization and identification of human stability in terms of security : application to guided transport

Philippe Richard

Le travail de la thèse propose une contribution originale basée sur le concept de stabilité humaine par l’identification des risques associés dans le cadre de l’évaluation de la sécurité du système. Dans une première partie, les difficultés à prendre en compte les facteurs humains dans les études..., The work of the thesis presents an original contribution based on the concept of human stability by identifying the associated risks as part of the safety system assessment. In a first part, the difficulties to take into account human factors in safety studies are highlighted and definitions of new...

Automatique. Université de Valenciennes et du Hainaut-Cambrésis, 2012. Français. ⟨NNT : 2012VALE0002⟩. ⟨tel-03416367⟩

• ART

Regeneration engineering for improving technical asset life cycle: an application to weapon systems availability assessment

Maxime Monnin, Benoît Iung, Olivier Sénéchal

Today, system availability is a determining factor in system deployment because it must be guaranteed in the operational phase while taking a large part of assets whole life cycle cost (WLCC). Thus, controlling system availability is now a critical issue in systems engineering. This is even more...

International Journal of Strategic Engineering Asset Management, 2012, 1 (1), pp.61-90. ⟨10.1504/IJSEAM.2012.044989⟩. ⟨hal-00659500⟩

• COMM

Graphical Controls Based Environment for User Interface Evaluation

Selem Charfi, Abdelwaheb Trabelsi, Houcine Ezzedine, Christophe Kolski

For more than two decades, the HCI community has elaborated numerous tools for user interface evaluation. Although the related tools are wide, the evaluation remains a difficult task. This paper presents a new approach for user interface evaluation. The proposed evaluation process focuses on...

4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.360-367, ⟨10.1007/978-3-642-34347-6_28⟩. ⟨hal-01556809⟩

• ART

Finite element modelling of orthogonal cutting: sensitivity analysis of material and contact parameters

Michel Watremez, Damien Méresse, Laurent Dubar, Julien Brocail

This paper presents a finite element model of orthogonal cutting developed with Abaqus/explicit software. An Arbitrary Lagrangian-Eulerian (ALE) formulation is used to predict chip formation, temperature, chip-tool contact length, chip thickness, and cutting forces. This numerical model makes...

International Journal of Simulation and Process Modelling, 2012, 7 (4), pp.262. ⟨10.1504/IJSPM.2012.049820⟩. ⟨hal-02372529⟩

• COMM

Dynamic slack reclamation strategy for multiprocessor systems

Imen Mhedhbi, Rabie Ben Atitallah, Abderrazak Jemai

Emerging trends in applications with the requirement of considerable computational performance and decreasing time-to-market have urged the need of multiprocessor systems. With the increase in number of processor there is an increased demand to efficiently control the energy and power budget of...

Electrotechnical Conference (MELECON), 2012 16th IEEE Mediterranean, Mar 2012, Hammamet, Tunisia. pp.979 -984, ⟨10.1109/MELCON.2012.6196591⟩. ⟨hal-00699824⟩

• ART

Iterative semi-continuous relaxation heuristics for the multiple-choice multidimensional knapsack problem

Igor Crevits, Saïd Hanafi, Raïd Mansi, Christophe Wilbaut

Recently several hybrid methods combining exact algorithms and heuristics have been proposed for solving hard combinatorial optimization problems. In this paper, we propose new iterative relaxation-based heuristics for the 0-1 Mixed Integer Programming problem (0-1 MIP), which generate a sequence...

Computers and Operations Research, 2012, 39, pp.32 - 41. ⟨10.1016/j.cor.2010.12.016⟩. ⟨hal-03723740⟩

• COMM

Experiment for tyre vertical forces estimation on the accelerated loading facility equipement

Hocine Imine, Mohamed Djemai, Omar Khemoudj, Anthony Germanchev

In this paper, an experiment for vehicle forces estimation is presented. The purpose of this experiment is to provide understanding and validation for future experiments on a heavy duty vehicle. The main points discussed in this paper concern the study of evaluating the wheel vehicle forces using...

HVTT 12th International Symposium on Heavy Vehicle Transportation Technology, Sep 2012, France. 13p. ⟨hal-00877046⟩

• COMM

Integration of B activity into a global design process of critical software

Philippe Bon, Simon Collart-Dutilleul, Dorian Petit

Transport Research Arena Europe 2012, Apr 2012, Athens, Greece. pp.CDROM. ⟨hal-00838060⟩

• COMM

Relation between Exponential Stability and Input-to-State Stability of Time-Delay Systems

Nader Yeganefar, Nima Yeganefar, Michel Dambrine

The main contribution of this paper is to establish a link between the exponential stability of an unforced system and the Input-to-State Stability (ISS) via the Lyapunov- Krasovskii methodology. A new theorem is provided, which proves that an unforced system whose trivial solution is exponentially...

American Control Conference, 2007. ACC '07, Jul 2007, New York, NY, United States. pp.4919-4920, ⟨10.1109/ACC.2007.4282609⟩. ⟨hal-01299103⟩