Thèses ISAE-ENSMA en ligne
Thèses > Auteurs commençant par L
Contribution à l'extension d'un schéma incompressible pour les flammes à bas nombre de Froude - Pré-requis à la modélisation de l'incendie / Bertrand SAPA
Titre : Contribution à l'extension d'un schéma incompressible pour les flammes à bas nombre de Froude - Pré-requis à la modélisation de l'incendie Type de document : thèse Auteurs : Bertrand SAPA, Auteur ; Hui Ying WANG, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Dominique MORVAN, Rapporteur ; Luc VERVISCH, Rapporteur ; Paul-Antoine SANTONI, Examinateur ; Jean-Pierre GARO, Examinateur ; Laurent GAY, Examinateur ; Denis LEMONNIER, Examinateur ; Pierre PLION, Examinateur Année de publication : 2011 Importance : 213 p. Note générale : NNT 2011ESMA0004
Avant-propos
Table des matières
Nomenclature
Table des figures
Liste des tableaux
Introduction
Perspectives
Bibliographie
Appendices
Résumé
Mots clésLangues : Français (fre) Catégories : Combustion
Dynamique des fluides
Ecoulement instationnaire (dynamique des fluides)
Modèles mathématiques
Rayonnements
SuieRésumé : PHENOMENOLOGIE DU FEU
Flamme de prémélange
Flamme de diffusion
Feux de nappe
Dégradation des combustibles
Feux de comportement
Influence de la ventilation
ETAT DES CONNAISSANCES RELATIVES A LA MODELISATION DES FLAMMES TURBULENTES DE DIFFUSION
Mécanique des fluides
Approches de modélisation de la turbulence
Modélisation des flux turbulents
Flammes laminaires de diffusion
Flammes turbulentes de diffusion
MODELISATION DU RAYONNEMENT
Equation des Transferts Radiatifs
Propriétés radiatives du milieu
Formation des suies
Interaction avec les autres phénomènes physiques
Modélisation du rayonnement et des suies dans l'incendie
EXTENSION D'UN SCHEMA INCOMPRESSIBLE POUR LES FLAMMES TURBULENTES DE DIFFUSION A BAS NOMBRE DE FROUDE
Présentation de Code_Saturne
Adaptation de Code_Saturne à la simulation de l'incendie
APPLICATION AUX PANACHES EN MILIEU LIBRE
Panache thermique stationnaire
Panache thermique à bas nombre de Froude
Panache d'hélium instationnaire
APPLICATION AUX FLAMMES TURBULENTES DE DIFFUSION A BAS NOMBRE DE FROUDE
Feu de nappe en milieu ouvert
Feu de compartiment
CONCLUSION GENERALEEn ligne : http://tel.archives-ouvertes.fr/tel-00605172/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009064 TH-11 SAP Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-11 SAP SAP Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Development of Methods to Identify Thermophysical Properties of Complex Media Titre original : Développement de méthodes pour la caractérisation de propriétés thermophysiques de matériaux à structure complexe Type de document : thèse Auteurs : Elissa EL RASSY, Auteur ; Didier SAURY, Directeur de thèse ; Yann BILLAUD, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Laëtitia PEREZ, Rapporteur ; Mohammed LACHI, Rapporteur ; Olivier QUEMENER, Examinateur ; Denis LEMONNIER, Examinateur ; Fabrice RIGOLLET, Examinateur ; Vladimir P. SOLOVJOV, Examinateur Importance : 243 p. Note générale : NNT 2019ESMA0013
Acknowledgements
Table of Contents
Nomenclature
General Introduction
References
List of Figures
List of Tables
Résumé
Mots clésCatégories : Diffusivité thermique
Isotropie
Matériaux orthotropes
Matériaux:Propriétés thermiques
Modélisation tridimensionnelle
Optimisation par essaims particulaires
Parois multicouches
Problème inverse de diffusion
Revêtements
ThermographieRésumé : OVERVIEW OF THERMAL CHARACTERIZATION METHODS
Introduction
Context and Industrial Applications
Why Thermal Characterisation?
Panorama and Classification of Thermal Characterization Methods
State of the Art on Flash Method and its Evolution over Past Years
Literature Review on the Orthotropic and Isotropic Monolayers, Two-Layers or Multi-Layers Characterization
Summary
Résumé substantiel du chapitre 1
THERMAL PARAMETERS IDENTIFICATION PRINCIPLE
Introduction
Inverse Heat Conduction Problem - IHCP
Experimental 3D Flash Method
Direct/Forward Model
Estimation Method
Sensitivity Analysis Concept
Uncertainties and Errors or Bias Sources
Summary
Résumé substantiel du chapitre 2
MONOLAYER THERMAL CHARACTERIZATION
Introduction
Literature Review on Monolayer Thermal Characterization
Resolution of the Inverse Heat Conduction Problem - Thermal Identification Problem
Experimental Applications and Estimation Results
DSEH Compared to Other Existing Indentification Methods (ERH, ENH, MSEH)
Improvements of Indetification Method
Other Approaches to Estimate Additional Thermophysical Properties
Summary
Résumé substantiel du chapitre 3
GENERALIZATION TO MULTI-LAYER MATERIALS
Introduction
Literature Review on Two or Multi-Layers Thermal Characterization Techniques
Resolution of the Inverse Heat Conduction Problem - Thermal Identification Problem
Method Validation
Numerical and Experimental Applications
Conclusion
Résumé substantiel du chapitre 4
GENERAL CONCLUSION AND PERSPECTIVES
En ligne : https://tel.archives-ouvertes.fr/tel-02560545 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-19 ELR ELR Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Développement de méthodes d'identification des propriétés thermo-physiques de matériaux semi-transparents / Yang LIU
Titre : Développement de méthodes d'identification des propriétés thermo-physiques de matériaux semi-transparents Type de document : thèse Auteurs : Yang LIU, Auteur ; Didier SAURY, Directeur de thèse ; Yann BILLAUD, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Philippe LE MASSON, Rapporteur ; Christophe LE NILLIOT, Rapporteur ; Agnès DELMAS, Examinateur ; Manuel GIRAULT, Examinateur ; Denis LEMONNIER, Examinateur ; Benoît ROUSSEAU, Examinateur Importance : 164 p. Note générale : NNT 2019ESMA0019
Remerciements
Table des matières
Nomenclature
Introduction générale
Bibliographie
Liste des figures
Liste des tableaux
Annexe
Résumé
Mots clésCatégories : Diffusivité thermique:Mesure
Ecoulement instationnaire (dynamique des fluides)
Matériaux:Propriétés thermiques
Optimisation par essaims particulaires
Rayonnement thermique
Réseaux neuronaux (informatique)
Transfert de chaleurRésumé : MODELISATIONS DIRECTES DU PROBLÈME ÉTUDIÉ
Introduction
Modèle direct 1D instationnaire conducto-radiatif
Résolution du modèle direct 1D
Validation du modèle direct 1D
Modèle direct 2D axisymétrique
Résolution du modèle direct 2D axisymétrique
Validation du modèle direct 2D axisymétrique
Conclusion
DISPOSITIF EXPÉRIMENTAL ET MODÈLE D’IDENTIFICATION BASE SUR PSO
Introduction
Algorithme PSO
Test de performance de l’algorithme PSO
Test de robustesse de l’algorithme PSO
Application
Conclusion
MODÈLE RÉDUIT D’IDENTIFICATION BASE SUR UN RÉSEAU DE NEURONES
Introduction
Histoire du réseau de neurones artificiels
Étude de sensibilité
Construction du modèle réduit d’identification basé sur un réseau de neurones
Test de robustesse
Étude statistique
Application
Conclusion
MODÈLE RÉDUIT BASE SUR LA MÉTHODE D’IDENTIFICATION MODALE (MIM)
Introduction
Méthode d’identification modale (MIM)
Modèle réduit non-linéaire
Modèle réduit linéaire paramétrique
Conclusion
CONCLUSION GÉNÉRALE ET PERSPECTIVES
En ligne : https://tel.archives-ouvertes.fr/tel-02860060 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-19 LIU LIU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Etude de la convection naturelle turbulente en cavité verticale différentiellement chauffée : Analyse des structures et des transferts turbulents / Pierre BELLEOUD
Titre : Etude de la convection naturelle turbulente en cavité verticale différentiellement chauffée : Analyse des structures et des transferts turbulents Type de document : thèse Auteurs : Pierre BELLEOUD, Auteur ; Didier SAURY, Directeur de thèse ; Denis LEMONNIER, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Francesca CHILLA, Rapporteur ; Pierre PARANTHOEN, Rapporteur ; Shihe XIN, Examinateur ; Florian MOREAU, Examinateur Importance : 190 p. Note générale : NNT 2016ESMA0005
Remerciements
Sommaire
Nomenclature
Introduction générale
Références bibliographiquesCatégories : Chaleur:Convection
Mécanique des fluides
Pression:Mesure
Thermocinétique
Thermocouples
Transfert radiatif
Turbulence
Vélocimétrie par images de particulesRésumé : BIBLIOGRAPHIE
Généralités
Paramètres adimensionnels en convection naturelle thermique
Equations régissant l'écoulement et les transferts
Présentation des écoulements en CDC
Mesures couplées
Détection des structures
Conclusion
DISPOSITIF EXPERIEMENTAL/METROLOGIE
Introduction
La cavité différentiellement chauffée
Métrologie
Conditions aux limites
Conclusion
TRAITEMENT DES DONNEES, RESULTATS ET ANALYSE
Mise en équation
Topologie de l'écoulement moyen et zones de mesures
Post-traitement des données
Exploitation des grandeurs post-traitées
CONCLUSION - PERSPECTIVES
Conclusion générale
PerspectivesEn ligne : https://tel.archives-ouvertes.fr/tel-01371487 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014121 TH-16 BEL Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 BEL BEL Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Etude experimentale des échanges convectifs dus au développement d'un film d'air froid / Minh Nhat NGUYEN
Titre : Etude experimentale des échanges convectifs dus au développement d'un film d'air froid Type de document : thèse Auteurs : Minh Nhat NGUYEN, Auteur ; Eva DORIGNAC, Directeur de thèse ; Matthieu FÉNOT, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Isabelle TREBINJAC, Rapporteur ; Bernard BAUDOIN, Rapporteur ; Abderahmane BAÏRI, Examinateur ; Denis LEMONNIER, Examinateur Année de publication : 2012 Importance : 199 p. Note générale : NNT 2012ESMA0002
Remerciements
Sommaire
Nomenclature
Résumé
Mots clésLangues : Français (fre) Catégories : Chaleur:Convection
Combustion
Nombre de Nusselt
ThermographieRésumé : INTRODUCTION
Contexte de l'étude
Techniques de refroidissement
Le refroidissement par multiperforation
Organisation du mémoire
ETUDES BIBLIOGRAPHIQUES
Généralités
Influence des facteurs géométriques
Influence des facteurs aérothermiques
Synthèse bibliographie
DISPOSITIF EXPERIMENTAL ET TECHNIQUE DE MESURES
Introduction
Montage expérimental
Technique de mesures thermiques
Incertitudes
RESULTATS EXPERIMENTAUX
Introduction
Information sur les configuration et sur la présentation des résultats
Conditions expérimentales
Technique d'exploitation des résultats
Représentations des résultats expérimentaux
Conclusions intermédiaires
VERS LES HAUTES TEMPÉRATURES
Introduction
Description de veine d'essais de Thalie
Moyens de mesure de température de la paroi
Méthode de mesure
Configurations des tests et résultats expérimentaux
Conclusions intermédiaires
CONCLUSIONS GENERALES ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00684560 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009300 TH-12 NGU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 NGUm NGU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Etude expérimentale d'un jet plan turbulent se développant dans un flux uniforme en co-courant / Jean YOUSSEF
Titre : Etude expérimentale d'un jet plan turbulent se développant dans un flux uniforme en co-courant Type de document : thèse Auteurs : Jean YOUSSEF, Auteur ; Eva DORIGNAC, Directeur de thèse ; Johan CARLIER, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Michel STANISLAS, Rapporteur ; Sedat TARDU, Rapporteur ; Joël DELVILLE, Examinateur ; Denis LEMONNIER, Examinateur Année de publication : 2012 Importance : 220 p. Note générale : NNT 2012ESMA0022
Remerciements
Table des matières
Nomenclature
Références bibliographiques
Catalogue des résultats des mesures par CTA
Articles
Résumé
Mots clesCatégories : Anémomètres à fil chaud
Jets:Fluides, Dynamique des
Turbulence
Vélocimétrie par images de particulesRésumé : INTRODUCTION GENERALE
Sujet de l'étude
Contexte des études appliqués de l'équipe ACTA
Objectifs de l'étude
Moyens et méthodes
Organisation du document
REVUE DE LA LITTERATURE
Equatiions de base pour les écoulements turbulents
Jet plan turbulent en co-courant
Revue bibliographique
MOYENS EXPERIMENTAUX
Soufflerie Jet Plan
Soufflerie d'étalonnage
Thermocouple
Anémométrie à fil chaud
Vélocimétrie par images de particules
Qualification et adaptation initiale de la soufflerie Jet Plan
COMPORTEMENT D'UN JET PLAN TURBULENT EN CO-COURANT
Grandeurs mesurées et analysées
Mode de représentation des profils transversaux
Ecoulement moyen
Tenseur de Reynolds
Coefficient de dissymétrie et d'aplatissement
Echelles caractéristiques de l'écoulement
ETUDE EXPLORATOIRE DE L'INFLUENCE DE LA TEMPERATURE SUR L'ECOULEMENT
Transport de scalaire dans les écoulements cisaillés et nombre de Richardson
Comparaison des deux métrologies PIV et CTA
Effet de la température sur une configuration de jet en co-courant
Effet de la température sur une configuration isocinétique
Perspective de l'étude par PCTA
CONCLUSION GENERALE ET PERSPECTIVES
En ligne : http://tel.archives-ouvertes.fr/tel-00784840 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00009689 TH-12 YOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-12 YOU YOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Caractérisation et modélisation des interfaces dans les composites organiques stratifiés à haute température : application à la tenue au feu des structures aéronautiques / Juan Pablo MÁRQUEZ-COSTA
Titre : Caractérisation et modélisation des interfaces dans les composites organiques stratifiés à haute température : application à la tenue au feu des structures aéronautiques Type de document : thèse Auteurs : Juan Pablo MÁRQUEZ-COSTA, Auteur ; Damien HALM, Directeur de thèse ; Cédric HUCHETTE, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - PMM, Commanditaire ; Rafael ESTEVEZ, Rapporteur ; Benoît VIEILLE, Rapporteur ; Christophe BOUVET, Examinateur ; Anita CATAPANO, Examinateur ; Vincent LEGRAND, Examinateur ; Gillian LEPLAT, Examinateur Importance : 207 p. Note générale : NNT 2021ESMA0004
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Nomenclature
Introduction
Bibliographie
Résumé
Mots clés
Catégories : Cisaillement (mécanique)
Composites:Délaminage
Composites:Traitement thermomécanique
Essais de comportement au feu
Interfaces (sciences physiques)
Rupture, Mécanique de la
Simulation, Méthodes deRésumé : ÉTAT DE L'ART SUR LA TENUE AU FEU DES COMPOSITES STRATIFIÉS
Matériaux composites exposés au feu : Certification actuelle dans le secteur aéronautique
Caractérisation des phénomènes thermomécaniques dans les composites stratifiés
Modélisation de la tenue au feu des composites
Caractérisation expérimentale du délaminage
Modélisation numérique du délaminage
Conclusions et limitations
MISE EN ÉVIDENCE DU COMPORTEMENT DU MATÉRIAU PAR L'ANALYSE EXPÉRIMENTALE ET NUMÉRIQUE DE L'ESSAI INJECT
Présentation et exploitation de l’essai de propagation du délaminage en mode II en température : INJECT
Validation de l’essai ENF en température
Mise en évidence des effets de la température sur la réponse à l’interface
Conclusions
CARACTÉRISATION DU COMPORTEMENT VISQUEUX DES INTERFACES CMO PAR DIALOGUE ESSAI-CALCUL
Développement d’une stratégie de dialogue essai-calcul de type FEMU pour la caractérisation du comportement d’interface en température
Application de la FEMU pour la caractérisation du comportement d’interface apparent en absence d’endommagement
Conclusions
IDENTIFICATION D'UNE LOI D'INTERFACE DÉPENDANTE DE LA TEMPÉRATURE
Justification du besoin d’un modèle cohésif pour la modélisation de l’endommagement à l’interface
Développement d’une stratégie de dialogue essai-calcul de type FEMU pour la caractérisation de la réponse endommageable d’interface en température
Application de la FEMU pour l’identification d’une dépendance à la température des paramètres du modèle
Conclusions
CONFRONTATION DU MODÈLE D'INTERFACE À L'ANALYSE DE L'AMORÇAGE DU DÉLAMINAGE SOUS CHARGEMENT THERMIQUE LASER
Présentation de l’essai BLADE pour l’étude de la propagation du délaminage en température
Analyse de la réponse thermo-mécanique et comparaison avec la simulation numérique
Développement d’une approche numérique pour la formulation d’un critère d’amorçage du délaminage
Vers la prévision des performances mécaniques résiduelles des composites soumis au feu
Conclusions sur la prévision du délaminage en température
CONCLUSIONS ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-03184780 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-21 MAR MAR Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Etude de la fragmentation dynamique de métaux sous choc laser Type de document : thèse Auteurs : Emilien LESCOUTE, Auteur ; Thibaut de RESSÉGUIER, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - PMM, Commanditaire ; Michel KOENIG, Rapporteur ; Ludovic HALLO, Rapporteur ; Valdimir THIKONCHUK, Examinateur ; André DRAGON, Examinateur ; Jean-Marc CHEVALIER, Examinateur Année de publication : 2010 Importance : 224 p. Note générale : NNT 2010ESMA0022
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
résumé
Mots clésLangues : Français (fre) Catégories : Choc (mécanique)
Endommagement, Mécanique de l' (milieux continus)
Essais
Matériaux:Détérioration
Matériaux:Fatigue
Rupture, Mécanique de la
Simulation par ordinateurRésumé : DESCRIPTION THEORIQUE ET PHENOMENOLOGIQUE DES PROCESSUS DE FRAGMENTATION SOUS CHOC LASER
Génération d'une onde de choc par ablation laser
Propagation d'une onde de choc dans la matière condensée
Processus de fragmentation induits par choc laser
DEVELOPPEMENT ET UTILISATION D'OUTILS EXPERIMENTAUX OU NUMERIQUES
Installations laser
Diagnostics expérimentaux
Codes de simulation
RESULTATS EXPERIMENTAUX ET SIMULATIONS NUMERIQUES ASSOCIEES
Méthodologie
Ecaillage
Fragmentation dynamique par perforation
Microjetting
INFLUENCES DES PARAMETRES EXPERIMENTAUX SUR LA FRAGMENTATION
Intensité laser incidente et épaisseur de la cible
Longueur d'onde
Etat de surface
Température initiale
Durée d'impulsion
Bilan récapitulatif
APPLICATION AU TERME SOURCE DU LMJ
Contexte LMJ
Effets des impacts d'éjectas sur l'environnement proche
Formationde nuclei par condensation dans le plasma d'ablation
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00565028/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008850 TH-10 LES Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 LES LES Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Estimation et prédiction des productions d’énergies renouvelables et des consommations d’un réseau de distribution d’électricité / Mohamed TRIBAK
Titre : Estimation et prédiction des productions d’énergies renouvelables et des consommations d’un réseau de distribution d’électricité Type de document : thèse Auteurs : Mohamed TRIBAK, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Brice CHARDIN, Directeur de thèse ; Thierry POINOT, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Sadok BEN YAHIA, Rapporteur ; Marie-Jeanne LESOT, Rapporteur ; Thomas DEVOGELE, Examinateur Année de publication : 2021 Importance : 166 p. Note générale : NNT 2021ESMA0012
Remerciements
Résumé
Abstract
Table des matières
Introduction générale
Table des figures
Liste des tableaux
Bibliographie
Annexes
Résumé
Mots clésCatégories : Apprentissage automatique
Electricité:Production:Prévision
Réseaux électriques intelligents
Séries chronologiquesRésumé : CONTEXTE GÉNÉRAL DE LA THÈSE
Introduction du chapitre
Réseau électrique français
Contexte et enjeux de la thèse
DONNÉES ET GÉNÉRALITÉS
Introduction du chapitre
Éléments de vocabulaire
Données
Prétraitement de données
Qualité de données
Conclusion du chapitre
CONSOMMATION ÉLECTRIQUE DU RÉSEAU SRD
Introduction du chapitre
Objectif détaillé
Généralités
Données et expérimentation
Résultats
Conclusion du chapitre
ESTIMATION DE LA PRODUCTION PV
Introduction du chapitre
Objectif détaillé
Généralités
Données et expérimentation
Résultats
Conclusion du chapitre
PRÉVISION DE LA PRODUCTION PV
Introduction du chapitre
Objectif détaillé
État de l'art
Méthodologie de prévision
Données et modélisation
Résultats
Conclusion du chapitre
CONCLUSION GÉNÉRALE ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-03477632 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-21 TRI TRI 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 Simulation haute-fidélité de la transition vers la turbulence de couches limites hypersoniques. Contributions à l’étude des effets des rugosités et des structures non-modales / Clément CAILLAUD
Titre : Simulation haute-fidélité de la transition vers la turbulence de couches limites hypersoniques. Contributions à l’étude des effets des rugosités et des structures non-modales Type de document : thèse Auteurs : Clément CAILLAUD, Auteur ; Éric GONCALVES DA SILVA, Directeur de thèse ; Ludovic HALLO, Directeur de thèse ; Guillaume LEHNASCH, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Paola CINNELLA, Rapporteur ; Jean-Christophe ROBINET, Rapporteur ; Lutz LESSCHAFFT, Examinateur ; Peter JORDAN, Examinateur ; Taraneh SAYADI, Examinateur Année de publication : 2022 Importance : 230 p. Note générale : NNT 2022ESMA0014
Résumé
Remerciements
Table des matières
Introduction
Annexes
Bibliographie
Résumé
Mots-clés
Catégories : Aérodynamique hypersonique
Couche limite turbulente
Modélisation CFD
Navier-Stokes, Equations de
TurbulenceRésumé : THÉORIE ET OUTILS
Stabilité et transition en régime hypersonique
Outils pour l'analyse numérique
SIMULATION ET ANALYSE
Couche limite et plaque plane
Effet du forçage sur le sillage d'une rugosité
Croissance non-linéaire de streaks optimales
Stabilité et dynamique des streaks
CONCLUSIONS ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-03967813 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 CAI CAI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Projection de Ti-6Al-4V par cold spray pour un objectif de fabrication additive : contraintes résiduelles, microstructures et propriétés mécaniques / Samuel LETT
Titre : Projection de Ti-6Al-4V par cold spray pour un objectif de fabrication additive : contraintes résiduelles, microstructures et propriétés mécaniques Type de document : thèse Auteurs : Samuel LETT, Auteur ; Patrick VILLECHAISE, Directeur de thèse ; Érick MEILLOT, Directeur de thèse ; Samuel HÉMERY, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - PMM, Commanditaire ; Salima BOUVIER, Rapporteur ; Sophie COSTIL, Rapporteur ; Éric CHARKALUK, Examinateur ; Vincent GUIPONT, Examinateur Année de publication : 2022 Importance : 208 p. Note générale : NNT 2022ESMA0018
Remerciements
Table des matières
Table des figures
Liste des tableaux
Liste des acronymes
Glossaire
Nomenclature
Introduction
Bibliographie
Annexe
Résumé
Mots clésCatégories : Contraintes résiduelles
Grenaillage de précontrainte
Microstructure (physique)
Porosité
Prototypage rapide
Titane:Alliages:Oxydation
Titane:Alliages:Propriétés mécaniquesRésumé : CHAPITRE BIBLIOGRAPHIQUE
La fabrication additive
Le cold spray
Les contraintes résiduelles
Les alliages de titane et le Ti-6Al-4V
Les propriétés mécaniques du Ti-6Al-4V
STRATÉGIE EXPÉRIMENTALE
La mise en œuvre des revêtements
Les techniques de caractérisation
Les traitements thermiques
OPTIMISATIONS ET ANALYSE DES PROJECTIONS
Des paramètres pour la réduction du taux de pores
Caractérisation de la microstructure
Caractérisation des propriétés mécaniques
OPTIMISATIONS DE LA MICROSTRUCTURE ET DES PROPRIÉTÉS MÉCANIQUES
Caractérisation de la microstructure
Caractérisation des propriétés mécaniques
MAÎTRISE DES CONTRAINTES RÉSIDUELLES POUR UN OBJECTIF DE FABRICATION ADDITIVE
Étude des contraintes résiduelles
Application à la fabrication additive
CONCLUSIONEn ligne : https://tel.archives-ouvertes.fr/tel-03967544 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 LET LET Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Contribution à l'homogénéisation des milieux viscoélastiques et introduction du couplage avec la température par extensions d'une approche incrémentale directe / Benjamin TRESSOU
Titre : Contribution à l'homogénéisation des milieux viscoélastiques et introduction du couplage avec la température par extensions d'une approche incrémentale directe Type de document : thèse Auteurs : Benjamin TRESSOU, Auteur ; Carole NADOT-MARTIN, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - PMM, Auteur ; Djimédo KONDO, Rapporteur ; Sébastien MERCIER, Rapporteur ; Noël LAHELLEC, Examinateur ; Martin LEVESQUE, Examinateur ; Renaud MASSON, Examinateur Importance : 182 p. Note générale : NNT 2016ESMA0004
Rermerciements
Introduction générale
Table des matières
Annexes
Liste des figures
Liste des tableaux
Références bibliographiques
Résumé
Mots clésCatégories : Composites à fibres
Equation de la chaleur
Méthodes d'homogénéisation numérique
Microstructure (physique)
Python (langage de programmation)
Thermoélasticité
ViscoélasticitéRésumé : POSITIONNEMENT DES TRAVAUX
Contexte de l'étude
Transition d'échelles : concept, méthodes et enjeux en viscoélasticité
Couplages multi-physiques
Bilan des objectifs et démarche adoptée
PRESENTATION DE L'APPROCHE INCREMENTALE
Lois de comportement des constituants
Formulation du problème hétérogène local (versions initiale et incrémentale)
Hypothèses de travail
Méthode variationnelle
Ecriture du problème auxiliaire thermoélastique
Résolution du problème auxiliaire thermoélastique
Plan général de la résolution et optimisation des inconnues
Quelques éléments de codage
MICROSTRUCTURES A FIBRES LONGUES
Microstructure réalisant la borne inférieure d'Hashin-Shtrikman
Microstructure périodique : mise en place des outils et premiers résultats
Microstructure périodique : porosité et effets des constrastes
Estimation du second moment
GENERALISATION DE L'APPROCHE INCREMENTALE
Lois de comportement des constituants
Formulation du problème hétérogène local (version incrémentale)
Hypothèses de travail (nouvelle version)
Méthode variationnelle
Ecriture du problème auxiliaire thermoélastique
Résolution du problème auxiliaire thermoélastique
APPLICATION DE L'APPROCHE INCREMENTALE POUR DIFFERENTES LOIS VISCOLELASTIQUES LOCALES
Modèle de Maxwell à variable interne non déviatorique
Les deux phases viscoélastiques
Modèle de Maxwell généralisé
APPLICATION DE L'APPROCHE INCREMENTALE A DIFFERENTES MICROSTRUCTURES
Microstructure à inclusions sphériques
Microstructures à inclusions ellipsoïdales, prolates et oblates
Composites à copeaux de bois lamellés
APPROCHE INCREMENTALE AVEC COUPLAGE THERMOVISCOELASTIQUE
Lois de comportement des constituants
Formulation du problème hétérogène thermomécanique couplé (versions initiale et discrétisée)
Hypothèses de travail
Méthode variationnelle
Ecriture du problème auxiliaire thermoélastique
Discussion et définition des cas d'application
TEMPERATURE UNIFORME IMPOSEE EN TOUT POINT
Comportement des phases et changements retenus
Fibres élastiques
Fibres thermoélastiques
Fibres thermoviscoélastiques
PRISE EN COMPTE DE LA VARIATION DE TEMPERATURE INDUITE PAR LE CHARGEMENT MECANIQUE
Comportement des phases et intégration de l'équation de la chaleur dans la procédure de résolution
Premier résultat
CONCLUSION GENERALEEn ligne : https://tel.archives-ouvertes.fr/tel-01327248 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014119 TH-16 TRE Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 TRE TRE 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 Contribution à la caractérisation thermomécanique d’un polyéthylène auto-renforcé et de ses « recyclats » : Effet des paramètres du procédé de moulage par compression / Coline ROIRON
Titre : Contribution à la caractérisation thermomécanique d’un polyéthylène auto-renforcé et de ses « recyclats » : Effet des paramètres du procédé de moulage par compression Type de document : thèse Auteurs : Coline ROIRON, Auteur ; Jean-Claude GRANDIDIER, Directeur de thèse ; Éric LAINÉ, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - PMM, Commanditaire ; Nadia BAHLOULI, Rapporteur ; Peter DAVIES, Rapporteur ; Véronique BOUNOR-LEGARÉ, Examinateur ; Véronique MICHAUD, Examinateur ; Olivier LHOST, Examinateur Année de publication : 2022 Importance : 413 p. Note générale : NNT 2022ESMA0004
Avant-Propos
Remerciements
Table des matières
Résumé
Mots clés
Catégories : Composites polymères:Fluage
Composites thermoplastiques
Matériaux:Recyclage
Matières plastiques:Moulage
Polyéthylène:Propriétés mécaniques
Polyéthylène:Propriétés thermiquesRésumé : CONTEXTE ET POSITIONNEMENT
Enjeu général des composites
Une alternative intéressante : les composites auto-renforcés
Choix d'étude : le SRPE (Self Reinforced PolyEthylene)
Positionnement des SRPE parmi les composites conventionnels
Les enjeux à relever pour l'exploitation de SRPE
Méthode proposée pour relever les enjeux
Références
RENFORTS UHMWPE : PROPRIÉTÉS ET STRUCTURES
État de l'art sur la structure des renforts UHMWPE
État de l'art sur le comportement des renforts UHMWPE
Manquements relevés et définition des axes d'étude
Matériau et outils expérimentaux
Résultats
Conclusion
Bilan
Références
Annexes
COMPORTEMENT THERMOMÉCANIQUE DU SRPE : RELATION AVEC LA STRUCTURE
État de l'art sur les SRP
Manquements relevés et définition des axes de l'étude
Matériaux et outils expérimentaux
Résultats
Conclusion
Bilan
Références
RECYCLABILITÉ DES MATÉRIAUX SRPE
Éléments d'état de l'art sur le recyclage
Recyclabilité des SRPE et définition des axes d'étude dans le cadre de la thèse
Matériaux et outils expérimentaux
Résultats
Conclusion
Bilan
Références
CONCLUSIONS ET PERSPECTIVES
Conclusions générales
Perspectives applicatives de ce travail
Ce qu'il faut retenir
En ligne : https://tel.archives-ouvertes.fr/tel-04051819 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 ROI ROI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Aerodynamic Drag Reduction of a Square-Back Car Model Using Linear Genetic Programming and Physic-Based Control / Ruiying LI
Titre : Aerodynamic Drag Reduction of a Square-Back Car Model Using Linear Genetic Programming and Physic-Based Control Type de document : thèse Auteurs : Ruiying LI, Auteur ; Bernd R. NOACK, Directeur de thèse ; Jacques BORÉE, Directeur de thèse ; Laurent CORDIER, Directeur de thèse ; Institut PPRIME UPR CNRS 3346 - FTC, Commanditaire ; Louis N. CATTAFESTA, Rapporteur ; Laurent KEIRSBULCK, Rapporteur ; Aimée MORGANS, Examinateur ; Christian Navid NAYERI, Examinateur ; Fabien HARAMBAT, Examinateur Importance : 152 p. Note générale : NNT 2017ESMA0014
Acknowledgements
Résumé étendu
Table of Contents
Introduction
Appendix
Refenrences
Abstract
KeywordsCatégories : Automobiles:Aérodynamique
Couche limite:Contrôle
Ecoulement de culot (aérodynamique)
Sillage (aérodynamique)
Traînée (aérodynamique)
Turbulence de sillageRésumé : LINEAR GENETIC PROGRAMMING CONTROL
Design of Linear Genetic Programming Control
Drag Reduction of a Car Model by LGPC
PHYSIC-BASED CONTROL
Feedback Control of Bi-Modal Wake Dynamics
Drag Reduction of the Car Model at Yaw
CONCLUSIONS AND PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01685306 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014329 TH-17 LIR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 LIR LIR Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles / Thanh Dat NGUYEN
Titre : Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles Type de document : thèse Auteurs : Thanh Dat NGUYEN, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Olivier H. ROUX, Rapporteur ; Chokri MRHAIDA, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Nicolas NAVET, Examinateur ; Laurent RIOUX, Examinateur Année de publication : 2020 Importance : 142 p. Note générale : NNT 2020ESMA0007
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clés
Catégories : AADL (informatique)
Analyse temporelle
Ingénierie dirigée par les modèles
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes, Analyse de
Systèmes, Conception de
Temps réel (informatique)Résumé : SYSTÈMES EMBARQUÉS TEMPS RÉEL
Introduction
Structure des systèmes temps réel
Caractéristiques des test d'ordonnançabilité
Ingénierie dirigée par les modèles
Langages dédiés aux systèmes temps réel
Conclusion
FOCUS SUR L'ANALYSE D'ORDONNANÇABILITÉ
Introduction
Ordonnancement monoprocesseur
Ordonnancement multi-processeur
Ordonnancement distribué (réparti)
Outils d'analyse
Discussion
Conclusion
CONTRAINTES DE PRÉCÉDENCE À BASE DE SÉMAPHORE POUR UNE COMMUNICATION MULTI-PÉRIODIQUE DÉTERMINISTE
Introduction
Modèles de représentation de contraintes de précédence
Renforcement de la sémantique des SPC
Politique d'ordonnancement et analyse d'ordonnançabilité
Implémentation de SPC en AADL
Étude de cas
Outillage
Conclusion
TEST EXACT D'ORDONNANÇABILITÉ DE TÂCHES DÉPENDANTES SOUS G-FP
Introduction
Exemple motivationnel
Analyse exacte de temps de réponse sous ordonnanceur FP sur plateforme monoprocesseur
Analyse exacte de temps de réponse sous ordonnanceur FP sur plateforme multi-processeur identique
Vérification temporelle
Conclusion
VERS UN RÉFÉRENTIEL D'ANALYSE GÉNÉRIQUE
Introduction
Travaux connexes : méthodes d'aide à la conception
Positionnement
Identification Rule Language (IRL)
Le référentiel d'analyse générique
Transformation et adaptation
Conclusion
CONCLUSION ET PERSPECTIVES
Conclusion
PerspectivesEn ligne : https://tel.archives-ouvertes.fr/tel-03079085 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-20 NGUt NGU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : An Advanced Skyline Approach for Imperfect Data Exploitation and Analysis Type de document : thèse Auteurs : Saïda ELMI, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Arnaud MARTIN, Rapporteur ; Faiz GARGOURI, Rapporteur ; Nahla BEN AMOR, Examinateur ; Anne DOUCET, Examinateur Importance : 150 p. Note générale : NNT 2017ESMA0011
Acknowledgements
Contents
Appendices
References
Abstract
KeywordsCatégories : Analyse des données
Bases de données:Interrogation
Distribution (théorie des probabilités)
Langages de programmation:Sémantique
Théorie de Dempster-ShaferRésumé : INTRODUCTION
Context and Motivation
Thesis Contributions
Thesis Structure
BACKGROUND MATERIAL
Introduction
Evidential Databases
Skyline Operator
Conclusion
EVIDENTIAL SKYLINE
Introduction
Evidential Skyline
Evidential Skyline Oriented Knowledge States
Evidential Skyline Computation
Experimental Evaluation
Conclusion
TWO VARIATIONS OF THE EVIDENTIAL SKYLINE
Introduction
Marginal Points: Ideal Point and Header Point
Distributed Evidential Skyline (DES)
Evidential Skyline Maintenance
COnclusion
THE TOP-k EVIDENTIAL SKYLINE
Introduction
Top-k Skyline over Evidential Objects
Top-k Skyline Computation
Experimental Evaluation
Conclusion
THE SKYLINE STARS
Introduction
Evidential Skyline
SKY²: Skyline Stars over Evidential Databases
Skyline Stars Computation
Experimental Evaluation
Conclusion
CONCLUSION AND FUTURE WORK
Conclusion
Future WorkEn ligne : https://tel.archives-ouvertes.fr/tel-01591846 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014284 TH-17 ELM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 ELM ELM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande / Olga GOUBALI
Titre : Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande Type de document : thèse Auteurs : Olga GOUBALI, Auteur ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; Pascal BERRUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean VANDERDONCKT, Rapporteur ; Gaëlle CALVARY, Rapporteur ; Jean-François PETIN, Examinateur ; Alain BIGNON, Examinateur ; Christophe KOLSKI, Examinateur Importance : 240 p. Note générale : NNT 2017ESMA0003
Remerciements
Sommaire
Introduction générale
Liste des figures
Liste des tableaux
Références bibliographiques
Annexes
Résumé
Mots clésCatégories : Commande, Théorie de la
Conception centrée sur l'utilisateur
Ingénierie dirigée par les modèles
Interfaces utilisateur (informatique)
Ordonnancement (informatique)
Systèmes complexesRésumé : GENERALITES SUR LA CONCEPTION DES SYSTEMES DE CONTROLE/COMMANDE
La conception des systèmes de contrôle-commande
Formalisme de spécification pour la construction des systèmes de contrôle-commande
Verrous identifiés par l'état de l'art
FACILITER LA CONCEPTION DES MODELES DE TACHES COMPLEXES
Analyse de la tâche humaine dans la conception des systèmes de contrôle-commande
La conception des modèles de tâches complexes
Analyse comparative des approches présentées
Problématique
Proposition d'une démarche de conception des modèles de tâches complexes
Bilan sur la conception des modèles de tâches complexes
SPECIFICATIONS ET GENERATION D'APPLICATIONS DE CONTROLE-COMMANDE
La génération d'IHM à partir de modèles de tâches
Faciliter la spécification fonctionnelle des systèmes complexes
Proposition d'une démarche de spécification fonctionnelle et de génération d'application de contrôle-commande
Bilan sur la spécification fonctionnelle et la génération de systèmes de contrôle-commande
MISE EN OEUVRE DES PROPOSITIONS A TRAVERS UN FLOT DE CONCEPTION
Présentation du flot de conception proposé
Choix d'outils pour la conception des systèmes de contrôle-commande
Opération d'adaptation des modèles de tâches
Opération d'adaptation EGRC
Opération d'insertion SPEC
Opération d'enregistrement-généralisation
Opération de génération d'interfaces de contrôle
Opération d'intégration des interfaces de contrôle
Opération de test, débogage et correction
Opération de génération de codes de commandes
Opération de génération d'IHM
Opération de génération de commande
Bilan
APPLICATION DE NOTRE DEMARCHE A UN CAS D'ETUDE ET VALIDATION EXPERIMENTALE
Etude de cas
Evaluations
Bilan global des évaluations
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01505594 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014274 TH-17 GOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 GOU GOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel / Yassine OUHAMMOU
Titre : Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel Type de document : thèse Auteurs : Yassine OUHAMMOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Marco DI NATALE, Rapporteur ; Frank SINGHOFF, Rapporteur ; Yves SOREL, Rapporteur ; Jérôme HUGUES, Examinateur Importance : 214 p. Note générale : NNT 2013ESMA0029
Remerciements
Contents
Appendices
Bibliography
Abstract
Key wordsCatégories : Ingénierie dirigée par les modèles
Modèles mathématiques
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes, Conception de
Temps réel (informatique)Résumé : Introduction
RESEARCH FOUNDATIONS
Real-time systems : generalities and definitions
Real-time scheduling
Technological background
CONTRIBUTIONS
Synthesis and work orientation
MoSaRT design language
MoSaRT analysis repository
MoSaRT framework
CONCLUSION AND PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00954468 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010379 TH-13 OUH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 OUH OUH Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Conception et exploitation d'une base de modèles : application aux data sciences / Cyrille PONCHATEAU
Titre : Conception et exploitation d'une base de modèles : application aux data sciences Type de document : thèse Auteurs : Cyrille PONCHATEAU, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Mickaël BARON, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Abdelkader HAMEURLAIN, Rapporteur ; Mirian HALFELD FERRARI ALVES, Examinateur ; Carlos ORDONEZ, Examinateur ; Thierry POINOT, Examinateur ; Samira SI-SAID CHERFI, Examinateur Année de publication : 2018 Importance : 209 p. Note générale : NNT 2018ESMA0005
Remerciements
Table des matières
Table des figures
Liste des tableaux
Table des sigles et acronymes
Annexes
Bibliographie
Résumé
Mots clésCatégories : Bases de données relationnelles
Bases de données:Conception
Entrepôts de données
Equations différentielles:Bases de données
Microservices
Modèles mathématiques:Bases de données
Séries chronologiques:Logiciels
Structures de données (informatique)Résumé : Introduction générale
ÉTAT DE L'ART
Évolution de la technologie de stockage de données
Modèles mathématiques et séries chronologiques dans le monde des bases de données
NOS PROPOSITIONS
Modélisation conceptuelle et structures de données dédiées aux modèles mathématiques dans une approche entreposage
Exploitation des modèles mathématiques
Prototype et expérimentations
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01939430 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-18 PON PON Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Conception d'un framework pour la relaxation des requêtes SPARQL Type de document : thèse Auteurs : Géraud FOKOU PELAP, Auteur ; Allel HADJALI, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Nadine CULLOT, Rapporteur ; Farouk TOUMANI, Rapporteur ; Marie-Christine ROUSSET, Examinateur ; Olivier CORBY, Examinateur ; François GOASDOUE, Examinateur Importance : 196 p. Note générale : NNT 2016ESMA0014
Remerciements
Table des matières
Introduction
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Bases de données:Interrogation
Non-réponses (enquêtes)
Ontologies (informatique)
Relaxation, Méthodes de (mathématiques)
Resource Description Framework (informatique)
SPARQL (langage de programmation)Résumé : ONTOLOGIES : REPRESENTATIONS, STOCKAGE ET INTERROGATION
Notion d'ontologie
Langages de définition des ontologies
Base de données RDF (BD RDF)
Langage d'interrogation : SPARQL
SYNTHESE DES APPROCHES D'INTERROGATION COOPERATIVES
Suggestion de requêtes
Interrogation par l'exemple
Explication sur les réponses d'une requête
Raffinement de la requête par l'utilisateur(Users refinement)
Redéfinition des requêtes
Systèmes de recommandation
ETAT DE L'ART SUR LA RELAXATION DES REQUETES
Relaxation des requêtes relationnelles
Relaxation dans les systèmes de recommandation
Relaxation des requêtes sur les données RDF
EXTENSION DE SPARQL AVEC DES OPERATEURS DE RELAXATION
Besoin d'opérateurs de relaxation
Opérateurs de relaxation
Intégration des opérateurs dans SPARQL
QaRS : Un outil de relaxation des requêtes SPARQL
Expérimentations : contexte et résultats
RECHERCHE DES MFS ET XSS DANS LES REQUETES SPARQL
Préliminaires : rappels et définitions
Approche LBA pour la recherche des MFS et XSS
Optimisation de l'approche LBA
Approche MBA pou la recherche des MFS et XSS
Implémentation et expérimentations
STRATEGIES DE RELAXATION GUIDEES PAR LES CAUSES D'ECHEC
Modèle de relaxation considéré
Structures de données utilisées pour la relaxation
Stratégie de relaxation basée sur les MFS : MBS
Optimisation de l'algorithme MBS
Implémentation et expérimentations
CONCLUSION ET PERSPECTIVES
En ligne : https://tel.archives-ouvertes.fr/tel-01430177 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014162 TH-16 FOK Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 FOK FOK Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Conception d'un outil d'optimisation dynamique du schéma d'exploitation du réseau de distribution d'électricité de SRD / Abdelkrim ALI ZAZOU
Titre : Conception d'un outil d'optimisation dynamique du schéma d'exploitation du réseau de distribution d'électricité de SRD Type de document : thèse Auteurs : Abdelkrim ALI ZAZOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Jean-Paul GAUBERT, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Patrick MARTINEAU, Rapporteur ; Bruno FRANÇOIS, Rapporteur ; Salima BENBERNOU, Examinateur Importance : 165 p. Note générale : NNT 2017ESMA0010
Remerciements
Table des matières
Annexe
Table des figures
Liste des tableaux
Bibliographie
Résumé
Mots clésCatégories : Modèles non linéaires (statisque)
Reformulation quadratique convexe
Réseaux électriques (énergie):Pertes d'énergie
Réseaux électriques (énergie):Répartition des charges
Réseaux électriques intelligentsRésumé : INTRODUCTION GÉNÉRALE
Les réseaux électriques
Contrôle et supervision des réseaux
Enjeux et organisation de la thèse
ÉTAT DE L'ART
Présentation du chapitre
Contexte de la thèse
Calculs et optimisations dans les réseaux électriques
Discussion
Évaluations des contributions de la thèse
PROPOSITION D'UN MODÈLE D'OPTIMISATION NON LINÉAIRE
Introduction
Description du modèle
Mise en œuvre et comparaison
Conclusion
SIMPLIFICATION EN UN MODÈLE CONVEXE ET QUADRATIQUE
Introduction
Description du modèle
Mise en œuvre et comparaison
Conclusion
CONTRAINTES D'EXPLOITATION
Introduction
Variation de la charge et de la production
Contraintes opérationnelles supplémentaires
Mise en œuvre et comparaison
Conclusion
CONCLUSION ET PERSPECTIVES
Conclusion générale
Perspectives
En ligne : https://tel.archives-ouvertes.fr/tel-03656877 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014309 TH-17 ALI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 ALI ALI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Conception physique des bases de données à base ontologique : le cas des vues matérialisées / Bery Leouro MBAIOSSOUM
Titre : Conception physique des bases de données à base ontologique : le cas des vues matérialisées Type de document : thèse Auteurs : Bery Leouro MBAIOSSOUM, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Zohra BELLAHSENE, Rapporteur ; Nadine CULLOT, Rapporteur ; Olivier TESTE, Examinateur ; Patrick MARCEL, Examinateur Importance : 181 p. Note générale : NNT 2014ESMA0014
Remerciements
Table des matières
Introduction générale
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Architecture:Bases de données
Bases de données:Conception
Bases de données:Interrogation
Ontologies (informatique)Résumé : CONCEPTS FONDAMENTAUX
Ontologie et bases de données à base ontologique
Conception physique de bases de données
CONTRIBUTIONS
Etude empirique des bases de données à base ontologique
Modèles de coût pour les bases de données à base ontologique
La sélection des vues matérialisées dans les BDBO : un mode d'emploi
CONCLUSION GENERALE ET PERSPECTIVES
Conclusion
PerspectivesEn ligne : https://tel.archives-ouvertes.fr/tel-01129077 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010795 TH-14 MBA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 MAB MBA 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