Трикутні сітки

Кожна 3D-модель складається з трикутників

Коли ви бачите персонажа в відеогрі або будівлю в анімованому фільмі, ви дивитесь на тисячи — іноді мільйони — крихітних трикутників зшитих разом у сітку.

Чому трикутники? Через фундаментальну геометричну властивість: будь-які три точки в просторі визначають унікальну площину. Три точки завжди компланарні — вони завжди утворюють плоску поверхню. Чотири або більше точок можуть не лежати на одній площині, що означає, що чотирикутне лице може бути викривлене або перекручене, створюючи артефакти рендерингу.

Сфера в грі — це насправді наближення: 8 трикутників дають вам приблизний октаедр, 32 дають вам щось круглішого, 128 виглядає гладко для ока. Чим більше трикутників, тим гладша поверхня — але тим більше роботи має робити графічна карта. Цей компроміс у кількості трикутників — один з центральних проблем у реальній 3D-графіці.

Матричні трансформації

Переміщення об'єктів за допомогою математики

Кожен об'єкт у 3D-сцені потребує позиціонування, обертання та масштабування. Потім весь 3D-світ потребує проекції на вашу плоску 2D-екран. Все це робиться за допомогою матричних трансформацій — множення координат на матриці.

Трансляція — Переміщення об'єкта: додавання зміщення до кожної позиції вершини.

Обертання — Обертання об'єкта: множення кожної вершини на матрицю обертання (синуси та косинуси).

Масштабування — Зміна розміру об'єкта: множення кожної координати на коефіцієнт масштабування.

Проекція — Вирівнювання 3D в 2D: перспективне перетворення, яке робить далекі об'єкти меншими.

Сучасна відеогра, що працює на 60 кадрів за секунду, обчислює мільйони цих матричних множень кожного кадру. Графічні процесори (GPU) існують саме тому, що ЦПУ були занадто повільні для такої паралельної геометрії. У своїй основі GPU — це масивно паралельний двигун матричного множення.

Чому трикутники?

Це одне з найфундаментальніших рішень дизайну у всій комп'ютерній графіці.

Дані як точки у просторі

Машинне навчання працює у геометричному просторі

Кожна модель машинного навчання, яка працює з даними, у своїй основі робить геометрію. Кожна точка даних — це точка в N-мірному просторі, де N — кількість ознак (змінних), що її описують.

Будинок, описаний площею квадратних футів, кількістю спалень та відстанню до центру міста, — це точка в 3D-просторі. Медичне зображення, описане 10,000 значень пікселів, — це точка у 10,000-мірному просторі. Математика працює однаково незалежно від кількості вимірів.

Класифікація — це пошук геометричних меж, які розділяють класи. Машина опорних векторів (SVM) буквально знаходить гіперплощину, яка розділяє два класи даних з найширшим можливим запасом — найширшою 'вулицею' між ними. Найближчі точки даних до цієї межи називаються опорними векторами, і вони — єдині точки, які насправді визначають, де розміщується межа.

Словесні вбудовування та векторна арифметика

Слова як точки у просторі

Одне з найвізуальніших застосувань геометрії в машинному навчанні — це словесні вбудовування. Системи, як Word2Vec та сучасні мовні моделі, відображають кожне слово на точку у високовимірному просторі (зазвичай 300-1000 вимірів).

Слова з подібними значеннями геометрично опиняються близько одне до одного. 'Dog' близько до 'puppy' та 'canine.' 'France' близько до 'Germany' та 'Spain.'

Ще більш примітно: напрямки у цьому просторі кодують стосунки. Знаменитий приклад:

vector('king') - vector('man') + vector('woman') ≈ vector('queen')

Це чиста векторна геометрія. Напрямок від 'man' до 'king' приблизно такий же, як напрямок від 'woman' до 'queen' — обидва кодують концепцію 'royalty.' Модель машинного навчання відкрила цю геометричну структуру від читання тексту, без того, щоб хтось учив її, що означає royalty.

Гіперплощини та запаси

Машини опорних векторів — один з найчіткіших прикладів геометрії в машинному навчанні.

Великі кола та GPS

Найкоротший шлях на сфері не є прямою лінією

На плоскій поверхні найкоротший шлях між двома точками — це пряма лінія. На сфері найкоротший шлях — це дуга великого кола — крива вздовж кола, центр якого — центр сфери.

Тому рейси з Нью-Йорка до Токіо летять над Арктикою. На плоскій карті Меркатора цей маршрут виглядає смішно вигнутим на північ. Але карта спотворена — вона розтягує полюси, щоб заповнити прямокутник. На реальній сфері Землі арктичний маршрут коротший.

Кожна лінія довготи — це велике коло. Екватор — це велике коло. Але лінії широти (крім екватора) не є великими колами — вони менші кола, і літання вздовж них — це не найкоротший шлях.

GPS-триангуляція використовує сферичну геометрію по-іншому. Кожен GPS-супутник передає свою позицію та час. Ваш приймач обчислює відстань до кожного супутника (використовуючи швидкість світла). Один супутник дає вам сферу можливих позицій. Два супутники дають вам коло, де два сфери перетинаються. Три супутники дають вам дві точки — одна зазвичай абсурдна (глибоко у космосі), тому ви отримуєте вашу позицію. Четвертий супутник виправляє помилки годинника.

Чому рейси вигинаються на картах

Авіалінії та пілоти не летять вигнутими маршрутами, щоб витратити паливо. Вони летять найкоротшим можливим шляхом.

Геометричне розмірення та допуски

GD&T — Як близько до ідеалу це достатньо близько?

Жодна виготовлена деталь не є геометрично ідеальною. Валик, визначений як 25.000 мм, буде виходити з станка як 25.007 мм або 24.993 мм. Питання: скільки відхилення прийнятно?

Геометричне розмірення та допуски (GD&T) відповідає на це геометричною точністю. Замість просто говорити '25 мм плюс чи мінус 0.013 мм,' GD&T визначає зону допуску — геометричну область, в якій мають лежати всі точки реальної поверхні.

Зона допуску може бути циліндром (для валика), парою паралельних площин (для плоскої поверхні) або конусом (для конічної особливості). Форма зони залежить від того, що має значення функціонально: округлість, плоскість, перпендикулярність, концентричність.

Це чиста прикладна геометрія. Токар, який читає GD&T-креслення, інтерпретує геометричні обмеження — чи ця поверхня в межах 0.01 мм від ідеальної площини? Чи вісь цієї отвори в межах 0.05 мм від перпендикуляра до базової поверхні? Кожен допуск — це геометричне питання.

Концентрація напруження та геометрія

Чому геометрія визначає, де речі ламаються

Коли сила протікає через матеріал, вона слідує геометричним шляхам. Гладкий, рівномірний переріз розподіляє напругу рівномірно. Але будь-яка геометрична розривність — отвір, зарізка, гострий кут — концентрує напругу у цій точці.

Коефіцієнт концентрації напруження залежить повністю від геометрії. Невеликий круглий отвір у пластині під напругою знаходиться в 3 рази номіналу напруги на його краях. Гостра V-подібна зарізка може концентрувати напругу у 5 разів, 10 разів або більше, залежно від кута.

Тому вікна літаків овальні, а не прямокутні. De Havilland Comet — перший у світі комерційний реактивний авіалайнер — мав квадратні вікна. У 1954 році два Comets розламалися у польоті. Розслідування виявило, що тріщини втоми металу почалися в гострих кутах вікон, де напруга концентрувалася до рівнів далеко за межами того, що алюміній міг витримати протягом повторних циклів тиску.

Виправлення було геометричним: округлити кути. Овальне вікно розподіляє напругу гладко навколо його периметра без гострих точок концентрації. Кожен комерційний літак з тих пір використовував овальні або заокруглені прямокутні вікна. Геометрія вбила 56 людей. Геометрія також забезпечила рішення.

Катастрофи Comet

Катастрофи De Havilland Comet навічно змінили дизайн літаків.

З'єднання ниток

Універсальна мова

Подивіться на те, що ми розглянули:

Архітектура використовує ті ж жорсткі трикутники, які зміцнюють 3D-сітки у відеоіграх.

Комп'ютерна графіка використовує ті ж матричні трансформації, які робототехніка використовує для позиціонування механічних рук.

Машинне навчання використовує ті ж гіперплощини, які розділяють простори дизайну в оптимізації інженерії.

Навігація використовує ту ж сферичну геометрію, яку архітектори використовують під час проектування куполів та планетаріїв.

Інженерія використовує той же аналіз напруги, який біомеханіка використовує для розуміння переломів костей.

Геометрія одна і та ж. Застосування різні. Трикутник жорсткий, чи то він тримає міст, чи то рендерує дракона. Гіперплощина розділяє класи, чи то класифікує листи як спам, чи то оптимізує форму крила.

Це робить геометрію одним з найпотужніших інструментів у прикладній математиці — вона забезпечує наочний, просторовий та суворий спосіб міркування про проблеми у всіх галузях науки та інженерії.

Ваш висновок

Ми дослідили геометрію в архітектурі, комп'ютерній графіці, машинному навчанні, навігації та інженерії.