BIBLIOTHÈQUE - ACCÈS RÉSERVÉ
Thèses > Auteurs commençant par L
Contribution à l'étude de la pyroélectricité dans les polymères ferroélectriques pour capteurs intégrés / Laurent IBOS
Titre : Contribution à l'étude de la pyroélectricité dans les polymères ferroélectriques pour capteurs intégrés Type de document : thèse Auteurs : Laurent IBOS ; A. BERNES, Directeur de thèse ; Laboratoire de Physique des Polymères Toulouse UMR CNRS 5085, Commanditaire ; F. BAUER, Rapporteur ; J. LEWINER, Rapporteur ; Y. DANTO, Examinateur ; M. GLOTIN, Examinateur ; A. MARTINEZ, Examinateur ; MILLET, I., Examinateur ; A. BERNES, Examinateur Importance : 240 p. Note générale : Sommaire
Introduction
Conclusions et perspectives
Bibliographie
AnnexesCatégories : Ferroélectricité
Piézoélectricité
Polymères
PyroélectricitéIndex. décimale : TH-00 Résumé : ETUDE BIBLIOGRAPHIQUE
Matériaux polymères ferroélectriques
Propriétés électro-actives des polymères ferroélectriques
Atouts des polymères ferroélectriques pour la réalisation de capteurs
METHODES DE CARACTERISATION ET MATERIAUX ETUDIES
Méthodes de caractérisation
Matériaux
TRANSITIONS ET RELAXATIONS DANS LES POLYMERES FERROELECTRIQUES
Transitions et relaxations dans les polymères fluorés
Transitions et relaxations diélectriques
Transitions et relaxations diélectriques dans le polyamide 11Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00002274 TH-00 IBO Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Analyse multiéchelles de la transformation martensitique induite par contrainte dans les alliages à mémoire de forme. Corrélation contraintes-microstructure / Belkhiri KAOUACHE
Titre : Analyse multiéchelles de la transformation martensitique induite par contrainte dans les alliages à mémoire de forme. Corrélation contraintes-microstructure Type de document : thèse Auteurs : Belkhiri KAOUACHE ; Etienne PATOOR, Directeur de thèse ; Sophie BERVEILLER, Directeur de thèse ; Karim INAL, Directeur de thèse ; Laboratoire de Physique et Mécanique des Matériaux FRE CNRS 3236 Université de Metz, Commanditaire ; Christian LEXCELLENT, Rapporteur ; Manuel FRANCOIS, Rapporteur ; Elisabeth GAUTIER, Examinateur ; André EBERHARDT, Examinateur Importance : 200 p. Note générale : Sommaire
Introduction générale
Annexe
Résumé
Mots clésCatégories : Matériaux
Matériaux:Propriétés mécaniquesIndex. décimale : TH-00 Résumé : ETUDE BIBLIOGRAPHIQUE
La transformation martensitique
Les applications industrielles des AMF
Comportement au cyclage de l'AMF Cu-Al-Be
Mesure des déformations et analyse de contraintes dans les AMF
Modélisation du comportement des AMF
METHODOLOGIE ET MATERIAU
Techniques expérimentales
Méthode d'analyse des sin2"psi"
Méthode d'analyse monocristalline
Matériau étudié
Description des essais réalisés
OBSERVATTION IN SITU DE LA TRANSFORMATION MARTENSITIQUE INDUITE PAR CONTRAINTE
Comportement du CU-Al-Be monocristallin
Comportement du polycristal à gros grains
Comportement du polycristal à grains fins
ANALYSE MULTI-ECHELLES DE CONTRAINTES (IN SITU)
Analyse de contraintes dans le monocristal
Analyse de contraintes dans le polycristal à gros grains
Analyse de contraintes dans le polycristal à grains fins
Interprétation des résultats et discussion
ANALYSE DE CONTRAINTE AU COURS DU CYCLAGE DU Cu-Al-Be
Description des essais réalisés
Comportement macroscopique du Cu-Al-Be polycristallin au cyclage
Evolution microstructurale et analyse de contraintes internes
Evolution de la cission critique de transformation dans le grain analysé
Evolution du profil des pics de diffraction
CONCLUSION GENERALEEn ligne : http://tel.archives-ouvertes.fr/index.php?halsid=r24tc9mer77qqemtj9kf1c1vs1&view [...] Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008012 TH-00 KAO Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Etude du comportement thermomécanique des alliages à mémoire de forme sous sollicitations multiaxiales complexes / Karine TAILLARD ép. LAVERNHE
Titre : Etude du comportement thermomécanique des alliages à mémoire de forme sous sollicitations multiaxiales complexes Type de document : thèse Auteurs : Karine TAILLARD ép. LAVERNHE ; Ahmed BENALLAL, Directeur de thèse ; Laboratoire de Mécanique et de Technologie (LMT) Cachan UMR CNRS 8535, Commanditaire ; Denis FAVIER, Rapporteur ; Philippe PILVIN, Rapporteur ; Etienne PATOOR, Examinateur ; Shabnam ARBAB-CHIRANI, Examinateur ; Sylvain CALLOCH, Examinateur ; Christian LEXCELLENT, Examinateur Importance : 215 p. Note générale : NNT 2006DENSA001
Table des matières
Introduction
Annexes
BibliographieCatégories : Alliages à mémoire de forme
Anisotropie
Contraintes (mécanique)
Transformations martensitiquesIndex. décimale : TH-06 Résumé : ALLIAGES A MEMOIRE DE FORME : PROPRIETES ET APPLICATIONS
Transformation martensitique
Propriétés thermo-élastiques des AMF
Principaux AMF industriels
Applications des AMF
Modèles tridimensionnels de comportement des AMF
RELATION ENTRE FRACTION VOLUMIQUE DE MARTENSITE ET DEFORMATION DE TRANSFORMATION EQUIVALENTE : CAS ISOTROPE
Modèle isotrope de Bouvet et al.
Stratégie expérimentale
Analyse à partir d'un modèle micro-macro
RELATION ENTRE FRACTION VOLUMIQUE DE MARTENSITE ET DEFORMATION DE TRANSFORMATION EQUIVALENTE : CAS ANISOTROPE
Données pour la validation
Premier modèle
Deuxième modèle
Troisième modèle
EFFET MEMOIRE SIMPLE SOUS SOLLICITATIONS MULTI-AXIALES
Essais de traction-torsion sur un alliage type Ni-Ti
Vers une modélisation : contrainte équivalente de début de réorientation de la phase R
CONCLUSION
En ligne : http://tel.archives-ouvertes.fr/tel-00200906/fr/ Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008018 TH-06 TAI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Contribution au calcul des caractéristiques de détonation de substances explosives gazeuse ou condensées / Olivier HEUZE
Titre : Contribution au calcul des caractéristiques de détonation de substances explosives gazeuse ou condensées Type de document : thèse Auteurs : Olivier HEUZE ; Numa MANSON, Directeur de thèse ; LCD ENSMA UPR CNRS 9028, Commanditaire ; Christian BROCHET, Examinateur ; Jacques BROSSARD, Examinateur ; Roger CHERET, Examinateur ; Jean-Claude LEYER, Examinateur ; Henri-Noël PRESLES, Examinateur ; Pierre VAN TIGGELEN, Examinateur ; P. WOLANSKI, Examinateur Importance : 113 p. Note générale : Sommaire
Notations
Introduction
BibliographieCatégories : Combustion
Dynamique
Explosions
Mélanges (chimie)
Ondes de détonation
ThermodynamiqueIndex. décimale : TH-85 Résumé : PRESENTATION DES PROBLEMES LIES AU CALCUL DES SARASTERISTIQUES DE DETONATION
Mise en équation
Choix de l'équation d'état
Calcul de la composition dun mélange
Présentation des codes existants
EQUATIONS D'ETAT
Présentation des équations d'état
Formulation générale des équations d'état
CALCUL DE LA COMPOSITION D'UN MELANGE DE GAZ A HAUTE TEMPERATURE ET HAUTE PRESSION
Position du problème
Analyse du problème et méthodes de calcul existantes
Nouvelle méthode proposée
DESCRIPTION DU CODE DE CALCUL QUATOR
Structure du code
Caractéristiques et possibilités du code QUATOR
Intégration des équations d'état au code QUATOR
RESULTATS - COMPARAISON - CALCULS EXPERIENCES
Mélanges gazeux
Explosifs condensésExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006946 TH-85 HEU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Contribution à l'étude de l'intéraction turbulence-combustion dans les flammes turbulentes de prémélange à l'aide de modèles du second ordre / Pascal BAILLY
Titre : Contribution à l'étude de l'intéraction turbulence-combustion dans les flammes turbulentes de prémélange à l'aide de modèles du second ordre Type de document : thèse Auteurs : Pascal BAILLY ; Michel CHAMPION, Directeur de thèse ; LCD ENSMA UPR CNRS 9028, Commanditaire ; Roland BORGHI, Rapporteur ; BRAY, K., N., C., Rapporteur ; Pascal BRUEL, Examinateur ; Danièle GARRETON, Examinateur ; Jean-Claude LEYER, Examinateur ; Denis VEYNANTE, Examinateur ; P.L. VIOLLET, Examinateur Importance : 192 p. Note générale : Sommaire
Nomenclature
Introduction
Conclusion
Références bibliographiquesCatégories : Energie
Mécanique des fluides
Simulation par ordinateur
TurbulenceIndex. décimale : TH-96 Résumé : MODELISATION DE LA COMBUSTION TURBULENTE. ANALYSE THEORIQUE
Analyse des flammes de prémélange
EQUATIONS GENERALES DES ECOULEMENTS TURBULENTS REACTIFS - MODELISATION DE LA TURBULENCE
Equations de bilan instantanées
Equations de bilan des grandeurs moyennes
Modélisation de la turbulence
RELATIONS DE FERMETURE POUR LE TAUX DE REACTION MOYEN - MODELE DE BRAY-MOSS-LIBBY
Différentes approches de la modélisation des flammes turbulentes de prémélange
Modélisation du taux de réaction moyen : modèle BML
EQUATIONS D'EVOLUTION DES FLUX TURBULENTS DE MASSE
Aérothermochimie du mélange réactif
Phénomène de diffusion non gradient et à contre gradient
Equation de transport des flux turbulents de masse
SIMULATIONS NUMERIQUES DES FLAMMES TURBULENTES DE PREMELANGE
Méthode numérique et conditions limites
Conditions limites - Conditions initiales
FLAMME EN CONDUITE ACCROCHEE DERRIERE UN OBSTACLE
Configuration
Ecoulement non réactif
Ecoulement réactif
FLAMME NE CONDUITE STABILISEE PAR UNE MARCHE DESCENDANTE
Configuration
Ecoulement non réactif
Ecoulement réactifExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006933 TH-96 BAI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Etude numérique des conditions d'allumage d'un mélange d'hydrocarbure et d'air sur la base d'une réaction chimique globale / Antoni ZUNINO
Titre : Etude numérique des conditions d'allumage d'un mélange d'hydrocarbure et d'air sur la base d'une réaction chimique globale Type de document : thèse Auteurs : Antoni ZUNINO ; Bruno DESHAIES, Directeur de thèse ; Michel CHAMPION, Directeur de thèse ; LCD ENSMA UPR CNRS 9028, Commanditaire ; Iskender GÖKALP, Examinateur ; Jean-Claude LEYER, Examinateur ; Danny VANDROMME, Examinateur Importance : 202 p. Note générale : Table des matières
Nomenclature
Introduction
Références bibliographiques
Annexes
Résumé
Mots clésCatégories : Air
Combustion
Flamme
HydrocarburesIndex. décimale : TH-96 Résumé : SITUATION DU PROBLEME
Phénoménologie
Etude bibliographique : éléments pour une modélisation minimale de l'allumage d'un mélange combustible
Données expérimentales utilisées pour la validation de notre programme de calcul
FORMULATION MATHEMATIQUE DU PROBLEME
Hypothèses
Equations
Conditions aux limites et initiales
Equations sans dimension pour un prémélange pauvre
CONCEPT THEORIQUE DE BASE NECESSAIRE A LA COMPREHENSION DU PHENOMENE DE L'ALLUMAGE D'UN PREMELANGE EN GEOMETRIE SPHERIQUE
Analyse du problème de l'allumage sur la base des différents temps caractéristiques des mécanismes contrôlant celui-ci
Solutions stationnaires pour la flamme sphérique
Interprétation des solutions stationnaires instables pour une flamme sphérique et des conditions critiques de l'allumage
METHODE NUMERIQUE
Calcul des coeffeicients de transport et de leur dépendance en température
Méthode numérique
SIMULATION NUMERIQUE DE L'ALLUMAGE D'UNE FLAMME SPHERIQUE DE PREMELANGE POUR UNE REACTION CHIMIQUE DU PREMIER ORDRE A->B
Formulation mathématique
Résultats
ETUDE NUMERIQUE DE L'ALLUMAGE DE LA FLAMME SPHERIQUE DE PREMELANGE - CAS D'UNE MODELISAITON GLOBALE DE LA CINETIQUE CHIMIQUE HYDROCARBURE-AIR
Formulation mathématique
Temps d'induction et vitesse de flamme correspondant aux vitesses de réaction utilisées pour les cinétiques globales de combustion du propane et de l'octane
Etude de l'allumage
CONCLUSIONExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006996 TH-96 ZUN Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Modélisation et étude numérique de l'interaction entre une flamme turbulente stabiblisée dans un écoulement divergent à un point d'arrêt et une paroi solide / Djamel KARMED
Titre : Modélisation et étude numérique de l'interaction entre une flamme turbulente stabiblisée dans un écoulement divergent à un point d'arrêt et une paroi solide Type de document : thèse Auteurs : Djamel KARMED ; Michel CHAMPION, Directeur de thèse ; LED ENSMA URA CNRS 193, Commanditaire ; Roland BORGHI, Rapporteur ; BRAY, K., N., C., Rapporteur ; Dany ESCUDIE, Rapporteur ; Jean-Claude LEYER, Examinateur ; Pascal BRUEL, Examinateur ; M. BRUN, Examinateur Importance : 225 p Note générale : Remerciements
Table des matières
Nomenclature
Annexes
Résumé
Mots clésCatégories : Combustion
Flamme
Jets pariétaux
TurbulenceIndex. décimale : TH-93 Résumé : EQUATIONS GENERALES D'UN ECOULEMENT REACTIF TURBULENT
Equations générales
Equations stationnaires
Moyennes et fluctuations
Equations moyennes
Modèles de turbulence
FLAMME TURBULENTE DE DIFFUSION - INTERACTION ENTRE UNE FLAMME DE DIFFUSION TURBULENTE ET UNE PAROI SOLIDE : EQUATIONS MOYENNES ET METHODE NUMERIQUE
Jet pariétal turbulent incompressible
Jet pariétal turbulent d'air chaud
Flamme de diffusion
Méthode numérique utilisée
INTERACTION ENTRE UNE FLAMME DE DIFFUSION TURBULENTE ET UNE PAROI SOLIDE : RESULTATS NUMERIQUES ET COMPARAISON AVEC LES DONNEES EXPERIMENTALES
Jet pariétal turbulent à symétrie axiale d'un fluide incompressible
Jet pariétal avec transfert de chaleur
Interaction entre une paroi solide et une flamme de diffusion turbulente
FLAMME TURBULENTE DE PREMELANGE - INTERACTION ENTRE UNE FLAMME TURBULENTE DE PREMELANGE ET UNE PAROI SOLIDE : EQUATIONS MOYENNES ET METHODE NUMERIQUE
Modèles de combustion
Méthode numérique
INTERACTION ENTRE UNE FLAMME DE PREMELANGE ET UNE PAROI SOLIDE : RESULTATS NUMERIQUES ET COMPARAIASON AVEC L'EXPERIENCE
Ecoulement isotherme
Ecoulement avec transfert de chaleur
Flamme turbulente de prémélange
CONCLUSIONS GENERALES ET PERSPECTIVESExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00007040 TH-93 KAR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt B00007041 TH-93 KAR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Modélisation numérique d'un sillage réactif confiné / Amilcar PORTO PIMENTA
Titre : Modélisation numérique d'un sillage réactif confiné Type de document : thèse Auteurs : Amilcar PORTO PIMENTA ; Michel CHAMPION, Directeur de thèse ; LED ENSMA URA CNRS 193, Commanditaire ; Iskender GÖKALP, Examinateur ; Danny VANDROMME, Examinateur ; Jean-Michel MOST, Examinateur ; Pascal BRUEL, Examinateur ; Jean-Claude LEYER, Examinateur Importance : 139 p. Note générale : Table des matières
Notations
Bibliographie
Résumé
Mots clésCatégories : Combustion
Flamme
Sillage (aérodynamique)
Simulation par ordinateur
TurbulenceIndex. décimale : TH-93 Résumé : MODELISATION D'UN ECOULEMENT REACTIF TURBULENT. MODELES DE FLAMMELETTES
Notion de flammelette
Equations de bilan de la combustion turbulente
Taux de production chimique moyen W
transports turbulents fermetures gradients et non gradients
ETUDE EXPERIMENTALE DE LA STABILISATION PAR UN OBSTACLE D'UNE ZONE DE COMBUSTION TURBULENTE
Description du dispositif expérimental
Structure générale des écoulements étudiés
CALCUL D'UN SILLAGE NON REACTIF
Sillage non-confiné
Ecoulement confiné
Méthode numérique
Test du programme
CALCUL D'UN SILLAGE REACTIF - MODELE GRADIENT
Hypothèses
Equations pour l'écoulement réactif
Modèles pour le taux de production chimique moyen W
MODELISATION DE SECOND ORDRE D'UN SILLAGE REACTIF
L'équation pour les flux turbulents
Fermeture suivant le modèle BML de la combustion turbulente
Fermeture du second ordre utilisée
Application au cas d'un flamme stabilisée dans le sillage
CONCLUSIONExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007048 TH-93 POR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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
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
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 Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie / Linda MOHAND-OUSSAÏD
Titre : Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie Type de document : thèse Auteurs : Linda MOHAND-OUSSAÏD, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Idir AIT SADOUNE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Christophe KOLSKI, Rapporteur ; Hassan MOUNTASSIR, Rapporteur ; Patrick GIRARD, Examinateur ; Christian ATTIOGBE, Examinateur Importance : 184 p. Note générale : NNT 2014ESMA0022
Remerciements
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Bibliographie
Résumé
Mots clésCatégories : Interaction homme-ordinateur
Interfaces utilisateur (informatique)
Méthode B (informatique)
Systèmes, Analyse de
Systèmes, Conception deRésumé : LES INTERFACES HOMME-MACHINE MULTIMODALES
Introduction
Interaction homme-machine
Systèmes interactifs
Concepts de base
Interfaces homme-machine multimodales
Développement des interfaces homme-machine
Les modèles de description du dialogue
Propriétés des interfaces homme-machine
Conception des IHM multimodales
Les systèmes multimodaux
Conclusion
DEVELOPPEMENTS FORMELS DES SYSTEMES INTERACTIFS
Introduction
Les modèles formels
La conception formelle
Les méthodes de spécification formelles
Vérification formelle
Utilisation des méthodes formelles pour le développement des IHM
Synthèse et proposition
UN MODELE FORMEL GENERIQUE POUR LES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE
Introduction
Démarche générale de modélisation
Modèle formel de conception des interfaces homme-machine multimodales en sortie
Conclusion
MODELISATION DES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE DANS B EVENEMENTIEL
Introduction
La méthode B événementiel
Démarche de modélisation avec B événementiel
Les modèles génériques de développement B événementiel
Conclusion
MODELISATION DE LA FISSION SEMANTIQUE AVEC B EVENEMENTIEL : GENERALISATION
Introduction
Démarche de modélisation avec B événementiel
Le modèle de fission sémantique
Bilan des obligations de preuve
Intanciation du modèle B événementiel de fission sémantique
Application à l'étude de cas
Conclusion
MODELISATION DE L'ALLOCATION AVEC B EVENEMENTIEL : GENERALISATION
Introduction
Démarche de modélisation avec B événementiel
Le modèle de combinaison des présentations
Le modèle de décomposition des présentations
Le modèle d'affectation
Bilan des obligations de preuve
Instanciation du modèle B événementiel d'allocation
Application à l'étude de cas
Vérification des propriétés
Conclusion
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127547 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010927 TH-14 MOH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 MOH MOH 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 Contribution à l'étude de l'exploitation des données temporelles en présence d'imperfections / Aymen GAMMOUDI
Titre : Contribution à l'étude de l'exploitation des données temporelles en présence d'imperfections Type de document : thèse Auteurs : Aymen GAMMOUDI, Auteur ; Allel HADJALI, Directeur de thèse ; Boutheina BEN YAGHLANE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Riadh FARAH, Rapporteur ; Sofian MAABOUT, Rapporteur ; Nahla BEN AMOR, Examinateur ; Daniel ROCACHER, Examinateur ; Mohamed Salah GOUIDER, Examinateur Importance : 111 p. Note générale : NNT 2017ESMA0008
Dédicace
Remerciements
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Références bibliographiques
Catégories : Architecture:Bases de données
Bases de données spatio-temporelles
Bases de données:Interrogation
Ensembles flous
Intelligence artificielle
Logique floue
SQL (langage de programmation)Résumé : ETAT DE L'ART
Notions de base
Travaux connexes
CONTRIBUTIONS
Requêtes en présence des relations temporelles graduelles
Requêtes en présence des intervalles temporels flous
Implémentation et expériementation
CONCLUSION GENERALEEn ligne : https://tel.archives-ouvertes.fr/tel-01551795 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014321 TH-17 GAM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 GAM GAM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données / Lahcène BRAHIMI
Titre : Données de tests non fonctionnels de l'ombre à la lumière : une approche multidimensionnelle pour déployer une base de données Type de document : thèse Auteurs : Lahcène BRAHIMI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Yudith CARDINALE, Rapporteur ; Abdelkader HAMEURLAIN, Examinateur ; Khalil DRIRA, Examinateur Importance : 192 p. Note générale : NNT 2017ESMA0009
Remerciements
Table des matières
Introduction générale
Bibliographie
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots-clésCatégories : Apprentissage automatique
Bases de données:Gestion
Entrepôts de données
OLAP (informatique)
Ontologies (informatique)
Prise de décision
Systèmes de recommandation (informatique)
Systèmes, Analyse de
Systèmes, Conception deRésumé : ETAT DE L'ART
Evolution du cycle de conception de bases de données
Etudes des approches de sélection des SGBD et plateformes
CONTRIBUTIONS
Vers une explicitation des composantes de l'environnement de tests
Approche multidimensionnelle des données des environnements de tests
Système de recommandation pour le déploiement des bases de données
CONCLUSION GENERALE ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01585828 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014315 TH-17 BRA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 BRA BRA 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
Titre : Evaluation et validation des systèmes distribués avioniques Type de document : thèse Auteurs : Georges Arnaud KEMAYO, Auteur ; Pascal RICHARD, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Luc SCHARBARG, Rapporteur ; Laurent GEORGE, Rapporteur ; Yvon TRINQUET, Examinateur Importance : 167 p. Note générale : NNT 2014ESMA0010
Remerciements
Table des matières
Introduction générale
Publications
Annexes
Notations
Acronymes
Résumé
Mots clésCatégories : Avionique
Certification
Systèmes à paramètres répartis
Temps réel (informatique)Résumé : ETAT DE L'ART
Introduction aux systèmes avioniques
Méthodes de validation
CONTRIBUTIONS
Analyse de la méthode des trajectoires
Nouvelle méthode d'analyse des délais de bout en bout dans l'AFDX
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127020 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010734 TH-14 KEM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 KEM KEM 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 Hypergraphs in the Service of Very Large Scale Query Optimization. Application: Data Warehousing / Ahcène BOUKORCA
Titre : Hypergraphs in the Service of Very Large Scale Query Optimization. Application: Data Warehousing Titre original : Les hypergraphes au service de l'optimisation de requêtes à très large échelle. Application : Entrepôt de données Type de document : thèse Auteurs : Ahcène BOUKORCA, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yannis MANOLOPOULOS, Rapporteur ; Sofian MAABOUT, Rapporteur ; Omar BOUSSAID, Examinateur ; Arnaud GIACOMETTI, Examinateur ; Sid-Ahmed BenAli SENOUCI, Examinateur Année de publication : 2016 Importance : 216 p. Note générale : NNT 2016ESMA0026
Acknowledgement
Dedication
Contents
Introduction
Relational Algebra
Résumé
Related Publications
List of Figures
List of Tables
Glossary
References
Résumé
Mots clésCatégories : Bases de données:Conception
Bases de données:Gestion
Bases de données:Interrogation
Données massives
Entrepôts de données
Hypergraphes
Optimisation combinatoireRésumé : BACKGROUNDS
Introduction
The Data Warehousing Technology
Factors Impacting Query Processing and Optimization
Data Structures and Access Algorithms
Conclusion
MODELING QUERY INTERACTION USING HYPERGRAPHS
Introduction
Hypergraphs and Their Usages
Analogy between UQP and EDA
Hypergraph as a solution of scalability
Complexity of the Algorithms
Performance Evaluation
Conclusion
WHAT-IF UQP ANALYSIS
Introduction
A New Approach for Selecting OS
Application of OS-Oriented UQP
Experimental Evaluation and Analysis
Conclusion
QUERY INTERACTION SERVING THE DEPLOYMENT PHASE
Introduction
Parallel Database Design Alternatives
Motivating Example
UQP As a Service for Designing PRDW
Experimental Evaluation and Analysis
Conclusion
BIG-QUERIES FRAMEWORK
Introduction
System Architecture
System Modules
Implementation
Conclusion
CONCLUSION AND PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01488961 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014171 TH-16 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-16 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt