CONTRIBUTION A LA RESOLUTION DE CONTRAINTES PAR CONSISTANCE FORTE

CONTRIBUTION A LA RESOLUTION DE CONTRAINTES PAR CONSISTANCE FORTE

CETTE THESE PROPOSE DIFFERENTES VOIES POUR AMELIORER LES TECHNIQUES DE RESOLUTION DE CONTRAINTES NUMERIQUES A BASE DE FILTRAGE PAR CONSISTANCE FORTE. CES TECHNIQUES ONT MONTRE LEUR INTERET DANS LA RESOLUTION DES PROBLEMES DIFFICILES. CEPENDANT, SUR DE NOMBREUX PROBLEMES, ELLES S'AVERENT COUTEUS...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Lebbah Yahia (Auteur)
Collectivité auteur : Université de Nantes 1962-2021 (Organisme de soutenance)
Autres auteurs : Boizumault Patrice (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : CONTRIBUTION A LA RESOLUTION DE CONTRAINTES PAR CONSISTANCE FORTE / YAHIA LEBBAH; SOUS LA DIR. DE PATRICE BOIZUMAULT
Publié : [S.l.] : [s.n.] , 1999
Description matérielle : 159 p.
Note de thèse : Thèse de doctorat : Sciences et techniques : Nantes : 1999
Sujets :
SCIENCES ET TECHNIQUES : INFORMATIQUE. AUTOMATIQUE THEORIQUE. SYSTEMES
METHODE NUMERIQUE ; SATISFACTION CONTRAINTE ; EXTRAPOLATION ; METHODE DIFFERENTIELLE ; FILTRE ; RESOLUTION EQUATION ; EQUATION NON LINEAIRE ; CONVERGENCE NUMERIQUE ; CONSISTENCE FORTE
Description
Résumé : CETTE THESE PROPOSE DIFFERENTES VOIES POUR AMELIORER LES TECHNIQUES DE RESOLUTION DE CONTRAINTES NUMERIQUES A BASE DE FILTRAGE PAR CONSISTANCE FORTE. CES TECHNIQUES ONT MONTRE LEUR INTERET DANS LA RESOLUTION DES PROBLEMES DIFFICILES. CEPENDANT, SUR DE NOMBREUX PROBLEMES, ELLES S'AVERENT COUTEUSES. UNE PREMIERE PROPOSITION EST D'UTILISER DES METHODES D'EXTRAPOLATION POUR ACCELERER LA CONVERGENCE DES SUITES DE NOMBRES. LES METHODES CLASSIQUES D'EXTRAPOLATION SONT NON-CONSERVATIVES, ELLES NE GARANTISSENT PAS DE TROUVER TOUTES LES SOLUTIONS. NOUS PROPOSONS, EN PARTICULIER, UNE METHODE QUI PERMET D'UTILISER L'EXTRAPOLATION DANS LES ALGORITHMES DE FILTRAGE SANS OMETTRE DE SOLUTION. UN DEUXIEME ASPECT DEVELOPPE DANS CETTE THESE REPOSE SUR L'OBSERVATION SUIVANTE : PARFOIS, LE FILTRAGE DECOUVRE FORTUITEMENT UNE SOLUTION, CEPENDANT, RIEN N'EST PREVU POUR EXPLOITER UNE TELLE DECOUVERTE. NOUS PROPOSONS UNE NOUVELLE CONSISTANCE LA CONSISTANCE ENUMERANTE QUI JUSTEMENT EXPLOITE CETTE INFORMATION. UNE TROISIEME VOIE, EST LE DEVELOPPEMENT DE L'ASPECT INCREMENTAL DES ALGORITHMES DE FILTRAGE. NOUS PROPOSONS UN ENSEMBLE DE TECHNIQUES POUR RENDRE ENCORE PLUS INCREMENTAL LE FILTRAGE. ENFIN, FACE A UN PROBLEME DONNE, UNE CONSISTANCE SPECIALISEE POUR CE PROBLEME PEUT ETRE BEAUCOUP PLUS EFFICACE. NOUS PROPOSONS UN LANGAGE DEDIE A LA SPECIFICATION DE CONSISTANCES FORTES.
Notes : 1999NANT2069
Bibliographie : 101 ref.