مشخصات کتاب

Deadlock Resolution in Computer-Integrated Systems

ویرایش: 1 
نویسندگان: MengChu Zhou (Editor),  Maria Pia Fanti (Editor)  
سری:  
ISBN (شابک) : 9780824753689, 9781351821865 
ناشر: CRC Press 
سال نشر: 2004 
تعداد صفحات: 693 
زبان:  
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 46 مگابایت 

کلمات کلیدی مربوط به کتاب حل بن بست در سیستم های یکپارچه کامپیوتری: علوم کامپیوتر، مهندسی کامپیوتر، مهندسی نرم افزار و توسعه سیستم ها، سیستم های عامل

در صورت تبدیل فایل کتاب Deadlock Resolution in Computer-Integrated Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب حل بن بست در سیستم های یکپارچه کامپیوتری

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

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

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.

فهرست مطالب

LIST OF CONTRIBUTORS
PREFACE
INTRODUCTION TO DEADLOCK RESEARCH IN COMPUTER-INTEGRATED SYSTEMS
M.P. Fanti and M.C. Zhou
DEADLOCK AVOIDANCE IN AUTOMATED MANUFACTURING SYSTEMS USING FINITE AUTOMATA AND STATE SPACE SEARCH
A. Yalcin, T. Tai, and T.O. Boucher
SYNTHESIS OF DEADLOCK-FREE SUPERVISORY CONTROLLERS USING AUTOMATA
A. Ramirez-Serrano and B. Benhabib
DEADLOCK AVOIDANCE AND DYNAMIC ROUTING FLEXIBILITY IN AUTOMATED MANUFACTURING SYSTEMS
M. Lawley
DIGRAPH-BASED TECHNIQUES FOR DEADLOCK RESOLUTION IN AUTOMATED MANUFACTURING SYSTEMS
M.P. Fanti, B. Maione, G. Maione, and B. Turchiano
DEADLOCK-FREE SUPERVISORY CONTROL FOR ASSEMBLY AND DISASSEMBLY SYSTEMS
E. Roszkowska
DEADLOCK AVOIDANCE ALGORITHMS AND IMPLEMENTATION: A MATRIX-BASED APPROACH
J. Mireles Jr., F. Lewis, A. Gürel, and S. Bogdan
DEADLOCK DETECTION AND PREVENTION OF AUTOMATED MANUFACTURING SYSTEMS USING PETRI NETS AND SIPHONS
M.D. Jeng, and X. Xie
SIPHON-BASED CHARACTERIZATION OF LIVENESS AND LIVENESS-ENFORCING SUPERVISION FOR SEQUENTIAL RESOURCE ALLOCATION SYSTEMS
S. Reveliotis
ELEMENTARY SIPHONS OF PETRI NETS FOR EFFICIENT DEADLOCK CONTROL
Z. Li and M.C. Zhou
RESOURCE-ORIENTED PETRI NETS IN DEADLOCK PREVENTION AND AVOIDANCE
N. Wu and M.C. Zhou
THE EFFECT OF MODELING AND CONTROL TECHNIQUES ON THE MANAGEMENT OF DEADLOCKS IN FMS
L. Ferrarini and L. Piroddi
DEADLOCK CHARACTERIZATION AND RESOLUTION IN INTERCONNECTION NETWORKS
T. M. Pinkston
DEADLOCK MODELS FOR A MULTI-SERVICE MEDIUM ACCESS PROTOCOL EMPLOYING A SLOTTED ALOHA OR Q-ARY TREE BASED SIGNALING CHANNEL
M.V. Ivanovich
DEADLOCK-FREE TCP OVER HIGH-SPEED INTERNET
R.K.C. Chang, H.Y. Chan and A.W. Yeung
DEADLOCK RESOLUTION IN LARGE-SCALE INTERNET COMPUTING
J. Park
MODELS USED IN STATIC ANALYSIS FOR DEADLOCKS OF ADA TASKING PROGRAMS
M. Tiusanen and T. Murata
DEADLOCK HANDLING IN DATABASE SYSTEMS
M. Weske
INDEX

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

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

دانلود کتاب A Short History of England: The Glorious Story of a Rowdy Nation

دانلود کتاب Fundamentals of Microfluidics and Lab on a Chip for Biological Analysis and Discovery

دانلود کتاب Internationale Klassifizierung der medizinischen Primärversorgung ICPC-2: Ein Codierungssystem der Allgemeinmedizin

دانلود کتاب Métodos numéricos : Introducción, aplicaciones y programación

دانلود کتاب Sartre's Nausea : text, context, intertext