Publications

Type of document

Keywords

Author

Of

At

Affichage de 5011 à 5020 sur 5542

Article dans une revue

Non-quadratic stabilization conditions for a class of uncertain non linear discrete-time T-S fuzzy models: a new approach

Alexandre Kruszewski, R. Wang, Thierry-Marie Guerra

The discrete-time uncertain nonlinear models are considered in a Takagi-Sugeno form and their stabilization is studied through a non- quadratic Lyapunov function. The classical conditions consider a one- sample variation, here, the main results are obtained considering k samples variation, i.e.,…

IEEE Transactions on Automatic Control, 2008, 53 (2), pp.606-611. ⟨10.1109/TAC.2007.914278⟩. ⟨hal-00519432⟩

Article dans une revue

Scatter Search for the 0–1 Multidimensional Knapsack Problem

Saïd Hanafi, Christophe Wilbaut

The evolutionary metaheuristic called scatter search has been applied successfully to optimization problems for several years. In this paper, we apply the scatter search technique to the well-known 0-1 multidimensional knapsack problem. We propose a new relaxation-based diversification generator,…

Journal of Mathematical Modelling and Algorithms, 2008, 7, pp.143 - 159. ⟨10.1007/s10852-008-9078-9⟩. ⟨hal-03723754⟩

Communication dans un congrès

AMANDA V3: Toward a Common Workspace between Air Traffic Controllers

David Annebicque, Serge Debernard, Thierry Poulain, Igor Crevits

This paper presents the different tools developed in the LAMIH, in optics to assist air traffic controllers in their tasks, to decrease their workloads, and to enable them to support the ceaseless increase of the traffic. Common philosophy to all these tools is to preserve the controllers in the…

First International Conference on Advances in Computer-Human Interaction, Feb 2008, Sainte Luce, France. pp.212-217. ⟨hal-02112923⟩

Article dans une revue

New convergent heuristics for 0–1 mixed integer programming

Christophe Wilbaut, Said Hanafi

Several hybrid methods have recently been proposed for solving 0-1 mixed integer programming problems. Some of these methods are based on the complete exploration of small neighborhoods. In this paper, we present several convergent algorithms that solve a series of small sub-problems generated by…

European Journal of Operational Research, 2008, 195, pp.62 - 74. ⟨10.1016/j.ejor.2008.01.044⟩. ⟨hal-03723751⟩

Thèse

Heuristiques pour un Problème de m-Tournées Sélectives

Mahdi Khemakhem

Cette thèse aborde un problème de transport appelé le Problème de m-Tournées Sélectives (PmTS) ou ”Team Orienteering Problem” en anglais. Le PmTS consiste à construire m tournées pour une flotte de véhicules afin de desservir un sous-ensemble sélectionné de clients. Dans le PmTS un service est…, This thesis is devoted to a transportation problem called “the Selective Vehicle Routing Problem” or “the Team Orienteering Problem” TOP. The TOP consists of determining m tours for a fleet of vehicles over a subset of customers. Here, the vehicle capacity is not taken into account since services…

Modélisation et simulation. Université de Valenciennes et du Hainaut-Cambresis, 2008. Français. ⟨NNT : ⟩. ⟨tel-00440494⟩

Article dans une revue

The Safe-SADT method for aiding designers to choose and improve dependable architectures for complex automated systems

Vincent Benard, Laurent Cauffriez, Dominique Renaux

Dependability evaluation is crucial to controlling the risks associated with system failure, and for this reason, it is one of the fundamental steps in automated system design. However, the dependability evaluation methods that are currently exploited are not appropriate, given the level of…

Reliability Engineering and System Safety, 2008, 93 (2), pp.179-196. ⟨10.1016/j.ress.2006.12.020⟩. ⟨hal-00289481⟩

Communication dans un congrès

Towards an assistance for selecting methods and models for interactive software design or re-engineering within complex organisation: Application case of a CPOE software

Stéphanie Bernonville, Christophe Kolski, Marie-Catherine Beuscart-Zephir

The hospital activities display all of the characteristics of a very complex sociotechnic organisation. Consequently, the design of Computerized Physician Order Entry (CPOE) softwares which support this type of activity is very difficult. The Study of the procedure of these projects shows…

Second IEEE International Conference on Digital Information Management, Oct 2007, Lyon, France. pp.597-602, ⟨10.1109/ICDIM.2007.4444290⟩. ⟨hal-03451215⟩

Communication dans un congrès

Dynamic model for assessing impact of regeneration actions on system availability: application to weapon systems

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

Availability is a determining factor in systems characterization. Because military systems must act in a hostile environment, they are particularly vulnerable in situations of unavailability. Military weapon systems can become unavailable due to system failures or damage to the system; in both…

54th Annual Reliability and Maintainability Symposium, RAMS 2008, Jan 2008, Las Vegas, Nevada, United States. pp.CDROM. ⟨hal-00312774⟩

Thèse

Contribution à la caractérisation d'alliages métalliques à faible ductilité après re-fusion et solidification in situ, Contribution to the characterization of metal alloys with low ductility after re-melting and solidification in situ

Olivier Péniguet

Dans le domaine de l ‘élaboration par coulée des alliages métalliques, le recours aux nouvelles technologies visant à améliorer la productivité s’accompagne généralement d’une augmentation de l’occurrence de défauts structuraux, le plus souvent liés au refroidissement depuis l’état liquide. L’…, In the field of metallic alloys melting processing, the use of new technologies aiming at improving productivity generally increases structural defects occurrences, which are often related to the cooling from liquid state. Identification and prediction of those defects, mainly internal or…

Génie mécanique [physics.class-ph]. Université de Valenciennes et du Hainaut-Cambrésis, 2008. Français. ⟨NNT : 2008VALE0003⟩. ⟨tel-03002113⟩

Article dans une revue

A 3D analysis of fore and hindlimb motion during locomotion: comparison of overground and ladder walking in rats

Cyril Garnier, Maurice Falempin, Marie-Hélène Canu

The locomotor pattern, generated by the central pattern generator, is under the dependence of descending and peripheral pathways. The afferent feedback from peripheral receptors allows the animal to correct for disturbances that occur during walking, while supraspinal structures are important for…

Behavioural Brain Research, 2008, Behavioural Brain Research, 186 (1), pp.57-65. ⟨10.1016/j.bbr.2007.07.023⟩. ⟨hal-03330708⟩