Journal Article10.1007/BF01782291
Object management in a programming-by-example, parametric, computer-aided-design system
6
TL;DR: The object-naming mechanism described here supports the automatic generation of parameter-independent object references in parametric programs, which are produced via user interaction during the construction of parametric objects.
read more
Abstract: We present the handling of graphical objects in a programming-by-example, CAD system. The object-naming mechanism described here supports the automatic generation of parameter-independent object references in parametric programs. These programs are produced via user interaction during the construction of parametric objects. We use standard programming language control structures and modularity for the parametrisation of variants, repetitive similarities and flexible hierarchical object structure. The object management of parametric entities with varying topology ensures the correctness of their instantiating parametric programs for large domains of parameter values.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Algebras and formal specifications in geometric modelling
TL;DR: It is shown that generic, unevaluated, geometric objects and histories of constructions can be systematically built and handled in functional specifications by an extended j-calculus based on the algebraic specifications.
23
Robust Parameterization Schema for CAx Master Models
TL;DR: This work presents a more robust parametric methodology for Computer Aided Design (CAD) models that is robust enough to incorporate all the design changes from the various analyses and manufacturing operations.
Parametrizing geometric objects using λ-calculus
Jean-François Dufourd,Sven Luther +1 more
- 24 Apr 2002
TL;DR: This paper has adapted the λ-calculus formalism to an existing geometrical model which has an applicative representation: the generalized maps embedded in the plane, and investigated how this allows us to parameterize geometric objects by other objects, which can themselves be functional, rather than just by values such as size, shape or position.
1
Development of a Five-Axis Machining Algorithm in Flat End Mill Roughing
Michael Blaine Thompson
- 01 Jan 2005
TL;DR: In this paper, Thompson et al. developed an algorithm that matched the normal curvature at a point along the surface with the resultant radius formed by tilting a standard flat end mill.
Interacting with parametrized geometric objects using lambda-terms
Jean-François Dufourd,Sven Luther +1 more
- 17 Jun 2002
TL;DR: A framework for general parameterization in geometric modeling by adapting the λ-calculus formalism to the geometrical model of the generalized maps embedded in the plane, which allows for conditional, iterative, recursive and shared objects to be built and managed in an homogenous way.
References
Visual programming, programming by example, and program visualization: a taxonomy
Brad A. Myers
- 01 Apr 1986
TL;DR: This paper attempts to provide more meaning to Visual Programming and Program Visualization terms by giving precise definitions, and then uses these definitions to classify existing systems into a taxonomy.
357
Variation of geometrics based on a geometric-reasoning method
TL;DR: A method is described for processing generic geometric models on the basis of symbol manipulation and inferencing that derives a plan for the construction of variants through automatic plan execution.
179
Functional requirements and conceptual design of the feature-based modelling system
Jami J. Shah,Mary T. Rogers +1 more
TL;DR: FBMS consists of an advanced solid modelling shell and a feature mapping shell, offering richer data structures and the application of artificial intelligence techniques to geometric modelling.
175
Defining constraints graphically
Alan Borning
- 01 Apr 1986
TL;DR: The system described here allows the graphical definition of constraints, an interface in which a user can conveniently construct a new kind of object, annotating it with the relations that it must obey.
112
Constructive constraint-based model for parametric CAD systems
Lluis Solano,Pere Brunet +1 more
TL;DR: A new constructive scheme is proposed that is based on a nonevaluated, constructive solid model that supports the instantiation of predefined models, parametric geometric operations 1D, 2D and 3D, variable topologies, and operations with structural constraints.
69
Related Papers (5)
Eric Eide,Alastair Reid,John Regehr,Jay Lepreau +3 more
- 19 May 2002
Ingo Feinerer,Gernot Salzer,Tanja Sisel +2 more
- 01 Jul 2013