Show simple item record

dc.contributor.authorJoan Arinyo, Robert
dc.contributor.authorSoto Riera, Antoni
dc.contributor.authorVila Marta, Sebastià
dc.contributor.authorVilaplana Pastó, Josep
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-11-30T17:48:48Z
dc.date.available2016-11-30T17:48:48Z
dc.date.issued2002-02
dc.identifier.citationJoan-Arinyo, R., Soto-Riera, A., Vila-Marta, S., Vilaplana, J. "Declarative characterization of a general architecture for constructive geometric constraint solvers". 2002.
dc.identifier.urihttp://hdl.handle.net/2117/97568
dc.description.abstractGeometric constraint solving is a growing field devoted to solve geometric problems defined by relationships, called constraints, established between the geometric elements. There are several techniques to solve geometric constraint problems. In this work we focus on the Constructive technique. Usually, it works in two steps. In a first step, the problem is analyzed symbolically. If the problem is solvable by the technique, the output is the construction plan, that is, a sequence of abstract geometric constructions which defines parametrically the solution to the problem. Then, the construction plan is applied to a set of specific values assigned to the parameters. If no numerical incompatibilities arise, instances of the solution are generated. In this paper we present a general architecture for constructive geometric constraint solvers. The basic components of this architecture are three functional units: the analyzer, the index selector and the constructor. Each functional unit is specified in terms of the entities that manipulates such as geometric constraint problems and construction plans. These relevant entities are declaratively characterized and its precise semantic is stated.
dc.format.extent9 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-02-12
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.otherGeometric constraint solving
dc.subject.otherConstructive geometric constraint solvers
dc.titleDeclarative characterization of a general architecture for constructive geometric constraint solvers
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac1840999
dc.description.versionPostprint (published version)
local.citation.authorJoan-Arinyo, R.; Soto-Riera, A.; Vila-Marta, S.; Vilaplana, J.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record