| KRATKA VSEBINA | In this report, we present an original constTUctive geometric constraint solver for 2D geometric design. The algorithm is based on the welI-known concepts of sets of vectors with constrained mutual angles (CA sets) and sets of points with constrained distance s (CD sets). It is a representative of the shape recognition based(SR-based) geometric constraint solvers but, unlike the other algorithms ITom this group, it is aimed towards the generality. The existent general geometric constraint solvers are pre-processed by a degree-of-freedom analysis, which usually enables efficient graph decomposition and recombination. However, they are all based on the assumption that structural solvability automatically assures geometri cal solvability. Withother words, these systems assume that the geometric constraint problems without the stmctural redmldancy are also free of the geometrical redundancy. We show in the report that this assumption fails in numerous, even the most basic, configurations. We introduce a simple but efficient algorithm for handling the geometrical redundancy in such cases. Another novelty deals with the conditional constraints between three or more geometric elements, with mles for their simplification, and with a redundancy check. A T1umerical solver is eventually employed only as the last resort if the sequence of graph simplifications does not result in a single CD set. It is worth to note that the obtained system of equations isin a special fonn where all the variables are the points' coordinates. // Vporočilu predstavimo izviren konstmkcijski reševalnik geometrijskih omejitev, namenjen 20 geometrijskemu modeliranju. Algoritem temelji na dobro poznanih konceptih množic vektorjev z omejenimi koti (množic CA) in množic točk z omejenimi razdaljami (nmožic CD). Je predstavnik reševalnikovgeometrijskih omejitev, temelječih na razpoznavanju znanih oblik, a je za razliko od drugih tovrstnih algoritmov usmerjen k doseganju kar največje splošnosti. Obstoječi splošni reševalniki geometrijskih omejitev vključujejo predprocesiranje z analizo prostostnih stopenj, ki običajno omogoči učinkovito razčlembo in ponovno zdmžitev grafa omejitev. Toda vse te metode temeljijo na domnevi, da strukturna rešljivost sočasno zagotavljatudi že geometrijsko rešljivost omejitvenega problema. Z drugimi besedami to pomeni, da bi bili geometrijski problemi, ki ne vsebujejo strukturne redundance, sočasno tudi brez geometrijske redundance. V poročilu pokažemo,da je ta domneva napačna v nnlogih, tudi najosnovnejših geometrijskih konfiguracijah. Predstavimo preprost algoritem, ki učinkovito obravnava geometrijsko redundanco v takšnih primerih. Naslednjo novost predstavljajo pogojne omejitve med trenn ali več geometrijskimi elementi, pravila za njihovo poenostavljanje in prevet:ianje redundance. Numerični reševalnik omejitev po potrebi uporabimo le kot zadnji izhod, kadar zaporedje poenostavitev grafa omejitev ne vodi k eni sann množici CD. Vredno je omeniti tudi, da je dobljeni sistem enačb za morebitno numerično reševanje vedno posebne oblike, saj kot spremenljivke nastopajo le koordinate točk. |