ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب New Models for Population Protocols

دانلود کتاب مدل های جدید برای پروتکل های جمعیتی (سخنرانی های تلفیقی در نظریه محاسبات توزیع شده)

New Models for Population Protocols

مشخصات کتاب

New Models for Population Protocols

دسته بندی: ریاضیات کاربردی
ویرایش: 1 
نویسندگان: , ,   
سری: Synthesis Lectures on Distributed Computing Theory 
ISBN (شابک) : 1608455890, 9781608455898 
ناشر: Morgan & Claypool Publishers 
سال نشر: 2011 
تعداد صفحات: 157 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت 

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب New Models for Population Protocols به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مدل های جدید برای پروتکل های جمعیتی (سخنرانی های تلفیقی در نظریه محاسبات توزیع شده)

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


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

Wireless sensor networks are about to be part of everyday life. Homes and workplaces capable of self-controlling and adapting air-conditioning for different temperature and humidity levels, sleepless forests ready to detect and react in case of a fire, vehicles able to avoid sudden obstacles or possibly able to self-organize routes to avoid congestion, and so on, will probably be commonplace in the very near future. Mobility plays a central role in such systems and so does passive mobility, that is, mobility of the network stemming from the environment itself. The population protocol model was an intellectual invention aiming to describe such systems in a minimalistic and analysis-friendly way. Having as a starting-point the inherent limitations but also the fundamental establishments of the population protocol model, we try in this monograph to present some realistic and practical enhancements that give birth to some new and surprisingly powerful (for these kind of systems) computational models. Table of Contents: Population Protocols / The Computational Power of Population Protocols / Enhancing the model / Mediated Population Protocols and Symmetry / Passively Mobile Machines that Use Restricted Space / Conclusions and Open Research Directions / Acronyms / Authors' Biographies



فهرست مطالب

Preface......Page 16
Introduction......Page 18
A Formal Model......Page 19
Stable Computation......Page 21
Computational Complexity......Page 27
Overview of the Content......Page 29
Organization of the Text......Page 31
Exercises......Page 32
Semilinear Sets and Presburger Arithmetic......Page 38
Semilinear Predicates are Stably Computable......Page 41
Stably Computable Predicates are Semilinear......Page 46
Exercises......Page 52
Introduction......Page 54
Composition of Protocols: Stabilizing Inputs......Page 55
Probabilistic Population Protocols......Page 58
Epidemics......Page 59
3-State Approximate Majority Protocol......Page 61
Community Protocols......Page 63
The Model......Page 64
Computational Power......Page 66
Exercises......Page 69
Mediated Population Protocols and Symmetry......Page 72
Symmetric Nondeterministic Space(n2)......Page 74
Stable Computation......Page 75
Predicates on Input Assignments......Page 76
Stably Decidable Network Properties......Page 99
Weakly Connected Graphs......Page 100
Graphs not even Weakly Connected......Page 108
Exercises......Page 110
Passively Mobile Machines that Use Restricted Space......Page 114
The Model and The Power of Log Space......Page 116
A First Inclusion for PMSPACE(logn)......Page 119
Assigning Unique IDs by Reinitiating Computation......Page 120
A Better Inclusion for PMSPACE(logn)......Page 126
Below Log Space, Above Log Space and A Space Hierarchy......Page 129
Behavior of the PM Model for Space o(loglogn)......Page 133
The Logarithmic Predicate......Page 138
Exercises......Page 140
Conclusions......Page 142
Open Research Directions......Page 143
Bibliography......Page 146
Acronyms......Page 154
Authors' Biographies......Page 156




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