Rozwiązywanie więzów geometrycznych
Rozwiązywanie ograniczeń geometrycznych to spełnienie ograniczeń w ustawieniu geometrii obliczeniowej , które ma podstawowe zastosowania w projektowaniu wspomaganym komputerowo . Problem do rozwiązania składa się z zadanego zbioru elementów geometrycznych oraz opisu więzów geometrycznych między elementami, które mogą być nieparametryczne (styczność, poziomość, współosiowość itp.) lub parametryczne (jak odległość, kąt, promień). Celem jest znalezienie pozycji elementów geometrycznych w przestrzeni 2D lub 3D, które spełniają podane ograniczenia, co jest wykonywane przez dedykowane komponenty oprogramowania zwane narzędziami do rozwiązywania ograniczeń geometrycznych.
Rozwiązywanie ograniczeń geometrycznych stało się integralną częścią systemów CAD w latach 80., kiedy firma Pro/Engineer po raz pierwszy wprowadziła nowatorską koncepcję modelowania parametrycznego opartego na cechach.
Istnieją dodatkowe problemy rozwiązywania więzów geometrycznych, które są związane ze zbiorami elementów geometrycznych i więzów: dynamiczne przemieszczanie danych elementów przy zachowaniu wszystkich ograniczeń, wykrywanie zbiorów i podzbiorów przeciążonych i niedociążonych, automatyczne wiązanie problemów niedociążonych, itp.
Metody
Ogólny schemat rozwiązywania więzów geometrycznych polega na modelowaniu zbioru elementów geometrycznych i wiązań za pomocą układu równań, a następnie rozwiązaniu tego układu za pomocą nieliniowego solwera algebraicznego. Ze względu na wydajność można zastosować szereg technik dekompozycji w celu zmniejszenia rozmiaru zestawu równań: algorytmy planowania dekompozycji-rekombinacji, dekompozycja drzewa, dekompozycja C-drzewa, redukcja grafów, ponowna parametryzacja i redukcja, obliczenia podstawowe obwody, struktura body-and-cad czy metoda konfiguracji świadków.
Niektóre inne metody i podejścia obejmują analizę stopni swobody, obliczenia symboliczne, obliczenia oparte na regułach, programowanie z ograniczeniami i propagację ograniczeń oraz algorytmy genetyczne.
Układy równań nieliniowych są najczęściej rozwiązywane metodami iteracyjnymi, które rozwiązują problem liniowy w każdej iteracji, przy czym najpopularniejszym przykładem jest metoda Newtona-Raphsona.
Aplikacje
Rozwiązywanie ograniczeń geometrycznych ma zastosowanie w wielu różnych dziedzinach, takich jak projektowanie wspomagane komputerowo, inżynieria mechaniczna, kinematyka odwrotna i robotyka , architektura i budownictwo, chemia molekularna i dowodzenie twierdzeń geometrycznych. Podstawowym obszarem zastosowań jest projektowanie wspomagane komputerowo, w którym rozwiązywanie ograniczeń geometrycznych jest wykorzystywane zarówno w parametrycznym modelowaniu opartym na historii, jak i wariacyjnym modelowaniu bezpośrednim.
Implementacje oprogramowania
Lista programów do rozwiązywania więzów geometrycznych obejmuje min
- DCM (Dimensional Constraint Manager), komercyjny solver firmy D-Cubed (spółki zależnej Siemens PLM Software ), zintegrowany z AutoCAD , SolidWorks , Creo i wieloma innymi popularnymi systemami CAD;
- LGS, komercyjny solver opracowany przez LEDAS i obecnie należący do Bricsys, zintegrowany z Cimatron E i BricsCAD ;
- C3D Solver, dostępny na rynku solver, który jest częścią C3D Toolkit , zintegrowanego z KOMPAS-3D;
- GeoSolver, pakiet języka Python na licencji publicznej GNU do rozwiązywania ograniczeń geometrycznych.
- SolveSpace , CAD typu open source, który jest dostarczany z własnym zintegrowanym narzędziem do rozwiązywania ograniczeń geometrycznych