Gibt es einen Zusammenhang zwischen TCS und nachhaltiger Energieforschung?

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.

application-of-theory

— NDR
quelle

Ich bin mir nicht sicher, ob ich das verstehe. Was meinst du mit "Energie"? Energieeffizientes Computing? Günstige / nachhaltige Energieerzeugung?

— Sasho Nikolov

J. Zico Kolter hat gute Arbeit geleistet, indem er Techniken des maschinellen Lernens auf eine Reihe verschiedener Probleme im Bereich erneuerbare Energien und Energieeinsparung angewendet hat: cs.cmu.edu/~zkolter/publications.html Natürlich (1) ist dies nicht wirklich Theorie und (2) Wie Sasho bin ich mir nicht sicher, was du mit "Energie" gemeint hast. Hoffentlich wird seine Arbeit trotzdem interessant.

— Huck Bennett

Überprüfen Sie auch die Seite von Steve Easterbrook (obwohl er kein Theoretiker ist).

— Kaveh

8

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.

— Arnab
quelle

7

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.

— Juho
quelle