Publications

Affichage de 3091 à 3100 sur 5525

COMM

Méthode de vérification des exigences pour l'ingénierie système à partir d'une représentation logique du système modélisé en RDF.

Albéric Cornière, Virginie Fortineau, Thomas Paviot, Samir Lamouri

<p>L'ingénierie des exigences est souvent considérée comme le processus de départ du cycle de vie du produit, qui débuterait par l'expression des besoins des utilisateurs, et qui vise à en tirer un ensemble cohérent de spécifications. Les exigences portent par nature sur un système…

Xème Conférence Internationale : Conception et Production Intégrées, Dec 2015, Tanger, Maroc. ⟨hal-01260674⟩

COMM

BiMov : vers une analyse dynamique de navigabilité dans les bâtiments

Ahmed Hamieh, Dominique Deneux, Christian Tahon

La détermination automatique de chemins à l'intérieur d'un bâtiment présente un intérêt majeur pour différentes applications de conception architecturale et de construction (AEC). En conception, elle permet par exemple d'étudier les scénarios d'évacuation d'urgence. En…

Xème Conférence Internationale : Conception et Production Intégrées, Dec 2015, Tanger, Maroc. ⟨hal-01260729⟩

THESE

Vers une maîtrise objective des conditions de contact frottant en usinage à grande vitesse : intégration des phénomènes tribologiques et du comportement métallurgique, To an objective mastery of rubbing contact conditions in high speed machining : integration of tribological phenomena and metallurgical behavior

Yannick Senecaut

Dans les approches numériques pour l'usinage à grande vitesse, le comportement rhéologique des matériaux usinés est généralement décrit par une loi de Johnson Cook et le frottement à l’interface par un coefficient constant de type Coulomb. Une première approche propose de déterminer une loi de…, In numerical approaches for high speed machining, the rheological behavior of machined materials is generally described by Johnson Cook law and the friction at the interface by a constant coefficient of Coulomb. A first approach proposes to determine a multiparameter friction law for low…

Mécanique des matériaux [physics.class-ph]. Université de Valenciennes et du Hainaut-Cambresis, 2015. Français. ⟨NNT : 2015VALE0037⟩. ⟨tel-01297736⟩

ART

RFID interactive tabletop application with tangible objects: exploratory study to observe young children’ behaviors

Sébastien Kubicki, Marion Wolff, Sophie Lepreux, Christophe Kolski

Numerous academic and industrial studies and developments concerning interactive tabletops are paving the way for new educational applications. We have developed an interactive tabletop application equipped with RFID technology. This tabletop, called TangiSense, is based on a Multi-Agent System…

Personal and Ubiquitous Computing, 2015, 19 (8), pp.1259-1274. ⟨10.1007/s00779-015-0891-7⟩. ⟨hal-01264366⟩

ART

Comparison Based on Exergetic Analyses of Two Hot Air Engines: A Gamma Type Stirling Engine and an Open Joule Cycle Ericsson Engine

Houda Hachem, Marie Creyx, Ramla Gheith, Eric Delacourt, Céline Morin, Fethi Aloui, Sassi Ben Nasrallah

In this paper, a comparison of exergetic models between two hot air engines (a Gamma type Stirling prototype having a maximum output mechanical power of 500 W and an Ericsson hot air engine with a maximum power of 300 W) is made. Referring to previous energetic analyses, exergetic models are set up…

Entropy, 2015, 17 (11), pp.7331-7348. ⟨10.3390/e17117331⟩. ⟨hal-03448497⟩

ART

Scalable row-based parallel H.264 decoder on embedded multicore processors

Elias Michel Baaklini, Santhosh Kumar Rethinagiri, Hassan Sbeity, Smail Niar

Multimedia applications are present in most mobile hand-held devices, which are still equipped with limited battery resources. The H.264 standard is currently dominating the video compression world. H.264 has high computational requirements in terms of memory, energy, and time. Many techniques…

Signal, Image and Video Processing, 2015, 9 (S1), pp.57-71. ⟨10.1007/s11760-014-0633-8⟩. ⟨hal-03578528⟩

ART

Thermocapillary instability in an evaporating two-dimensional thin layer film

Andriy A. Avramenko, Igor V. Shevchuk, Souad Harmand, Andrii I. Tyrinov

A novel two-dimensional model for the thermocapillary instability of a thin liquid film was developed and validated in the paper. The model incorporates a novel solution for the unperturbed velocity components and the thin film thickness (based on the boundary layer approach and balance equation)…

International Journal of Heat and Mass Transfer, 2015, 91, pp.77-88. ⟨10.1016/j.ijheatmasstransfer.2015.07.063⟩. ⟨hal-03448389⟩

ART

Scheduling operating theatres: Mixed integer programming vs. constraint programming

Tao Wang, Nadine Meskens, David Duvivier

The daily scheduling of an operating theatre is a highly constrained problem. In addition to standard scheduling constraints, many additional constraints on human and material resources encountered in real life should be taken into account. These constraints concern the priority of operations, the…

European Journal of Operational Research, 2015, 247 (2), pp.401 - 413. ⟨10.1016/j.ejor.2015.06.008⟩. ⟨hal-01787907⟩

ART

Framework for a Selection of Custom Instructions for Ht-MPSoC in Area-performance Aware Manner

Bouthaina Dammak, Mouna Baklouti, Rachid Benmansour, Smail Niar, Mohamed Abid

Using application-specific instructions for heterogeneous multiprocessor system-on-chip (Ht-MPSoC) allows to find a good performance/energy trade-off. For MPSoC architecture executing different multimedia applications, we expect a large number of potential custom instructions. In order to explore…

IEEE Embedded Systems Letters, 2015, 7 (4), pp.105-108. ⟨10.1109/LES.2015.2461626⟩. ⟨hal-03401079⟩

ART

A two-stage flow shop scheduling problem with transportation considerations

Nacira Chikhi, Moncef Abbas, Rachid Benmansour, Abdelghani Bekrar, Said Hanafi

This paper considers a two-stage robotic flow shop scheduling problem of which the objective is to minimize the maximum completion time of all the jobs. The problem consists of two dedicated machines at the first stage and a single machine at the second stage. Each job is defined by two operations…

4OR: A Quarterly Journal of Operations Research, 2015, 13 (4), pp.381-402. ⟨10.1007/s10288-015-0297-4⟩. ⟨hal-03402138⟩