Mostra el registre d'ítem simple
Declarative characterization of a general architecture for constructive geometric constraint solvers
dc.contributor.author | Joan Arinyo, Robert |
dc.contributor.author | Soto Riera, Antoni |
dc.contributor.author | Vila Marta, Sebastià |
dc.contributor.author | Vilaplana Pastó, Josep |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria Minera, Industrial i TIC |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-11-30T17:48:48Z |
dc.date.available | 2016-11-30T17:48:48Z |
dc.date.issued | 2002-02 |
dc.identifier.citation | Joan-Arinyo, R., Soto-Riera, A., Vila-Marta, S., Vilaplana, J. "Declarative characterization of a general architecture for constructive geometric constraint solvers". 2002. |
dc.identifier.uri | http://hdl.handle.net/2117/97568 |
dc.description.abstract | Geometric 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.extent | 9 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-02-12 |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.other | Geometric constraint solving |
dc.subject.other | Constructive geometric constraint solvers |
dc.title | Declarative characterization of a general architecture for constructive geometric constraint solvers |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1840999 |
dc.description.version | Postprint (published version) |
local.citation.author | Joan-Arinyo, R.; Soto-Riera, A.; Vila-Marta, S.; Vilaplana, J. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [64]
-
Reports de recerca [1.107]