Khảo sát hiện đại truy cập mở này trình bày các kết quả khoa học chính gần đây trong lĩnh vực tính toán thuận nghịch, tập trung vào những kết quả đã xuất hiện trong COST Action IC1405 Tính toán thuận nghịch - Mở rộng tầm nhìn của điện toán, một mạng nghiên cứu Châu Âu vận hành từ tháng 5 năm 2015 đến tháng 4 năm 2019. Tính toán đảo ngược là một mô hình mới mở rộng phương thức tính toán truyền thống chỉ chuyển tiếp với khả năng thực hiện ngược lại, để tính toán có thể chạy lùi dễ dàng và tự nhiên như tiến. Nó nhằm mục đích cung cấp các thiết bị và phần mềm điện toán mới, đồng thời nâng cao các hệ thống hiện có bằng cách trang bị cho chúng khả năng đảo ngược. Có nhiều ứng dụng tiềm năng của tính toán đảo ngược, bao gồm các ngôn ngữ và công cụ phần mềm cho các hệ thống phân tán có định hướng phục hồi và đáng tin cậy cũng như các cổng và mạch logic đảo ngược mang tính cách mạng, nhưng chúng chỉ có thể được hiện thực hóa và có hiệu quả lâu dài nếu nền tảng lý thuyết vững chắc và khái niệm được thiết lập trước tiên.

Abstract:

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 Reversible Computation - Extending Horizons of Computing, a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.

Ngôn ngữ:	En
Tác giả:	Irek Ulidowski, Ivan Lanese Ulrik, Pagh Schultz, Carla Ferreira
Thông tin nhan đề:	Reversible Computation: Extending Horizons of Computing
Nhà xuất bản:	Springer Nature
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: công nghệ thông tin
Bản quyền:	https://creativecommons.org/licenses/by/4.0/
Nguồn gốc:	https://library.oapen.org/handle/20.500.12657/39589
Mô tả vật lý:	250p.
Năm xuất bản:	2020