s'authentifier
version française rss feed

inria-00520373, version 1

Une nouvelle extension de fonctions aux intervalles basée sur le groupement d'occurrences

Ignacio Araya () 1, Bertrand Neveu () a23, Gilles Trombettoni () 1

JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes (2010) 13-22

Résumé : Quand une fonction f est monotone par rapport à une variable sur un domaine donné, il est bien connu que l'extension aux intervalles par monotonie de f calcule une image plus étroite que l'extension naturelle. Cet article présente une nouvelle extension aux intervalles d'une fonction f appelée regroupement d'occurrences et noté [f ]og . Quand f n'est pas monotone par rapport à une variable x sur un domaine donné [B], nous essayons de transformer f en une nouvelle fonction f og qui est monotone sur deux variables xa et xb , qui regroupent des occurrences de x de telle sorte que f og soit croissante par rapport à xa et décroissante par rapport à xb . [f ]og est l'extension aux intervalles par monotonie de f og et produit une image plus étroite que l'extension naturelle. Pour trouver un bon regroupement d'occurrences, nous proposons un programme liné́aire et un algorithme qui minimisent une surestimation du diamètre de l'image de [f ]og basé sur une forme de Taylor de f . Finalement, des expé́rimentations montrent les avantages de cette nouvelle extension lors de la résolution de systèmes d'é́quations.

  • a –  Ecole des Ponts ParisTech
  • 1 :  COPRIN (INRIA Sophia Antipolis)
  • INRIA – École des Ponts ParisTech (ENPC)
  • 2 :  Laboratoire d'Informatique Gaspard-Monge (LIGM)
  • Université Paris-Est Marne-la-Vallée (UPEMLV) – ESIEE – École des Ponts ParisTech (ENPC) – Fédération de Recherche Bézout – CNRS : UMR8049
  • 3 :  IMAGINE
  • Centre Scientifique et Technique du Bâtiment (CSTB) – École des Ponts ParisTech (ENPC)
  • Domaine : Informatique/Intelligence artificielle
 
  • inria-00520373, version 1
  • oai:hal.inria.fr:inria-00520373
  • Contributeur : 
  • Soumis le : Jeudi 23 Septembre 2010, 09:22:11
  • Dernière modification le : Mardi 14 Février 2012, 15:34:46
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
  翻译: