مشخصات کتاب

Theory of Reversible Computing

ویرایش:  
نویسندگان: Kenichi Morita  
سری:  
ISBN (شابک) : 9784431566069 
ناشر: Apress 
سال نشر: 2017 
تعداد صفحات: 460 
زبان: english 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

در صورت تبدیل فایل کتاب Theory of Reversible Computing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه محاسبات برگشت پذیر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نظریه محاسبات برگشت پذیر

این کتاب محاسبات برگشت پذیر را از دیدگاه تئوری اتوماتا و محاسبات توصیف می کند. این بررسی می کند که چگونه می توان از برگشت پذیری به طور موثر در محاسبات استفاده کرد. یک سیستم محاسباتی برگشت‌پذیر یک سیستم قطعی معکوس است، به طوری که هر حالت از سیستم حداکثر یک سلف دارد. اگرچه تعریف آن بسیار ساده است، اما ارتباط نزدیکی با برگشت پذیری فیزیکی، یکی از قوانین میکروسکوپی بنیادی طبیعت دارد. این کتاب که توسط دانشمند برجسته در این زمینه نوشته شده است، به عنوان یک اثر مرجع ارزشمند برای هر کسی که در محاسبات برگشت پذیر یا به طور کلی در نظریه اتوماتا کار می کند، عمل می کند. این کار به مدل‌های محاسباتی برگشت‌پذیر مختلف در چندین سطح مختلف می‌پردازد، که از میکروسکوپی تا ماکروسکوپی را شامل می‌شود و هدف آن روشن‌سازی چگونگی انجام محاسبات کارآمد و ظریف در این مدل‌های محاسباتی برگشت‌پذیر است. از آنجایی که روش‌های ساخت اغلب منحصر به فرد و متفاوت از روش‌های سنتی هستند، این مدل‌های محاسباتی و همچنین روش‌های طراحی، بینش جدیدی را برای سیستم‌های محاسباتی آینده ارائه می‌کنند. این کتاب که از پایین به بالا سازماندهی شده است، با پایین ترین مقیاس عناصر منطقی برگشت پذیر و مدارهای ساخته شده از آنها شروع می شود. پس از آن ماشین‌های تورینگ برگشت‌پذیر، ابتدایی‌ترین ماشین‌های محاسباتی جهانی، و برخی دیگر از انواع اتوماتای ​​برگشت‌پذیر مانند اتوماتای ​​چند سر برگشت‌پذیر و ماشین‌های شمارنده برگشت‌پذیر قرار می‌گیرند. متن با اتوماتای ​​سلولی برگشت پذیر برای محاسبات فضایی و زمانی موازی به پایان می رسد. برای اینکه خواننده بتواند درک روشنی از هر مدل داشته باشد، ارائه‌های همه مدل‌های مختلف از یک الگوی مشابه پیروی می‌کنند: مدل با جزئیات کامل ارائه شده است، یک بحث غیررسمی کوتاه در مورد نقش عناصر مختلف مدل برگزار می‌شود، و یک مثال با تصاویر به دنبال هر مدل است.

توضیحاتی درمورد کتاب به خارجی

This book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing system is a “backward deterministic” system such that every state of the system has at most one predecessor. Although its definition is very simple, it is closely related to physical reversibility, one of the fundamental microscopic laws of Nature. Authored by the leading scientist on the subject, this book serves as a valuable reference work for anyone working in reversible computation or in automata theory in general. This work deals with various reversible computing models at several different levels, which range from the microscopic to the macroscopic, and aims to clarify how computation can be carried out efficiently and elegantly in these reversible computing models. Because the construction methods are often unique and different from those in the traditional methods, these computing models as well as the design methods provide new insights for future computing systems. Organized bottom-up, the book starts with the lowest scale of reversible logic elements and circuits made from them. This is followed by reversible Turing machines, the most basic computationally universal machines, and some other types of reversible automata such as reversible multi-head automata and reversible counter machines. The text concludes with reversible cellular automata for massively parallel spatiotemporal computation. In order to help the reader have a clear understanding of each model, the presentations of all different models follow a similar pattern: the model is given in full detail, a short informal discussion is held on the role of different elements of the model, and an example with illustrations follows each model.

فهرست مطالب

Front Matter ....Pages i-xvii
 Introduction  (Kenichi Morita)....Pages 1-13
 Reversible Logic Elements with Memory  (Kenichi Morita)....Pages 15-30
 Classification of Reversible Logic Elements with Memory and Their Universality  (Kenichi Morita)....Pages 31-75
 Reversible Logic Gates  (Kenichi Morita)....Pages 77-101
 Reversible Turing Machines  (Kenichi Morita)....Pages 103-156
 Making Reversible Turing Machines from Reversible Primitives  (Kenichi Morita)....Pages 157-172
 Universal Reversible Turing Machines  (Kenichi Morita)....Pages 173-201
 Space-Bounded Reversible Turing Machines  (Kenichi Morita)....Pages 203-228
 Other Models of Reversible Machines  (Kenichi Morita)....Pages 229-259
 Reversible Cellular Automata  (Kenichi Morita)....Pages 261-298
 One-Dimensional Universal Reversible Cellular Automata  (Kenichi Morita)....Pages 299-329
 Two-Dimensional Universal Reversible Cellular Automata  (Kenichi Morita)....Pages 331-365
 Reversible Elementary Triangular Partitioned Cellular Automata  (Kenichi Morita)....Pages 367-419
 Self-reproduction in Reversible Cellular Automata  (Kenichi Morita)....Pages 421-447
Back Matter ....Pages 449-457

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Image and Video Retrieval: Third International Conference, CIVR 2004, Dublin, Ireland, July 21-23, 2004. Proceedings

دانلود کتاب Clean-in-Place for the Biopharmaceutical Processes

دانلود کتاب Rhodium Catalyzed Hydroformylation

دانلود کتاب CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings

دانلود کتاب 鼓励孩子50招