برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Decidability of Parameterized Verification

دانلود کتاب قابلیت اطمینان از تأیید پارامتری

مشخصات کتاب

Decidability of Parameterized Verification

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان: Roderick Bloem,  Swen Jacobs,  Ayrat Khalimov,  Igor Konnov,  Sasha Rubin,  Helmut Veith,  Josef Widder  
سری: Synthesis Lectures on Distributed Computing Theory 
ISBN (شابک) : 9781627057431, 9781627057448 
ناشر: Morgan & Claypool 
سال نشر: 2015 
تعداد صفحات: 170 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

قیمت کتاب (تومان) : 33,000

کلمات کلیدی مربوط به کتاب قابلیت اطمینان از تأیید پارامتری: مدل پارامتری که سیستم‌های همزمان را بررسی می‌کند، قطع‌پذیری تایید رسمی را توزیع می‌کند

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 5

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

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

توضیحاتی در مورد کتاب قابلیت اطمینان از تأیید پارامتری

در حالی که مشکل بررسی مدل کلاسیک این است که تصمیم بگیریم که آیا یک سیستم محدود یک ویژگی را برآورده می کند یا خیر، هدف بررسی مدل پارامتری شده این است که با توجه به سیستم های محدود M(n) که با n در N پارامتر شده اند، تصمیم گیری کنیم که آیا برای همه n در N، سیستم M(n) یک مشخصات را برآورده می کند. در این کتاب ما مورد مهم M(n) بودن یک سیستم همزمان را در نظر می گیریم، که در آن تعداد فرآیندهای تکرار شده به پارامتر n بستگی دارد اما هر فرآیند مستقل از n است. به عنوان مثال، پروتکل‌های انسجام حافظه پنهان، شبکه‌های عامل‌های حالت محدود، و سیستم‌هایی هستند که مشکلات مربوط به حذف متقابل یا زمان‌بندی را حل می‌کنند. مثال‌های دیگر انتزاع‌هایی از سیستم‌ها هستند، که در آن فرآیندهای سیستم‌های اصلی در واقع به پارامتر بستگی دارد. ما ادبیات در این زمینه تعداد زیادی از مدل‌های محاسباتی را بر اساس انواع همگام‌سازی و ارتباطات اولیه، از جمله عبور رمز، پخش، و انتقال‌های محافظت‌شده مورد مطالعه قرار داده‌ایم. اغلب، اصطلاحات مختلفی در ادبیات استفاده می شود و نتایج بر اساس فرضیات ضمنی است. در این کتاب، ما یک مدل محاسباتی را معرفی می‌کنیم که همگام‌سازی مرکزی و ارتباطات اولیه بسیاری از مدل‌ها را متحد می‌کند و مفروضات پنهان از ادبیات را آشکار می‌کند. ما نتایج تصمیم‌پذیری و غیرقابل تصمیم‌گیری موجود را بررسی می‌کنیم و دیدگاهی سیستماتیک از مشکلات اساسی در این حوزه تحقیقاتی هیجان‌انگیز ارائه می‌کنیم.

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

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems M(n) parameterized by n in N, whether, for all n in N, the system M(n) satisfies a specification. In this book we consider the important case of M(n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n. Examples are cache coherence protocols, networks of finite-state agents, and systems that solve mutual exclusion or scheduling problems. Further examples are abstractions of systems, where the processes of the original systems actually depend on the parameter. We literature in this area has studied a wealth of computational models based on a variety of synchronization and communication primitives, including token passing, broadcast, and guarded transitions. Often, different terminology is used in the literature, and results are based on implicit assumptions. In this book, we introduce a computational model that unites the central synchronization and communication primitives of many models, and unveils hidden assumptions from the literature. We survey existing decidability and undecidability results, and give a systematic view of the basic problems in this exciting research area.