Publications

Type de document

Mots clés

Auteur

Du

Au

Affichage de 5061 à 5070 sur 5587

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⟩

Thèse

Contribution à la validation des méthodes numériques pour les problèmes dynamiques couplés fluide-structure, Contribution to the validation of numerical methods for hydrodynamic impact

Grégory Haboussa

Ce travail vise à améliorer la capacité de prédiction des comportements dynamiques transitoires des solides et des structures lors de sollicitations de type crash, spécifiquement lorsqu’un milieu fluide doit être pris en compte. La première étape a consisté à mesurer une observable expérimentale,…, Numerous numerical methods exist that can be used to solve fluid/structure interactions during hydrodynamic impacts on deformable structures. The purpose of the present work is to define a methodology which allows validating these numerical methods. The first stage of this work is to establish…

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

Article dans une revue

Relation usinabilité-topographie de la surface usinée. Analyse conventionnelle et par la théorie du chaos

Maxence Bigerelle, Jérome Gavois, Alain Iost

Cet article propose d'analyser l'usinabilité en tournage d'un acier martensitique en fonction de la vitesse de coupe par observation topographique de la surface. Nous décrivons d'abord une méthodologie pour chercher le paramètre de rugosité le plus pertinent afin de caractériser…

Mechanics & Industry, 2008, 9 (4), pp.273-293. ⟨10.1051/meca:2008033⟩. ⟨hal-04545523⟩

Article dans une revue

Integration of traffic management and traveller information systems : basic principles and case study in intermodal transport system management

Houcine Ezzedine, Thérèse Bonte, Christophe Kolski, Christian Tahon

As they involve many interacting agents behaving in numerous ways that are extremely difficult to predict, urban transportation systems are complex in nature. The development of intermodal passenger transportation solutions to address the mobility issues constitutes a major thrust area of urban…

International Journal of Computers, Communications and Control, 2008, 3 (3), pp.281-294. ⟨10.15837/ijccc.2008.3.2396⟩. ⟨hal-03269012⟩

Article dans une revue

A dynamic programming based reduction procedure for the multidimensional 0-1 knapsack problem

Stefan Balev, Nicola Yanev, Arnaud Fréville, Rumen Andonov

This paper presents a preprocessing procedure for the 0–1 multidimensional knapsack problem. First, a non-increasing sequence of upper bounds is generated by solving LP-relaxations. Then, a non-decreasing sequence of lower bounds is built using dynamic programming. The comparison of the two…

European Journal of Operational Research, 2008, 186 (1), pp.63-76. ⟨10.1016/j.ejor.2006.02.058⟩. ⟨inria-00184771⟩

Chapitre d'ouvrage

Prevision of evaluation by traces during the software design of interactive systems: two approaches compared

Jean-Claude Tarby, Houcine Ezzedine, Christophe Kolski

Interactive system evaluation is currently the subject of numerous research projects. Some are intended to link design and evaluation explicitly by different software mechanisms. In this chapter, we describe two evaluation approaches based on the concept of traces, taking advantage of new…

Ahmed Seffah, Jean Vanderdonckt, And Michel Desmarais (Ed.). Human-Centered Software Engineering: Architectures and Models-Driven Integration, Springer, 2008, HCI. ⟨hal-00731360⟩