Billard computer

Billardkuglecomputer er en  logisk model til at udføre reversible beregninger , en mekanisk computer baseretNewtons bevægelseslove og foreslået i 1982 af Edward Fredkin og Tommaso Toffoli [1] .

I stedet for at bruge elektroniske signaler som i en konventionel von Neumann-arkitekturcomputer , anvender den principperne for bevægelse af billardkugler i fravær af friktion . Billardcomputeren kan bruges til at studere sammenhængen mellem reversible beregninger og reversible processer i fysik.

Beskrivelse

Billardcomputeren modellerer boolske logiske kredsløb, der i stedet for ledninger bruger stierne, som kuglerne bevæger sig afgrænset af vægge: Signalet kodes af tilstedeværelsen eller fraværet af kugler på stierne, og de logiske porte modelleres ved hjælp af kollisioner af kugler i krydsene af stierne. Især kan man vælge kuglernes veje på en sådan måde, at man opnår en Toffoli-port , en universel reversibel logikport , med hvilken enhver anden reversibel logikport kan opnås. Det betyder, at en korrekt valgt billardcomputer er i stand til at udføre alle beregninger [2] .

Modellering

En billardcomputer kan modelleres ved hjælp af forskellige typer reversible cellulære automater , herunder blok og anden orden . I sådanne modeller bevæger kuglerne sig med en konstant hastighed langs koordinatakserne, hvilket er tilstrækkeligt til at modellere logiske kredsløb. Både kugler og vægge svarer til nogle grupper af levende (indeholdende 1) celler, og det omgivende felt er fyldt med døde (indeholdende 0) celler [3] .

En billardcomputer kan også implementeres ved at bruge levende soldatkrabber af arten Mictyris guinotae som billardkugler [4] [5] [6] .

Noter

  1. Fredkin, Edward & Toffoli, Tommaso (1982), Conservative logic , International Journal of Theoretical Physics bind 21 (3-4): 219–253 , DOI 10.1007/BF01857727  .
  2. Durand-Lose, Jérôme (2002), Computing inside the billiard ball model, i Adamatzky, Andrew , Collision-Based Computing , Springer-Verlag, s. 135-160, ISBN 978-1-4471-0129-1  .
  3. Margolus, N. (1984), Physics-like models of computation , Physica D: Nonlinear Phenomena bind 10: 81–95 , DOI 10.1016/0167-2789(84)90252-5  . Genoptrykt i Wolfram, Stephen (1986), Theory and Applications of Cellular Automata , vol. 1, Avanceret serie om komplekse systemer, World Scientific, s. 232-246  .
  4. Gunji, Yukio-Pegio; Nishiyama, Yuta & Adamatzky, Andrew (2011), Robust Soldier Crab Ball Gate , Complex Systems bind 20 (2): 93–104 , < http://www.complex-systems.com/abstracts/v20_i02_a02.html > Arkiveret kopi dateret 21. september 2017 på Wayback Machine . 
  5. Solon, Olivia (14. april 2012), computerbygget med sværme af soldatkrabber , Wired , < https://www.wired.com/wiredenterprise/2012/04/soldier-crabs/ > Arkiveret 14. marts 2014 på Wayback Machine . 
  6. Aron, Jacob (12. april 2012), Computere drevet af sværme af krabber , New Scientist , < https://www.newscientist.com/blogs/onepercent/2012/04/researchers-build-crab-powered.html > Arkiveret 13. april 2012 på Wayback Machine .