Поверхности Безье и бикубические патчи: 3D-моделирование

Тензорное произведение кривых: от 1D к 2D

Построение поверхности Безье базируется на элегантной алгебраической идее: если кривая Безье описывается движением точки вдоль одного параметра u, то поверхность можно описать движением самой кривой вдоль второго, независимого параметра v. Аналитическое уравнение поверхности Безье имеет вид двойной суммы. Мы берем пространственную сетку контрольных точек (матрицу размером n на m). Координата любой точки на поверхности вычисляется путем умножения каждой контрольной точки на соответствующий ей полином Бернштейна по параметру u и на полином Бернштейна по параметру v. Это алгебраическое преобразование называется тензорным произведением. Оно формирует гладкую оболочку, которая строго привязана к угловым вершинам контрольной сетки, но плавно изгибается внутри нее.

Бикубические патчи: индустриальный стандарт

В компьютерной 3D-графике наибольшее применение нашли бикубические патчи (поверхности степени 3 по обоим параметрам u и v). Для задания одного такого лоскута (патча) требуется ровно 16 контрольных точек, образующих сетку 4x4. Четыре угловые точки задают физические границы патча. Восемь граничных точек определяют векторы касательных на краях поверхности, а оставшиеся четыре внутренние точки отвечают за «вздутие» или «провал» поверхности в самом ее центре (определяя векторы скручивания). Вычисляя производные по u и v, графические процессоры (GPU) мгновенно строят векторы нормалей в каждой точке поверхности, что позволяет алгоритмам трассировки лучей корректно рассчитывать рассеивание света и блики (спекулярность).

Проблема сшивки поверхностей

Сложную геометрическую модель (например, чайник Юта — классический тест в 3D-графике) невозможно описать одним патчем. Модель склеивается из десятков или сотен бикубических лоскутов. Главная задача аналитической геометрии здесь — обеспечить невидимость швов. Чтобы два патча стыковались идеально гладко, они должны удовлетворять строгим математическим условиям. Для позиционной гладкости (G0) четыре крайние контрольные точки первого патча должны в точности совпадать с четырьмя крайними точками второго патча. Для геометрической касательной гладкости (G1) отрезки, соединяющие крайние точки с соседними внутренними точками на обоих патчах, обязаны лежать на одной прямой линии. Управление этими зависимостями осуществляется программно через системы линейных уравнений.

Триангуляция и тесселяция

Несмотря на то что бикубические поверхности заданы идеальными математическими функциями, видеокарты (GPU) аппаратно умеют быстро отрисовывать только плоские треугольники. Поэтому перед рендерингом поверхность Безье должна быть подвергнута триангуляции (или тесселяции). Алгоритмы дискретной геометрии разбивают параметрическое пространство (квадрат u, v от 0 до 1) на мелкую сетку квадратов, а затем делят каждый квадрат на два треугольника. Вычисляя 3D-координаты для вершин этих треугольников через формулу поверхности, компьютер заменяет гладкий лоскут плотной полигональной сеткой. Современные технологии аппаратной тесселяции (DirectX, OpenGL) позволяют динамически увеличивать плотность этого разбиения по мере приближения виртуальной камеры к объекту, обеспечивая бесконечную визуальную детализацию без перегрузки оперативной памяти.