ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

Revue Internationale de CFAO et d'informatique graphique

0298-0924
remplacée par la Revue Internationale d'Ingénierie Numérique
 

 ARTICLE VOL 17/3-4 - 2002  - pp.279-294
TITRE
Manipulation par le λ-calcul d'objets géométriques paramétrés

RÉSUMÉ
En modélisation géométrique, un paramétrage général peut être obtenu en considérant un objet géométrique comme un terme du -calcul. Dans cet article, nous relatons une expérimentation de ce principe sur le modèle B-rep des cartes généralisées plongées dans le plan. Nous paramétrons les objets géométriques, non seulement par leurs dimensions ou leur position, mais aussi par des relations topologiques et par d'autres objets paramétrés. De cette manière, des objets conditionnels, itératifs, récursifs et partagés sont construits et gérés de manière homogène. Nous basons cet exposé sur un prototype interactif implanté en Objective Caml. Son interface offre deux vues actives consistantes, l'une interagissant avec l'objet géométrique et l'autre avec le programme correspondant. Nous montrons sur des exemples comment de tels objets peuvent être construits et manipulés en utilisant l'abstraction et l'application du -calcul.


ABSTRACT
In geometric modeling, a general parameterization can be obtained by considering a geometric object as a term of the -calculus. In this article, we relate an experimentation of this principle on the B-rep model of generalized maps embedded in the plane. We parameterize geometric objects, not only by their dimensions or position, but also by topologic relations and other parameterized objects. In this manner, conditional, iterative, recursive and shared objects can be build and managed in an homogeneous way. This presentation is based on an interactive prototype implemented in Objective Caml. Its interface offers two consistent working views, one interacting with the geometric object, the other with the corresponding program. We show on ecamples how such object can be built and manipulated using the -calculus abstraction and application.


AUTEUR(S)
Sven LUTHER, Jean-François DUFOURD

MOTS-CLÉS
modélisation géométrique, paramétrage, λ-calcul, interaction, programmation fonctionnelle.

KEYWORDS
Geometric modeling, parameterization, λ-calcul, interaction, functional programming.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (4,24 Mo)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier