Une nouvelle extension de fonctions aux intervalles basée sur le groupement d'occurrences - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

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

Abstract

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.
Fichier principal
Vignette du fichier
neveu.pdf (221.38 Ko) Télécharger le fichier
Origin : Explicit agreement for this submission
Loading...

Dates and versions

inria-00520373 , version 1 (23-09-2010)

Identifiers

  • HAL Id : inria-00520373 , version 1

Cite

Ignacio Araya, Bertrand Neveu, Gilles Trombettoni. Une nouvelle extension de fonctions aux intervalles basée sur le groupement d'occurrences. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.13-22. ⟨inria-00520373⟩
117 View
95 Download

Share

Gmail Facebook X LinkedIn More