Détail de l'auteur
Auteur LIAS UR 20299 UP-ENSIP / ISAE-ENSMA |
Documents disponibles écrits par cet auteur (53)
Faire une suggestion Affiner la rechercheAide à 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
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
Titre : Auditer l’énergie. Avant de déployer ses modèles : Vers des optimiseurs verts de requêtes analytiques Type de document : thèse Auteurs : Simon Pierre DEMBELE, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Philippe FOUNIER-VIGER, Rapporteur ; Nabil LAYAIDA, Rapporteur ; Isabelle COMYN-WATTIAU, Examinateur ; Laurent LEFEVRE, Examinateur ; Carlos ORDONEZ, Examinateur Importance : 187 p. Note générale : NNT 2021ESMA0009
Remerciements
Table des matières
Bibliographie
Annexes
Liste des figures
Liste des tableaux
Résumé
Mots clés
Catégories : Apprentissage automatique
Bases de données:Gestion
Bases de données:Interrogation
Consommation d'énergie
Coût
Économies d'énergie:Appareils et matériel
Évaluation énergétiqueRésumé : INTRODUCTION GÉNÉRALE
Contexte et problématique
Notre vision de la caractérisation de l'énergie dans les BDs
Objectifs
Contributions de la thèse
Organisation du manuscrit
Publications
ÉTAT DE L'ART : LES SYSTÈMES DE TRAITEMENT DES REQUÊTES (STRs)
Introduction
Les STRs dans les SSDs
Modèle de coût
Les paramètres sensibles à la dimension énrgétique
Conclusion
ÉTAT DE L'ART : GESTION DE L4ÉNERGIE DANS LES SYSTÈMES DE TRAITEMENTS DES REQUÊTES
Introduction
Préliminaire
Taxonomie des techniques éco-énergétiques
Approches d'EE dans les STRs
Conclusion
CONTRIBUTIONS : MÉTHODOLOGIE DE CONCEPTION DE NOS McE ET FORMULATION
Introduction
Modèles de coût énergétique (McE) dans les STRs
Méthodologie de conception des McE
Audit des Systèmes SSDs étudiés
Analyse et études comparatives des SSDs étudiés
Conception des McE
Validation des modèles
Conclusion
CONTRIBUTIONS : FRAMEWORKS POUR LE DÉPLOIEMENT DE NOS MODÈLES DE COÛT ÉNERGÉTIQUE
Introduction
Optimisation énergétique dans le module de traitement des requêtes
Estimation dynamique de l'énergie lors du traitement des requêtes (Simulation)
Conclusion
CONCLUSION ET PERSPECTIVES
En ligne : https://tel.archives-ouvertes.fr/tel-03361382 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-21 DEM DEM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
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 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
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
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
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
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
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
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
Titre : Contribution à l'étude de l'optimisation de requêtes de services Web : une approche centrée utilisateur Type de document : thèse Auteurs : Zahira CHOUIREF, Auteur ; Allel HADJALI, Directeur de thèse ; Karim BENOUARET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Salima BENBERNOU, Rapporteur ; Ludovic LIETARD, Rapporteur ; Daniela GRIGORI, Examinateur Importance : 169 p. Note générale : NNT 2017ESMA0016
Remerciements
Résumé
Abstract
Table des matières
Introduction générale
Liste des figures
Liste des tableaux
BibliographieCatégories : Bases de données:Interrogation
Conception centrée sur l'utilisateur
Consommateurs:Comportement
Informatique sensible au contexte
Logique floue
Profilage des consommateurs
Services WebRésumé : CONCEPTS ET NOTIONS DE BASE
Services Web
Préférences et requêtes à préférences
Profil
Contexte
Ontologies
Conclusion
ENSEMBLES FLOUS
Concepts fondamentaux
Représentation pratique
Opérations floues
Modélisation de préférences
Conclusion
ETAT DE L'ART
Introduction
Approches de sélection syntaxique versus sémantique
Approches de sélection basée sur les propriétés fonctionnelles et/ou non fonctionnelles
Approches de sélection basée sur les attributs du contexte
Approches de sélection basée sur le profil
Approches de sélection basée sur les préférences
Limites de ces approches et discussion
Conclusion
SELECTION PERSONNALISEE ET CONTEXTUELLE DE SERVICES WEB : UNE APPROCHE FONDEE SUR LA SIMILARITE
Introduction
Formalisation et notations
Notion de matching et mesures de similarités
Architecture de sélection de services Web
Mesure de similarité hybride
Algorithme de matching et phase de classement
Evaluation expérimentale et discussion
Conclusion
SELECTION COOPERATIVE DE SERVICES WEB : UNE APPORCHE GUIDEE PAR L'INFERENCE
Introduction
Modélisation floue de service et des préférences
Traitement des requêtes à préférences sensibles au profil contextuel
Evaluation expérimentale et discussion
CONCLUSION GENERALE ET PERSPECTIVESExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-17 CHO CHO Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle Type de document : thèse Auteurs : Anh Toan BUI LONG, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Yamine AIT AMEUR, Examinateur ; Christian ATTIOGBE, Rapporteur ; Jérôme HUGUES, Rapporteur ; Liliana CUCU-GROSJEAN, Examinateur Importance : 146 p. Note générale : NNT 2018ESMA0020
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Liste des acronymes
Liste des symboles
Résumé
Mots clésCatégories : Analyse temporelle
Ingénierie dirigée par les modèles
Modélisation des données (informatique)
Ordonnancement dynamique
Systèmes à paramètres répartis
Systèmes, Analyse de
Systèmes, Conception de
Temps réel (informatique)
Tolérance aux fautes (informatique)Résumé : ÉTAT DE L'ART
Ordonnancement temps-réel
Conception dirigée par les modèles des systèmes temps réel
CONTRIBUTIONS
Adaptation conservative des cas pratiques à l'analyse
Les réseaux dans les analyses temps réel
Extraction conservative et patrons de modèles d'analyses
CONCLUSIONS
Conclusions et perspectives
En ligne : https://tel.archives-ouvertes.fr/tel-02080119 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-18 BUI BUI Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles Type de document : thèse Auteurs : Soumia BENKRID, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Khaled-Walid HIDOUCI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Arnaud GIACOMETTI, Rapporteur ; Mahmoud BOUFAIDA, Rapporteur ; Djamel Eddine ZEGOUR, Examinateur ; Yamine AIT AMEUR, Examinateur ; Karima BENATCHEBA, Examinateur ; Pascal LIENHARDT, Examinateur Importance : 192 p. Note générale : NNT 2014ESMA0027
Remerciements
Table des matières
Table des figures
Liste des tableaux
Liste de algorithmes
Glossaire
Introduction générale
Annexes
Bibliographie
Résumé
Mots clésCatégories : Bases de données:Conception
Entrepôts de données
Logique floue
OLAP (informatique)
Parallélisme (informatique)Résumé : ETAT DE L'ART
Les entrepôts de données relationnels : Etat de l'art
Cycle de déploiement des entrepôts de données parallèles
NOS PROPOSITIONS
Notre modèle de coût
Notre approche pas à pas de déploiement
Evaluation théorique et réelle sur Teradata
CONLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127551 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010944 TH-14 BEN Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BEN BEN Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
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
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 : Efficacité énergétique des phases de conception et d’exploitation des entrepôts de données Type de document : thèse Auteurs : Issam GHABRI, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Sadok BEN YAHIA, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Ikram AMOUS, Rapporteur ; Nabil LAYAIDA, Rapporteur ; Amel BORGI, Examinateur ; Rim FAIZ, Examinateur ; Djamal BENSLIMANE, Examinateur ; Kamel BOUKHALFA, Examinateur Importance : 160 p. Note générale : NNT 2022ESMA0023
Remerciements
Table des matières
Table des figures
Liste des tableaux
Liste des abréviations
Annexes
Bibliographie
Résumé
Mots clésCatégories : Analyse du cycle de vie
Bases de données:Conception
Bases de données:Gestion
Consommation d'énergie
Économies d'énergie:Appareils et matériel
Entrepôts de données
Évaluation énergétique
Hypergraphes
Opérateur SkylineRésumé : INTRODUCTION GÉNÉRALE
ÉTAT DE L'ART
L'optimisation des requêtes dans les bases de données
La gestion de l'énergie dans les bases de données
CONTRIBUTIONS
La sélection éco-énergétique des index de jointure binaire
L'impact de la conception logique sur la consommation d'énergie dans des bases de données
CONCLUSION ET PERSPECTIVES
En ligne : https://tel.archives-ouvertes.fr/tel-03976958 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 GHA GHA Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Efficient Query Processing when Spatial Data Meets RDF Graph Titre original : Gestion efficace de Big Data dans le contexte spatial et RDF Type de document : thèse Auteurs : Houssameddine YOUSFI, Auteur ; Allel HADJALI, Directeur de thèse ; Houcine MATALLAH, Directeur de thèse ; Amin MESMOUDI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Fatima DEBBAT, Rapporteur ; Laurent D'ORAZIO, Rapporteur ; Mohand-Saïd HACID, Examinateur ; Azeddine CHIKH, Examinateur Importance : 121 p. Note générale : NNT 2023ESMA0016
Acknowledgments
Contents
List of Figures
List of Tables
Introduction
Bibliographie
Appendix
Abstract
KeywordsCatégories : Bases de données relationnelles
Bases de données:Gestion
Bases de données:Interrogation
Données massives
Infrastructures de données géographiques
Resource Description Framework (informatique)
SPARQL (langage de programmation)Résumé : STATE OF THE ART
PRELIMINARY
Introduction
Spatial Data Processing
RDF Graph Formalisation
Architectural Overview of RDF_QDAG
Conclusion
STATE OF THE ART
Introduction
Taxonomy of Spatial Processing Techniques
Centralised Spatial Data Processing
Spatial Data Processing at Scale
RDF Data Processiog
Spatial-RDF Data Processing
SPATIAL AND GRAPH DATA PROCESSING
I/O EFFICIENT R-TREE UTILISATION
Introduction
Problem Definition
FASTER Approach
Experimental Validation
Conclusion
SPATIAL RDF DATA QUERYING
Introduction
Query Evaluation Strategies
Optimization Techniques
Experimental Evaluation
Conclusion
CONCLUSION AND PERSPECTIVES
En ligne : https://theses.hal.science/tel-04434691 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 YOU YOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Un environnement unifié pour le développement sur puce à coeurs asymétriques Type de document : thèse Auteurs : Roy JAMIL, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Liliana CUCU-GROSJEAN, Rapporteur ; Jean-Philippe BABAU, Rapporteur ; Nicolas NAVET, Examinateur ; Antoine BERTOUT, Examinateur Importance : 180 p. Note générale : NNT 2022ESMA0003
Remerciements
Table des matières
Liste des figures
Bibliographie
Résumé
Mots clésCatégories : Multiprocesseurs
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes sur puce
Temps réel (informatique)Résumé : LES SYSTÈMES MULTICŒURS ASYMÉTRIQUES
Introduction
Systèmes embarqués
Systèmes temps réel
Multiprocesseurs asymétriques
Les avantages des systèmes multiprocesseurs asymétriques
Les défis de l'environnement de développement AMP
Besoin industriel
Les apports de la thèse
Organisation de la thèse
Publications scientifiques
ARCHITECTURES OPÉRATIONNELLES DES SYSTÈMES EMBARQUÉS TEMPS RÉEL
Introduction
Architectures opérationnelles des systèmes embarqués
Stratégies d’ordonnancement
Systèmes d'exploitation ciblés
Conclusion
ARCHITECTURE DES PROCESSEURS HÉTÉRAOGÈNES
Introduction
Pipeline
Mémoire virtuelle
Mémoire cache
Interruptions
Bus et périphériques sur puce
Architecture ARM
ARM big.LITTLE
Systèmes asymétrique hétérogène
Communication inter-processeurs
Développement sur des processeurs ARM
Débogage
Firmware
Conclusion
MESURE DE DURÉE D'EXÉCUTION
Introduction
Pire durée d'exécution
Méthodes d'analyse de WCET
Caractéristiques des techniques de mesure
Méthodes de mesure sur un cœur
Comparaison expérimentale
Mesure expérimentale de durée d'exécution sur un système multicœur SMP
Contribution industrielle
Conclusion
MESURE DE DURÉE D'EXÉCUTION ET MIGRATION SUR LES SYSTÈMES AMP
Introduction
Application AMP
Mesure de durée d'exécution sur les systèmes AMP
Méthodes de mesure
Migration hétérogène
Étude de cas ROSACE
Discussion et perspective
Conclusion
ENVIRONNEMENT DE DÉVELOPPEMENT UNIFIÉ
Introduction
SW4Linux
Outils de développement des microcontrôleurs
Environnement de développement unifié
Conclusion
CONCLUSION ET PERSPECTIVES
Aperçu de la thèse
Mesure de durée d'exécution
Application AMP
Environnement de développement unifié
Fiabilisation des mesures et analyses de durées
En ligne : https://tel.archives-ouvertes.fr/tel-03662259 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 JAM JAM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
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
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 : Exploration des bases de données orientées graphe : Énumération des triangles dans les graphes à grande échelle Type de document : thèse Auteurs : Abir FAROUZI, Auteur ; Mimoun MALKI, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Azeddine CHIKH, Examinateur ; Djamal BENSLIMANE, Examinateur ; Mohand Tahar KECHADI, Examinateur ; Zohra SLAMA, Examinateur Importance : 168 p. Note générale : NNT 2023ESMA0012
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Annexes
Résumé
Mots clés
Catégories : Bases de données relationnelles
Bases de données:Gestion
Parallélisme (informatique)
Répartition de charge (informatique)
Théorie des graphes
Théorie des nœudsRésumé : CONCEPTS FONDAMENTAUX ET TAT DE L'ART
Notions de base
Travaux connexes : techniques d'énumération et de comptage des triangles
CONTRIBUTIONS
Algorithme adapté pour l'énumération équilibrée des triangles dans les graphes à grande échelle
PandaSQL : énumération randomisée et parallèles des triangles à base des requêtes SQL
Évaluation de l'algorithme adapté pour l'énumération et du comptage de traingles
CONCLUSION GÉNÉRALE
En ligne : https://theses.hal.science/tel-04326161 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 FAR FAR Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
