Параметрическое моделирование в САПР SolveSpace 3: Степени свободы и уравнения ограничений

Важным условием корректности построенного эскиза является непротиворечивость наложенных ограничений. Если наложено меньше ограничений, чем требуется, некоторые параметры не могут быть однозначно определены, поэтому могут изменяться в некотором диапазоне значений. В таких случаях говорят, что чертеж имеет свободные степени свободы (Degrees Of Freedom; DOF). Анализ степеней свободы позволяет инженеру-конструктору накладывать только необходимое и достаточное количество ограничений, не позволяя системе уравнений быть переопределенной (overconstrained), и не позволяя оставить какую-либо степень свободы без наложенных ограничений.
Часть 1: Введение
Часть 2: Эскиз
Часть 3: Степени свободы и уравнения ограничений
image


Переопределение системы уравнений опасно тем, что решение такой системы может быть найдено, и это не будет вызывать видимых проблем до тех пор, пока инженер не изменит значение одного из конфликтующих ограничений. В таком случае возникает противоречие между ограничениями, и система уравнений становится несовместной (inconsistent), что означает, что она не имеет решений. Без анализа степеней свободы будет сложно найти конфликтующие ограничения, так как чертежи могут содержать сотни ограничений.


Когда количество наложенных ограничений меньше, чем требуется для того, чтобы определить значения всех неизвестных параметров, система называется недоопределенной (underconstraint). При проектировании деталей такой случай опасен и может приводить к проблемам. Например, инженер-конструктор может изменить значение одного ограничения, а затем вернуть это значение обратно. В случае полностью определенного чертежа, эти действия сработают как изменение-отмена, но в случае неполного ограничения, значения свободных параметров могут измениться.


Уравнения (Equations)

Чтобы определить взаимосвязи между параметрами чертежа, необходимо задать их в виде уравнений. Давайте посмотрим, как выглядят основные уравнения, через которые задается большинство ограничений.


POINTS_COINCIDENT

Ограничение совпадения двух точек: просто уравниваем их координаты. Такое уравнение можно решать методом подстановки, исключив из рассмотрения два параметра одной из точек, заменив их упоминания на параметры совпадающей точки, а после решения всей системы сделать обратное замещение. Это ограничение снимает 2 степени свободы.
image


HORIZONTAL/VERTICAL

Ограничения горизонтальность/вертикальность: здесь достаточно уравнять одну из координат точек. Ограничение снимает одну степень свободы.
image


PT_PT_DISTANCE

Ограничение расстояния между точками: здесь используется теорема Пифагора. Ограничение снимает одну степень свободы.
image!


PERPENDICULAR

Перпендикулярность прямых: используется свойство скалярного произведения быть пропорциональным косинусу угла между векторами. Ограничение снимает одну степень свободы.
image


ANGLE

Ограничение угла между прямыми: используется все то же уравнение. Ограничение снимает одну степень свободы.
image


PT_LINE_DISTANCE

Ограничение расстояния от точки до линии записывается через псевдоскалярное (косое) произведение и используется его свойство:
image
где image и есть искомая высота.
Ограничение снимает одну степень свободы.
image


PARALLEL

Ограничение параллельности тоже основано на псевдоскалярном (косом) произведении. Здесь используется тот факт, что sin (0) = 0. По-честному, нужно было бы поделить левую часть уравнения на произведение модулей векторов, но исторически в SolveSpace уравнение записано именно так. Так как к нулевому результату косого произведения приводит и равенство нулю длин векторов, отрезки все время стремятся уменьшиться. Это не сильно мешает, если длину векторов ограничить.
image


Заключение

Все остальные двумерные ограничения построены на основе вышеизложенных уравнений. В следующей части мы познакомимся с методом численного решения систем уравнений, а именно с методом Ньютона.
Часть 1: Введение
Часть 2: Эскиз
Часть 3: Степени свободы и уравнения ограничений

Комментарии (4)

  • 7 апреля 2017 в 07:06

    0

    Можно ли в SolveSpace реализовывать сложные трёхмерные фигуры, типа резьбы на винте?

    • 7 апреля 2017 в 07:55

      0

      К сожалению, винтовые поверхности в SolveSpace создать невозможно и это ограничение обусловлено использованием собственного геометрического ядра, которое не поддерживает такие операции. Скорее всего, SolveSpace должен перейти на стороннee OpenSource ядро, вроде OpenCASCADE, чтобы поддерживать такие операции.

      • 7 апреля 2017 в 08:07

        0

        А добавить винтовые поверхности в геометрическое ядро SolveSpace принципиально невозможно?

        • 7 апреля 2017 в 08:22 (комментарий был изменён)

          0

          Возможно, но это очень трудозатратно. Проект сейчас стабильно развивается, но такие серьезные изменения требуют серьезных аргументов в их пользу. За прошедший год мы сделали очень много: интернационализацию, поддержку чертежных видов скрытых линий, экспорт/импорт dxf и многое другое. Но чтобы начинать такие существенные движения, проекту нужно быть чуть более популярным. Лично я уже давно готов погрузиться в глубины NURBS моделирования и сделать с ядром SolveSpace что-то хорошее, но целесообразность траты на это огромного количества творческой энергии под вопросом. В любом случае, для реализации таких проектов нужна команда.

© Habrahabr.ru