Kennt jemand eine Arbeit, die Theoretische Informatik und billige / nachhaltige Energie verbindet? dh gibt es irgendwelche Arbeiten in TCS mit der Anwendung in billiger / nachhaltiger Energie.
8
Kennt jemand eine Arbeit, die Theoretische Informatik und billige / nachhaltige Energie verbindet? dh gibt es irgendwelche Arbeiten in TCS mit der Anwendung in billiger / nachhaltiger Energie.
Antworten:
Kirk Pruhs ist führend auf dem Gebiet des "Green Computing", der Untersuchung von Algorithmen, die Energie als teure Ressource behandeln. Schauen Sie sich diese Folien und diese Umfrage von Sandy Irani und Pruhs an.
quelle
Ich bin mir sicher, dass es einige gibt, aber hier ist eine. Das "Standard" -Buch über Kolmogorov-Komplexität von Li & Vitanyi enthält ein Kapitel über Physik, Information und Berechnung. Der Teil, der sich mit Energie befasst, geht auf solche von Neumann und Landauer zurück.
Das Buch befasst sich mit der Energiedissipation aus TCS-Sicht. Grundsätzlich erfordern Fortschritte bei der Miniaturisierung und Mobilisierung von Geräten irgendwann ein nahezu dissipationsfreies Rechnen. Es scheint, dass es keine physikalischen Gesetze gibt, die eine reversible Berechnung erfordern, um Energie abzuleiten. Das Buch befasst sich kurz mit einigen physischen Implementierungen von reversiblen Computern, die theoretisch möglich sind. Es gibt auch ein logisches Modell: die reversible Turingmaschine.
Neben Li & Vitanyi können Sie sich auch [1] und [2] ansehen. Vielleicht interessiert Sie auch die Frage Gibt es eine abstrakte Maschine, die den Stromverbrauch erfassen kann? auf CS.SE.
[1] R. Landauer. Irreversibilität und Wärmeerzeugung im Rechenprozess. IBM J. Res. Develop., 5: 183–191, 1961.
[2] CH Bennett und R. Landauer. Die grundlegenden physikalischen Grenzen der Berechnung. Scientific American, 256 (7): 48–56, Juli 1985.
quelle