Thèses ISAE-ENSMA en ligne
Thèses > Auteurs commençant par A
Titre : Imperfect RDF Databases: From Modelling to Querying Type de document : thèse Auteurs : Amna ABIDI, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Hajer BAAZAOUI, Rapporteur ; Juliette DIBIE BARTHELEMY, Examinateur ; Salah BEN ABDALLAH, Examinateur ; Mohamed Anis BACH TOBJI, Examinateur Importance : 138 p. Note générale : NNT 2019ESMA0008
Abstract
Résumé
Guide de lecture
Acknowledgements
Dédicace
Table of Contents
List of Figures
List of Tables
Nomenclature
Introduction
Appendices
Bibliography
Résumé
Mots clésCatégories : Bases de données:Interrogation
Conception centrée sur l'utilisateur
Incertitude (théorie de l'information)
Opérateur Skyline
Possibilités, Théorie des
Resource Description Framework (informatique)
SPARQL (langage de programmation)
Web sémantiqueRésumé : PRELIMINARIES
RDF Formalism
Background on Possibility Theory and Skyline Queries
CONTRIBUTIONS
Trust Skyline Model: Semantics Experimentations
Possibilistic RDF Data
CONCLUSIONEn ligne : https://tel.archives-ouvertes.fr/tel-02171934 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-ABI ABI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Evolution des microstructures et textures locales par nitruration plasma de l'acier 316L. Répercussion sur sa durabilité en fatigue / Jean-Charles STINVILLE
Titre : Evolution des microstructures et textures locales par nitruration plasma de l'acier 316L. Répercussion sur sa durabilité en fatigue Type de document : thèse Auteurs : Jean-Charles STINVILLE, Auteur ; Jean-Paul RIVIERE, Directeur de thèse ; Patrick VILLECHAISE, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - PMM, Commanditaire ; Julian DRIVER, Examinateur ; Thierry CZERWIEC, Examinateur ; Dominique HERTZ, Examinateur ; Gintautas ABRASONIS, Examinateur Année de publication : 2010 Importance : 339 p. Note générale : NNT 2010ESMA0005
Remerciements
Table des matières
Introduction
Annexes
Références
Abstract
KeywordsLangues : Français (fre) Catégories : Acier inoxydable austénitique:Texture
Acier inoxydable:Fatigue
Anisotropie
Contraintes résiduelles
Nitruration
Traitements de surfaceRésumé : MATERIAU, TRAITEMENT, TECHNIQUES ET CONDITIONS EXPERIMENTALES
Le matériau
Le traitement de nitruration
Les techniques d'essai et d'analyse
INFLUENCE DU TRAITEMENT SUR LA MICROSTRUCTURE DU 316L
Evolution à grande échelle de l'acier inoxydable 316L par nitruration plasma
Observation à l'échelle des grains, effet de l'orientation cristallographique
Modèle de déformation de la couche nitrurée
INFLUENCE DU TRAITEMENT SUR LE COMPORTEMENT EN FATIGUE DU 316L
Caractéristique mécanique du 316L nitruré : traction et compression monotone - Dureté
Comportement et endommagement en fatigue du 316L nitruré
CONCLUSIONEn ligne : http://tel.archives-ouvertes.fr/tel-00491846/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008521 TH-10 STI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 STIN STI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Étude des interactions entre un feu de nappe en milieu confiné mécaniquement ventilé et un système d’aspersion par brouillard d’eau / Lahna ACHERAR
Titre : Étude des interactions entre un feu de nappe en milieu confiné mécaniquement ventilé et un système d’aspersion par brouillard d’eau Type de document : thèse Auteurs : Lahna ACHERAR, Auteur ; Jean-Pierre GARO, Directeur de thèse ; Hui Ying WANG, Directeur de thèse ; Bruno COUDOUR, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Khaled CHETEHOUNA, Rapporteur ; Hugues PRETREL, Rapporteur ; Dominique MORVAN, Examinateur ; Virginie TIHAY FELICELLI, Examinateur Importance : 172 p. Note générale : NNT 2022ESMA0025
Remerciements
Table des matières
Table des figures
Liste des tableaux
Nomenclature
Introduction
Bibliographie
Résumé
Mots clés
Catégories : Brumisation
Combustibles liquides
Gaz (combustible)
Heptane
Incendies:Extinction
Pyrolyse
Refroidissement par pulvérisation
Transfert de chaleur
Ventilation:Appareils et matérielRésumé : ÉTAT DE L'ART SUR LES INCENDIES
Phénomènes du feu
Évolution d'un feu en milieu confiné-ventilé
Aspersion par brouillard d'eau
Résumé de l’état des connaissances sur l’usage de brouillard d’eau
Conclusion
PRÉSENTATION DES DISPOSITIFS EXPÉRIMENTAUX ÉTUDIÉS
Dispositif pour l’étude de l’interaction entre un feu de nappe et un brouillard d’eau en milieu ouvert
Réduction d’échelle
Dispositifs expérimentaux CERES I et CERES II
Conclusion
MODÉLISATION NUMÉRIQUE DE L'ÉCOULEMENT RÉACTIF
Introduction
Description de l'outil numérique (FDS)
Modèles des écoulements turbulents
Modélisation de la combustion
Modélisation de l’aspersion
Modélisation du rayonnement
Modèle de la formation de suies
Pyrolyse d’un combustible condensé
Système de ventilation : HVAC
Conclusion
ÉVALUATION DES MODÈLES NUMÉRIQUES DE SUIE
Configuration 1 : Feu de nappe de méthane et éthylène
Configuration 2 : Feu de nappe d’heptane 30 cm
Configuration 3 : Feu de nappe d’heptane 23 cm
Configuration 4 : Feu de nappe d’heptane avec brouillard d’eau
Conclusion
ÉTUDE DES FLUX THERMIQUES DANS UN MILIEU CONFINÉ MÉCANIQUEMENT VENTILÉ
Introduction
Étude préliminaire pour l’identification des fuites dans le caisson
Sensibilité au maillage
Impact du confinement sur la dynamique du feu dans un milieu confiné
ÉTUDE DE L'INTERACTION ENTRE UN BROUILLARD D'EAU ET UN FEU EN MILIEU CONFINÉ MÉCANIQUEMENT VENTILÉ
Détermination de la puissance du feu
Détermination des conditions d’essais
Discussions des résultats expérimentaux
Évaluation du code FDS pour l’étude de l’incendie avec aspersion par brouillard d’eau
Conclusion
CONCLUSIONS ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-03978985 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 ACH ACH Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Contribution à l'étude de la durabilité des structures collées soumises à des efforts mécaniques après vieillissement humide / Romain LEGER
Titre : Contribution à l'étude de la durabilité des structures collées soumises à des efforts mécaniques après vieillissement humide Type de document : thèse Auteurs : Romain LEGER, Auteur ; Jean-Claude GRANDIDIER, Directeur de thèse ; Annette ROY, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - PMM, Commanditaire ; Jacques RENARD, Rapporteur ; Eric PAPON, Rapporteur ; Robert, D. ADAMS, Examinateur ; Peter DAVIES, Examinateur ; Frédéric JACQUEMIN, Examinateur Année de publication : 2010 Importance : 297 p. Note générale : NNT 2010ESMA0011
Remerciements
Résumé
Sommaire
AnnexesLangues : Français (fre) Catégories : Adhésifs:Epoxydes
Assemblages collés
Contraintes (mécanique)
Eau
Éléments finis, Méthode des
Matériaux:Détérioration
Modèles mathématiquesRésumé : INTRODUCTION : CONTEXTE ET PROBLEMATIQUE
DIMENSIONNEMENT DES ASSEMBLAGES COLLES
Tenue mécanique d'un assemblage collé
Détermination de l'état de contraintes dans un assemblage collé
Approche de la mécanique de la rupture
Intégrer les effets de l'environnement à la modélisation
COMPORTEMENT MECANIQUE ET VIEILLISSEMENT DES ADHESIFS STRUCTURAUX
Généralités à propos des adhésifs structuraux base époxy
Comportement d'un adhésif en présence d'eau
ETUDE EXPERIMENTALE D'ADHESIFS STRUCTURAUX
Présentation des adhésifs structuraux de l'étude
Propriétés mécaniques et physico-chimiques initiales
Etude de la diffusion d'eau
Effet e l'eau sur les propriétés de l'adhésif
MODELISATION DU COMPORTEMENT THERMO-HYDRO-MECANIQUE DE L'ADHESIF STRUCTURAL LORS DE SON VIEILLISSEMENT HUMIDE
Construction d'un modèle de diffusion non linéaire
Identification d'une loi de comportement hydromécanique
Confrontation simulation/expérience sur un essai de traction d'une éprouvette massive vieillie
ETUDE DE LA TENUE MECANIQUE D'UN ASSEMBLAGE COLLE EN VIEILLISSEMENT HUMIDE
Aspect expérimental
Mise en place du modèle élément finis pour l'étude de l'assemblage collé
Etude numérique du comportement de l'assemblage collé et confrontation à l'expérience
Pistes de développement
CONCLUSIONEn ligne : http://tel.archives-ouvertes.fr/tel-00518367/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008567 TH-10 LEG Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 LEG LEG Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Analyse physique d'écoulements décollés fortement tridimensionnels par expérimentation. Structuration spatio-temporelle et sensibilité à une turbulence amont / Faisal AFFEJEE
Titre : Analyse physique d'écoulements décollés fortement tridimensionnels par expérimentation. Structuration spatio-temporelle et sensibilité à une turbulence amont Type de document : thèse Auteurs : Faisal AFFEJEE, Auteur ; Jacques BORÉE, Directeur de thèse ; Christophe SICOT, Directeur de thèse ; Rodolphe PERRIN, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Marianna BRAZA, Rapporteur ; Thierry FAURE, Rapporteur ; Philippe DEVINANT, Examinateur Importance : 171 p. Note générale : NNT 2015ESMA0008
Remerciements
Table des matières
Liste des symboles
Table des figures
Liste des tableaux
Références bibliographiques
Annexes
Résumé
Mots clésCatégories : Aérodynamique
Automobiles:Glaces et pare-brise
Ecoulement tridimensionnel
Pression:Mesure
Tourbillons (mécanique des fluides)
Turbulence
Vélocimétrie par images de particulesRésumé : INTRODUCTION
Contexte
Problématiques
Etudes bibliographiques
Objectifs et organisation du manuscrit
DISPOSITIFS EXPERIMENTAUX, DE METROLOGIE ET D'ANALYSE
La soufflerie
La maquette
Visualisation pariétale
Pression moyenne
Pression fluctuante
Fil chaud
Mesure de champs de vitesses
Outils utilisés pour l'analyse des données
GENERATION D4UNE TURBULENCE DE GRILLE DANS LA SOUFFLERIE
Définitions
Caractéristiques de la turbulence générée dans la veine d'essais
Synthèse
CARACTERISATION DE L'ECOULEMENT MOYEN
Face avant
Interaction du tourbillon conique avec la paroi latérale
Mesures dans un plan transverse au tourbillon
Synthèse
ANALYSE SPATIO-TEMPORELLE DE LA STRUCTURE TOURBILLONNAIRE
Dynamique de la structure dans différents plans de mesure
Contenu fréquentiel de l'écoulement
Comportement global de la structure tourbillonnaire
Synthèse
CONCLUSIONS ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01226473 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00011087 TH-15 AFF Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-15 AFF AFF Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Optimisation basée sur les graphes pour une évaluation efficace et scalable des requêtes / Ishaq ZOUAGHI
Titre : Optimisation basée sur les graphes pour une évaluation efficace et scalable des requêtes Type de document : thèse Auteurs : Ishaq ZOUAGHI, Auteur ; Taoufik AGUILI, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; Amin MESMOUDI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sofian MAABOUT, Rapporteur ; Asma BEN LETAIFA, Rapporteur ; Azza OULED ZAID, Examinateur ; Daniela GRIGORI, Examinateur Année de publication : 2022 Importance : 195 p. Note générale : NNT 2022ESMA0017
Dédicace
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Annexes
Résumé
Mots clés
Catégories : Bases de données:Conception
Bases de données:Gestion
Bases de données:Interrogation
Coût
Hypergraphes
Multiplicité (mathématiques)
Resource Description Framework (informatique)
Scalabilité (informatique)
SPARQL (langage de programmation)
Web sémantiqueRésumé : ANALYSE DE LA LITTÉRATURE
Préliminaire
État de l'art
Le Triplestore RDF_QDAG
L'APPROCHE GOFAST
L'approche GoFast : Optimisation des requêtes à base de graphes
L'approche GoFast : Validation expérimentale
CONCLUSION GÉNÉRALE ET PERSPECTIVESExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 ZOU ZOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Caractérisation expérimentale et numérique des transferts thermiques par impact de jets à faible nombre de Reynolds : application au refroidissement du carter de turbine basse pression d’un turboréacteur / Yassine AHMIMACHE
Titre : Caractérisation expérimentale et numérique des transferts thermiques par impact de jets à faible nombre de Reynolds : application au refroidissement du carter de turbine basse pression d’un turboréacteur Type de document : thèse Auteurs : Yassine AHMIMACHE, Auteur ; Matthieu FÉNOT, Directeur de thèse ; Frédéric PLOURDE, Directeur de thèse ; Laurent DESCAMPS, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Daniel BOUGEARD, Rapporteur ; Laurent GICQUEL, Rapporteur ; Thierry LEMENAND, Examinateur ; Eva DORIGNAC, Examinateur Importance : 218 p. Note générale : NNT 2022ESMA0011
Résumé
Mots clés
Remerciements
Nomenclature
Table des matières
Introduction
Bibliographie
Catégories : Ecoulement cisaillé
Jets
Méthode des frontières immergées
Nombre de Nusselt
Reynolds, Nombre de
Simulation des grandes échelles
Thermographie
Transfert de chaleur
Turbines:Refroidissement
Vélocimétrie par images de particulesRésumé : SYNTHÈSE BIBLIOGRAPHIQUE
Jet axisymétrique
Rangée de jets sans écoulement cisaillant amont
Rangée de jets avec écoulement cisaillant amont
DESCRIPTION DU DISPOSITIF EXPÉRIMENTAL
Paramètres d'étude
Montage expérimental et instrumentation
Techniques de mesures expérimentales
CARACTÉRISATION AÉRODYNAMIQUE ET THERMIQUE DES JETS
Structure générale des jets
Influence de l'écoulement cisaillant amont V R
Influence de la distance d'impact H/d
Influence du pas inter-trous p/d
Influence du nombre de Reynolds Rej
ÉTUDE DES TRANSFERTS THERMIQUES A ÉCHELLE 1
Détermination du plan d'expériences
Description de l'étude échelle 1
Caractérisation des jets issus d'un tube LPTACC
MÉTHODES DE MODÉLISATION NUMÉRIQUE DES JETS EN IMPACT
Équation de Navier-Stokes et fondamentaux
Stratégie de résolution
Méthode des frontières immergées
CARACTÉRISATION NUMÉRIQUE DES JETS
Stratégie de modélisation
Validation du modèle numérique
Approfondissement de la caractérisation des jets
CONCLUSION ET PERSPECTIVES
En ligne : https://tel.archives-ouvertes.fr/tel-03813501 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 AHM AHM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Influence of Afterbody Rounding on the Aerodynamics of a Fastback Vehicle Titre original : Influence des montants arrière arrondis sur l'aérodynamique des véhicules bicorps Type de document : thèse Auteurs : Giacomo ROSSITTO, Auteur ; Jacques BORÉE, Directeur de thèse ; Valérie FERRAND, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Martin PASSMORE, Rapporteur ; Jean-Luc AIDER, Rapporteur ; David LO JACONO, Examinateur ; Olivier CADOT, Examinateur ; Christophe SICOT, Examinateur ; Fabien HARAMBAT, Examinateur Importance : 108 p. Note générale : NNT 2016ESMA0010
Acknowledgements
Résumé étendu
Contents
Appendices
Abstract
KeywordsCatégories : Automobiles:Aérodynamique
Sillage (aérodynamique)
Tourbillons (mécanique des fluides)
Traînée (aérodynamique)Résumé : INTRODUCTION
Context
History of Automotive Drag Reduction
Rounded Edges Geometries
25° Ahmed Body
Outline of the Thesis
METHODS
Experimental Methods
Numerical Method: PowerFLOW Settings
Analysis Methods for Vortex Identification
Discussion about the Wind Tunnel Tests
EFFECTS OF EDEGES ROUNDING ON THE AHMED BODY
Global Analysis of the Aerodynamic Forces
3D Effects of Pillar Rounding on the Near Wake Development
Towards a Realistic Model
EFFECTS OF PROGRESSIVE AFTERBODY ROUNDING ON THE REALISTIC SHAPE VEHICLE
CONCLUSION AND OUTLOOKEn ligne : https://tel.archives-ouvertes.fr/tel-02402039 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014133 TH-16 ROS Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 ROS ROS Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Etudes numériques et expérimentales sur le risque d'inflammation de gaz imbrûlés au cours d'un incendie en milieu sous-ventilé / Brady Axel MAGNOGNOU-SAMBOUNI
Titre : Etudes numériques et expérimentales sur le risque d'inflammation de gaz imbrûlés au cours d'un incendie en milieu sous-ventilé Type de document : thèse Auteurs : Brady Axel MAGNOGNOU-SAMBOUNI, Auteur ; Hui Ying WANG, Directeur de thèse ; Jean-Pierre GARO, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Khaled CHETEHOUNA, Rapporteur ; Hugues PRETREL, Rapporteur ; Laurence PIRAULT-ROY, Examinateur ; Philippe AINE, Examinateur ; Olivier VAUQUELIN, Examinateur Année de publication : 2016 Importance : 272 p. Note générale : NNT 2016ESMA0022
Remerciements
Tableau des matières
Nomenclature
Introduction générale
Bibliographie
Résumé
Mots clésCatégories : Conduits de fumée
Flamme
Incendies:Extinction
Incendies:Prévention
Monoxyde de carbone
Pyrolyse
Simulation par ordinateur
VentilationRésumé : ETAT DE L'ART SUR LES FEUX ET LA REINFLAMMATION DES GAZ REACTIFS
Fondamentaux sur les feux
Inflammation
Feu en milieu confiné ventilé
Phénomènes de combustion rapide
Conclusions
MODELES NUMERIQUES SUR LES ECOULEMENTS REACTIFS REPRESENTATIFS AUX FEUX
Fire Dynamics Simulator (FDS)
Modlisation de la turbulence
Modélisation de la combustion turbulente
Modélisation de l'extinction de la flamme
Modélisation du rayonnement
Modélisation de l'évaporation du liquide
Conclusions
DESCRIPTION DU DISPOSITIF EXPERIMENTAL
Dimensionnement du dispositif expérimental
Description du dispositif expérimental
Conclusion
ETUDE PRELIMINAIRE SUR LE CHOIX DES CONDITIONS INITIALES ET DES MODELES NUMERIQUES DES ECOULEMENTS REACTIFS
Conditions aux limites, conditions initiales
Choix du modèle de turbulence
Choix du modèle d'extinction
Choix du nombre d'étapes de réaction chimique
Evaluation numérique de la température
Conclusions
EVALUATION DU RISQUE D'INFLAMMATION ET DU CONFINEMENT DYNAMIQUE DES GAZ IMBRULES
Détermination de la richesse
Etude des feux à 3 Rh avec une admission ouverte et fermée
Etude des feux à 5 Rh avec admission ouverte, fermée et cible
Etude du risque d'inflammation des fumées pour les feux à 3 Rh
Etude du risque pour les feux à 5 Rh
Etude du confinement dynamique pour les feux à 3 Rh et à 5 Rh
Conclusions
ETUDE EXPERIMENTALE ET EVALUATION DU CODE NUMERIQUE A L'AIDE DES RESULTATS COMPLEMENTAIRES
Comparaisons entre les résultats expérimentaux et les résultats numériques
Estimation du risque pour les feux bien ventilés
Estimation du risque pour un feu légèrement sous-ventilé
Estimation du risque pour les feux sous-ventilés et très sous-ventilés
Effets du confinement sur le risque d'inflammation de fumées riche en gaz imbrûlés
Conclusions
CONCLUSIONS ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01456877 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014151 TH-16 MAG Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 MAG MAG Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Evaluation du risque d'inflammation des fumées riches dans un milieu confiné sous-ventilé à l'aide de la simulation numérique / Huy Quang DONG
Titre : Evaluation du risque d'inflammation des fumées riches dans un milieu confiné sous-ventilé à l'aide de la simulation numérique Type de document : thèse Auteurs : Huy Quang DONG, Auteur ; Hui Ying WANG, Directeur de thèse ; Jean-Pierre GARO, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Dominique MORVAN, Rapporteur ; Arnaud TROUVE, Rapporteur ; Alexis COPPALLE, Examinateur ; Philippe AINE, Examinateur ; Franck RICHARD, Examinateur Importance : 283 p. Note générale : NNT 2013ESMA0028
Table des matières
Nomenclature
Introduction
Annexes
Liste des figures
Liste des tableaux
Bibliographie
Résumé
Mots clésCatégories : Combustibles liquides
Combustion
Combustion spontanée
Feu:Production et usage
Incendies:Prévention
Simulation par ordinateurRésumé : ETAT DES CONNAISSANCES RELATIVES AUX FEUX CONFINES AVEC VENTILATION CONTROLEE
Le feu confiné-ventilé
Inflammation
Etude bibliographique
Conclusions
APPROCHES DE LA MODELISATION DU FEU ET DE LA METHODE NUMERIQUE
Equations de conservation fondamentales
Modélisation de la turbulence
Modélisation de la flamme turbulente de diffusion
Modèles de suies
Modélisation du rayonnement
Approche de modélisation de l'évaporation de liquide
Modèle d'extinction de la flamme utilisé dans FDS
Optimisation du maillage
Méthode numérique
Conclusions
EVALUATION DES MODELES NUMERIQUES SUR DES FEUX LIBRES OU SEMI-CONFINES
Feu de nappe en milieu ouvert
Feu de compartiment
Conclusions
DEMARCHE DE LA SIMULATION NUMERIQUE DU FEU DANS UN COMPARTIMENT CONFINE MUNI D'UN SYSTEME DE VENTILATION
Le dispositif expérimental
Conditions initiales
Etude de sensibilité au maillage
Comparaison du modèle EDCavec le modèle de fraction de mélange
Conclusions
EVALUATION DU RISQUE D'INFLAMMATION AU NIVEAU DU SYSTEME DE VENTILATION INDUIT PAR IMBRULES ISSUS D'UN FEU SOUS-VENTILE AVEC UNE APPROCHE NON PREDICTIVE
Simulation non prédictive
Estimation du risque
Conclusions
SIMULATION NUMERIQUE DE FEUX CONFINES SOUS-VENTILES AVEC UNE APPROCHE SEMI-PREDICTIVE
Feux d'heptane
Feux de dodécane
Estimation du risque
Conclusions
CONCLUSIONS GENERALES ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00954471 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010416 TH-13 DON Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 DON DON Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Evaluation du risque d'inflammation de gaz imbrûlés au cours d'un incendie en milieu sous-ventilé / Etienne MATHIS
Titre : Evaluation du risque d'inflammation de gaz imbrûlés au cours d'un incendie en milieu sous-ventilé Type de document : thèse Auteurs : Etienne MATHIS, Auteur ; Jean-Pierre GARO, Directeur de thèse ; Thomas ROGAUME, Directeur de thèse ; Franck RICHARD, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Sylvain SALVADOR, Rapporteur ; Paul-Antoine SANTONI, Rapporteur ; Alexis COPPALLE, Examinateur ; Philippe AINE, Examinateur ; Khaled CHETEHOUNA, Examinateur Importance : 251 p. Note générale : NNT 2016ESMA0012
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Liste des notations
Introduction
Annexes
BibliographieCatégories : Combustion spontanée
Fourier, Spectroscopie infrarouge à transformée de
Incendies:Prévention
Polyéthylène
Pyrolyse
VentilationRésumé : POSITIONNEMENT DE L'ETUDE
Exposition de la problématique
Modèles d'auti-inflammation d'un mélange gazeux
Conclusion du chapitre
CARACTERISATION EXPERIMENTALE DES EFFETS DE LA SOUS-VENTILATION SUR LA DEGRADATION DE PEHD
Mise en place du CCAC
Influence de l'énergie apportée au PEHD et de la ventilation
Conclusion du chapitre et perspectives
AUTO-INFLAMMATION DES GAZ DU MELANGE
Exploitation du paramètre δCr
Calcul des rayons critiques d'auto-inflammation R0
Conclusion du chapitre
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01402417 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014138 TH-16 MAT Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 MAT MAT Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Étude de la transition laminaire-turbulente de couches limites dans les tuyères soniques de débitmétrie / Bruno ZEBROWSKI
Titre : Étude de la transition laminaire-turbulente de couches limites dans les tuyères soniques de débitmétrie Type de document : thèse Auteurs : Bruno ZEBROWSKI, Auteur ; Peter JORDAN, Directeur de thèse ; Vincent JAUNET, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Christophe AIRIAU, Rapporteur ; Pierre DUPONT, Rapporteur ; Guillaume LEHNASCH, Examinateur ; Lutz LESSCHAFFT, Examinateur ; Benoît PIER, Examinateur ; Estelle PIOT, Examinateur ; Taraneh SAYADI, Examinateur Importance : 170 p. Note générale : NNT 2023ESMA0002
Remerciements
Résumé
Table des matières
Introduction
Annexes
Bibliographie
Résumé
Mots clés
Catégories : Compressibilité
Couche limite laminaire
Couche limite turbulente
Ecoulement instationnaire (dynamique des fluides)
Lois de parois
Rugosité
Stabilité
Tuyères supersoniquesRésumé : REVUE DE LA LITTÉRATURE
Les tuyères soniques de débitmétrie
Notion de stabilité
Stabilité des couches limites
PRÉSENTATION DU DISPOSITIF EXPÉRIMENTAL
Soufflerie S150
Instrumentation
Conception des tuyères expérimentales
RÉSULTATS EXPÉRIMENTAUX DE TRANSITION
Critère de transition
Influence de la rugosité
Influence de la géométrie de la tuyère
Influence du rapport de contraction
Conclusion
ÉTUDE DE STABILITÉ SPATIALE
Formulation
Stabilité modale
Stabilité non modale : croissance transitoire
Écoulement transsonique
Effet du gradient de pression
Effet de la courbure
MODÉLISATION DE LA TRANSITION
Détermination de la longueur de transition
Transition par perturbations de l'écoulement libre
Transition par rugosité de surface
Conclusion
LE CAS DES TUYÈRES À COL CYLINDRIQUE
Contextualisation
Position du col et apparition de chocs
Étude de la transition
Conclusion
CONCLUSION GÉNÉRALE
En ligne : https://tel.archives-ouvertes.fr/tel-04104699 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 ZEB ZEB Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Conception physique statique et dynamique des entrepôts de données Type de document : thèse Auteurs : Rima BOUCHAKRI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Khaled-Walid HIDOUCI, Directeur de thèse ; Karima BENATCHEBA, Examinateur ; Mohamed MEZGHICHE, Examinateur ; Mohand-Saïd HACID, Examinateur ; Yamine AIT AMEUR, Examinateur ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire Importance : 243 p. Note générale : NNT 2015ESMA0012
Remerciements
Table des matières
Table des figures
Introduction générale
Annexes
Glossaire
Bibliographie
Résumé Mots clésCatégories : Bases de données:Conception
Bases de données:Interrogation
Entrepôts de donnéesRésumé : ETAT DE L'ART
Sélection mono-objectif des techniques d'optimisation
Optimisation multi-objectifs pour les entrepôts de données
CONTRIBUTIONS
Sélection incrémentale isolée de IJB
Sélection incrémentale isolée de la FH
Sélection incrémentale jointe des IJB simples et multiples
Sélection incrémentale jointe des IJB et de la FH
Sélection incrémentale multi-objectifs de la FH
AdminInc : Outil pour la conception physique et dynamique
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01244700 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00011045 TH-15 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-15 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Construction d'ontologies à partir de textes : une approche basée sur les transformations de modèles / Henry Valéry TEGUIAK
Titre : Construction d'ontologies à partir de textes : une approche basée sur les transformations de modèles Type de document : thèse Auteurs : Henry Valéry TEGUIAK, Auteur ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Sylvie DESPRES, Rapporteur ; Jean CHARLET, Examinateur ; Eric SARDET, Examinateur Année de publication : 2012 Importance : 182 p. Note générale : NNT 2012ESMA0027
Merci à
Epigraphe
Table des matières
Résumé
Introduction générale
Bibliographie
Publications
Annexe
Table des figures
Liste des tableaux
GlossaireCatégories : Bases de données
Langages d'interrogation
Ontologies (informatique)
Web sémantiqueRésumé : ETAT DE L'ART
Construction d'ontologies
Transformation de modèles
CONTRIBUTION
Modélisation
Transformation en environnement persistant
MQL, un langage d'exploitation des mappings
La plateforme DaFOE
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00786260 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009684 TH-12 TEG Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 TEG TEG Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Contribution à la définition d'une méthode de conception de bases de données à base ontologique / Chedlia CHAKROUN
Titre : Contribution à la définition d'une méthode de conception de bases de données à base ontologique Type de document : thèse Auteurs : Chedlia CHAKROUN, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Arnaud GIACOMETTI, Rapporteur ; Claude GODART, Examinateur ; Sofian MAABOUT, Examinateur Importance : 204 p. Note générale : NNT 2013ESMA0010
Merci à
Dédicace
Table des matières
Introduction générale
Bibliographie
Publications
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Bases de données:Conception
Bases de données:Gestion
Ontologies (informatique)
Structures de données (informatique)Résumé : ETAT DE L'ART
Introduction aux ontologies : genèse
Les bases de données à base ontologique
CONTRIBUTIONS
Ontologies et relations de dépendance
Dépendances fonctionnelles entre propriétés ontologiques et conception des BDBO
Dépendances entre les classes et conception des bases de données à base ontologique
Approche de conception et de déploiement de bases de données à base ontologique
Prototype de validation
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/index.php?halsid=gmm1o4dpmr0c875o7ooemc6eg4&view [...] Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010261 TH-13 CHA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 CHA CHA Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles / Soumia BENKRID
Titre : Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles Type de document : thèse Auteurs : Soumia BENKRID, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Khaled-Walid HIDOUCI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Arnaud GIACOMETTI, Rapporteur ; Mahmoud BOUFAIDA, Rapporteur ; Djamel Eddine ZEGOUR, Examinateur ; Yamine AIT AMEUR, Examinateur ; Karima BENATCHEBA, Examinateur ; Pascal LIENHARDT, Examinateur Importance : 192 p. Note générale : NNT 2014ESMA0027
Remerciements
Table des matières
Table des figures
Liste des tableaux
Liste de algorithmes
Glossaire
Introduction générale
Annexes
Bibliographie
Résumé
Mots clésCatégories : Bases de données:Conception
Entrepôts de données
Logique floue
OLAP (informatique)
Parallélisme (informatique)Résumé : ETAT DE L'ART
Les entrepôts de données relationnels : Etat de l'art
Cycle de déploiement des entrepôts de données parallèles
NOS PROPOSITIONS
Notre modèle de coût
Notre approche pas à pas de déploiement
Evaluation théorique et réelle sur Teradata
CONLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127551 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010944 TH-14 BEN Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BEN BEN Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Donner une autre vie à vos besoins fonctionnels : une approche dirigée par l'entreposage et l'analyse en ligne / Zouhir DJILANI
Titre : Donner une autre vie à vos besoins fonctionnels : une approche dirigée par l'entreposage et l'analyse en ligne Type de document : thèse Auteurs : Zouhir DJILANI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Selma KHOURI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Dominique MERY, Rapporteur ; Parisa GHODOUS, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Abderrafiaa KOUKAM, Examinateur Importance : 242 p. Note générale : NNT 2017ESMA0012
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Analyse des données
Bases de données:Conception
Entrepôts de données
Ingénierie des exigences
Intégration de données (informatique)
Ontologies (informatique)
UML (informatique)Résumé : BACKGROUND & ETAT DES L'ART
Notions de base
Etat de l'art sur l'unification, la gestion et l'exploitation des besoins utilisateurs
CONTRIBUTIONS : CONSTRUCTION D'UN ENTREPOT SEMANTIQUE DE BESOINS FONCTIONNELS
Construction de l'ontologie intégrante
Un modèle multidimensionnel pour l'entrepôt des besoins fonctionnels
Un processus ETL pour les besoins fonctionnels
Déploiement de l'entrepôt sémantique de besoins fonctionnels
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01591845 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014260 TH-17 DJI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 DJI DJI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems / Youness BAZHAR
Titre : Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems Type de document : thèse Auteurs : Youness BAZHAR, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Mohand-Saïd HACID, Rapporteur ; Régine LALEAU, Rapporteur ; Yves LEDRU, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Patrick FARAIL, Examinateur ; Oscar PASTOR, Examinateur Importance : 157 p. Note générale : NNT 2013ESMA00019
Contents
Introduction
Bibliography
List of figures
List of tables
Relted publications
Résumé étendu
Mots clésCatégories : Bases de données:Conception
Ingénierie dirigée par les modèles
Ontologies (informatique)
Systèmes embarqués (informatique)
Temps réel (informatique)Résumé : STATE OF THE ART
METAMODELING AND MODEL MANAGEMENT
Introduction
Background on MDE
Metamodeling
Model management
Conclusion
PERSISTENT SOLUTIONS FOR METAMODELING AND MODEL MANAGEMENT
Introduction
Model repositories and their exploitation languages
Persistent metamodeling and model management systems
The OntoDB/OntoQL PMMS
Conclusion
CONTRIBUTIONS
REQUIREMENTS FOR COMPLETE PERSISTENT METAMODELING SYSTEMS
Introduction
Requirements for complete PMMS
Synthesis and discussion
Objectives
Conclusion
BeMoRe: MODELING AND FORMAL REPRESENTATION
Introduction
Conceptual extension
Logical extension
Formalization of the conceptual extension
Extension of the algebra of the PMMS exploitation language
Conclusion
BeMoRe: EXTENSION OF THE ESPLOITATION LANGUAGE AND PROTOTYPING
Introduction
Extension of the OntoQL language
The BeMoRe prototype
A preliminary performance evaluation
Conclusion
APPLICATIONS
MANAGING NON CANONICAL CONCEPTS IN ONTOLOGY-BASED DATABASES
Introduction
Background on ontologies
Ontology-based databases (OBDBs)
Encoding the structural semantics of the OWL language
Encoding operations for computing OWL non canonical concepts
Conclusion
ENHANCING A METHOD TO DESIGN ONTOLOGY-BASED DATABASES
Introduction
The considered OBDB design methodology
Enhancing the OBDB design methodology
Conclusion
MODEL TRANSFORMATION AND MODEL ANALYSIS
Introduction
Motivating example
Supporting AADL and MARTE in PMMS
Transforming models within PMMS
Using operations for model analysis
Conclusion
CONCLUSIONS AND PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00939900 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010408 TH-13 BAZ Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 BAZ BAZ Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : A framework for the management of heterogeneous models in systems engineering Type de document : thèse Auteurs : David SIMON ZAYAS, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Anne MONCEAUX, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Frédéric BONIOL, Rapporteur ; Parisa GHODOUS, Rapporteur ; Ladjel BELLATRÈCHE, Examinateur ; Mourad OUSSALAH, Examinateur ; Romaric REDON, Examinateur Année de publication : 2012 Importance : 245 p. Note générale : NNT 2012ESMA0007
Remerciements
Introduction
Résumé
Summary
Introduction
Context
Current practices
Our proposal
Structure of the document
References
Appendices
Table of figures
Summary
KeywordsLangues : Français (fre) Catégories : Aéronautique
Informatique:Groupes de travail
Ontologies (informatique)
Systèmes informatiquesRésumé : HETEROGENEITY OF MODELS IN SYSEMS ENGINEERING DOMAIN
Introduction
System modelling
Systems engineering
Inter-model relations
Heterogeneity
Current approaches to handle with heterogeneity
Conclusion
KNOWLEDGE MODELS TO INTEGRATE AND VALIDATE HETEROGENEOUS MODELS
Implicit knowledge
Formalization of knowledge
Ontologies and annotation of models
Validation of inter-model properties
EXPRESS modelling language
Conclusion
CURRENT PROACTICES IN AIRCRAFT SYSTEMS ENGINEERING
Introduction
Aircraft systems modelling
Current MBSE applications
From document to models
MBSE and development process
Management of heterogeneous modelling in aircraft systems engineering
Expected benefuts of the proposed approach
Conclusion
KNOWLEDGE-BASED INTER-MODEL CONSTRAINT VERIFICATION
Introduction
The proposed general integrated models representation
Manipulated models
The resources
The modelling process activities
Conclusion
APPROACH VALIDATION
Introduction
Exportation of SysML and CORE models
Annotation using implicit knowledge
Model integration using equivalences
General constraint definition with first order logic expressions
Implementation with ECCO toolkit
Conclusion
INDUSTRIAL EVALUATION
Introduction
Water and waste system model
Hydraulic and engine system model
Ram air turbine models
Conclusion
PROPOTYPING TOOL
A prototype to support the method
Actors and use cases
Selected technology and architecture
Current HCI (Human Computer Interface)
Conclusion
DEPLOYMENT IN INDUSTRY
Industrialization requirements
Needed technology enhancements
Conclusion
CONCLUSION AND PERSPECTIVES
Contributions
Perspectives
En ligne : http://tel.archives-ouvertes.fr/tel-00740161/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009484 TH-12 SIM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 SIM SIM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Gestion et optimisation des données massives issues du Web Type de document : thèse Auteurs : Addallah KHELIL, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Mohamed SENOUCI, Directeur de thèse ; Amin MESMOUDI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Fatima DEBBAT, Rapporteur ; Djamal BENSLIMANE, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Ghalem BELALEM, Examinateur Année de publication : 2020 Importance : 175 p. Note générale : NNT 2020ESMA0009
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Annexe
Résumé
Mots clés
Catégories : Bases de données:Interrogation
Données massives
Exploration de graphes
Gestion des données (systèmes d'information)
Resource Description Framework (informatique)
SPARQL (langage de programmation)Résumé : LE MONDE DES DONNÉES OUVERTES LIÉES
Le Web sémantique
Données ouvertes liées
Le modèle de données RDF
Langages de requêtes RDF
Conclusion
PANORAMA DES SYSTÈMES DE STOCKAGE ET DE TRAITEMENT DES LOD
Évolution de la gestion de données
Stockage des données RDF
Systèmes RDF distribués
Évaluation des systèmes de gestion des LOD
Évaluation expérimentale des systèmes existants
Conclusion
L'APPROCHE RDF_QDAG : BASES THÉORIQUES, MISES EN ŒUVRE ET OPTIMISATION
Bases théoriques de l'évaluation de requêtes
Mise en œuvre et optimisation
Conclusion
L'APPROCHE RDF_QDAG : VALIDATION EXPÉRIMENTALE
Introduction
Environnement d'expérimentations
Évaluation du pré-traitement
Performances des requêtes
RDF_QDAG vs les systèmes parallèles
Conclusion
CONCLUSION ET PERSPECTIVES
Conclusion
Perspectives
En ligne : https://tel.archives-ouvertes.fr/tel-03079086 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-20 KHE KHE Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique / Ilyès BOUKHARI
Titre : Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique Type de document : thèse Auteurs : Ilyès BOUKHARI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Bernard ESPINASSE, Rapporteur ; Jérôme GENSEL, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Omar BOUSSAID, Examinateur ; Hendrik DECKER, Examinateur ; Dominique MERY, Examinateur Importance : 161 p. Note générale : NNT 2014ESMA0001
Remerciements
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
GlossaireCatégories : Bases de données
Entrepôts de données
Ingénierie des exigences
Ingénierie dirigée par les modèles
Ontologies (informatique)Résumé : Introduction générale
ETAT DE L'ART
L'expression des besoins : un état de l'art
Les ontologies au service de l'ingénierie des besoins
CONTRIBUTIONS
Unification des vocabulaires et de langages de modélisation des besoins
Vers une fusion de méta-modèles des langages de modélisation des besoins
Exploitation des besoins pour la conception physique
Prototype de validation
CONCLUSION GENERALEEn ligne : http://tel.archives-ouvertes.fr/tel-00942081 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010414 TH-14 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne Type de document : thèse Auteurs : Moustapha BIKIENGA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Auteur ; Maryline CHETTO, Rapporteur ; Frank SINGHOFF, Rapporteur ; Gaëlle LARGETEAU-SKAPIN, Examinateur ; Yamine AIT AMEUR, Examinateur Importance : 180 p. Note générale : NNT 2014ESMA0011
Remerciements
Table des matières
Introduction générale
Annexes
Notations
Acronymes
Bibliographie
Résumé
Mots clésCatégories : Ingénierie dirigée par les modèles
Ordonnancement (informatique)
POSIX (norme)
Temps réel (informatique)Résumé : ETAT DE L'ART
Systèmes temps réel
Systèmes d'exploitation temps réel
Applications temps réel
Ordonnacement
Mise en oeuvre applicative d'ordonnancement hors-ligne
Conclusion
CONTEXTE, METHODOLOGIE ET MODELISATION
Problématique
Hypothèses de base
Méthodologie
Politiques de mise en oeuvre de séquences d'ordonnancement hors-ligne
Démarche
Modèle de coûts des mises en oeuvre
Conclusion
ALGORITHMES DE MISE EN OEUVRE
Mise en oeuvre d'ordonnancement sans préemption
Mise en oeuvre d'ordonnancement avec préemption
Prise en compte des ressources critiques et des contraintes de précédence
Conclusion
MISE EN OEUVRE POSIX
Mise en oeuvre POSIX
Automatisation de mise en oeuvre POSIX
Mise en oeuvre POSIX sur Xenomai
Observation et analyse de scénarios d'exécution
Conclusion
ETUDE DE CAS : APPLICATION DE GESTION DE MINE SOUTERRAINE
Description du cas pratique : gestion de la sécurité d'une mine
Mise en oeuvre du scénario d'exécution
Conclusion
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01080218 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010733 TH-14 BIK Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BIK BIK Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt 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ésCaté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
CONCLUSIONEn 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
Titre : Système réparti d'aide à la prise de décision distribuée et collective Type de document : thèse Auteurs : Sana NADOURI, Auteur ; Allel HADJALI, Directeur de thèse ; Zaidi SAHNOUN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Ons Chirine GHEDIRA GUEGAN, Rapporteur ; Samir AKHROUF, Rapporteur ; Ramdane MAAMRI, Examinateur ; Christophe MARSALA, Examinateur ; Allaoua CHAOUI, Examinateur Importance : 97 p. Note générale : NNT 2022ESMA0019
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clés
Catégories : Décision de groupe
Intelligence artificielle répartie
Logique floue
Opérateur Skyline
Optimisation combinatoire
Systèmes d'aide à la décision
Traitement répartiRésumé : PRÉLIMINAIRES ET ÉTAT DE L'ART
Fondements des systèmes d'aide à la prise de décision (DSS)
Paradigme Skyline
CONTRIBUTIONS
Approche SMA pour la modélisation DDSS
Approche distribuée et raffinée du modèle à base de SMA
CONCLUSION GÉNÉRALEEn ligne : https://tel.archives-ouvertes.fr/tel-03999063 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 NAD NAD Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Gestion et exploitation de données capteurs : une approche basée sur la réduction de données / Khedidja BOULANOUAR
Titre : Gestion et exploitation de données capteurs : une approche basée sur la réduction de données Type de document : thèse Auteurs : Khedidja BOULANOUAR, Auteur ; Allel HADJALI, Directeur de thèse ; Mohand LAGHA, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Karima AKLI-ASTOUATI, Rapporteur ; Sofian MAABOUT, Rapporteur ; Salah BOUKRAA, Examinateur ; Daniela GRIGORI, Examinateur Importance : 110 p. Note générale : NNT 2021ESMA0011
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Acronymes
Résumé
Mots clés
Catégories : Algorithmes génétiques
Analyse des données
Bases de données:Gestion
Intelligence computationnelle
Quantificateurs (logique mathématique)
Séries chronologiquesRésumé : PRÉLIMINAIRES ET ÉTAT DE L'ART
Notions de base
Travaux connexes : techniques de réduction des données
CONTRIBUTIONS
Construction de résumés de données : approches fondées sur l'intelligence computationnelle
Résumés linguistiques dans le contexte des séries temporelles
Algorithmes génétiques multiobjectif au service des résumés linguistiques
CONCLUSION GÉNÉRALEEn ligne : https://tel.archives-ouvertes.fr/tel-03483342 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-21 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt