Sale
رفع بنبست در سامانههای یکپارچه کامپیوتری ۲۰۱۸
Deadlock Resolution in Computer-Integrated Systems 2018
دانلود کتاب رفع بنبست در سامانههای یکپارچه کامپیوتری ۲۰۱۸ (Deadlock Resolution in Computer-Integrated Systems 2018) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی
| نویسنده |
MengChu Zhou, Maria Pia Fanti |
|---|
ناشر:
CRC Press
۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید
| سال انتشار |
2018 |
|---|---|
| زبان |
English |
| تعداد صفحهها |
696 |
| نوع فایل |
|
| حجم |
48.4 MB |
🏷️ قیمت اصلی: 200,000 تومان بود.129,000 تومانقیمت فعلی: 129,000 تومان.
هوشمصنوعی ترجمه کالیبو
توضیحات
معرفی کتاب رفع بنبست در سامانههای یکپارچه کامپیوتری ۲۰۱۸
سیستمهای پیچیده یکپارچه با رایانه، مزایای چشمگیری را در طیف گستردهای از کاربردها ارائه میدهند؛ از جمله تولید خودکار، حملونقل، نرمافزارهای همروند، سیستمهای عامل رایانه، شبکههای رایانهای، سیستمهای پایگاه داده توزیعشده و بسیاری از سیستمهای خودکار دیگر. با این حال، با پیچیدهتر، خودکارتر، توزیعشدهتر و پردازشمحورتر شدن این سیستمها، احتمال بروز مسائل بنبست (Deadlock) به طور تصاعدی افزایش مییابد. مدلسازی، شناسایی، اجتناب و بازیابی بنبست، برای بهبود عملکرد سیستم حیاتی است.
کتاب “رفع بنبست در سیستمهای یکپارچه با رایانه” اولین متن جامعی است که این مسئله را به صورت سیستماتیک خلاصه و بررسی میکند. این کتاب که شامل مشارکتهای محققان برجسته در این زمینه است، به مدلها و زمانبندی بدون بنبست، روشهای شناسایی و بازیابی، تدوین سیاستهای کنترل پویا، و مطالعات مقایسهای و معیار صنعتی که رویکردهای مختلف را ارزیابی میکنند، میپردازد. ویراستاران با ارائه یک نمونهی معمول از فرایند تولید خودکار، پایهای را برای بررسی مسائل بنبست بنا میکنند و سه روش اصلی مدلسازی (دیگرافها، شبکههای پتری و اتوماتا) را تشریح و مزایا و معایب مربوط به هر کدام را مقایسه میکنند.
این کتاب با ارائه تمام مدلها و رویکردهای مهم حل مسئله، راهنمای کاملی برای مهندسان برق و کنترل، و طراحان سیستمهای تولید، هوشمند و شبکهای است تا از بروز مسائل بنبست در سیستمهای خود جلوگیری کرده و آنها را مدیریت کنند.
فهرست کتاب:
۱. روی جلد
۲. صفحه عنوان فرعی
۳. صفحه عنوان
۴. صفحه حق تکثیر
۵. فهرست مطالب
۶. فهرست مشارکتکنندگان
۷. پیشگفتار
۱ مقدمهای بر تحقیق قفلشدگی در سیستمهای یکپارچه کامپیوتری
۲ اجتناب از قفلشدگی در سیستمهای تولید خودکار با استفاده از اتوماتای متناهی و جستجوی فضای حالت
۳ سنتز کنترلکنندههای نظارتی بدون قفلشدگی با استفاده از اتوماتا
۴ اجتناب از قفلشدگی و انعطافپذیری مسیریابی پویا در سیستمهای تولید خودکار
۵ تکنیکهای مبتنی بر گراف جهت رفع قفلشدگی در سیستمهای تولید خودکار
۶ کنترل نظارتی بدون قفلشدگی برای سیستمهای مونتاژ و جداسازی
۷ الگوریتمهای اجتناب از قفلشدگی و پیادهسازی: یک رویکرد مبتنی بر ماتریس
۸ تشخیص و پیشگیری از قفلشدگی در سیستمهای تولید خودکار با استفاده از شبکههای پتری و سیفونها
۹ توصیف مبتنی بر سیفون از زندهبودن و نظارت تقویتکننده زندهبودن برای سیستمهای تخصیص منبع ترتیبی
۱۰ سیفونهای ابتدایی شبکههای پتری برای کنترل کارآمد قفلشدگی
۱۱ شبکههای پتری منبعمحور در پیشگیری و اجتناب از قفلشدگی
۱۲ اثر تکنیکهای مدلسازی و کنترل بر مدیریت قفلشدگیها در FMS
۱۳ توصیف و رفع قفلشدگی در شبکههای اتصال متقابل
۱۴ مدلهای قفلشدگی برای پروتکل دسترسی چندگانه چند سرویس با استفاده از کانال سیگنالینگ مبتنی بر درخت Q-ary یا شکافدار آلوها
۱۵ پروتکل TCP بدون قفلشدگی بر روی اینترنت پرسرعت
۱۶ رفع قفلشدگی در محاسبات اینترنتی در مقیاس بزرگ
۱۷ مدلهای مورد استفاده در تحلیل ایستا برای قفلشدگیهای برنامههای وظیفهبندی آدا
۱۸ مدیریت قفلشدگی در سیستمهای پایگاه داده
۲۶. فهرست نمایه
توضیحات(انگلیسی)
Complex computer-integrated systems offer enormous benefits across a wide array of applications, including automated production, transportation, concurrent software, and computer operating systems, computer networks, distributed database systems, and many other automated systems. Yet, as these systems become more complex, automated, distributed, and computing-intensive, the opportunity for deadlock issues rises exponentially. Deadlock modeling, detection, avoidance, and recovery are critical to improving system performance. Deadlock Resolution in Computer-Integrated Systems is the first text to summarize and comprehensively treat this issue in a systematic manner. Consisting of contributions from prominent researchers in the field, this book addresses deadlock-free models and scheduling, detection and recovery methods, the formulation of dynamic control policies, and comparison and industrial benchmark studies that evaluate various approaches. The editors lay the foundation for exploring deadlock issues with a typical example of an automated manufacturing process, illustrating three primary modeling methods (digraphs, Petri nets, and automata) and comparing their respective advantages and disadvantages. Providing all of the important models and resolution approaches, this book is the complete guide for electrical and control engineers and manufacturing, intelligent, and network systems designers to prevent and manage deadlock issues in their systems.
Table of Contents
1. Cover
2. Half Title
3. Title Page
4. Copyright Page
5. Table of Contents
6. List of Contributors
7. Preface
1 Introduction to Deadlock Research in Computer-Integrated Systems
2 Deadlock Avoidance in Automated Manufacturing Systems Using Finite Automata and State Space Search
3 Synthesis of Deadlock-Free Supervisory Controllers Using Automata
4 Deadlock Avoidance and Dynamic Routing Flexibility in Automated Manufacturing Systems
5 Digraph-Based Techniques for Deadlock Resolution in Automated Manufacturing Systems
6 Deadlock-Free Supervisory Control for Assembly and Disassembly Systems
7 Deadlock Avoidance Algorithms and Implementation: A Matrix Based Approach
8 Deadlock Detection and Prevention of Automated Manufacturing Systems Using Petri Nets and Siphons
9 Siphon-Based Characterization of Liveness and Liveness-Enforcing Supervision for Sequential Resource Allocation Systems
10 Elementary Siphons of Petri Nets for Efficient Deadlock Control
11 Resource-Oriented Petri Nets in Deadlock Prevention and Avoidance
12 The Effect of Modeling and Control Techniques on the Management of Deadlocks in FMS
13 Deadlock Characterization and Resolution in Interconnection Networks
14 Deadlock Models for a Multi-Service Medium Access Protocol Employing a Slotted Aloha or Q-ary Tree Based Signaling Channel
15 Deadlock-Free TCP Over High-Speed Internet
16 Deadlock Resolution in Large-Scale Internet Computing
17 Models Used in Static Analysis for Deadlocks of Ada Tasking Programs
18 Deadlock Handling in Database Systems
26. Index
دیگران دریافت کردهاند
توسعه تراز پرداختهای پایدار در کشورهای کوچک: درسهایی از بنبست اقتصاد کلان در جامائیکا ۲۰۱۷
Developing Sustainable Balance of Payments in Small Countries: Lessons from Macroeconomic Deadlock in Jamaica 2017
✨ ضمانت تجربه خوب مطالعه
بازگشت کامل وجه
در صورت مشکل، مبلغ پرداختی بازگردانده می شود.
دانلود پرسرعت
دانلود فایل کتاب با سرعت بالا
ارسال فایل به ایمیل
دانلود مستقیم به همراه ارسال فایل به ایمیل.
پشتیبانی ۲۴ ساعته
با چت آنلاین و پیامرسان ها پاسخگو هستیم.
ضمانت کیفیت کتاب
کتاب ها را از منابع معتیر انتخاب می کنیم.
