Contribution a l'integration de la programmation logique et de la programmation par objets. Etude, conception et implantation PDF Download

Author: Macaire Ngomo
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description

Author: MACAIRE.. NGOMO
Publisher:
ISBN:
Category :
Languages : fr
Pages : 325

View

Book Description
CETTE THESE PREND PLACE DANS UN PROJET INTERNE DE REALISATION DE LANGAGES A VOCATION MULTIPLE, INTEGRANT PLUSIEURS STYLES DE PROGRAMMATION ET ADAPTES AU PLUS PRES A NOS BESOINS EN MATIERE DE CONCEPTION ET PROGRAMMATION DES APPLICATIONS. DANS CELLE-CI, NOUS ETUDIONS LES POSSIBILITES DE COMBINER LES ASPECTS DE DEUX PARADIGMES DE PROGRAMMATION : LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS. CES DERNIERES ANNEES, CES DEUX PARADIGMES DE PROGRAMMATION ONT SUSCITE UN INTERET DE PLUS EN PLUS GRAND PARCE QU'ILS OFFRENT BEAUCOUP D'AVANTAGES SUR LES METHODES TRADITIONNELLES DE PROGRAMMATION. DANS CETTE THESE, NOUS PROPOSONS UN NOUVEAU MODELE POUR INTEGRER CES DEUX PARADIGMES DE PROGRAMMATION, EN METTANT EN AVANT L'ASPECT DECLARATIF DE LA PROGRAMMATION LOGIQUE. SUR LA BASE DE CE MODELE, NOUS DEVELOPPONS UN NOUVEAU LANGAGE NOMME OO-PROLOG (OBJECT-ORIENTED PROLOG). CE LANGAGE INTEGRE DE MANIERE COHERENTE LES GRANDS MECANISMES DE LA PROGRAMMATION LOGIQUE ET DE LA PROGRAMMATION PAR OBJETS. IL EST BASE SUR DELPHIAPROLOG ET CONCU SUIVANT LE MODELE METACLASSE/CLASSE/INSTANCE INSPIRE DU MODELE OBJVLISP. L'HERITAGE EST DYNAMIQUE ET MULTIPLE, AVEC UNE SEMANTIQUE NON MONOTONE. UNE NOUVELLE METHODE DE RESOLUTION DES CONFLITS EST PROPOSEE. ELLE EST BASEE SUR LA RESOLUTION NON-DETERMINISTE. UN MECANISME DE VERSIONS D'OBJETS EST PROPOSE PERMETTANT DE CONSTRUIRE L'HISTOIRE D'UN OBJET PAR UNIFICATION ET DE LA DEFAIRE PAR RETOUR ARRIERE. CE MECANISME REPOSE SUR L'UTILISATION DES STRUCTURES DE DONNEES INCOMPLETES. L'APERCU D'UNE STRUCTURE INCOMPLETE PEUT S'UTILISER POUR PERMETTRE L'ENTREE DE NOUVELLES INFORMATIONS MOYENNANT L'UNIFICATION ET DONC DE PREVOIR L'AVENIR. LA LECTURE DECLARATIVE DES PROGRAMMES UTILISANT CES STRUCTURES EST IMMEDIATE. DE FACON OPERATOIRE, CES PROGRAMMES SE COMPRENNENT EN TERMES DE CONSTRUCTION D'UNE STRUCTURE PAR INCREMENTATION. UN SCHEMA D'EXTENSION DE L'UNIFICATION EST PROPOSE, PRENANT EN COMPTE LE CONCEPT D'IDENTIFICATEUR D'OBJET.

Author: Charles-Antoine Brunet
Publisher:
ISBN:
Category :
Languages : fr
Pages : 104

View

Book Description

Author:
Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 1000

View

Book Description

Author: ABDENBI.. DRISSI TALBI
Publisher:
ISBN:
Category :
Languages : fr
Pages : 238

View

Book Description
CETTE THESE PROPOSE UN CADRE DE PROGRAMMATION HYBRIDE FONDE SUR LA PROGRAMMATION LOGIQUE (PL) ET LA PROGRAMMATION ORIENTEE OBJET (POO), ET ETENDU PAR LA RESOLUTION DES CONTRAINTES LINEAIRES EN NOMBRES NATURELS. LE LANGAGE LOP ASSOCIE A CE CADRE OFFRE UNE PROGRAMMATION POUVANT ETRE STATIQUE OU DYNAMIQUE, DECLARATIVE OU PROCEDURALE. LE SYSTEME PROPOSE SE COMPOSE D'UNE HIERARCHIE A TROIS NIVEAUX DE PROGRAMMATION PERMETTANT UNE FUSION PROGRESSIVE ET NON LIMITATIVE DE LA PL ET DE LA POO. CHACUN DE CES NIVEAUX PRIVILEGIE UNE FACETTE DU MARIAGE DE CES DEUX PARADIGMES. LE NIVEAU DE BASE, APPELE NPO, PROPOSE UNE PROGRAMMATION PAR OBJETS LOGIQUES STATIQUES. IL PRESERVE LES AVANTAGES DE LA PROGRAMMATION EN PROLOG PUR, TOUT EN AMELIORANT LA STRUCTURATION DES PROGRAMMES. LE SECOND NIVEAU, APPELE NP1, EST UNE EXTENSION DE NPO PAR DES ASPECTS DYNAMIQUES DE LA POO ADAPTES A L'ESPRIT DE LA PROGRAMMATION DECLARATIVE. NP1 PROPOSE UNE PROGRAMMATION A LA FOIS DYNAMIQUE ET DECLARATIVE PAR OBJETS LOGIQUES MULTI-ETATS ET PAR METHODES LOGIQUES MULTI-DEFINITIONS. LE DERNIER NIVEAU, APPELE NP2, INTEGRE DES MECANISMES DE PROGRAMMATION QUI SORTENT DU CADRE DECLARATIF FIXE AU NIVEAU NP1. D'UNE PART, IL COMPLETE NP1 PAR DES MECANISMES DE CONTROLE, NECESSAIRE A LA REALISATION D'UN GRAND NOMBRE D'APPLICATIONS. D'AUTRE PART, IL INTEGRE UN NOUVEAU MODELE DE SIMULATION DISCRETE ORIENTEE PROCESSUS, OU LES CALCULS TEMPORELS ET LA GESTION DES PROCESSUS SONT EFFECTUES PAR UN SOLVEUR DE CONTRAINTES. LE LANGAGE LOP ET SON INTERPRETEUR SONT ENTIEREMENT CONCUS PAR OBJETS ET IMPLANTES EN CLOS.

Author: MATHIEU.. JAUME
Publisher:
ISBN:
Category :
Languages : fr
Pages : 198

View

Book Description
LA NOTION DE PREUVES EN PROGRAMMATION LOGIQUE EST EXAMINEE A DEUX NIVEAUX DIFFERENTS. D'UN POINT DE VUE EXTERNE, LA THEORIE CLASSIQUE DE LA PROGRAMMATION LOGIQUE EST COMPLETEMENT FORMALISEE DANS LE CALCUL DES CONSTRUCTIONS INDUCTIVES. APRES AVOIR ENVISAGE LE PROBLEME DE LA DEFINITION DE FONCTIONS PARTIELLES DANS UN SYSTEME DANS LEQUEL SEULES LES FONCTIONS TOTALES SONT REPRESENTABLES, L'UNIFICATION EST OBTENUE EN REUTILISANT UNE PREUVE FORMELLE EXISTANTE PORTANT SUR UN SUR-ENSEMBLE DES TERMES. LES PROPRIETES FONDAMENTALES DE LA SLD-RESOLUTION SONT ALORS FORMALISEES. LE NIVEAU DE DETAIL IMPOSE PAR LA MECANISATION DES PREUVES CONSIDEREES A MIS EN RELIEF LA COMPLEXITE CACHEE DE CERTAINES PREUVES : LE MECANISME DE RENOMMAGE EST TRAITE DE MANIERE EXPLICITE, TRANSFORMANT AINSI CERTAINES CERTITUDES THEORIQUES EN REALITES. D'UN POINT DE VUE INTERNE, LES PREUVES SLD, FINIES OU INFINIES, SONT COMPAREES A CELLES QUE L'ON PEUT OBTENIR, PAR INDUCTION OU PAR CO-INDUCTION, A PARTIR DES CLAUSES D'UN PROGRAMME LOGIQUE VUES COMME DES REGLES D'INFERENCE. DANS LE CAS FINI LA CORRESPONDANCE EST COMPLETE (CE QUE CALCULE UN PROGRAMME EST PROUVABLE) TANDIS QUE DANS LE CAS INFINI, CERTAINS OBJETS NON CALCULABLES SONT TOUTEFOIS PROUVABLES. LES PROPRIETES CLASSIQUES DES DEFINITIONS CO-INDUCTIVES ET LA COMPARAISON DE CERTAINES DERIVATIONS INFINIES A DES TERMES DE PREUVE D'UN TYPE CO-INDUCTIF, SE REVELENT UTILES TANT POUR EXPLIQUER LES RESULTATS D'INCOMPLETUDE D'APPROCHES EXISTANTES QUE POUR DEFINIR UNE SEMANTIQUE VALIDE ET COMPLETE POUR UNE CLASSE DE DERIVATION INFINIES (PRECISEMENT CELLES QUI NE CONSTRUISENT PAS DE TERMES INFINIS).

Author: Stéphane Pelenc
Publisher:
ISBN:
Category :
Languages : fr
Pages : 247

View

Book Description
LA PROGRAMMATION PAR OBJETS ET LA PROGRAMMATION PAR CONTRAINTES CONNAISSENT DEPUIS QUELQUES ANNEES, UN VIF SUCCES DANS L'INFORMATIQUE. SI LES ATOUTS DU PARADIGME OBJET S'EXPRIMENT EN TERMES DE MODULARITE, DE REUTILISABILITE ET DE REPRESENTATION, LA NOTION DE CONTRAINTE APPORTE QUANT A ELLE, UNE GRANDE DECLARATIVITE DANS LE DOMAINE DE LA RESOLUTION DE PROBLEMES. ASSOCIER CES DEUX PARADIGMES SEMBLE NATUREL ET A DEJA FAIT L'OBJET DE NOMBREUSES ETUDES. CETTE ASSOCIATION PERMET D'UNE PART, D'UTILISER LA PROGRAMMATION PAR OBJET POUR REPRESENTER ET GERER DES CONTRAINTES EN BENEFICIANT AINSI POUR LES CONTRAINTES, DES QUALITES LOGICIELLES DES OBJETS, D'AUTRE PART, DE CONTRAINDRE DES OBJETS AFIN D'ETENDRE LE POUVOIR EXPRESSIF DES OBJETS. APRES UNE PRESENTATION GENERALE DES CONTRAINTES, NOTAMMENT DES CSP BASES SUR UNE ENUMERATION DES DOMAINES COUPLEE AVEC DES TECHNIQUES DE REDUCTION ET DES CONTRAINTES FONCTIONNELLES BASEES SUR UNE PROPAGATION LOCALE DE VALEURS, QUELQUES RAPPELS SUR LES OBJETS EN PROGRAMMATION ET EN REPRESENTATION DES CONNAISSANCES, CE MEMOIRE PROPOSE UNE MODELISATION EXHAUSTIVE DES DIVERSES MANIERES NATURELLES D'ASSOCIER CES DEUX PARADIGMES EN SOULIGNANT LES APPORTS SPECIFIQUES DE CHACUN. NOS CONTRIBUTIONS PORTENT SUR L'EXTENSION DE L'ALGORITHME DE PROPAGATION LOCALE (PLANIFIEE) DELTABLUE ET L'INTEGRATION DES DEUX TYPES DE CONTRAINTES (CSP ET FONCTIONNELLES). NOUS PROPOSONS EGALEMENT UNE INTERPRETATION PAR DES OPERATIONS DE REECRITURE DES CONTRAINTES SUR DES CHEMINS D'ATTRIBUTS, ET INTRODUISONS LA NOTION DE CONTRAINTE GENERIQUE, BASEE SUR UNE TRANSPOSITION AUX CONTRAINTES DES FONCTIONS GENERIQUES DE CERTAINS LANGAGES DE PROGRAMMATION PAR OBJETS COMME CLOS OU DYLAN. ENFIN, LE MODELE OBJET YACOS (YET ANOTHER CONSTRAINTS OBJECTS SYSTEM), ECRIT AU DESSUS DU SYSTEME Y3, FOURNIT QUELQUES ELEMENTS DE REPONSES POUR L'IMPLEMENTATION D'UN SYSTEME ALLIANT OBJETS ET CONTRAINTES.

Author: PIERRE.. ROY
Publisher:
ISBN:
Category :
Languages : fr
Pages : 260

View

Book Description
LA SATISFACTION DE CONTRAINTES EST UN EST UN FORMALISME ET UN ENSEMBLE DE TECHNIQUES POUR LA RESOLUTION DE PROBLEMES COMBINATOIRES. L'INTEGRATION DE CE PARADIGME DANS UN LANGAGE DE PROGRAMMATION PAR OBJETS VISE DEUX OBJECTIFS. D'UNE PART, LA PROGRAMMATION PAR OBJETS PERMET UNE IMPLEMENTATION EFFICACE ET INTERESSANTE DES TECHNIQUES DE SATISFACTION DE CONTRAINTES. D'AUTRE PART, LES OBJETS PEUVENT ETRE UTILISES POUR DEFINIR ET RESOUDRE DES PROBLEMES STRUCTURES PLUS FACILEMENT. TRADITIONNELLEMENT, LES SYSTEMES DE CONTRAINTES IMPLEMENTES DANS UN LANGAGE A OBJETS SONT DES EXTENSIONS DU LANGAGE SOUS FORME DE BIBLIOTHEQUES DE CLASSES. NOUS MONTRONS, A L'AIDE DU SYSTEME BACKTALK, LES INTERETS D'UNE APPROCHE DE TYPE FRAMEWORK. BACKTALK EST ILLUSTRE SUR PLUSIEURS EXEMPLES ET NOUS COMPARONS CES PERFORMANCES AVEC CERTAINS DES MEILLEURS SYSTEMES EXISTANTS ACTUELLEMENT. NOUS ILLUSTRONS CETTE PARTIE AVEC UNE APPLICATION A LA CREATION DE GRILLES DE MOTS CROISES. NOUS NOUS INTERESSONS D'AUTRE PART A LA RESOLUTION DE PROBLEMES STRUCTURES, C'EST-A-DIRE DONT LES INCONNUES SONT DES OBJETS COMPLEXES ET NON PAS DES NOMBRES. L'APPROCHE TRADITIONNELLE CONSISTE A UTILISER UNE REPRESENTATION NUMERIQUE DE TELS PROBLEMES, CE QUI PERMET D'EMPLOYER LES TECHNIQUES DE RESOLUTION DE CONTRAINTES NUMERIQUES, QUI SONT LES MIEUX MAITRISEES. CEPENDANT, CETTE DEMARCHE SOULEVE TROIS DIFFICULTES MAJEURES : ELLE COMPLIQUE SENSIBLEMENT LA DEFINITION DES CONTRAINTES, ELLE EMPECHE LA REUTILISATION DE CLASSES PREDEFINIES ET ELLE CONDUIT DANS CERTAINS CAS A UNE RESOLUTION INEFFICACE. NOUS PROPOSONS UNE APPROCHE DIFFERENTE, FONDEE SUR UNE REPRESENTATION EXPLICITE DES STRUCTURES DU PROBLEME PAR DES OBJETS DU LANGAGE HOTE. CETTE APPROCHE PERMET D'APPORTER UNE SOLUTION AUX TROIS DIFFICULTES PRECEDENTES. CETTE PARTIE EST ILLUSTREE PAR UNE APPLICATION A L'HARMONISATION MUSICALE AUTOMATIQUE.

Author: M. Cotsaftis
Publisher: Elsevier
ISBN: 1483291502
Category : Technology & Engineering
Languages : en
Pages : 550

View

Book Description
Productivity enhancement is a major concern for all manufacturing enterprises. Productivity enhancement can be achieved in many ways and many facets of its problems have been investigated over the last decades. A number of methods, tools and technologies have emerged to efficiently increase productivity and rationalize management of manufacturing enterprises. International experts from both academia and industry share their experiences in this collection of articles, contributing to the latest advances in the many facets of productivity enhancement in manufacturing enterprises. Themes and visions are detailed on factories of the future, new management approaches, manufacturing system integration and manufacturing information systems. These technical areas can be grouped into four major sections: Factories of the future; Techniques and tools for automated manufacturing; Robotics; and Industrial applications. The papers illustrate a pattern of valuable and interesting approaches to the fascinating problem of designing a new generation of robots with high enough performance capabilities to be used in an industrial context.

Author:
Publisher: KARTHALA Editions
ISBN: 2811109943
Category :
Languages : en
Pages : 1684

View

Book Description