Calcul géométrique avec des données incertaines

Slides:



Advertisements
Présentations similaires
Chaîne de Synthèse Réel Modélisation Rendu Image Fichier Scène
Advertisements

CHAPITRE 5 Suites réelles.
Chap. 4 Recherche en Table
Notions de fonction Initiation.
Licence pro MPCQ : Cours
Fonctions & procédures
Introduction aux classes empiétantes François Brucker Brest (Breizh)
RECONNAISSANCE DE FORMES
Introduction à l’Algorithmique
Calculs de complexité d'algorithmes
Raisonnement et logique
1 1 Momentum. 2 2 Tout objet en mouvement continuera son mouvement tant que rien nentrave sa progression.
I. Bases de logique , théorie des ensembles
CHAPITRE 6 Fonctions numériques.
Cours n°2M2. IST-IE (S. Sidhom) UE 303 Promo. M2 IST-IE 2005/06 Conception dun système d'information multimédia Architecture trois-tiers : PHP/MySQL &
Algèbre relationnelle
Système formel Nous avons introduit : signes de variables (x, y, z, …), de constantes (0, 1), d’opérations (+, ), de relations (=, ) Axiomes : ce sont.
Cours dinformatique théorique INF f5 Alain Lecomte novembre 2005.
1 Intégration numérique garantie de systèmes décrits par des équations différentielles non-linéaires Application à l'estimation garantie d'état et de paramètres.
et évaluation des compétences
ESIEE Paris © Denis BUREAU I N Initiation à la programmation avec le langage Java.
Ordonnancement des mouvements de deux robots
ETALONNAGE D’UN CAPTEUR
Limites d’une fonction
Langage SysML.
Cours Systèmes logiques
Christelle Scharff IFI 2004
PBST*: une nouvelle variante des SDDS
Eric Guilbert, Marc Daniel *, Eric Saux
Principes de la technologie orientée objets
Vuibert Systèmes dinformation et management des organisations 6 e édition R. Reix – B. Fallery – M. Kalika – F. Rowe Chapitre 3 : Laide à la décision Laide.
Les structures de données arborescentes
Croissance et extremums
Cours Corporate finance Eléments de théorie du portefeuille Le Medaf
Etude dune bibliothèque: Permutations sur les listes.
TECHNIQUES QUANTITATIVES APPLIQUEES A LA FINANCE
Introduction à la Théorie géométrique de la diffraction
Expressions régulières et hash tables
Courbes de Bézier.
1.1 LES VECTEURS GÉOMÉTRIQUES
Notre calendrier français MARS 2014
LE CHOIX DU CONSOMMATEUR ET LA DEMANDE
Chapitre 3 La cinématique à une dimension
3ème partie: les filtres
Sémantique dénotationnelle
C'est pour bientôt.....
Inéquations du premier degré à une inconnue
Suites Numériques.
Modélisation géométrique de base
Pour en finir avec l’infini
Présentation de la méthode des Eléments Finis
Elaboré par M. NUTH Sothan 1. 2 Soit x, y et z des coordonnées cartésiennes à 3 dimension. G un ensemble de points dans le plan (u, v). Déf. : On appelle.
Coupes efficaces pour la relaxation lagrangienne
1 Modèle pédagogique d’un système d’apprentissage (SA)
Expressions régulières et hash tables
1 Notations Asymptotiques Et Complexité Notations asymptotiques : 0 et  Complexité des algorithmes Exemples de calcul de complexité.
CALENDRIER-PLAYBOY 2020.
1. Présentation générale du système
Algorithmique Les structures Rappel L'enchaînement séquentiel
USAM BRIDGE H O W E L L -CLASSIQUE
LES PILES ET FILES.
Pr ZEGOUR DJAMEL EDDINE Ecole Supérieure d’Informatique (ESI)
Suites numériques Définitions.
Quel est l’intérêt d’utiliser le diagramme de Gantt dans la démarche de projet A partir d’un exemple concret, nous allons pouvoir exploiter plusieurs parties.
Chapitre 3 :Algèbre de Boole
Rappels de statistiques descriptives
Specifications de Systemes Logiciels المواصفات الشكلية Software Specifications Chapitre 7.
Chapitre I Modélisation optimisation I- Optimisation de fonctions d’une seule variable 1 Introduction En gestion, on est souvent confronté à des situations.
Théorie du point fixe 1. Rappel Ensemble ordonné Majorant, Minorant
Programmation fonctionnelle Preuve
Transcription de la présentation:

Calcul géométrique avec des données incertaines André Lieutier Dassault Système Journées FIABLE 99 Calcul géométrique avec des données incertaines

Calcul géométrique avec des données incertaines Objectif du travail Formaliser les spécifications d ’opérateurs géométriques travaillant sur des données incertaines Avantages : modélisation adaptée (en fait on n’a pas le choix) Turing-calculable Inconvénients: maths moins habituelles, algo plus compliqués Journées FIABLE 99 Calcul géométrique avec des données incertaines

Calcul géométrique avec des données incertaines Un plan Modélisation et calcul Modèles de calcul (et modèles de machine) Théorie des domaines et prédicats continus Exemples Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modélisation géométrique BRep : Imbrication de données numériques (géométrie) et combinatoire (topologie, graphe d ’incidence) Standards d ’échanges de données Une entrée d’un opérateur géométrique est le plus souvent le résultat d’une mesure ou la sortie d’un autre opérateur On ne peut pas faire l’impasse sur les cas limites Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modélisation BRep et « tolerant modeling » ON OUT IN Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modélisation et Calcul Incohérences induites par les erreurs d’arrondi Exemple : Opération booléennes sur les BRep Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modélisation et Calcul Exemple plus simple : « distance point-courbe » Entrée : un point et une courbe Sortie : l’ensemble des points de la courbe qui minimisent la distance Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modélisation et Calcul Dans certaines situations il suffit de calculer le résultat d’une entrée voisine (triangulation, enveloppe convexe) Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modélisation et Calcul En modélisation géométrique il faut (il faudrait) souvent calculer l’ensemble des résultats correspondant aux entrées voisines (i.e. situées dans le « voisinage d ’incertitude ») Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modélisation et Calcul Les problèmes évoqués ici sont toujours rencontrés sur les discontinuités des opérateurs (pour la topologie de la « carte » choisie) Dans les cas continus, le problème se ramène à une étude de conditionnement. Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modèles de calcul (et de machine) « Real RAM » (ou modèle BSS) machine de Turing (ou équivalent, cf.. « feasible real RAM »): Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modèles de calcul (et de machine) Turing-calculabilité : Ensembles dénombrables (-> calcul exact) Ensemble non dénombrables (-> calcul en précision arbitraire, notion d ’approximation, donc de topologie) Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modèles de calcul (et de machine) L’analyse récursive étudie la Turing-calculabilité (et la complexité) d ’opérateurs sur des ensembles non dénombrables. Dans ce contexte, les entrées et les sorties sont représentées par des séquence infinies d’approximation : approximation pour une métrique ou une topologie donnée. Journées FIABLE 99 Calcul géométrique avec des données incertaines

Modèles de calcul (et de machine) Un opérateur f est dit calculable si il existe un programme capable de calculer une approximation arbitraire de f(x) en utilisant une approximation suffisante de x. Il en résulte que : Calculable => Continu Journées FIABLE 99 Calcul géométrique avec des données incertaines

Calcul géométrique avec des données incertaines Théorie des domaines Un domaine est une structure mathématique bien adapté a la représentation d’informations incomplètes (ou incertaines). C’est un ordre partiel (D, £ ) : “A £ B” signifie : « l’information représentée par A est contenue dans celle représentée par B ». Journées FIABLE 99 Calcul géométrique avec des données incertaines

Théorie des domaines Un domaine est muni de la topologie de Scott : O est un ouvert de D ssi.: A  O et A£ B  B  O Pour toute chaîne X, sup(X)  O  X  O non vide Une fonction entre domaines est Scott continue ssi: elle est croissante: A£ B  f(A) £ f(B) elle préserve les bornes supérieures : sup (f(Ai)) = f( sup (Ai) ) Journées FIABLE 99 Calcul géométrique avec des données incertaines

Calcul géométrique avec des données incertaines Théorie des domaines Un exemple important est le domaine booléen : {vrai, faux, ^ } , où ^ (“bottom”) signifie “aucune information”. ^ vrai faux £ Tout ouvert contenant ^ contient l ’ensemble complet {vrai, faux, ^ } Journées FIABLE 99 Calcul géométrique avec des données incertaines

[a,b] £ [a’,b’] Û [a,b] É [a’,b’] Théorie des domaines Un autre exemple est le domaine des intervalles I[0,1] des intervalles de réels [a, b] avec 0 £ a £ b £ 1 Avec l’ordre d ’information inverse de l ’inclusion : [a,b] £ [a’,b’] Û [a,b] É [a’,b’] [a,b] représente une information sur un réel x : a £ x £ b Journées FIABLE 99 Calcul géométrique avec des données incertaines

Calcul géométrique avec des données incertaines Théorie des domaines ^ [a,b] [a’,b’] a a’ b’ b 1 £ Les éléments maximaux du domaine sont de la forme [x,x] et peuvent être identifiés aux réels de [0,1] Journées FIABLE 99 Calcul géométrique avec des données incertaines

Calcul géométrique avec des données incertaines Théorie des domaines Dans de nombreuses situations, les structures de domaines peuvent servir à définir des approximations continues d’opérateurs discontinus. Ex1: Neg : [-1,1] ------> {Vrai, Faux} x ------> (x<=0) Ex2: [] : R -----------> Z x----------> [x] Journées FIABLE 99 Calcul géométrique avec des données incertaines

Théorie des domaines Prédicat de comparaison continue Neg : I[-1,1] ® {vrai, faux, ^} ì faux si a > 0 Neg([a,b])= í vrai si b < 0 î ^ si 0  [a, b] Prédicat de comparaison continue Journées FIABLE 99 Calcul géométrique avec des données incertaines

Fonction «partie entière» continue Théorie des domaines f(x) = [x] IR -> IZ Fonction «partie entière» continue Journées FIABLE 99 Calcul géométrique avec des données incertaines

Arithmétiques et domaine Les arithmétiques par intervalles ou les arithmétiques « exactes » sur les réels calculent en général sur des intervalles de nombres dyadiques, qui forment une base dénombrables du domaine des intervalles. On calcule sur des propriétés concernant les objets. On peut étendre ce principe de calcul sur des éléments d ’autres domaines non dénombrables. Journées FIABLE 99 Calcul géométrique avec des données incertaines

Calcul géométrique avec des données incertaines Un Schéma général Soit une fonction f de I vers O, I et O étant les ensembles d ’éléments maximaux de domaines DI et DO. Il est possible de définir F sur les domaines DI et DO, plus grand minorant continu de f. F  C(DI, DO) F =sup {g  C(DI, DO) g|I  f} Journées FIABLE 99 Calcul géométrique avec des données incertaines

Calcul géométrique avec des données incertaines Exemples tri de trois réels intersection droite-polygone index Journées FIABLE 99 Calcul géométrique avec des données incertaines