Spotlight #52 – Geometria, inteligencja rojowa i dynamika płynów

Fala 55 rozszerza trzy kategorie symulacji: geometrię dyskretną o pełną rodzinę wypukłych brył foremnych i półforemnych; zachowania zbiorowe o model szkoły ryb Boids z polującym drapieżnikiem; oraz obliczeniową dynamikę płynów poprzez symulację przełamania tamy SPH w czasie rzeczywistym.

Trzy zbadane kategorie

mysimulator.uk śledzi głębię kategorii jako jeden z mierników jakości. Fala 55 wzmacnia trzy odrębne dziedziny — od ponadczasowej matematyki wielościanów po fizykę obliczeniową płynów opartych na cząstkach.

🔷

Geometria

Bryły platońskie i archimedesowe, krzywe Béziera, atraktory fraktalne oraz niezmienniki topologiczne.

🐟

Inteligencja rojowa

Emergentny ruch zbiorowy wynikający z lokalnych reguł: flokowanie Boids, optymalizacja mrówkowa, formowanie stada.

💧

Dynamika płynów

Metody cząstek Lagrange'a, przepływ w warstwie granicznej, komórki konwekcji Bénarda oraz propagacja fal.

🔷 Geometria dyskretna — wielościany i wzór Eulera

Badanie wielościanów — brył ograniczonych płaskimi ścianami wielokątnymi — sięga od Platońskiego „Timajosa” (ok. 360 r. p.n.e.), który utożsamił cztery bryły z klasycznymi żywiołami, przez zaskakujące twierdzenie topologiczne Eulera, aż po współczesne zastosowania w krystalografii i grafice komputerowej.

Dlaczego istnieje tylko pięć brył platońskich?

Bryła platońska wymaga, aby (a) wszystkie ściany były tym samym wielokątem foremnym oraz (b) w każdym wierzchołku spotykała się taka sama liczba ścian. Aby bryła mogła się zamknąć, suma kątów w każdym wierzchołku musi być mniejsza niż 360°, w przeciwnym razie ściany leżą płasko lub zawijają się na siebie. Istnieje dokładnie pięć rozwiązań:

Sześć trójkątów równobocznych wypełniłoby płaską płaszczyznę (360°) i nie zamknęłoby się; pięć kwadratów przekroczyłoby 360°. Ograniczenie jest ścisłe — nie ma miejsca na szóstą bryłę platońską.

Charakterystyka Eulera: V − E + F = 2

W 1752 roku Leonhard Euler zauważył, że dla każdego wielościanu wypukłego wartość V−E+F wynosi dokładnie 2. Było to zaskakujące, ponieważ zależność ta zachodziła niezależnie od kształtu: czworościan (4−6+4=2), sześcian (8−12+6=2), dwudziestościan (12−30+20=2), a nawet dwudziestościan ścięty (60−90+32=2).

V − E + F = χcharakterystyka Eulera χ jest niezmiennikiem topologicznym. Dla powierzchni homeomorficznych ze sferą (rodzaj g=0), χ=2. Dla torusa (g=1), χ=0. Wielościany z otworami mogą przyjmować inne wartości: sześcian z kwadratowym tunelem ma χ=0. Łączy to kombinatorykę z topologią.

Bryły archimedesowe i ścinanie

13 brył archimedesowych to wypukłe, wierzchołkowo-przechodnie wielościany o dwóch lub więcej rodzajach ścian będących wielokątami foremnymi. Powstają naturalnie z brył platońskich poprzez ścinanie (odcinanie wierzchołków), rektyfikację (cięcie do środków krawędzi), łamanie (skręcanie) oraz kantelację (rozsuwanie ścian na zewnątrz). Dwudziestościan ścięty — 60 wierzchołków, 90 krawędzi, 32 ściany w postaci pięciokątów i sześciokątów — jest identyczny ze wzorem na standardowej piłce nożnej oraz z cząsteczką fulerenu C₆₀ (buckminsterfullerenu).

🐟 Inteligencja rojowa — emergencja z lokalnych reguł

Inteligencja rojowa opisuje zbiorowe, samoorganizujące się zachowanie, które wyłania się z lokalnych interakcji między prostymi agentami. Żaden centralny kontroler nie kieruje rojem — każda jednostka reaguje wyłącznie na informacje z najbliższego otoczenia. Mimo to wzorce na poziomie grupy — spójne stada, rozgałęziające się sieci szlaków, skoordynowane reakcje paniki — mogą dorównać efektom działania dowolnego systemu scentralizowanego.

Boids Craiga Reynoldsa (1986)

Oryginalna praca Reynoldsa o Boids (SIGGRAPH '87) pokazała, że trzy reguły wystarczą, aby uzyskać realistyczne flokowanie:

  1. Separacja: unikanie ścisku z najbliższymi sąsiadami.
  2. Wyrównanie: kierowanie się w stronę średniego kierunku ruchu pobliskich sąsiadów.
  3. Kohezja: kierowanie się w stronę średniej pozycji (środka masy) pobliskich sąsiadów.

Trzy promienie — rsep < rali < rcoh — tworzą zagnieżdżone strefy wpływu. Szkoła ryb 3D wykorzystuje rsep=28, rali=55, rcoh=80 px z trzema warstwami głębi, dającymi pseudo-3D wygląd przy koszcie Canvas 2D.

Dynamika drapieżnik–ofiara w stadach

Nowa symulacja Szkoła ryb 3D dodaje polującego rekina, który wywołuje reakcję paniki u ryb znajdujących się w promieniu jego patrolu. Odtwarza to kilka udokumentowanych zjawisk obserwowanych w terenie:

Kompromisy związane z ławicowaniem nie są bezkosztowe. Gęste ławice konkurują o pokarm; pływanie w ławicy zwiększa opór dla większości ryb niebędących liderami (interferencja hydrodynamicznego śladu wodnego); a jasne skupiska są łatwiej dostrzegalne z daleka. Optymalny rozmiar stada to dynamiczna równowaga tych sił — dlatego przy wysokim ryzyku drapieżnictwa obserwujemy gęste kule ryb przynętowych, a przy niskim ryzyku — rozproszone, luźne skupiska.

💧 Obliczeniowa dynamika płynów — SPH

Obliczeniowa dynamika płynów (CFD) to numeryczna symulacja równań Naviera-Stokesa. Dominują dwie rodziny metod: eulerowskie (oparte na siatce: objętości skończonych, elementów skończonych, różnic skończonych) oraz lagranżowskie (oparte na cząstkach: SPH, DEM, MPM). SPH należy do rodziny lagranżowskiej i posiada właściwości, których brakuje metodom siatkowym.

Dlaczego podejście lagranżowskie?

Metody siatkowe mają trudności z problemami obejmującymi duże deformacje, powierzchnie swobodne i przepływy wielofazowe: siatka musi być regenerowana lub deformowana na każdym kroku. W SPH cząstki niosą przepływ ze sobą — powierzchnie swobodne są śledzone automatycznie, siatka nie jest potrzebna, a fragmentacja jest trywialna. Cena za to jest taka, że SPH w naiwnej implementacji ma złożoność O(N²) (choć haszowanie przestrzenne redukuje ją do O(N log N)) i jest mniej dokładne niż metody elementów skończonych wysokiego rzędu dla przepływów gładkich.

Układ ciśnienie–lepkość–grawitacja

Symulator całkuje trzy składowe siły w każdym podkroku:

Sprężyste odbicie od granic ze współczynnikiem tłumienia 0.4 modeluje pochłanianie energii przez rzeczywiste betonowe ściany. Trzy podkroki na klatkę animacji (dt=0,004 s każdy) utrzymują spełnienie warunku stabilności CFL przy 60 kl./s.

Krótka historia SPH:
1977 — Lucy oraz niezależnie Gingold i Monaghan wynajdują SPH do symulacji zapadania astrofizycznego.
1992 — Monaghan adaptuje SPH do przepływów z powierzchnią swobodną i przełamań tam.
1996 — Desbrun i Cani ulepszają wybór jądra dla wody o jakości graficznej.
2003 — Müller, Charypar i Gross popularyzują SPH dla płynów w grach czasu rzeczywistego.
Lata 2010. — SPH przyspieszane na GPU osiąga dziesiątki milionów cząstek w interaktywnych demonstracjach.
Dziś — SPH jest standardem w modelowaniu tsunami, symulacjach zderzeń galaktyk oraz przemysłowych procesach formowania.
← Spotlight #51: Immunologia, magnetyzm i elektrochemia Indeks bloga →