Show simple item record

dc.contributor.authorHidalgo, Marta
dc.contributor.authorJoan Arinyo, Robert
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2012-09-12T07:22:06Z
dc.date.created2012-07
dc.date.issued2012-07
dc.identifier.citationHidalgo, 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.
dc.identifier.issn0010-4485
dc.identifier.urihttp://hdl.handle.net/2117/16466
dc.description.abstractIn 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.
dc.format.extent12 p.
dc.language.isoeng
dc.publisherElsevier
dc.subjectÀrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica::Disseny assistit per ordinador
dc.subject.lcshComputer-aided design
dc.subject.otherParametric-based CAD
dc.subject.otherGeometric constraint solving
dc.subject.otherParameter range computation
dc.subject.otherConfiguration space
dc.titleComputing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof
dc.typeArticle
dc.subject.lemacDisseny assistit per ordinador
dc.contributor.groupUniversitat Politècnica de Catalunya. GIE - Grup d'Informàtica a l'Enginyeria
dc.identifier.doi10.1016/j.cad.2012.02.012
dc.identifier.dlElse
dc.rights.accessRestricted access - publisher's policy
drac.iddocument10656441
dc.description.versionPostprint (published version)
dc.date.lift10000-01-01
upcommons.citation.authorHidalgo, M.; Joan-Arinyo, R.
upcommons.citation.publishedtrue
upcommons.citation.publicationNameComputer-aided design
upcommons.citation.volume44
upcommons.citation.number7
upcommons.citation.startingPage709
upcommons.citation.endingPage720


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder