Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof
Visualitza/Obre
1-s2.0-S001044851200053X-main.pdf (758,2Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
Cita com:
hdl:2117/16466
Tipus de documentArticle
Data publicació2012-07
EditorElsevier
Condicions d'accésAccés restringit per política de l'editorial
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
In parametric design, changing values of parameters to get different solution instances to the problem
at hand is a paramount operation. One of the main issues when generating the solution instance for the
actual set of parameters is that the user does not know in general which is the set of parameter values
for which the parametric solution is feasible. Similarly, in constraint-based dynamic geometry, knowing
the set of critical points where construction feasibility changes would allow to avoid unexpected and
unwanted behaviors.
We consider parametric models in the Euclidean space with one internal degree of freedom. In this
scenario, in general, the set of values of the variant parameter for which the parametric model is realizable
and defines a valid shape is a set of intervals on the real line.
In this work we report on our experiments implementing the van der Meiden Approach to compute
the set of parameter values that bound intervals for which the parametric object is realizable. The
implementation is developed on top of a constructive, ruler-and-compass geometric constraint solver.
We formalize the underlying concepts and prove that our implementation is correct, that is, the approach
exactly computes all the feasible interval bounds.
CitacióHidalgo, M.; Joan-Arinyo, R. Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof. "Computer-aided design", Juliol 2012, vol. 44, núm. 7, p. 709-720.
Dipòsit legalElse
ISSN0010-4485
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1-s2.0-S001044851200053X-main.pdf | 758,2Kb | Accés restringit |