Publicaciones

• 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⟩

• Rapport

Déploiement des concepts de la Coopération Homme-Machine dans l’inspection filtrage aéroportuaire

Igor Crevits, Frédéric Vanderhaegen

[Rapport de recherche] LAMIH, Valenciennes; CHM. 2013. ⟨hal-03467548⟩

• Communication dans un congrès

Validation of a new numerical weaving tool highlighting the influence of real yarn positions and shapes on their behaviour under impact

Mickael Lequin, E. Ferry, Benjamin Provost, Daniel Coutellier, François Boussu

In this study, a numerical simulation approach is used to measure the influence of yarn positions inside a 3D warp interlock fabric submitted to impact. Four numerical results have been compared to one experimental impact test. A first simulation is made directly from the experimental tomographic...

13th AUTEX World Textile Conference, May 2013, Dresde, Germany. ⟨hal-03512879⟩

• 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

Benchmarking Flexible Job-Shop Scheduling and Control Systems

Damien Trentesaux, Cyrille Pach, Abdelghani Bekrar, Yves Sallez, Thierry Berger, Thérèse Bonte, Paulo Leitão, José Barbosa

Benchmarking is comparing the output of different systems for a given set of input data in order to improve the system's performance. Faced with the lack of realistic and operational benchmarks that can be used for testing optimization methods and control systems in flexible systems, this...

Control Engineering Practice, 2013, 21 (9), pp.1204-1225. ⟨10.1016/j.conengprac.2013.05.004⟩. ⟨hal-03405597⟩

• Article dans une revue

Using the BCD model for risk analysis

Karima Sedki, Philippe Polet, Frédéric Vanderhaegen

In this paper, we are interested in addressing risk analysis. We propose an influence diagram-based approach that focuses on a Benefit, Cost, Deficit (BCD) model. The BCD model is proposed for studying the intentional deviant behaviors of human operators in a system. In this model, the consequences...

Engineering Applications of Artificial Intelligence, 2013, 26 (9), pp.2172-2183. ⟨10.1016/j.engappai.2013.06.009⟩. ⟨hal-03405576⟩

• Article dans une revue

DIELECTRIC AND PIEZOELECTRIC PROPERTIES OF LEAD-FREE ( Bi 0.5 Na 0.5 ) 0.94 Ba 0.06 TiO 3 + x% Ce 2 O 3 + y% La 2 O 3 + z% Y 2 O 3 COMPOUNDS SYNTHESIZED BY SOL–GEL TECHNIQUE

A. Chaouchi, M. Saidi, Sophie d'Astorg, Mohamed Rguiti, Christian Courtois

( Bi 0.5 Na 0.5 ) 0.94 Ba 0.06 TiO 3 + x% Ce 2 O 3 + y% La 2 O 3 + z% Y 2 O 3 compounds (named BNT–BT– x/y/z) were synthesized by a sol–gel technique, for (x,y,z) = (0,0,0), (0.25, 0.25, 0.25), (0.25, 0.5, 0.5), (0.5, 0.25, 0.25) and (0.5, 0.5, 0.25). The structural variation according to the...

Journal of Advanced Dielectrics, 2013, 02 (04), pp.1250022. ⟨10.1142/S2010135X12500221⟩. ⟨hal-04281123⟩

• Article dans une revue

Assessment of ship maneuverability by using a coupling between a nonlinear transient ship maneuvering model and mathematical programming techniques

T. Tran Khanh, Abdellatif Ouahsine, Hakim Naceur, Karima El Wassifi

In this paper, a numerical method based on a coupling between a mathematical model of nonlinear transient ship manoeuvring motion in the horizontal plane and Mathematical Programming (MP) techniques is proposed. The aim of the proposed procedure is an efficient estimation of optimal ship...

Journal of Hydrodynamics, 2013, 25 (5), pp.788-804. ⟨10.1016/S1001-6058(13)60426-6⟩. ⟨hal-03629803⟩

• Chapitre d'ouvrage

Tourism and Globalization : The International Division of Tourism Production

J.-J. Nowak, Sylvain Petit, M. Sahli

Larry Dwyer; Neelu Seetaram. Recent Developments In The Economics of Tourism, Volume II, Edward Elgar Publishing, 2013, 9781781952269. ⟨hal-02948733⟩

• Chapitre d'ouvrage

Context-Aware MDA Approach for Content Personalization in User Interface Development

Káthia Marçal de Oliveira, Firas Bacha, Mourad Abed

Progressions and Innovations in Model-Driven Software Engineering, pp.88-105, 2013. ⟨hal-03379056⟩