Геометрический решатель САПР
Ошибка скрипта: Модуля «Unsubst» не существует.
Ошибка скрипта: Модуля «Unsubst» не существует. Ошибка скрипта: Модуля «Unsubst» не существует. Геометрический решатель (англ. Шаблон:Langi), решатель геометрических ограничений, геометрический решатель задач в ограничениях — это программная компонента, которая встраивается в САПР и позволяет инженеру точно позиционировать геометрические элементы друг относительно друга.
Двумерные геометрические решатели работают с геометрическими объектами на плоскости, и позволяют создавать двумерные чертежи, а трехмерные геометрические решатели, как правило, используются для сборки из деталей механизмов и других конструкций. Инженер накладывает геометрические ограничения (параллельность, перпендикулярность, совпадение, соосность и пр.) на геометрические объекты (точки, прямые, плоскости, окружности, сферы, и пр.) и после работы решателя получает решение задачи — новые координаты объектов и значения их параметров (таких, как радиусы окружностей или углы конусов), удовлетворяющее ограничения. В случае неразрешимости задачи, геометрический решатель выдает сообщение о несовместности модели. Как правило, геометрические решатели также содержат реализации смежных функций: определения недо- и переопределенности задачи, автогенерации ограничений, движения объектов с сохранением наложенных на них ограничений, и пр.
Методы[править]
Общая схема работы геометрических решателей состоит в генерации системы нелинейных уравнений, которая моделирует геометрические ограничения, наложенные на объекты, и решении этой системы, как правило, с помощью использования итеративных методов, таких как метод Ньютона-Рафсона. Существенное значение для корректности и производительности геометрических решателей имеет способ моделирования.
Для ускорения работы решателей используют различные методы декомпозиции задачи:[1] декомпозиция-рекомбинация,[2][3] древовидная декомпозиция,[4] C-tree decomposition,[5] graph reduction,[6] re-parametrization and reduction,[7] computing fundamental circuits,[8] body-and-cad structure,[9] и witness configuration method.[10]
Некоторые другие методы и подходы включают анализ степеней свободы,[11][12] символьные вычисления,[13] применение систем правил,[14] программирование в ограничениях,[14][15] и генетические алгоритмы.[16]
Системы нелинейных уравнений в основном решают с помощью итерационных методов, на каждой итерации решается линейная задача. Метод Ньютона — Рафсона является одним из самым известных примеров.[14]
Решатель передает информацию дальше геометрическому ядру, которое выполняет построение геометрической модели, используя полученные решателем координаты и параметры объектов.
Приложения и программные реализации[править]
Основной областью применения геометрических решателей являются САПР. Они также используются для решения задач обратной кинеметики, робототехники, архитектурно-конструкторских работ, геометрического моделирования молекул и других прикладных областей.
К геометрическим решателям относятся:
- 2D Dimensional Constraint Manager (DCM), 3D DCM (D-Cubed), принадлежит Siemens PLM Software, интегрирован в AutoCAD, SolidWorks, Creo и много других популярных САПР;[17]
- 2D LEDAS Geometric Solver (LGS), 3D LGS (ЛЕДАС);
- Параметрическое ядро C3D Solver (C3D Labs), интегрировано в КОМПАС-3D;[18]
- GeoSolver,[19] пакет на языке Python для решения геометрических ограничений, распространяется под GNU General Public License.
См. также[править]
Примечания[править]
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует.. — Шаблон:±. — Шаблон:Публикация/место : MIT Press, 1992.Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ 14,0 14,1 14,2 Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует.. — 1993.Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Шаблон:±. Ошибка скрипта: Модуля «Публикация» не существует..Шаблон:Публикация/серияШаблон:Публикация/стандартные номера
- ↑ Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.
- ↑ Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.journal
- ↑ Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.
Ссылки[править]
- Шаблон:±. A Geometric Constraint SolverШаблон:Ref-lang. — Шаблон:DOI.
- Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.
- Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.
- Шаблон:±. Как создается инженерное наукоемкое ПО мирового класса. Геометрический решатель – «великий комбинатор» // Наука из первых рук : журнал. — 2013. — 22 июля (Шаблон:Бсокр, Шаблон:Бсокр).
- Шаблон:±. LGS — эффективный и доступный решатель геометрических задач // САПР и графика : журнал. — 2003. — Шаблон:Бсокр.
- Страница Модуль:Citation/CS1/styles.css не имеет содержания.Шаблон:±. Решатель геометрических ограничений // Введение в современные САПР. Курс лекций. — Litres, 2017-01-03. — С. 186. — 190 с. — ISBN 9785457517165.
- Страница Модуль:Citation/CS1/styles.css не имеет содержания.Шаблон:±. Вариационный геометрический решатель // Введение в математические основы САПР, Курс лекций. — 2011. — С. 84.
- перенаправление Шаблон:Плохое оформление
This article "Геометрический решатель САПР" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Геометрический решатель САПР. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.