Author: Gahoudy Saturnin Boli
Publisher:
ISBN:
Category :
Languages : fr
Pages : 162
Book Description
LES TRAVAUX MENES AU TITRE DE CETTE ETUDE ONT POUR OBJECTIF LA REALISATION D'UN SYSTEME D'INTEGRITE COOPERANT AVEC UN SYSTEME DE GESTION DE BASE DE DONNEES CLASSIQUE ET DEVANT ETRE INTEGRE A UN SYSTEME GENERAL DE C.A.O. IL EST DEFINI COMME UN FILTRE ENTRE L'UTILISATEUR ET UN ENSEMBLE DE LOGICIELS CONSTITUE PAR UN SYSTEME DE GESTION DE BASE DE DONNEES AU CHOIX DU CONCEPTEUR, LES BASES DE DONNEES PROJET (BDP) ET LA BASE DE DONNEES DES CONNAISSANCES (BDC)
Etude et réalisation d'un système d'integrité pour les bases de données en conception assistée par ordinateur
Author: Gahoudy Saturnin Boli
Publisher:
ISBN:
Category :
Languages : fr
Pages : 162
Book Description
LES TRAVAUX MENES AU TITRE DE CETTE ETUDE ONT POUR OBJECTIF LA REALISATION D'UN SYSTEME D'INTEGRITE COOPERANT AVEC UN SYSTEME DE GESTION DE BASE DE DONNEES CLASSIQUE ET DEVANT ETRE INTEGRE A UN SYSTEME GENERAL DE C.A.O. IL EST DEFINI COMME UN FILTRE ENTRE L'UTILISATEUR ET UN ENSEMBLE DE LOGICIELS CONSTITUE PAR UN SYSTEME DE GESTION DE BASE DE DONNEES AU CHOIX DU CONCEPTEUR, LES BASES DE DONNEES PROJET (BDP) ET LA BASE DE DONNEES DES CONNAISSANCES (BDC)
Publisher:
ISBN:
Category :
Languages : fr
Pages : 162
Book Description
LES TRAVAUX MENES AU TITRE DE CETTE ETUDE ONT POUR OBJECTIF LA REALISATION D'UN SYSTEME D'INTEGRITE COOPERANT AVEC UN SYSTEME DE GESTION DE BASE DE DONNEES CLASSIQUE ET DEVANT ETRE INTEGRE A UN SYSTEME GENERAL DE C.A.O. IL EST DEFINI COMME UN FILTRE ENTRE L'UTILISATEUR ET UN ENSEMBLE DE LOGICIELS CONSTITUE PAR UN SYSTEME DE GESTION DE BASE DE DONNEES AU CHOIX DU CONCEPTEUR, LES BASES DE DONNEES PROJET (BDP) ET LA BASE DE DONNEES DES CONNAISSANCES (BDC)
Etude et réalisation d'un système de conception assistée par ordinateur appliqué à la micro-informatique
Author: Dimitri Pléménos
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
LES LANGAGES DE DESCRIPTION. PRESENTATION DU SYSTEME PYTHIE. LA DESCRIPTION DES OBJETS DU SYSTEME. L'IMPLEMENTATION. DEFINITION FORMELLE DE LEDA. L'ORGANISATION DES BIBLIOTHEQUES DU SYSTEME
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
LES LANGAGES DE DESCRIPTION. PRESENTATION DU SYSTEME PYTHIE. LA DESCRIPTION DES OBJETS DU SYSTEME. L'IMPLEMENTATION. DEFINITION FORMELLE DE LEDA. L'ORGANISATION DES BIBLIOTHEQUES DU SYSTEME
Contribution à l'étude des systèmes d'information multimédia et intelligent dédiés à la conception déclarative assitée par l'ordinateur
Author: Georges Miaoulis
Publisher:
ISBN:
Category :
Languages : fr
Pages : 260
Book Description
Notre étude porte sur les systèmes de conception d'entités physiques complexes (susceptibles d'être décomposées) et vise à étudier l'architecture d'un système d'information intelligent et multimédia pour la conception assistée par ordinateur. La méthodologie de conception adoptée est celle de la modélisation déclarative de scènes (en tant que représentations mentales des entités physiques) et en particulier la modélisation déclarative par décomposition hiérarchique qui répond à la complexité structurelle de ces entités. Le champ d'application de ces systèmes de conception est vaste, il couvre des domaines comme l'architecture , l'urbanisme, les arts décoratifs, la composition d'images, l'ingénierie (mécanique, génie civil), etc. La méthodologie de cette étude repose sur la modélisation des composants de ce système (modèles utilisateurs, modèles de processus et de mécanismes cognitifs ou de cycles de vie de conception, modèles des informations et des connaissances) pour proposer un cadre d'architecture logicielle qui comporte les spécifications et la structure de ces composants, et des bases de données et de connaissances. Ce cadre nommé "MultiCAD" est testé par le développement d'une série de logiciels prototypes. Les résultats de cette recherche, ainsi que les futurs travaux envisagés sont discutés au dernier chapitre de cette thèse.
Publisher:
ISBN:
Category :
Languages : fr
Pages : 260
Book Description
Notre étude porte sur les systèmes de conception d'entités physiques complexes (susceptibles d'être décomposées) et vise à étudier l'architecture d'un système d'information intelligent et multimédia pour la conception assistée par ordinateur. La méthodologie de conception adoptée est celle de la modélisation déclarative de scènes (en tant que représentations mentales des entités physiques) et en particulier la modélisation déclarative par décomposition hiérarchique qui répond à la complexité structurelle de ces entités. Le champ d'application de ces systèmes de conception est vaste, il couvre des domaines comme l'architecture , l'urbanisme, les arts décoratifs, la composition d'images, l'ingénierie (mécanique, génie civil), etc. La méthodologie de cette étude repose sur la modélisation des composants de ce système (modèles utilisateurs, modèles de processus et de mécanismes cognitifs ou de cycles de vie de conception, modèles des informations et des connaissances) pour proposer un cadre d'architecture logicielle qui comporte les spécifications et la structure de ces composants, et des bases de données et de connaissances. Ce cadre nommé "MultiCAD" est testé par le développement d'une série de logiciels prototypes. Les résultats de cette recherche, ainsi que les futurs travaux envisagés sont discutés au dernier chapitre de cette thèse.
CONCEPTION ASSISTEE PAR ORDINATEUR D'UNE BASE DE DONNEES
Author: JEAN-PIERRE.. GONDRAN
Publisher:
ISBN:
Category :
Languages : fr
Pages : 123
Book Description
CHOIX DU MODELE CONCEPTUEL: ETUDE DES DEPENDANCES FONCTIONNELLES ET MULTIVALUEES, CLASSIFICATION DES DIFFERENTS MODELES DE STRUCTURATION DE DONNEES. DESCRIPTION DE LA DEMARCHE DE CONCEPTION PROPOSEE: INTEGRATION DES "VUES UTILISATEURS" ET DESCRIPTION DU MODELE CONCEPTUEL, PASSAGE DU NIVEAU CONCEPTUEL AU NIVEAU INTERNE. REALISATION PRATIQUE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 123
Book Description
CHOIX DU MODELE CONCEPTUEL: ETUDE DES DEPENDANCES FONCTIONNELLES ET MULTIVALUEES, CLASSIFICATION DES DIFFERENTS MODELES DE STRUCTURATION DE DONNEES. DESCRIPTION DE LA DEMARCHE DE CONCEPTION PROPOSEE: INTEGRATION DES "VUES UTILISATEURS" ET DESCRIPTION DU MODELE CONCEPTUEL, PASSAGE DU NIVEAU CONCEPTUEL AU NIVEAU INTERNE. REALISATION PRATIQUE
TSI
Author:
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 516
Book Description
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 516
Book Description
Réalisation d'un système de conception assistée de schéma de base de données
Author: Elisée BRUGAROLAS
Publisher:
ISBN:
Category :
Languages : fr
Pages : 226
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 226
Book Description
Conception et réalisation d'un sous système d'intégrité extensible
Author: Eric Simon
Publisher:
ISBN:
Category :
Languages : fr
Pages : 23
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 23
Book Description
Bases d'objets
Author: Ignacio de Jesús Ania Briseño
Publisher:
ISBN:
Category :
Languages : fr
Pages : 170
Book Description
Présentation d'une infrastructure de représentation de connaissances centrée objet, développée pour la conception, la manipulation et le contrôle de l'intégrité des bases de données des environnements de conception assistée par ordinateur. Cette infrastructure intégré des concepts et des techniques développées dans les domaines des bases de données, de l'intelligence artificielle et des langages de programmation, tels que l'héritage de propriétés , l'attachement procédural et l'emploi de mécanismes d'abstraction
Publisher:
ISBN:
Category :
Languages : fr
Pages : 170
Book Description
Présentation d'une infrastructure de représentation de connaissances centrée objet, développée pour la conception, la manipulation et le contrôle de l'intégrité des bases de données des environnements de conception assistée par ordinateur. Cette infrastructure intégré des concepts et des techniques développées dans les domaines des bases de données, de l'intelligence artificielle et des langages de programmation, tels que l'héritage de propriétés , l'attachement procédural et l'emploi de mécanismes d'abstraction
CONCEPTION, ANALYSE ET REALISATION D'UN SOUS-SYSTEME D'INTEGRITE RELATIONNEL
Author: ERIC.. SIMON
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
PRESENTATION DES DIFFERENTES ETAPES DE CONCEPTION D'UN SOUS SYSTEME D'INTEGRITE PUREMENT ASSERTIONNEL OFFRANT DES GAINS APPRECIABLES EN FONCTIONNALITES ET EN PERFORMANCES. UN LANGAGE DE HAUT NIVEAU PERMET LA DEFINITION D'UNE GRANDE VARIETE D'ASSERTIONS CONTENANT DES FONCTIONS AGREGATS. CES ASSERTIONS, DANS LEUR FORME GENERALE, SONT EXPRIMEES DANS UN CALCUL RELATIONNEL DE DOLLARDOLLARDOLLAR ETENDU. LES PERFORMANCES DU CONTROLE D'INTEGRITE SONT ATTEINTES GRACE A L'UTILISATION D'UNE METHODE ORIGINALE DE SIMPLIFICATION D'ASSERTIONS ACTIVEE UNE FOIS POUR TOUTES AU MOMENT DE LA DEFINITION D'UNE CONTRAINTE. UN ALGORITHME DE VERIFICATION DES CONTRAINTES LORS DES MISES A JOUR EST ENSUITE PRESENTE
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
PRESENTATION DES DIFFERENTES ETAPES DE CONCEPTION D'UN SOUS SYSTEME D'INTEGRITE PUREMENT ASSERTIONNEL OFFRANT DES GAINS APPRECIABLES EN FONCTIONNALITES ET EN PERFORMANCES. UN LANGAGE DE HAUT NIVEAU PERMET LA DEFINITION D'UNE GRANDE VARIETE D'ASSERTIONS CONTENANT DES FONCTIONS AGREGATS. CES ASSERTIONS, DANS LEUR FORME GENERALE, SONT EXPRIMEES DANS UN CALCUL RELATIONNEL DE DOLLARDOLLARDOLLAR ETENDU. LES PERFORMANCES DU CONTROLE D'INTEGRITE SONT ATTEINTES GRACE A L'UTILISATION D'UNE METHODE ORIGINALE DE SIMPLIFICATION D'ASSERTIONS ACTIVEE UNE FOIS POUR TOUTES AU MOMENT DE LA DEFINITION D'UNE CONTRAINTE. UN ALGORITHME DE VERIFICATION DES CONTRAINTES LORS DES MISES A JOUR EST ENSUITE PRESENTE
ARCHITECTURE FORMELLE D'UN SYSTEME D'INTEGRITE POUR UNE BASE DE DONNEES REPARTIES
Author: Serge Miranda
Publisher:
ISBN:
Category :
Languages : fr
Pages : 318
Book Description
CETTE RECHERCHE PROPOSE UN CADRE FORMEL POUR L'ARCHITECTURE D'UN SYSTEME D'INTEGRITE D'UNE BASE DE DONNEES REPARTIES DANS LEQUEL LES MECANISMES PROPOSES ET CEUX QUI EXISTENT SONT SPECIFIES, VALIDES ET LEURS PROPRIETES INTRINSEQUES RIGOUREUSEMENT VERIFIEES
Publisher:
ISBN:
Category :
Languages : fr
Pages : 318
Book Description
CETTE RECHERCHE PROPOSE UN CADRE FORMEL POUR L'ARCHITECTURE D'UN SYSTEME D'INTEGRITE D'UNE BASE DE DONNEES REPARTIES DANS LEQUEL LES MECANISMES PROPOSES ET CEUX QUI EXISTENT SONT SPECIFIES, VALIDES ET LEURS PROPRIETES INTRINSEQUES RIGOUREUSEMENT VERIFIEES