Devlog #14 — Kiedy symulacja staje się narzędziem myślenia
Większość symulacji to animacje w przebraniu — ilustrują to, co już
wiemy. Ale czasem symulacja ujawnia coś, czego jej twórca się nie
spodziewał. To właśnie moment, w którym wizualizacja staje się
narzędziem myślenia. Oto nasze przykłady.
Ilustracja kontra odkrycie
Istnieje pewne spektrum dla wizualizacji naukowych. Na jednym
końcu: diagram, na który znasz już odpowiedź, wyrenderowany w
ładnych kolorach. Na drugim: model interaktywny, którego wynik
zaskakuje nawet jego twórcę. Większość symulacji edukacyjnych plasuje
się bliżej pierwszego bieguna. My staramy się przesuwać nasze w
stronę drugiego.
Charakterystyczne cechy narzędzia myślenia
kontra dekoracji:
Możesz zadać mu pytanie, na które nie zostało wprost zaprojektowane
odpowiadać
Zmiana parametru daje wynik, którego nie przewidziałeś
Łapiesz się na myśli: „czekaj — dlaczego tak się dzieje?"
Używasz go do rozstrzygnięcia sporu, a nie tylko potwierdzenia
istniejącej wiedzy
Chwile, w których nasze symulacje nauczyły nas czegoś nowego
Symulator balistyczny
Optymalny kąt w powietrzu to nie 45°
Zbudowaliśmy symulację balistyczną, by pokazać klasyczny tor
paraboliczny. Wtedy ktoś z Twittera zapytał: „Czy opór powietrza
zmienia optymalny kąt startu?" Nie wiedzieliśmy. Ustawiliśmy
stały opór i przemiatliśmy kąt startu od 30° do 60°. Krzywa
zasięgu osiągała maksimum przy około 40° — nie 45°. Przy
wyższych prędkościach wylotowych przesuwało się to jeszcze
niżej. Ostatecznie prześledziliśmy to zjawisko przez
odpowiednie równania różniczkowe. Wynik jest poprawny i nie jest
oczywisty na podstawie podręcznikowego wyprowadzenia
ignorującego opór.
→ Symulacja powiedziała nam, czego szukać. Matematyka to
potwierdziła. Nie na odwrót.
Podwójne wahadło
Początek chaosu zależy od kąta początkowego, nie tylko od
energii
Spodziewaliśmy się, że podwójne wahadło stanie się chaotyczne
powyżej pewnego kąta początkowego. Tak się dzieje. Ale
obserwując 100 jednoczesnych wahadeł z losowo zaburzonymi
pozycjami startowymi, odkryliśmy, że początek
chaotycznej dywergencji był bardzo nierównomierny — niektóre
konfiguracje początkowe pozostawały spójne znacznie dłużej niż
inne przy tej samej całkowitej energii. To skłoniło nas do
przeczytania o krajobrazie wykładników Lapunowa, czego nigdy
byśmy nie zrobili, gdyby nie wpatrywanie się w 100
rozbiegających się trajektorii.
→ Kluczem była wizualizacja zespołu, a nie tylko pojedynczej
trajektorii.
Rozprzestrzenianie się choroby (model SIR)
Superroznosiciele tworzą inny kształt krzywej, nie tylko wyższy
Dodaliśmy heterogeniczność agentów do naszego modelu SIR —
niektórzy agenci mieli wyższy współczynnik kontaktów
(superroznosiciele). Spodziewaliśmy się, że szczyt epidemii
będzie po prostu wyższy i wcześniejszy. Zamiast tego zmienił
się kształt krzywej: ostry, szybko rosnący szczyt początkowy,
po którym następowała wolniejsza fala wtórna, gdy
superroznosiciele przechodzili przez podatną populację, a
następnie choroba tliła się w mniej połączonej populacji. To
odpowiadało rzeczywistym wzorcom fal COVID-19, których wcale
pierwotnie nie próbowaliśmy modelować.
→ Symulacja odtworzyła obserwowany w rzeczywistości wzorzec,
zanim zrozumieliśmy, dlaczego tak się dzieje.
Projektant mostów
Triangulacja ma większe znaczenie niż grubość
Zbudowaliśmy symulację mostu, by pokazać rozkład naprężeń
konstrukcyjnych. Użytkownik zapytał: „Czy lepiej dodać grubszy
górny pas, czy więcej krzyżulców?" Przetestowaliśmy oba
warianty. Dodanie krzyżulców poprawiło nośność 3× bardziej niż
podwojenie grubości pasa, przy tym samym koszcie materiału.
Inżynierowie budowlani znają tę zasadę — ale żadne z nas nie
odczuło jej naocznie, dopóki nie zobaczyliśmy, jak
nietriangulowany most zawala się pod tym samym obciążeniem,
które triangulowana wersja przenosiła bez trudu.
→ „Znam to w teorii" i „rozumiem to" to dwa różne stany
wiedzy.
Co robi różnicę
Patrząc wstecz na te chwile, mają one pewne wspólne cechy.
Symulacja musiała:
Być numerycznie uczciwa — złe integratory lub
sztuczna stabilizacja ukrywają prawdziwe zachowanie
Pozwalać na przemiatanie parametrów —
pojedyncza, ustalona symulacja to demonstracja; suwak to
urządzenie odpowiadające na pytania
Pokazywać wystarczająco dużo szczegółów —
pojedynczych agentów, a nie tylko zbiorcze statystyki;
trajektorie, a nie tylko punkty końcowe
Działać wystarczająco szybko, by eksplorować —
jeśli musisz czekać 30 sekund na uruchomienie, nie iterujesz i
nie odkrywasz
„Aby zrozumieć coś głęboko, pomaga móc to zmienić i obserwować,
co się psuje."
To jest nasz cel projektowy dla kolejnej generacji symulacji: nie
tylko fizycznie dokładne animacje, ale naprawdę interaktywne
modele, w których uczniowie mogą formułować hipotezy,
przeprowadzać eksperymenty i dochodzić do zrozumienia poprzez
własną eksplorację. Nie podręcznik. Laboratorium.