Hypothesis ng Simulasyon

Mga interaktibong modelo · 14 maliliit na simulasyong tumatakbo sa browser

Ilan sa mga simulasyon sa site na ito, pinaliit para kayang patakbuhin ng browser mo. Walang kusang nagsisimula. Binibilang ng bawat isa ang sarili nitong mga operasyon, kaya maihahambing mo ang kayang gawin ng device mo sa kompyut na kailangan ng seryosong takbo ng parehong uri.

Ang Game of Life

Ang cellular automaton ni John Conway noong 1970. Buhay o patay ang bawat selula, at sa bawat hakbang, tinitingnan nito ang walong kapitbahay nito: nabubuhay ang patay na selula kung eksaktong tatlo, nananatiling buhay ang buhay na selula kung dalawa o tatlo, at namamatay ang lahat ng iba. Iyon na ang lahat ng patakaran. I-click ang grid para magdagdag ng selula.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng mga cellular automaton: mga 1012 FLOPS magaspang · Ang entry ▸

Pagtantiya ng π sa pamamagitan ng sampling

Lumalapag ang mga random na punto sa parisukat na may isang-kapat na bilog. Ang bahaging lumalapag sa loob ay π/4. Ito ang Monte Carlo estimation sa pinakasimple nito. Lumiliit lang ang error ayon sa square root ng bilang ng sample, kaya sandaang ulit na mas maraming sample ang kailangan ng bawat dagdag na tamang digit.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng monte carlo na pagtataya ng mga konstante: mga 109 FLOPS magaspang · Ang entry ▸

Pagkukumpol ng kawan

Ang tatlong patakaran ni Craig Reynolds noong 1987: paghihiwalay, alignment at cohesion. Walang ibong nakaaalam ng hugis ng kawan, at walang pinuno.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng pagkakawan at pagkukumpol ng isda: mga 1013 FLOPS magaspang · Ang entry ▸

Isang epidemya

280 agent ang gumagalaw nang random sa isang kahon. Tatlo ang nagsisimulang may impeksiyon. Ang agent na lumalapit sa may impeksiyon ay maaaring mahawa, at gumagaling pagkaraan ng takdang oras. Maaari mong baguhin kung ilang tao ang nananatili sa bahay. Pindutin ang Reset para ilapat ito. Ito ang agent-based na pormulasyon. Minomodelo ng compartmental na pormulasyon ang parehong dinamika sa ilang differential equation.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng mga agent-based na epidemya: mga 1016 FLOPS magaspang · Ang entry ▸

Bumabagsak na buhangin

Bawat pixel ay isang butil. Sa bawat hakbang, nahuhulog ang butil kung walang laman ang espasyo sa ilalim, o dumudulas nang pahilis kung kaya nito. Mula sa iisang patakarang ito lumilitaw ang mga tumpok, dalisdis at avalanche. Gumuhit sa canvas para magdagdag ng butil.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng mga falling-sand na laro: mga 1012 FLOPS magaspang · Ang entry ▸

Kusang siksikan ng trapiko

Isang single-lane na ring road, iginuhit bilang guhit ng oras: bawat hanay ay isang sandali, pinakabago sa ibaba, at bawat kulay na tuldok ay kotse (pula ang nakahinto, ginto ang mabagal, berde ang nasa limitasyon). Bumibilis ang bawat drayber kapag may puwang, pumepreno para sa kotse sa unahan, at paminsan-minsan ay bumabagal nang random. Iyon na ang buong modelo, mula kina Kai Nagel at Michael Schreckenberg (1992). Sa itaas ng density na mga 15%, lumilitaw ang mga siksikan nang walang panlabas na dahilan at umaanod paatras laban sa trapiko.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng daloy ng trapiko: mga 1013 FLOPS magaspang · Ang entry ▸

Mga landas ng langgam

Dalawandaang langgam ang umaalis sa gintong pugad at gumagala. Bawat isa ay nagdedeposito ng pheromone habang gumagalaw at sumusunod sa pinakamalakas na pheromone sa unahan. Ang isang uri ay patungo pabalik sa pugad, ang isa ay patungo sa pagkain. Walang langgam na nakaaalam kung nasaan ang anuman, ngunit sa loob ng isang minuto, nakapaglatag na ang kolonya ng mga landas sa pagitan ng pugad at ng kulay-rosas na pagkain. Pinag-aralan ito ni Jean-Louis Deneubourg sa mga eksperimento niya sa langgam noong 1990, at binuo ito ni Marco Dorigo sa mga ant colony algorithm niya. I-click para maglagay ng dagdag na pagkain.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng pangangalap ng pagkain ng kolonya ng langgam: mga 1011 FLOPS magaspang · Ang entry ▸

Mga padron ni Turing

Dalawang kemikal sa isang dish. Ang isa ay ipinapasok sa tuloy-tuloy na rate. Kinakain ito ng isa, nagpaparami ng sarili, at dahan-dahang nabubulok. Parehong kumakalat, sa magkaibang bilis. Ipinakita ni Turing (1952) na ang ganitong sistema ay maaaring gawing batik at guhit ang pantay na halo. Ito ang reaksiyong Gray–Scott, na minapa ni John Pearson (1993). Palitan ang mga setting at makakakuha ka ng padron ng korales, naghahating selula, fingerprint at uod. I-click para bigyan ito ng tulak.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng pagbuo ng padron: mga 1012 FLOPS magaspang · Ang entry ▸

Isang sandpile

Magbagsak ng buhangin sa mesa nang isang butil bawat beses. Ang anumang parisukat na may apat na butil ay guguho at magpapasa ng isa sa bawat kapitbahay, at maaaring gumuho rin ang mga iyon. Nawawala ang mga butil na nahuhulog sa gilid. Ginamit nina Per Bak, Chao Tang at Kurt Wiesenfeld ang modelong ito noong 1987 para ipakita kung paano maaaring ayusin ng sistema ang sarili tungo sa kritikal na estado. Karamihan ng butil ay walang ginagawa. Ilan ang nagpapasimula ng avalanche sa buong tumpok. Walang karaniwang sukat ang laki ng avalanche. I-click para magbagsak ng butil sa ibang lugar.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng self-organised criticality: mga 1011 FLOPS magaspang · Ang entry ▸

Banayad na kagustuhan, matalim na paghihiwalay

Dalawang uri ng sambahayan, cyan at pink, ang inilalagay nang random. Kuntento ang sambahayan kung sapat na bilang ng walo nitong kapitbahay ay kauri nito. Kung hindi, lilipat ito sa random na bakanteng lugar. Ginawa ito ni Schelling (1971) gamit ang mga barya sa chessboard. Kahit masaya ang mga sambahayan na maging minorya, nagkakaroon pa rin ng matalim na paghihiwalay. Maaari mong baguhin ang bahagi ng kauring kapitbahay na kailangan nila.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng residential sorting: mga 109 FLOPS magaspang · Ang entry ▸

Tatlong katawan

Tatlong masa at ang batas ng grabidad ni Newton. Dalawang katawan ay maaaring umikot magpakailanman. Ang tatlo ay walang pangkalahatang eksaktong solusyon, gaya ng ipinakita ni Henri Poincaré noong dekada 1890, at mula sa karamihan ng panimulang punto, may isang katawang natatapon. Ang figure-eight na orbit ay isa sa mga bihirang matatag na umuulit na solusyon. Natagpuan ito ni Cris Moore noong 1993, at pinatunayan nina Alain Chenciner at Richard Montgomery na umiiral ito noong 2000. Ang Pythagorean na simula ay may tatlong katawang nakahinto, na may masang 3, 4 at 5. Inilatag ito ni Carl Burrau noong 1913. Ipinapakita ng readout kung gaano kahusay pinananatili ng numerikal na pamamaraan ang kabuuang enerhiya. Perpektong mapananatili ito ng eksaktong solusyon.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng dynamics ng orbit: mga 1013 FLOPS magaspang · Ang entry ▸

Mga sunog sa kagubatan

Dahan-dahang nagpapatubo ng mga puno ang walang lamang lupa. Paminsan-minsang sinisindihan ng kidlat ang isang puno, at kumakalat ang apoy sa mga kalapit na puno bago maupos. Pinag-aralan nina Barbara Drossel at Franz Schwabl ang modelong ito noong 1992. Hindi kailanman natatahimik ang kagubatan, at pinanipis ito ng mga sunog sa bawat laki, tulad ng sandpile. I-click ang puno para sindihan ito.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng pagkalat ng sunog sa gubat: mga 1013 FLOPS magaspang · Ang entry ▸

Isang magnet

Bawat pixel ay isang spin na nakaturo pataas o pababa. Bawat isa ay may hilig na humanay sa apat nitong kapitbahay, at itinutulak sila ng init palabas ng hanay. Nilutas ni Ernst Ising ang isang-dimensyong linya noong 1925; eksaktong nilutas ni Lars Onsager ang patag na grid na ito noong 1944 at natagpuan ang matalim na kritikal na temperatura, mga 2.27 sa mga yunit na ito. Sa ibaba nito, nagsasanib ang mga rehiyon sa malalaking domain at nagiging magnetised ang grid. Sa itaas nito, nananatiling magulo ang padron. Maaari mong baguhin ang temperatura habang tumatakbo.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng magnetismo at mga phase transition: mga 1012 FLOPS magaspang · Ang entry ▸

Mga pating at isda

Dagat ng mga isda (cyan) at pating (pink). Gumagalaw nang random at nagpaparami ang mga isda. Kumakain ng katabing isda ang mga pating, mas mabagal magparami, at nagugutom kapag masyadong matagal na walang pagkain. Pinangalanan ni A. K. Dewdney ang mundong ito na Wa-Tor noong 1984. Ipinapakita ng plot sa ibaba ang dalawang populasyon, bawat isa sa sarili nitong sukat. Dumarami ang isda, sumusunod ang pating, bumabagsak ang isda, nagugutom ang pating, at inuulit ang siklo. Nakuha nina Alfred Lotka at Vito Volterra ang parehong indayog mula sa kanilang mga ekwasyon noong dekada 1920. Dito, nagmumula ito sa mga indibidwal na agent.

 

Device na ito: pindutin ang Run para sukatin nasukat · Seryosong takbo ng dynamics ng predator–prey: mga 109 FLOPS magaspang · Ang entry ▸