Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion / Sébastien MAITREHENRY  

Titre : Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion Type de document : thèse Auteurs : Sébastien MAITREHENRY, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Nicole LEVY, Rapporteur ; Philippe PALANQUE, Rapporteur ; Pierre BIEBER, Examinateur ; Sylvain METGE, Examinateur ; Jérémy GUIOCHET, Examinateur ; Patrick GIRARD, Examinateur Importance : 254 p. Note générale : NNT 2013ESMA0025 Remerciements Table des matières Introduction Bibliographie Annexes Index des figures Index des tables Glossaire Résumé Mots clés Catégories : Aéronautique Analyse fonctionnelle Fiabilité Ingénierie dirigée par les modèles Méthodes formelles (informatique) Résumé : VERS DES ANALYSES DE SECURITE ASSISTEES PAR LES MODELES La sûreté de fonctionnement dans l'aéronautique Intérêts des modèles et de l'ingénierie des modèles Objectifs et approche de nos travaux DEFINITION ET SYNTHESE DE MODELES POUR L'ANALYSE DES RISQUES Définition des modèles conceptuels pour la sécurité Mise en oeuvre de l'analyse des risques avec AltaRica La transformation de modèle Déploiement sur un cas industriel Extension des modèles à l'étude des facteurs humains CONCLUSION En ligne : http://tel.archives-ouvertes.fr/tel-00954467

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010427	TH-13 MAI	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-13 MAI	MAI	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Modélisation de services et de workflows sémantiques à base d'ontologies de services et d'indexations. Application à la modélisation géologique / Nabil BELAID  

Titre : Modélisation de services et de workflows sémantiques à base d'ontologies de services et d'indexations. Application à la modélisation géologique Type de document : thèse Auteurs : Nabil BELAID, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Jean-François RAINAUD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marianne HUCHARD, Rapporteur ; Flavio OQUENDO, Rapporteur ; Nicole LEVY, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Stéphane JEAN, Examinateur ; Daniel RAHON, Examinateur Année de publication : 2011 Importance : 215 p. Note générale : NNT 2011ESMA0007 Remerciements Table des matières Introduction générale Bibliographie table des figures Liste des tableaux Glossaire Résumé Mots clés Langues : Français (fre) Catégories : Bases de données Langages de programmation Ontologies (informatique) Résumé : ETAT DE L'ART Ontologies et bases de données à base ontologique Les workflows en ingénierie Modélisation géologique NOTRE PROPOSITION Un modèle conceptuel pour une gestion sémantique de services et de workflows Modélisation logique de notre approche sur OntoDB APPLICATION A LA MODELISATION GEOLOGIQUE Application de notre proposition à la modélisation géologique Implémentation de notre approche sur l'interprétation sismique Geological Workflow Editor (GWE) CONCLUSION GENERALE ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00605153/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00009058	TH-11 BEL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

---

1 (1 - 2 / 2) Par page : 25 50 100 200