Khảo sát về tình hình hiện đại 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 có thể đảo ngược, tập trung vào những kết quả đã xuất hiện trong Hành động COST IC1405 Tính toán có thể đảo ngược - Mở rộng chân trời tính toán, một mạng lưới nghiên cứu châu Âu hoạt động từ tháng 5 năm 2015 đến tháng 4 năm 2019. Tính toán có thể đảo ngược là một mô hình mới mở rộng chế độ tính toán chỉ chuyển tiếp truyền thống với khả năng thực hiện ngược lại, do đó tính toán có thể chạy ngược lại dễ dàng và tự nhiên như chuyển tiếp. Nó nhằm mục đích cung cấp các thiết bị và phần mềm tính toán mới lạ, đồng thời cải thiện 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 có thể đả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 đáng tin cậy và hướng đến phục hồi cũng như các cổng và mạch logic có thể đả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à mang tính khái niệm được thiết lập trước.

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ữ:	eng
Tác giả:	Ulidowski, Irek (editor), Ferreira, Carla (editor), Schultz, Ulrik Pagh (editor), Lanese, Ivan (editor)
Thông tin nhan đề:	Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405
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:	http://creativecommons.org/licenses/by/4.0/
Nguồn gốc:	https://directory.doabooks.org/handle/20.500.12854/38350
Mô tả vật lý:	237p.
Năm xuất bản:	2020