Apakah ada hubungan antara TCS dan penelitian Energi Berkelanjutan?

8

Adakah yang tahu tentang karya apa pun yang menghubungkan Ilmu Komputer Teoritis dan Energi Murah / Berkelanjutan? yaitu apakah ada pekerjaan di TCS dengan aplikasi dalam Energi Murah / Berkelanjutan.

application-of-theory NDR
sumber
Saya tidak yakin saya mengerti. Apa yang Anda maksud dengan "Energi"? Komputasi yang hemat energi? Generasi energi murah / berkelanjutan?
Sasho Nikolov
J. Zico Kolter telah melakukan pekerjaan yang bagus dengan menerapkan teknik pembelajaran mesin pada sejumlah masalah berbeda dalam energi terbarukan dan konservasi energi: cs.cmu.edu/ ~ zkolter / publications.html Tentu saja (1) ini sebenarnya bukan teori dan (2) seperti Sasho, saya tidak yakin apa yang Anda maksud dengan "energi". Semoga saja karyanya akan menarik.
Huck Bennett
Periksa juga halaman Steve Easterbrook (meskipun dia bukan ahli teori).
Kaveh

Jawaban:

8

Kirk Pruhs adalah pemimpin di bidang "komputasi hijau", studi tentang algoritma yang memperlakukan energi sebagai sumber daya yang mahal. Lihatlah slide-slide ini dan survei ini oleh Sandy Irani dan Pruhs.

arnab
sumber
7

Saya yakin ada beberapa, tapi ini satu. Buku "standar" tentang kompleksitas Kolmogorov karya Li & Vitanyi memiliki bab tentang fisika, informasi, dan perhitungan. Bagian yang berurusan dengan energi kembali ke orang-orang seperti von Neumann dan Landauer.

Buku ini membahas disipasi energi dari sudut pandang TCS. Pada dasarnya, kemajuan dalam miniaturisasi dan mobilisasi perangkat pada titik tertentu akan membutuhkan komputasi tanpa disipasi. Tampaknya tidak ada hukum fisik yang memerlukan perhitungan yang dapat dibalik untuk menghilangkan energi. Buku ini membahas secara singkat beberapa implementasi fisik dari komputer yang dapat dibalik yang secara teori memungkinkan. Ada juga model logis: mesin Turing reversibel.

Selain Li & Vitanyi, Anda dapat melihat [1] dan [2]. Anda mungkin juga tertarik dengan pertanyaan. Apakah ada mesin abstrak yang dapat menangkap konsumsi daya? di CS.SE.

[1] R. Landauer. Irreversibilitas dan panas yang dihasilkan dalam proses komputasi. IBM J. Res. Berkembang., 5: 183–191, 1961.

[2] CH Bennett dan R. Landauer. Batas fisik dasar perhitungan. Scientific American, 256 (7): 48–56, Juli 1985.

Juho
sumber