Publications

• Chapitre d'ouvrage

BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B

Samuel Colin, Dorian Petit

Boulanger, Jean-Louis. Mise en oeuvre de la méthode B, Hermès, pp.359-368, 2013, Informatique et systèmes d'information. Recherche, technologie, applications, 9782746238107. ⟨hal-03517848⟩

• Article dans une revue

Évaluation de requêtes mobiles basée sur une infrastructure de services

Marie Thilliez, Mikael Desertot

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2013, Numéro Spécial "Social, Localisation et Mobilité : de nouveaux enjeux pour la gestion des données", 18 (1), pp.107-123. ⟨hal-03517866⟩

• Communication dans un congrès

Holonic recursiveness with multi-agent system technologies

Sonia Suárez, Paulo Leitão, Emmanuel Adam

Recursive Systems are often needed or recommended for automatically deploy or build a software system composed of multiple entities on a large network, or on distributed locations, without a central control. We use the recursive definitions proposed in holonic systems, as the recursiveness is an…

11th International Conference on Practical Applications of Agents and multi-Agents systems, May 2013, Salamanque, Spain. pp.103-111, 978-3-319-00562-1, ⟨10.1007/978-3-319-00563-8_13⟩. ⟨hal-03472711⟩

• Article dans une revue

Analysis of inverse method applied on sandwich probes

Emna Berrich, Fethi Aloui, Jack Legrand

Parallel plate disks (PPD) are often used for analyzing the effect of small amplitude oscillations with different frequencies. These devices allow the imposing of a well-known flow kinematics. Mass transfer problems and, particularly, convection-diffusion problems relating wall shear rate to mass…

Journal of Fluids Engineering, 2013, 135 (1), ⟨10.1115/1.4007888⟩. ⟨hal-03521107⟩

• Article dans une revue

A three-dimensional study of electronic component cooling using a flat heat pipe

Hamdy Hassan, Souad Harmand

In this article, a three-dimensional thermal and hydrodynamic numerical model using a flat heat pipe (vapor chamber) is proposed for cooling of electronic components. The heat pipe is composed of a vapor region sandwiched between two wick regions, which are covered by two flat copper plates. A…

Heat Transfer Engineering, 2013, 34 (7), pp.596-607. ⟨10.1080/01457632.2013.730426⟩. ⟨hal-03531174⟩

• Communication dans un congrès

Alternative Action Plan Generator (A2PG) for elaboration an anticipated feedback

Wided Ben Yahia, Nicolas Tricot, Philippe Polet, Frédéric Vanderhaegen

This paper proposes an original Alternative Action Plan Generator – A2PG, which predicts possible alternatives of the human action plans in which the human operators do not respect the safety rules. These alternatives build an anticipated feedback. Five parameters characterize A2PG. The creation of…

12th IFAC Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2013, Las Vegas, Nevada, United States. pp.296-303, ⟨10.3182/20130811-5-US-2037.00069⟩. ⟨hal-03612502⟩

• Communication dans un congrès

Sociotechnical systems resilience : a dissonance engineering point of view

Jean-René Ruault, Frédéric Vanderhaegen, Christophe Kolski

Resilience deals with the capacity to adjust itself face disturbing events, to cope with unforeseeable conditions. Resilience is based upon the dynamic process of "visual piloting". The gap between the specified task and the done activity generates dissonance between beliefs and…

12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2013, Las Vegas, United States. pp.149-156, ⟨10.3182/20130811-5-US-2037.00042⟩. ⟨hal-03384711⟩

• Article dans une revue

Investigation of the performance of modified TCM scheme for the protection of SPIHT-based compressed images over fading channel

Mohamed Ben Aissa, Abdesselam Bassou, Mohammed Beladgham, Abdelmalik Taleb-Ahmed, Abdelmounaim Moulay Lakhdar

In this paper, a new variant of trellis-coded modulation with Ungerboeck-Gray mapping 'TCM-UGM' is presented for spectral efficiency of 2 bit/s/Hz. The performance of this encoding scheme is investigated over Rayleigh fading channel. The simulation result, using 16-state TCM-UGM encoder,…

International Review on Computers and Software (IRECOS), 2013, 8 (1), pp.271-276. ⟨hal-03507984⟩

• Ouvrages

Social, Localisation et Mobilité : de nouveaux enjeux pour la gestion des données

Florence Sèdes, Thierry Delot

Sèdes, Florence; Delot, Thierry. Hermès Science, Numéro spécial (18 : 1), 2013, Ingénierie des Systèmes d'Information (ISI), ISSN 1633-1311. ⟨hal-03761353⟩

• Article dans une revue

Armouring solutions against high velocity impact using 2D laminates and 3D warp interlock composites

Benjamin Provost, François Boussu, Daniel Coutellier, Daniel Vallée, Fabien Rondot, Julien Nussbaum

Since the emergence of the first armoured vehicles on battlefields, armour shield was mainly centred on conventional metallic materials, widespread solutions nowadays. For a long time, weight reduction in armoured protection, which represents the largest part of the vehicle’s overall weight, has…

Journal of Industrial Textiles, 2013, ⟨10.1177/1528083713498914⟩. ⟨hal-03644392⟩