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

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

Spécifications algébriques, algorithmique et programmation / Jean-François DUFOURD

Titre : Spécifications algébriques, algorithmique et programmation Type de document : texte imprimé Auteurs : Jean-François DUFOURD ; Dominique BECHMANN ; Yves BERTRAND Editeur : InterEditions Année de publication : 1995 Importance : 486 p. ISBN/ISSN/EAN : 978-2-7296-0581-0 Note générale : Table des matières Avant-propos Références Index Catégories : Algorithmes Génie logiciel Programmation Index. décimale : 005.13 Langages de programmation Résumé : SPECIFICATION ET PROGRAMME Construction de programmes Spécifications algébriques : 1., le cas équationnel pur Spécifications algébriques : 2., le cas général Implantation et programmation Spécifications étendues Piles, files et listes linéaires Suppression de la récursivité Complexité et optimalité STRUCTURES ET ALGORITHMES Tables Graphes : 1., Spécification et implantation Graphes : 2., Algorithmes classiques Arbres et forêts : 1., Spécification et implantation arbres et forêts : 2., Algorithmes et variétés d'arbres Tris internes Fichiers Tris externes

Exemplaires (1)

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

---

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