Smoothstep - Википедия - Smoothstep

График функций smoothstep (x) и smoothstep (x) с использованием 0 в качестве левого края и 1 в качестве правого края

Плавный шаг это семья сигмовидный интерполяция и зажим функции, обычно используемые в компьютерная графика[1][2], движки видеоигр[3], и машинное обучение[4].

Функция зависит от трех параметров, вход Икс, «левый край» и «правый край», причем левый край считается меньше правого. Функция получает действительное число Икс в качестве аргумента и возвращает 0, если Икс меньше или равно левому краю, 1, если x больше или равно правому краю, и плавно интерполирует, используя Многочлен Эрмита, от 0 до 1 в противном случае. Градиент плавный шаг функция равна нулю на обоих краях. Это удобно для создания последовательности переходов с помощью плавный шаг для интерполяции каждого сегмента в качестве альтернативы использованию более сложных или дорогостоящих методов интерполяции.

В HLSL и GLSL, плавный шаг реализует , кубический Эрмита интерполяция после зажим:

Предполагая, что левый край равен 0, правый край равен 1, с переходом между краями, когда 0 ≤ Икс ≤ 1.

Пример реализации C / C ++, предоставленный AMD[5] следует.

плавать плавный шаг(плавать край0, плавать край1, плавать Икс) {  // Масштабирование, смещение и насыщение x до диапазона 0..1  Икс = зажим((Икс - край0) / (край1 - край0), 0.0, 1.0);   // Вычислить полином  возвращаться Икс * Икс * (3 - 2 * Икс);}плавать зажим(плавать Икс, плавать Нижний предел, плавать верхний предел) {  если (Икс < Нижний предел)    Икс = Нижний предел;  если (Икс > верхний предел)    Икс = верхний предел;  возвращаться Икс;}

Общий вид для плавный шаг, снова предполагая, что левый край равен 0, а правый край равен 1,

идентичен функция зажима:

Характерная S-образная сигмовидная кривая получается с только для целых чисел п ≥ 1. Порядок полинома в общем гладком шаге равен 2.п + 1. С п = 1, наклоны или первые производные плавный шаг равны нулю на левом и правом краю (Икс = 0 и Икс = 1), где кривая добавляется к константе или насыщенный уровни. С большим целым числом п, вторая и более высокие производные равны нулю на краях, что делает полиномиальные функции как можно более плоскими, а стыковку до предельных значений 0 или 1 более гладкими.

Вариации

Кен Перлин предлагает[6] улучшенная версия функции smoothstep, которая имеет нулевой 1-й и 2-й порядок производные в Икс = 0 и Икс = 1:

Эталонная реализация C / C ++:

плавать более плавный шаг(плавать край0, плавать край1, плавать Икс) {  // Масштабировать и фиксировать x до диапазона 0..1  Икс = зажим((Икс - край0) / (край1 - край0), 0.0, 1.0);  // Вычислить полином  возвращаться Икс * Икс * Икс * (Икс * (Икс * 6 - 15) + 10);}плавать зажим(плавать Икс, плавать Нижний предел, плавать верхний предел) {  если (Икс < Нижний предел)    Икс = Нижний предел;  если (Икс > верхний предел)    Икс = верхний предел;  возвращаться Икс;}

Источник

Уравнение 3-го порядка

Начиная с общего третьего порядка многочлен функция и ее первая производная:

Применение желаемых значений для функции на обеих конечных точках:

Применение желаемых значений для первой производной функции на обеих конечных точках:

Решение системы из 4 неизвестных, образованных последними 4 уравнениями, приводит к значениям коэффициентов полинома:

Это приводит к третьему порядку "плавный шаг" функция:

Уравнение 5-го порядка

Начиная с общего пятого порядка многочлен функция, ее первая производная и ее вторая производная:

Применение желаемых значений для функции на обеих конечных точках:

Применение желаемых значений для первой производной функции на обеих конечных точках:

Применение желаемых значений для второй производной функции на обеих конечных точках:

Решение системы из 6 неизвестных, образованной последними 6 уравнениями, приводит к значениям коэффициентов полинома:

Это приводит к пятому порядку "плавный шаг" функция:

Уравнение 7-го порядка

Используя аналогичные методы, найдено уравнение 7-го порядка:

Обобщение на уравнения высшего порядка

Полиномы плавного шага являются обобщенными, причем 0 ≤ Икс ≤ 1 как

куда N определяет порядок полученной полиномиальной функции, который равен 2N + 1. Первые семь полиномов гладкого шага, где 0 ≤ Икс ≤ 1, являются

Можно показать, что полиномы плавного шага переход от 0 к 1, когда Икс переходы от 0 к 1 можно просто сопоставить нечетная симметрия многочлены

куда

и

Аргумент RN(Икс) равно −1 ≤ Икс ≤ 1 и добавляется к константе −1 слева и +1 справа.

Реализация в Javascript:[7]

// Обобщенный плавный шагфункция генералSmoothStep(N, Икс) {  Икс = зажим(Икс, 0, 1); // x должен быть равен или находиться в диапазоне от 0 до 1  вар результат = 0;  за (вар п = 0; п <= N; ++п)    результат += паскальТреугольник(-N - 1, п) *              паскальТреугольник(2 * N + 1, N - п) *              Математика.пау(Икс, N + п + 1);  возвращаться результат;}// Возвращает биномиальный коэффициент без явного использования факториалов,// что нельзя использовать с отрицательными целыми числамифункция паскальТреугольник(а, б) {  вар результат = 1;   за (вар я = 0; я < б; ++я)    результат *= (а - я) / (я + 1);  возвращаться результат;}функция зажим(Икс, Нижний предел, верхний предел) {  если (Икс < Нижний предел)    Икс = Нижний предел;  если (Икс > верхний предел)    Икс = верхний предел;  возвращаться Икс;}

Обратный плавный шаг

Обратный к smoothstep () может быть полезен при выполнении определенных операций в компьютерной графике, когда его эффект необходимо отменить или компенсировать. В случае уравнения 3-го порядка существует аналитическое решение обратной задачи, а именно:

Это возникает как обратное , чей Серия Маклорена заканчивается в , смысл и выражают ту же функцию. С другой стороны, разложение обратного в ряд не прекращается.

В GLSL:

плавать inverse_smoothstep(плавать Икс) {  возвращаться 0.5 - грех(как в(1.0 - 2.0 * Икс) / 3.0);}

Рекомендации

  1. ^ Smoothstep в сети разработчиков Microsoft.
  2. ^ Спецификация языка GLSL, версия 1.40.
  3. ^ Игровой движок Unity SmoothStep документация.
  4. ^ Хазиме, Хусейн; Пономарева Наталья; Мол, Петрос; Тан, Чжэньюй; Мазумдер, Рахул (2020). Слой ансамбля деревьев: дифференцируемость и условное вычисление (PDF). Международная конференция по машинному обучению. PMLR.
  5. ^ Пиксельные шейдеры ATI R3x0.
  6. ^ Текстурирование и моделирование, третье издание: процедурный подход.
  7. ^ Общее уравнение плавного шага.

внешняя ссылка