دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Modeling and Analysis of Communicating Systems
دانلود کتاب مدل سازی و تحلیل سیستم های ارتباطی
مشخصات کتاب
Modeling and Analysis of Communicating Systems
ویرایش:
نویسندگان: Jan Friso Groote. Mohammad Reza Mousavi
سری:
ISBN (شابک) : 9780262027717
ناشر: MIT Press
سال نشر: 2014
تعداد صفحات: 393
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 83,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Modeling and Analysis of Communicating Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل سازی و تحلیل سیستم های ارتباطی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل سازی و تحلیل سیستم های ارتباطی
سیستمهای کامپیوتری ارتباطی پیچیده - رایانههایی که توسط شبکههای داده متصل هستند و در ارتباط دائمی با محیط خود هستند - همیشه آنطور که انتظار میرود رفتار نمیکنند. این کتاب مدلسازی رفتاری را معرفی میکند، رویکردی دقیق برای مشخصات رفتاری و تأیید سیستمهای همزمان و توزیع شده. این یکی از معدود تکنیکهایی است که قادر به مدلسازی تعامل سیستمها در سطحی از انتزاع کافی برای درک و تجزیه و تحلیل تعامل است. این کتاب با ارائه یک نظریه مبتنی بر ریاضی و برنامه های کاربردی در دنیای واقعی، برای استفاده در کلاس درس و به عنوان مرجعی برای معماران سیستم مناسب است. این کتاب پایه و اساس مدلسازی رفتاری را با استفاده از جبر فرآیند، سیستمهای انتقال، انواع دادههای انتزاعی و منطقهای مودال پوشش میدهد. تمرین ها و مثال ها بحث نظری را تقویت می کنند. این کتاب یک زبان مدلسازی، mCRL2 را معرفی میکند که توصیف مختصری از پیچیدهترین الگوریتمها و پروتکلهای توزیعشده را ممکن میسازد. با استفاده از بدیهیات رفتاری و روشهای اثباتی مانند تلاقی، مخروط و کانون، خوانندگان میآموزند که چگونه چنین الگوریتمهایی را برابر با مشخصات آنها اثبات کنند. مشخصات در mCRL2 را میتوان شبیهسازی، تجسم یا بر اساس نیازهای آنها تأیید کرد. مجموعه ابزار گسترده mCRL2 برای تأیید مکانیکی الزامات به صورت رایگان در دسترس است. این مجموعه ابزار با موفقیت برای طراحی و تجزیه و تحلیل نرم افزارهای صنعتی که از برنامه های کاربردی مراقبت های بهداشتی تا شتاب دهنده های ذرات در CERN را شامل می شود، استفاده شده است. ضمیمه ها مطالبی را در مورد معادلات و نمادها و همچنین راه حل های تمرینی ارائه می دهند.
توضیحاتی درمورد کتاب به خارجی
Complex communicating computer systems—computers connected by data networks and in constant communication with their environments—do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects. The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions.
فهرست مطالب
Front Cover......Page 1
Front Matter......Page 2
Front Matter......Page 3
Front Matter......Page 4
Copyright......Page 5
Front Matter......Page 6
Front Matter......Page 7
Table of Contents......Page 8
Front Matter......Page 14
Front Matter......Page 15
Front Matter......Page 16
Front Matter......Page 18
Front Matter......Page 19
Body......Page 20
Back Matter......Page 311
Back Matter......Page 312
Back Matter......Page 376
Index......Page 390
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The NMR of Polymers
دانلود کتاب Logic Grammars
