A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur LIAS UR ENSMA-UP
Documents disponibles écrits par cet auteur



Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles / Thanh Dat NGUYEN
![]()
Titre : Aide à la validation temporelle et au dimensionnement de systèmes temps réel dans une démarche dirigée par les modèles Type de document : thèse Auteurs : Thanh Dat NGUYEN, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; LIAS UR ENSMA-UP, 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
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 ENSMA-UP, 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 : :Bases de données:Interrogation
:Langages de programmation:Sémantique
Analyse des données
Distribution (théorie des probabilités)
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
Code-barres Cote Support Localisation Section Disponibilité B00014284 TH-17 ELM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, 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
Code-barres Cote Support Localisation Section Disponibilité B00014274 TH-17 GOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Auditer l’énergie. Avant de déployer ses modèles : Vers des optimiseurs verts de requêtes analytiques / Simon Pierre DEMBELE
![]()
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 ENSMA-UP, 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 : :Bases de données:Gestion
:Bases de données:Interrogation
:Économies d'énergie:Appareils et matériel
Apprentissage automatique
Consommation d'énergie
Coût
É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
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 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 ENSMA-UP, 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
Code-barres Cote Support Localisation Section Disponibilité B00010379 TH-13 OUH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Conception et exploitation d'une base de modèles : application aux data sciences / Cyrille PONCHATEAU
![]()
Titre : Conception et exploitation d'une base de modèles : application aux data sciences Type de document : thèse Auteurs : Cyrille PONCHATEAU, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Mickaël BARON, Directeur de thèse ; LIAS UR ENSMA-UP, 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:Conception
:Equations différentielles:Bases de données
:Modèles mathématiques:Bases de données
:Séries chronologiques:Logiciels
Bases de données relationnelles
Entrepôts de données
Microservices
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
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 resuê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 ENSMA-UP, 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 PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01430177 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00014162 TH-16 FOK Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, Commanditaire ; Patrick MARTINEAU, Rapporteur ; Bruno FRANCOIS, 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 : :Réseaux électriques (énergie):Pertes d'énergie
:Réseaux électriques (énergie):Répartition des charges
Modèles non linéaires (statisque)
Reformulation quadratique convexe
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
Code-barres Cote Support Localisation Section Disponibilité B00014309 TH-17 ALI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, 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
Code-barres Cote Support Localisation Section Disponibilité B00010795 TH-14 MBA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, 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
Code-barres Cote Support Localisation Section Disponibilité B00011045 TH-15 BOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, 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
Code-barres Cote Support Localisation Section Disponibilité B00010927 TH-14 MOH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, 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
Code-barres Cote Support Localisation Section Disponibilité B00009684 TH-12 TEG Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, 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
Code-barres Cote Support Localisation Section Disponibilité B00010261 TH-13 CHA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, 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:Interrogation
Bases de données spatio-temporelles
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
Code-barres Cote Support Localisation Section Disponibilité B00014321 TH-17 GAM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Contribution à l'étude de l'optimisation de requêtes de services Web : une approche centrée utilisateur / Zahira CHOUIREF
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 ENSMA-UP, 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
:Consommateurs:Comportement
Conception centrée sur l'utilisateur
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
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 Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle / Anh Toan BUI LONG
![]()
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 ENSMA-UP, 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
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 Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles / Soumia BENKRID
![]()
Titre : Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles Type de document : thèse Auteurs : Soumia BENKRID, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Khaled-Walid HIDOUCI, Directeur de thèse ; LIAS UR ENSMA-UP, 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
Code-barres Cote Support Localisation Section Disponibilité B00010944 TH-14 BEN Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, 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 : :Bases de données:Gestion
Apprentissage automatique
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
Code-barres Cote Support Localisation Section Disponibilité B00014315 TH-17 BRA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, 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 : :Bases de données:Conception
Analyse des données
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
Code-barres Cote Support Localisation Section Disponibilité B00014260 TH-17 DJI Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, Commanditaire ; Liliana CUCU-GROSJEAN, Rapporteur ; 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
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 Estimation et prédiction des productions d’énergies renouvelables et des consommations d’un réseau de distribution d’électricité / Mohamed TRIBAK
![]()
Titre : Estimation et prédiction des productions d’énergies renouvelables et des consommations d’un réseau de distribution d’électricité Type de document : thèse Auteurs : Mohamed TRIBAK, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Brice CHARDIN, Directeur de thèse ; Thierry POINOT, Directeur de thèse ; LIAS UR ENSMA-UP, 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 : :Electricité:Production:Prévision
Apprentissage automatique
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
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 ENSMA-UP, 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
Code-barres Cote Support Localisation Section Disponibilité B00010734 TH-14 KEM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems / Youness BAZHAR
![]()
Titre : Extension des systèmes de métamodélisation persistant avec la sémantique comportementale/Handling behavioral semantics in persistent metamodeling systems Type de document : thèse Auteurs : Youness BAZHAR, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Stéphane JEAN, Directeur de thèse ; LIAS UR ENSMA-UP, Commanditaire ; Mohand-Saïd HACID, Rapporteur ; Régine LALEAU, Rapporteur ; Yves LEDRU, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Patrick FARAIL, Examinateur ; Oscar PASTOR, Examinateur Importance : 157 p. Note générale : NNT 2013ESMA00019
Contents
Introduction
Bibliography
List of figures
List of tables
Relted publications
Résumé étendu
Mots clésCatégories : :Bases de données:Conception
Ingénierie dirigée par les modèles
Ontologies (informatique)
Systèmes embarqués (informatique)
Temps réel (informatique)Résumé : STATE OF THE ART
METAMODELING AND MODEL MANAGEMENT
Introduction
Background on MDE
Metamodeling
Model management
Conclusion
PERSISTENT SOLUTIONS FOR METAMODELING AND MODEL MANAGEMENT
Introduction
Model repositories and their exploitation languages
Persistent metamodeling and model management systems
The OntoDB/OntoQL PMMS
Conclusion
CONTRIBUTIONS
REQUIREMENTS FOR COMPLETE PERSISTENT METAMODELING SYSTEMS
Introduction
Requirements for complete PMMS
Synthesis and discussion
Objectives
Conclusion
BeMoRe: MODELING AND FORMAL REPRESENTATION
Introduction
Conceptual extension
Logical extension
Formalization of the conceptual extension
Extension of the algebra of the PMMS exploitation language
Conclusion
BeMoRe: EXTENSION OF THE ESPLOITATION LANGUAGE AND PROTOTYPING
Introduction
Extension of the OntoQL language
The BeMoRe prototype
A preliminary performance evaluation
Conclusion
APPLICATIONS
MANAGING NON CANONICAL CONCEPTS IN ONTOLOGY-BASED DATABASES
Introduction
Background on ontologies
Ontology-based databases (OBDBs)
Encoding the structural semantics of the OWL language
Encoding operations for computing OWL non canonical concepts
Conclusion
ENHANCING A METHOD TO DESIGN ONTOLOGY-BASED DATABASES
Introduction
The considered OBDB design methodology
Enhancing the OBDB design methodology
Conclusion
MODEL TRANSFORMATION AND MODEL ANALYSIS
Introduction
Motivating example
Supporting AADL and MARTE in PMMS
Transforming models within PMMS
Using operations for model analysis
Conclusion
CONCLUSIONS AND PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00939900 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité B00010408 TH-13 BAZ Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ 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 ENSMA-UP, 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 : :Informatique:Groupes de travail
Aéronautique
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
Code-barres Cote Support Localisation Section Disponibilité B00009484 TH-12 SIM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Gestion et exploitation de données capteurs : une approche basée sur la réduction de données / Khedidja BOULANOUAR
![]()
Titre : Gestion et exploitation de données capteurs : une approche basée sur la réduction de données Type de document : thèse Auteurs : Khedidja BOULANOUAR, Auteur ; Allel HADJALI, Directeur de thèse ; Mohand LAGHA, Directeur de thèse ; LIAS UR ENSMA-UP, Commanditaire ; Karima AKLI-ASTOUATI, Rapporteur ; Sofian MAABOUT, Rapporteur ; Salah BOUKRAA, Examinateur ; Daniela GRIGORI, Examinateur Importance : 110 p. Note générale : NNT 2021ESMA0011
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Acronymes
Résumé
Mots clés
Catégories : :Bases de données:Gestion
Algorithmes génétiques
Analyse des données
Intelligence computationnelle
Quantificateurs (logique mathématique)
Séries chronologiquesRésumé : PRÉLIMINAIRES ET ÉTAT DE L'ART
Notions de base
Travaux connexes : techniques de réduction des données
CONTRIBUTIONS
Construction de résumés de données : approches fondées sur l'intelligence computationnelle
Résumés linguistiques dans le contexte des séries temporelles
Algorithmes génétiques multiobjectif au service des résumés linguistiques
CONCLUSION GÉNÉRALEEn ligne : https://tel.archives-ouvertes.fr/tel-03483342 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité TH-21 BOU BOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt