TCSとSustainable Energyの研究の間には何か関連がありますか？

8

理論的コンピューターサイエンスとチープ/サステイナブルエネルギーに関連する研究を知っている人はいますか？つまり、TCSには、Cheap / Sustainable Energyにあるアプリケーションの作業がありますか。

application-of-theory

— NDR
ソース

よくわかりません。「エネルギー」とはどういう意味ですか？エネルギー効率の高いコンピューティングですか？安くて持続可能なエネルギー生成？

— Sasho Nikolov 2012

J. Zico Kolterは、再生可能エネルギーと省エネルギーのさまざまな問題に機械学習技術を適用して素晴らしい仕事をしてきました：cs.cmu.edu/~zkolter/publications.htmlもちろん（1）これは実際には理論ではなく、（2）佐翔のように、「エネルギー」が何を意味するのか分かりません。うまくいけば、彼の作品は興味深いものになるでしょう。

— Huck Bennett

また、スティーブイースターブルックのページをチェックしてください（彼は理論家ではありません）。

— Kaveh

8

Kirk Pruhsは、エネルギーを高価な資源として扱うアルゴリズムの研究である「グリーンコンピューティング」の分野のリーダーです。見てみましょうこれらのスライドと、この調査サンディイラニとPruhsによると。

— アルナブ
ソース

7

きっとたくさんあると思いますが、こちらはこちらです。Li＆Vitanyiによるコルモゴロフの複雑さに関する「標準」の本には、物理学、情報、計算に関する章があります。エネルギーを扱う部分は、フォンノイマンやランダウアーなどにさかのぼります。

この本は、TCSの観点からエネルギー散逸について考察しています。基本的に、デバイスの小型化とモバイル化の進歩には、ある時点でほぼ無損失のコンピューティングが必要になります。エネルギーを散逸させるために可逆計算を必要とする物理法則はないようです。この本では、理論的に可能なリバーシブルコンピュータの物理的な実装について簡単に説明しています。論理的なモデルもあります：リバーシブルチューリングマシンです。

Li＆Vitanyiのほか、[1]と[2]もご覧ください。また、質問に興味があるかもしれません。電力消費をキャプチャできる抽象的なマシンはありますか？CS.SEで。

[1] R.ランダウアー。計算プロセスにおける不可逆性と発熱。IBM J. Res。Develop。、5：183–191、1961。

[2] CHベネットとR.ランダウアー。計算の基本的な物理的限界。Scientific American、256（7）：48–56、1985年7月。

— 十保
ソース