Application de la méthode de superposition de maillages (MSM) à l'étude de la localisation dans les milieux endommageables / Jean-Patrick GEST

Titre : Application de la méthode de superposition de maillages (MSM) à l'étude de la localisation dans les milieux endommageables Type de document : thèse Auteurs : Jean-Patrick GEST ; Noël OTTAVY, Directeur de thèse ; André DRAGON, Directeur de thèse ; LMPM ENSMA UMR CNRS 6617, Commanditaire ; Djimédo KONDO, Rapporteur ; Paul LIPINSKI, Rapporteur ; Thierry DESOYER, Examinateur ; André DRAGON, Examinateur ; Noël OTTAVY, Examinateur ; Guy PIERRA, Examinateur Importance : 175 p. Note générale : Remerciements Introduction générale Conclusion générale Bibliographie Table des matières Catégories : Éléments finis, Méthode des Endommagement, Mécanique de l' (milieux continus) Index. décimale : TH-99 Résumé : MODELISATION DE L'ENDOMMAGEMENT Présentation du modèle d'endommagement utilisé Approche thermodynamique phénoménologique Un modèle d'endommagement isotrope d'un matériau élastique Formulation variationnelle Application aux éléments finis Intégration locale de la loi de comportement Résolution pratique du problème d'endommagement MODELISATION DU PHENOMENE DE LOCALISATION Critère de localisation : théorie Application au cas d'un matériau élastique endommageable METHODE DE SUPERPOSITION DE MAILLAGES (MSM) Théorie Mise en oeuvre pratique de MSM dans le cadre élastique Adaptation au cas de l'endommagement Mise en oeuvre pratique de MSM dans le cas de l'endommagement APPLICATIONS NUMERIQUES Validation numérique de l'implementation des modèles Algorithme de résolution par la MSM Applications de la MSM à l'étude de la localisation

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006980	TH-99 GES	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Les bases de la programmation et du génie logiciel / Guy PIERRA

Titre : Les bases de la programmation et du génie logiciel Type de document : texte imprimé Auteurs : Guy PIERRA Editeur : Dunod Informatique Année de publication : 1991 Importance : 653 p. Note générale : Sommaire Intro. Annexes Bibliographie Index alphabétique Table des matières Catégories : Génie logiciel Programmation Index. décimale : 005.1 Programmation Résumé : Le problème de la programmation Description dun langage algorithmique Programmation structurée : conception d'un algorithme arborescent Analyse modulaire : Conception d'architectures fonctionnelles Organisation des données d'un algorithme : types abstraits et constructeurs de type Analyse modulaire : conception d'architectures modulaires et orientées objets Codage et mise au point des programmes

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002010	005.1 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00002004	005.1 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Les bases de la programmation et du génie logiciel / Guy PIERRA

Titre : Les bases de la programmation et du génie logiciel Type de document : texte imprimé Auteurs : Guy PIERRA Editeur : Dunod Informatique Année de publication : 1991 Importance : 653 p. Note générale : Sommaire Intro. Annexes Bibliographie Index alphabétique Table des matières Catégories : Génie logiciel Programmation Index. décimale : 005.13 Langages de programmation Résumé : Le problème de la programmation Description dun langage algorithmique Programmation structurée : conception d'un algorithme arborescent Analyse modulaire : Conception d'architectures fonctionnelles Organisation des données d'un algorithme : types abstraits et constructeurs de type Analyse modulaire : conception d'architectures modulaires et orientées objets Codage et mise au point des programmes

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002012	005.13 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00002169	005.13 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Les bases de la programmation et du génie logiciel / Guy PIERRA

Titre : Les bases de la programmation et du génie logiciel Type de document : texte imprimé Auteurs : Guy PIERRA Editeur : Dunod Informatique Année de publication : 1991 Importance : 653 p. ISBN/ISSN/EAN : 978-2-04-020722-9 Note générale : Sommaire Intro. Annexes Bibliographie Index alphabétique Table des matières Catégories : Génie logiciel Programmation Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : Le problème de la programmation Description dun langage algorithmique Programmation structurée : conception d'un algorithme arborescent Analyse modulaire : Conception d'architectures fonctionnelles Organisation des données d'un algorithme : types abstraits et constructeurs de type Analyse modulaire : conception d'architectures modulaires et orientées objets Codage et mise au point des programmes

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000635	005 PIE	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Calcul des facteurs d'intensité de contraintes par la méthode de superposition des maillages / Koku Wolali KPEGBA

Titre : Calcul des facteurs d'intensité de contraintes par la méthode de superposition des maillages Type de document : thèse Auteurs : Koku Wolali KPEGBA ; Noël OTTAVY, Directeur de thèse ; René SOUCHET, Directeur de thèse ; LMPM ENSMA UMR CNRS 6617, Commanditaire ; Jacques BARANGER, Rapporteur ; Jean ROYER, Rapporteur ; Gérard BEZINE, Examinateur ; Alain CIMETIERE, Examinateur ; Noël OTTAVY, Examinateur ; Guy PIERRA, Examinateur ; René SOUCHET, Examinateur Importance : 147 p. Note générale : Remerciements Principales notations Introduction générale Bibliographie Catégories : Elasticité Éléments finis, Méthode des Méthode numérique Rupture, Mécanique de la Index. décimale : TH-96 Résumé : METHODE DES ELEMENTS FINIS EN ELASTICITE LINEAIRE Les opérateurs de Laplace et de Navier La méthode des éléments finis METHODE DE SUPERPOSITION DES MAILLAGES FACTEURS D'INTENSITE DE CONTRAINTES RESULTATS NUMERIQUES

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006963	TH-96 KPE	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données / Emmanuel GEVEAUX

Titre : Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données Type de document : thèse Auteurs : Emmanuel GEVEAUX ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; C. ANDRE, Rapporteur ; J.-L. FERRIER, Rapporteur ; J.-M. CHALONS, Examinateur ; L.-P. DOCO, Examinateur ; Guy PIERRA, Examinateur ; T. SORIANO, Examinateur Importance : 166 p. Note générale : Remericements Table des matières Introduction Conclusion Références bibliographiques Annexes Catégories : Commande de processus GRAFCET Langages de programmation Programmation parallèle (informatique) Index. décimale : TH-98 Résumé : LA PROGRAMMATION GRAPHIQUE FLOT DE DONNEES Avant-propos : Programmation Textuelle et Programmation Graphique Les diagrammes Flots de Données Le langage G : le Flot de Données Structuré LabVIEW : Une Implémentation du Langage G Recommandations de développement en Langage G PROGRAMMATION CONCURRENTE POUR LE LANGAGE G Avant-propos : Programmation déquentielle et programmation concurrente Les concepts de la programmation concurrente Programmation concurrente et langage G UNE IMPLEMENTATION DU GRAFCET EN LANGAGE G Avant-propos : Domaine d'application du GRAFCET Définition du GRAFCET Les principes d'implementation du GRAFCET GrafcetVIEW

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006965	TH-98 GEV	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

De la conception physique aux outils d'administration et de tuning des entrepôts de données / Kamel BOUKHALFA  

Titre : De la conception physique aux outils d'administration et de tuning des entrepôts de données Type de document : thèse Auteurs : Kamel BOUKHALFA ; Ladjel BELLATRÈCHE, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Arnaud GIACOMETTI, Rapporteur ; Jérôme DARMONT, Rapporteur ; Zohra BELLAHSENE, Examinateur ; Zaia ALIMAZIGHI, Examinateur ; Pascal RICHARD, Examinateur Importance : 238 p. Note générale : NNT 2009ESMA0006 Remerciements Table des matières Table des figures Glossaire Bibliographie Résumé Mots clés Catégories : Informatique Index. décimale : TH-09 Résumé : Introduction générale Etat de l'art Sélection isolée : La FH primaire et dérivée La FH : Algorithmes de selection et validation Sélection isolée : Les index de jointure binaires Sélection multiple de schémas de fragmentation et d'IJB Par admin : outil d'aide à l'administration et le tuning Conclusions et perspectives En ligne : http://tel.archives-ouvertes.fr/tel-00410411/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007108	TH-09 BOU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-09 BOU	BOU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Construction d'ontologies à partir de textes : une approche basée sur les transformations de modèles / Henry Valéry TEGUIAK  

Titre : Construction d'ontologies à partir de textes : une approche basée sur les transformations de modèles Type de document : thèse Auteurs : Henry Valéry TEGUIAK, Auteur ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Sylvie DESPRES, Rapporteur ; Jean CHARLET, Examinateur ; Eric SARDET, Examinateur Année de publication : 2012 Importance : 182 p. Note générale : NNT 2012ESMA0027 Merci à Epigraphe Table des matières Résumé Introduction générale Bibliographie Publications Annexe Table des figures Liste des tableaux Glossaire Catégories : Bases de données Langages d'interrogation Ontologies (informatique) Web sémantique Ré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 PERSPECTIVES En 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

Contibution à la conception du dialogue homme-machine dans les applications graphiques intéractives de conception technique : Le système GIPSE / Guillaume PATRY

Titre : Contibution à la conception du dialogue homme-machine dans les applications graphiques intéractives de conception technique : Le système GIPSE Type de document : thèse Auteurs : Guillaume PATRY ; Guy PIERRA, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; N. CARBONELL, Rapporteur ; Christophe KOLSKI, Rapporteur ; Pascal GIRARD, Examinateur ; Pascal LIENHARDT, Examinateur ; Guy PIERRA, Examinateur Importance : 199 p. Note générale : Remerciements Table des matières Introduction Conclusion Bibliographie Annexes Catégories : Conception assistée par ordinateur Informatique Informatique:Applications scientifiques Programmation Index. décimale : TH-99 Résumé : IHM ET CAO L'homme L'intéraction L'application VERS UN OUTIL INTERACTIF DE CONCEPTION D'AGI Modèles d'architecture Outils Réalisation d'un Model-Based System pour AGI-CT EXPLORATION ET EVALUATION DE LA TACHE COURANTE Analyse de l'exploration Construction d'une solution Discussions DIALOGUES STRUCTURES ET MANIPULATION DIRECTE Structure d'un contrôle par manipulation directe Intégration au sein de GIPSE DIALOGUES STRUCTURES ET MODIFICATION DYNAMIQUE DU DIALOGUE Macro-commandes et programmation Réalisation d'un système de macro-commandes par démonstration GIPSE : Génération d'application interactive par programmation sur exemple Validation LANGAGES DE MODELISATION Modèle des objets Modèle des tâches Modèle du dialogue Modèle de présentation Modèle du dialogue de manipulation directe EXEMPLE DE PROGRAMMATION DU NOYAU FONCTIONNEL Ajout de l'objet de dailogue Ajouter les actions sur objet EXEMPLE D'APPLICATIONS REALISEES AVEC GIPSE Barre de menu Zones de dessin Zone de prompt Zones de saisie

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006983	TH-99 PAT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contribution à la modélisation explicite et à la représentation des données de composants industriels : application au modèle PLIB / Mourad EL HADJ MIMOUNE

Titre : Contribution à la modélisation explicite et à la représentation des données de composants industriels : application au modèle PLIB Type de document : thèse Auteurs : Mourad EL HADJ MIMOUNE ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne-Françoise CUTTING-DECELLE, Rapporteur ; Parisa GHODOUS, Rapporteur ; Yves BERTRAND, Examinateur ; Danielle BOULANGER, Examinateur ; Yamine AIT AMEUR, Examinateur ; Guy PIERRA, Examinateur Importance : 194 p. Note générale : Remerciements Table des matières Glossaire Introduction générale Conclusion générale Bibliographie Liste des figures Liste des tableaux Annexe : Le langage EXPRESS Résumé Mots clés Catégories : Bases de données Parts LIBrary (PLIB) PostgreSQL (système informatique) Systèmes de gestion de données techniques Index. décimale : TH-04 Résumé : MODELISATION ET GESTION DE DONNEES DE PRODUITS ET DE COMPOSANTS Introduction Modélisation de produits basée sur des représentations Modélisation des données de produit basée sur les propriétés Le modèle de données de composants PLIB Intégration des données de produit et de données de composant Conclusion REPRESENTATION IMPLICITE DES DONNEES DE COMPOSANTS : MODELE ET IMPLEMENTATION Introduction Première approche de modélisation du contenu des bibliothèques de composants : modèle implicite de PLIB Implémentation du modèle implicite de PLIB dans un SGBD IMPLEMENTATION DU MODELE IMPLICITE EN SUIVANT L'APPROCHE HYBRIDE : CONVERSION DES INSTANCES DE CE MODELE EN N-UPLETS Introduction Schéma global de la base de données Approche détaillée de l'implémentation du modèle implicite Conversion du modèle implicite de PLIB en modèle explicite Gestionnaire de bibliothèques de composants PLIB sur un SGBD Conclusion REPRESENTATION EXPLICITE DES DONNEES DE COMPOSANTS : MODELE ET IMPLEMENTATION Introduction Nouvelle approche de représentation des données de composants : la représentation explicite Implémentation du modèle explicite de PLIB dans une base de données cible Détails de l'implémentation : application de la programmation événementielle au modèle PLIB Gestionnaire de données de composants basé sur le modèle explicite de PLIB Conclusion UN EXEMPLE DE MISE EN OEUVRE : IMPLEMENTATION DE PLIB DANS LE SGBDRO POSTGRESQL Introduction Choix du SGBD Représentation de concepts EXPRESS dans le SGBD POSTGRESQL Représentation des instance du niveau contenu dans POSTGRESQL Connexion avec un SGDT Conclusion

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002282	TH-04 ELH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité / Samia SAAD-BOUZEFRANE

Titre : Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité Type de document : thèse Auteurs : Samia SAAD-BOUZEFRANE ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Zoubir MAMMERI, Rapporteur ; Guy PIERRA, Examinateur ; F. SIMONOT-LION, Examinateur ; Yvon TRINQUET, Examinateur Importance : 180 p. Note générale : Remerciements Table des matières Introduction générale Conclusion générale Bibliographie Annexes Catégories : Informatique Ordonnancement (informatique) Réseaux locaux (informatique) Réseaux locaux industriels (informatique) Temps réel (informatique) Index. décimale : TH-98 Résumé : INTRODUCTION AUX SYSTEMES INFORMATIQUES TEMPS REEL Les systèmes temps réel Les réseaux de communication temps réel Cadre du travail ORDONNANCEMENT DES TACHES Modélisation des tâches Représentation d'une séquence Classification des tâches Les tâches indépendantes Les tâches dépendantes LES PRINCIPAUX PROTOCOLES MAC ADAPTES AUC COMMUNICATIONS TEMPS REEL Classification des protocoles MAC Les techniques d'accés Protocoles à accés aléatoire Protocoles d'accés à contrôle centralisé : exemple de FIP Protocoles d'accés à contrôle distribué ENVIRONNEMENTS TEMPS REEL REPARTIS Quelques exécutifs temps réel répartis Outils et méthode de validation UNE METHODOLOGIE DE VALIDATION BASEE SUR UNE ANALYSE D'ORDONNANCABILITE Le modèle général Principe de la méthodologie Exemples d'applications temps réel réparties ANALYSE DES PERFORMANCES MOSARTS: un outil de validation d'applications temps réel réparties Les critères de performance mesurés Résultats de simulation

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006952	TH-98 SAA	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Explicitation de la sémantique dans les bases de données : Base de données à base ontologique et le modèle OntoDB / Hondjack DEHAINSALA  

Titre : Explicitation de la sémantique dans les bases de données : Base de données à base ontologique et le modèle OntoDB Type de document : thèse Auteurs : Hondjack DEHAINSALA ; Guy PIERRA, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jean CHARLET, Rapporteur ; Mohand-Saïd HACID, Rapporteur ; Michel SCHNEIDER, Examinateur ; Mokrane BOUZEGHOUB, Examinateur ; Jean-Yves LAFAYE, Examinateur Importance : 267 p. Note générale : NNT 2007POIT2270 Remerciements Table des matières Table des figures Introduction générale Bibliographie Annexes Glossaire Catégories : Bases de données Ontologies (informatique) Parts LIBrary (PLIB) Web sémantique Index. décimale : TH-07 Résumé : ETAT DE L'ART Approche traditionnelle de conception des bases de données Modélisation et gestion de données à base ontologique NOTRE PROPOSITION D'ARCHITECTURE Le modèle d'architecture de base de données à base ontologique OntoDB Implémentation de l'architecture OntoDB EVALUATION DES PERFORMANCES Evaluation des performances du modèle d'architecture OntoDB CONCLUSION ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00157595/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007559	TH-07 DEH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels / Eric SARDET

Titre : Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels Type de document : thèse Auteurs : Eric SARDET ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Jean-Claude POTIER, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; H. HABRIAS, Rapporteur ; M. NANARD, Rapporteur ; Yamine AIT AMEUR, Examinateur ; X. CASTELLANI, Examinateur ; Guy PIERRA, Examinateur ; Jean-Claude POTIER, Examinateur ; P. TCHOUNIKINE, Examinateur Importance : 189 p. Note générale : Merci à Table des matières Introduction Conclusion Bibliographie Liste des figures Liste des tableaux Catégories : Logiciels Logiciels:Modèles de conception Programmation Index. décimale : TH-99 Résumé : MODELISATION, STRUCTURATION ET PRESENTATION DE L'INFORMATION Modélisation de l'information Structuration de l'information Présentation de l'information MODELISATION ET META-MODELISATION DES CATALOGUES DE COMPOSANTS INDUSTRIELS Modélisation des bibliothèques de composants Méta-Modélisation des bibliothèques de composants Une première approche pour la saisie de bibliothèques PLib INTEGRATION DES APPROCHES DOCUMENTAIRE ET MODELE DE DONNEES Approches existantes Donner une représentation structurée à un modèle de données Séparer la structure de représentation de la structure de présentation Application à PLib INTEGRATION DES OUTILS DOCUMENTAIRES ET DES OUTILS DE MODELISATION Coopération d'outils documentaires et d'outils de modélisation Un éditeur de documents sémantiques Extension de l'outil Exploitation du document résultat

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006927	TH-99 SAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Intégration de bases de données hétérogènes par articulation a priori d'ontologies : Application aux catalogues de composants industriels / Dung NGUYEN XUAN

Titre : Intégration de bases de données hétérogènes par articulation a priori d'ontologies : Application aux catalogues de composants industriels Type de document : thèse Auteurs : Dung NGUYEN XUAN ; Ladjel BELLATRÈCHE, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne DOUCET, Rapporteur ; Chantal REYNAUD, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Marie-Christine LAFAYE, Examinateur ; Michel SCHNEIDER, Examinateur Importance : 188 p. Note générale : Remerciements Table des matières Table des figures Liste des tableaux Bibliographie Résumé Mots clés Catégories : Parts LIBrary (PLIB) Index. décimale : TH-06 Résumé : INTRODUCTION GENERALE ETAT DE L'ART Problématique de l'intégration de données Classification des approches d'intégration Ontologie conceptuelle Ontologie conceptuelle et intégration des données Positionnement de notre approche MODELE PLIB ET BASE DE DONNEES A BASE ONTOLOGIQUE Modèle PLIB Base de données à base ontologique Langage EXPRESS Outil PLIBEditor INTEGRATION AUTOMATIQUE DES BDBOS PAR ARTICULATION A PRIORI D'ONTOLOGIES Problématique Architecture du système d'intégration de BDBOs FragmentOnto ProjOnto ExtendOnto Mise en oeuvre GESTION DE L'EVOLUTION ASYNCHRONE D'UN SYSTEME D'INTEGRATION A BASE ONTOLOGIQUE Travaux antérieurs sur les évolutions de données Gestion des évolutions des ontologies Gestion de l'évolution des instances Mise en oeuvre de notre modèle REIFICATION DES CORRESPONDANCES ENTRE ONTOLOGIES POUR L'INTEGRATION DES BDBOS Problématique et correspondances entre ontologies Formalisation de la projection entre BDBOs et une ontologie Algorithme de projection Représentation "mapping" eb tant que modèle Mise en oeuvre CONCLUSION ET PERSPECTIVES

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007156	TH-06 NGU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Intégration du modèle d'ontologies PLIB et des services web dans les échanges inter-entreprises (Application au Business to Business) / Youcef AKLOUF

Titre : Intégration du modèle d'ontologies PLIB et des services web dans les échanges inter-entreprises (Application au Business to Business) Type de document : thèse Auteurs : Youcef AKLOUF ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne-Françoise CUTTING-DECELLE, Rapporteur ; Habiba DRIAS, Rapporteur ; George LOUIS, Examinateur ; Abdelaziz BOURAS, Examinateur Importance : 205 p. Note générale : Remerciements Résumé Table des matières Table des figures Introduction générale Bibliographie Catégories : Business Web Index. décimale : TH-07 Résumé : ETAT DE L'ART Caractérisation de produits et catalogues de composants Le commerce B2B et le e-procurement LA CONTRIBUTION DE LA THESE Approche fondée sur l'orthogonalité Intégration d'ontologies dans un modèle d'échange B2B VALIDATION DE L'APPROCHE PROPOSEE Validation opérationnelle de l'approche à base de service web

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007356	TH-07 AKL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Nomination persistante dans un modèle paramétrique. identification non-ambiguë et appariement générique d'entités topologiques / Dago AGBODAN

Titre : Nomination persistante dans un modèle paramétrique. identification non-ambiguë et appariement générique d'entités topologiques Type de document : thèse Auteurs : Dago AGBODAN, Auteur ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Abdelaziz BOURAS, Rapporteur ; Yvon GARDAN, Rapporteur ; Yves BERTRAND, Examinateur Année de publication : 2002 Importance : 199 p. Note générale : Avant-propos Remerciements Table des matières Introduction Conclusion générale Bibliographie Renvois Annexes Index Langues : Français (fre) Catégories : Conception assistée par ordinateur Modèles géométriques Modélisation tridimensionnelle Index. décimale : TH-02 Résumé : INTRODUCTION GENERALE Motivations Trame du mémoire FONDEMENTS DE LA MODELISATION PARAMETRIQUE Introduction Modélisation géométrique Modélisation par caractéristiques Modélisation paramétrique Conclusion PS2 : UN MODELE A TROIS NIVEAUX Introduction Cinq points-clés pour une nomination persistante Vue d'ensemble du modèle paramétrique PS2 Architecture du modèle paramétrique - construction Réévaluation et appariement Conclusion INTEGRATION DU MODELE PS2 A UN MODELEUR GEOMETRIQUE Introduction Architecture paramétrique du modeleur Description de l'interface du modeleur Conclusion CONCLUSION GENERALE Travail réalisé Perspectives Synthèse RENVOIS Références Internet Illustrations

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008125	TH-02 AGB	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

OntoDB2 : un système flexible et efficient de base de données à base ontologique pour le web sémantique et les données techniques / Chimène FANKAM  

Titre : OntoDB2 : un système flexible et efficient de base de données à base ontologique pour le web sémantique et les données techniques Type de document : thèse Auteurs : Chimène FANKAM, Auteur ; Guy PIERRA, Directeur de thèse ; Ladjel BELLATRÈCHE ; LISI ENSMA EA 1232, Commanditaire ; Nadine CULLOT, Rapporteur ; Mohand-Saïd HACID, Rapporteur ; Danielle BOULANGER, Examinateur ; Jean CHARLET, Examinateur Année de publication : 2009 Importance : 223 p Note générale : NNT 2009ESMA0024 Remerciements Table des matières Introduction générale Bibliographie Annexe : le méta-schéma EXPRESS Liste des tableaux Table des figures Glossaire Résumé Mots clés Langues : Français (fre) Catégories : Bases de données:Gestion Bases de données:Interrogation Ontologies (informatique) Web sémantique Résumé : ETAT DE L'ART Ontologie et formalismes d'ontologies Bases de données à base ontologique NOTRE PROPOSITION D'ARCHITECTURE Description du modèle OntoDB2 Implémentation de l'architecture de BDBO OntoDB2 VALIDATION Application : raisonnements numériques sur les ensembles partiellement ordonnées Validation d'OntoDB2 CONCLUSION ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00452533/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008175	TH-09 FAN	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

OntoQL, un langage d'exploitation des bases de données à base ontologique / Stéphane JEAN  

Titre : OntoQL, un langage d'exploitation des bases de données à base ontologique Type de document : thèse Auteurs : Stéphane JEAN ; Yamine AIT AMEUR, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Witold LITWIN, Rapporteur ; OUKSEL, Aris, M., Rapporteur ; Michel SCHNEIDER, Rapporteur ; Olivier CORBY, Examinateur Importance : 289 p. Note générale : NNT 2007POIT2324 Table des matières Bibliographie Annexes Table des figures Liste des tableaux Glossaire Résumé Mots clés Catégories : Bases de données Ontologies (informatique) Parts LIBrary (PLIB) Index. décimale : TH-07 Résumé : DE LA NECESSITE D'UN NOUVEAU LANGAGE D'EXPLOITATION DES BASES DE DONNEES A BASE ONTOLOGIQUE Ontologies et bases de données à base ontologique Exigences pour un langage d'exploitation de BDBO NOTRE PROPOSITION : LE LANGAGE ONTOQL Traitements des données à base ontologique d'une BDBO Traitements des ontologies et simultanément des ontologies et des données d'une BDBO VALIDATION THEORIQUE ET OPERATIONNELLE DU LANGAGE ONTOQL Sémantique formelle du langage OntoQL Implantation du langage OntoQL sur le prototype OntoDB CONCLUSION ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00201777/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007617	TH-07 JEA	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Vers une approche sûre du développement des Interfaces Homme-Machine / Mickaël BARON

Titre : Vers une approche sûre du développement des Interfaces Homme-Machine Type de document : thèse Auteurs : Mickaël BARON ; Yamine AIT AMEUR, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Dominique CANSELL, Rapporteur ; Bruno d' AUGSBOURG, Rapporteur ; Jean VANDERDONCKT, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Patrick GIRARD, Examinateur ; Guy PIERRA, Examinateur ; Jean-Daniel FEKETE, Examinateur ; Francis JAMBON, Examinateur Importance : 253 p. Note générale : Résumé/Abstract Table des matières Table des figures Liste des tableaux Introduction générale Conclusion et perspectives Bibliographie Publications liées à ce mémoire de thèse Mots clés Catégories : Méthode B (informatique) Méthodes formelles (informatique) Systèmes homme-machine Index. décimale : TH-03 Résumé : ETAT DE L'ART Le domaine de l'interaction homme-machine Les techniques formelles pour la conception des systèmes interactifs Les outils de conception Synthèse : justification du travail de thèse MODELISATION ET VALIDATION FORMELLES DE DESCRIPTIONS DE L'INTERACTION DANS LES IHM Rappels Méthode B Approche à base de modules Approche à base d'événements SUIDT : UNE APPROCHE EXPERIMENTALE POUR LA CONSTRUCTION D'INTERFACES UTILISATEURS SURES Généralités sur l'approche expériementale Intégration d'un noyau fonctionnel développé formellement dans une apprche de système basés sur modèles Validation sur le noyau fonctionnel Validation sur la présentation Conclusion générale sur l'approche SUIDT

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002251	TH-03 BAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Vers un environnement générique d'aide au développement d'applications interactives de simulations de métamorphoses / Fabrice DEPAULIS

Titre : Vers un environnement générique d'aide au développement d'applications interactives de simulations de métamorphoses Type de document : thèse Auteurs : Fabrice DEPAULIS, Auteur ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Laurence NIGAY, Rapporteur ; Henry LIEBERMAN, Rapporteur ; Pascal LIENHARDT, Examinateur ; Guy PIERRA, Examinateur Année de publication : 2002 Importance : 220 p. Note générale : Remerciements Table des matières Introduction générale Annexes Index Figures Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Architecture:Bases de données Conception technique:Informatique Interaction homme-ordinateur Métamorphose (animation par ordinateur) Résumé : SIMULATION D'ANIMATIONS ET DE METAMORPHOSES Principes généraux et méthodes Métamorphoses d'objets naturels OUTILS POUR LA CONCEPTION DE SYSTEMES DE C.A.O. DE METAMORPHOSES H4 : une architecture logicielle pour le dialogue structuré Programmation interactive UN ENVIRONNEMENT DE DEVELOPPEMENT DE SIMULATION DE METAMOPHOSES H4 DTS Edit : un éditeur pour la boîte à outils du dialogue Un moteur générique de simlulation de métamorphoses CONCLUSION GENERALE

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008520	TH-02 DEP	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

---

1 (1 - 20 / 20) Par page : 25 50 100 200