Có mối liên hệ nào giữa TCS và nghiên cứu Năng lượng bền vững không?

8

Có ai biết bất kỳ công việc nào liên quan đến Khoa học máy tính lý thuyết và Năng lượng rẻ / bền vững không? tức là có bất kỳ công việc nào trong TCS với ứng dụng là Năng lượng rẻ / bền vững.

application-of-theory

— NDR
nguồn

Tôi không chắc tôi hiểu. "Năng lượng" nghĩa là gì? Tính toán tiết kiệm năng lượng? Sản xuất năng lượng rẻ / bền vững?

— Sasho Nikolov

J. Zico Kolter đã thực hiện tốt công việc áp dụng các kỹ thuật máy học cho một số vấn đề khác nhau trong bảo tồn năng lượng và năng lượng tái tạo: cs.cmu.edu/~zkolter/publications.html Tất nhiên (1) đây không thực sự là lý thuyết và (2) như Sasho Tôi không chắc ý của bạn là "năng lượng". Hy vọng công việc của anh ấy sẽ vẫn thú vị.

— Huck Bennett

Đồng thời kiểm tra trang của Steve Easterbrook (mặc dù ông không phải là nhà lý thuyết).

— Kaveh

8

Kirk Pruhs là một nhà lãnh đạo trong lĩnh vực "điện toán xanh", nghiên cứu các thuật toán coi năng lượng là một nguồn tài nguyên đắt tiền. Hãy xem những slide này và khảo sát này của Sandy Irani và Pruhs.

— arnab
nguồn

7

Tôi chắc chắn có khá nhiều, nhưng đây là một. Cuốn sách "tiêu chuẩn" về độ phức tạp Kolmogorov của Li & Vitanyi có một chương về vật lý, thông tin và tính toán. Phần liên quan đến năng lượng quay trở lại như von Neumann và Landauer.

Cuốn sách nhìn vào sự tiêu tán năng lượng từ quan điểm của TCS. Về cơ bản, những tiến bộ trong việc thu nhỏ và huy động các thiết bị tại một số điểm sẽ đòi hỏi tính toán gần như không tiêu tan. Dường như không có định luật vật lý nào đòi hỏi tính toán thuận nghịch để tiêu tán năng lượng. Cuốn sách nhìn ngắn gọn về một số triển khai vật lý của các máy tính có thể đảo ngược về mặt lý thuyết là có thể. Ngoài ra còn có một mô hình logic: máy Turing có thể đảo ngược.

Ngoài Li & Vitanyi, bạn có thể xem [1] và [2]. Bạn cũng có thể quan tâm đến câu hỏi Có một cỗ máy trừu tượng có thể nắm bắt mức tiêu thụ năng lượng không? trên CS.SE.

[1] R. Landau. Không thể đảo ngược và sinh nhiệt trong quá trình tính toán. IBM J. Res. Phát triển., 5: 183 Vang191, 1961.

[2] CH Bennett và R. Landauer. Các giới hạn vật lý cơ bản của tính toán. Khoa học Mỹ, 256 (7): 48 bóng56, tháng 7 năm 1985.

— Juho
nguồn