Nantilus
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...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivité auteur : | |
| Autres auteurs : | |
| 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 : |
| LEADER | 03161cam a2200493 4500 | ||
|---|---|---|---|
| 001 | PPN059949902 | ||
| 003 | http://www.sudoc.fr/059949902 | ||
| 005 | 20240531154600.0 | ||
| 029 | |a FR |b 1999NANT2069 | ||
| 035 | |a (OCoLC)492416802 | ||
| 035 | |a thS-00125570 | ||
| 035 | |a DYNIX_BUNAN_400288 | ||
| 100 | |a 20011212d1999 |||y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng | |
| 102 | |a FR | ||
| 105 | |a y m 000yy | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 200 | 1 | |a CONTRIBUTION A LA RESOLUTION DE CONTRAINTES PAR CONSISTANCE FORTE |f YAHIA LEBBAH |g SOUS LA DIR. DE PATRICE BOIZUMAULT | |
| 210 | |a [S.l.] |c [s.n.] |d 1999 | ||
| 215 | |a 159 p. | ||
| 301 | |a 1999NANT2069 | ||
| 320 | |a 101 ref. | ||
| 328 | 0 | |b Thèse de doctorat |c Sciences et techniques |e Nantes |d 1999 | |
| 330 | |a 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. | ||
| 610 | 1 | |a SCIENCES ET TECHNIQUES : INFORMATIQUE. AUTOMATIQUE THEORIQUE. SYSTEMES | |
| 610 | 2 | |a METHODE NUMERIQUE ; SATISFACTION CONTRAINTE ; EXTRAPOLATION ; METHODE DIFFERENTIELLE ; FILTRE ; RESOLUTION EQUATION ; EQUATION NON LINEAIRE ; CONVERGENCE NUMERIQUE ; CONSISTENCE FORTE | |
| 686 | |a 001.D.02_001.A.05 |2 tlt | ||
| 686 | |a 500 |2 TEF | ||
| 686 | |a 600 |2 TEF | ||
| 700 | 1 | |3 PPN180649167 |a Lebbah |b Yahia |4 070 | |
| 702 | 1 | |3 PPN029186846 |a Boizumault |b Patrice |4 727 | |
| 712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 801 | 3 | |a FR |b Abes |c 20190405 |g AFNOR | |
| 979 | |a SCI | ||
| 915 | |5 441092104:181365588 |a 1161278965 |b 1161278965 | ||
| 915 | |5 441092104:181365596 |a 1161278958 |b 1161278958 | ||
| 919 | |5 441092104:181365588 |a 1161278965 | ||
| 919 | |5 441092104:181365596 |a 1161278958 | ||
| 930 | |5 441092104:181365588 |b 441092104 |j u | ||
| 930 | |5 441092104:181365596 |b 441092104 |j u | ||
| 998 | |a 125335 | ||