Existe alguma ligação entre a TCS e a pesquisa sobre energia sustentável?

8

Alguém conhece algum trabalho que vincule Ciência da Computação Teórica e Energia Barata / Sustentável? ou seja, existe algum trabalho no TCS com o aplicativo em energia barata / sustentável.

application-of-theory

— NDR
fonte

Não sei se entendi. O que você quer dizer com "energia"? Computação com eficiência energética? Geração de energia barata / sustentável?

— Sasho Nikolov

J. Zico Kolter fez um bom trabalho aplicando técnicas de aprendizado de máquina a vários problemas diferentes em energia renovável e conservação de energia: cs.cmu.edu/~zkolter/publications.html Obviamente (1) isso não é realmente teoria e (2) como Sasho, não tenho certeza do que você quis dizer com "energia". Espero que o trabalho dele seja interessante, no entanto.

— Huck Bennett

Verifique também a página de Steve Easterbrook (embora ele não seja um teórico).

— Kaveh

8

Kirk Pruhs é um líder na área de "computação verde", o estudo de algoritmos que tratam a energia como um recurso caro. Dê uma olhada nestes slides e nesta pesquisa de Sandy Irani e Pruhs.

— arnab
fonte

7

Tenho certeza que existem alguns, mas aqui está um. O livro "padrão" sobre a complexidade de Kolmogorov, de Li & Vitanyi, contém um capítulo sobre física, informação e computação. A parte que trata da energia remonta a von Neumann e Landauer.

O livro analisa a dissipação de energia do ponto de vista do TCS. Basicamente, os avanços na miniaturização e mobilização de dispositivos exigirão, em algum momento, uma computação quase sem dissipação. Parece que não há leis físicas que exijam computação reversível para dissipar energia. O livro analisa brevemente algumas implementações físicas de computadores reversíveis que são teoricamente possíveis. Há também um modelo lógico: a máquina reversível de Turing.

Além de Li & Vitanyi, você pode dar uma olhada em [1] e [2]. Você também pode estar interessado na pergunta Existe uma máquina abstrata que pode capturar o consumo de energia? no CS.SE.

R. Landauer. Irreversibilidade e geração de calor no processo de computação. IBM J. Res. Develop., 5: 183–191, 1961.

[2] CH Bennett e R. Landauer. Os limites físicos fundamentais da computação. Scientific American, 256 (7): 48-56, julho de 1985.

— Juho
fonte