Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Ns 199 Faculté des Sciences UFR Sciences Techniques Mathématiques Informatique Automatique Ecole Doctorale IAE M Lorraine DFD Automatique et Production Automatisée CNRS ESA THESE présentée en vue de l ? obtention du titre de Docteur de l ? Université Henr

Faculté des Sciences UFR Sciences Techniques Mathématiques Informatique Automatique Ecole Doctorale IAE M Lorraine DFD Automatique et Production Automatisée CNRS ESA THESE présentée en vue de l ? obtention du titre de Docteur de l ? Université Henri Poincaré Nancy I Spécialité Production Automatisée par Jean- Christophe BLAISE Ingénieur ESIAL Apport d'une modélisation de l'information normative à l'intégration des règles de sécurité des machines en conception Soutenue publiquement le devant la commission d ? examen composée de Président Jean-François AUBRY Professeur à l ? Institut National Polytechnique de Lorraine Rapporteurs Jean-Pierre BOUREY Patrick MILLOT Professeur à l ? Ecole Centrale de Lille Professeur à l ? Université de Valenciennes et du Hainaut-Cambrésis Examinateur Alain BERNARD Professeur à l ? Université Henri Poincaré de Nancy Directeurs de Thèse Joseph CICCOTELLI Pascal LHOSTE Institut National de Recherche et de Sécurité Directeur de Recherche Associé Centre National de la Recherche Scienti ?que Ma? tre de Conférences HDR à l ? Université Henri Poincaré de Nancy CENTRE DE RECHERCHE EN AUTOMATIQUE DE NANCY Faculté des Sciences ?? Vand ?uvre-lès-Nancy CTable des Matières INTRODUCTION GENERALE CHAPITRE PROBLEMATIQUE Problématique et contexte du dispositif normatif en Sécurité des machines La sécurité et son environnement Contexte global Normalisation en sécurité des machines La normalisation en sécurité des machines et son environnement La notion de norme dé ?nition que se sont donnés les normalisateurs dans la norme NF EN tirée de Lacore b Caractéristiques du Dispositif Normatif Environnement du Dispositif Normatif les Acteurs Normalisateurs Formateurs Certi ?cateurs et Evaluateurs Concepteurs et Constructeurs de Machines Vers une numérisation de la connaissance normative Problématique d'intégration des prescriptions normatives de sécurité en conception La normalisation émergence d ? une relation concepteur utilisateur Notions de conception et de conception sûre Relation Conception Exploitation pour une intégration des contraintes d ? exploitation en conception Contraintes de la conception propagées en exploitation Des utilisateurs en conception Notion de retour d ? expérience Notion de législation en matière de sécurité des machines Notion de normes en matière de sécurité des machines Quelle approche d ? intégration de la normalisation en conception Intégration par une fonction de Spécialiste sécurité des machines ? Intégration par une relation entre acteurs Intégration par une activité d ? intégration des prescriptions en conception de machine Intégration des vues normatives et techniques d ? une machine CTable des Matières CHAPITRE ETAT DE L'ART EN INGÉNIERIE DE LA CONNAISSANCE Contexte d'Ingénierie de la connaissance Introduction Relation Expert Utilisateur Relation Expert Cogniticien Modélisation formalisation de la connaissance Exploitation de la connaissance Synthèse De la connaissance exprimée en langage naturel à son exploitation informatisée Du langage naturel au langage naturel ? Connaissance et communication Un savoir commun à tous le langage naturel Langage naturel ou langage formel Inconvénients du langage naturel Synthèse sur le langage naturel ? du langage naturel à la nécessité d ? un modèle de la connaissance ? Les méthodes d ? aide à l ? extraction de la connaissance Les formalismes de modélisation de la connaissance ? du modèle de la