کتاب الکترونیکی

شبکه های صف و زنجیره مارکوف: مدل سازی و ارزیابی عملکرد با کاربردهای علوم کامپیوتر

Queueing Networks and Markov Chains : Modeling and Performance Evaluation With Computer Science Applications

دانلود کتاب Queueing Networks and Markov Chains : Modeling and Performance Evaluation With Computer Science Applications (به فارسی: شبکه های صف و زنجیره مارکوف: مدل سازی و ارزیابی عملکرد با کاربردهای علوم کامپیوتر) نوشته شده توسط «Gunter Bolch – Stefan Greiner – Hermann de Meer – Kishor Shridharbhai Trivedi – Hermann de Meer – Kishor S. Trivedi»


اطلاعات کتاب شبکه های صف و زنجیره مارکوف: مدل سازی و ارزیابی عملکرد با کاربردهای علوم کامپیوتر

موضوع اصلی: آمار ریاضی

نوع: کتاب الکترونیکی

ناشر: Wiley-Interscience

نویسنده: Gunter Bolch – Stefan Greiner – Hermann de Meer – Kishor Shridharbhai Trivedi – Hermann de Meer – Kishor S. Trivedi

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1998

تعداد صفحه: 747

حجم کتاب: 11 مگابایت

کد کتاب: 9780471193661 , 0471193666

توضیحات کتاب شبکه های صف و زنجیره مارکوف: مدل سازی و ارزیابی عملکرد با کاربردهای علوم کامپیوتر

نویسندگان یک نمای کلی زیبا از ارزیابی عملکرد کامپیوتر با استفاده از تئوری صف و زنجیره های مارکوف پیوسته و گسسته ارائه می دهند. پس از بررسی کوتاه احتمالات و آمار مربوطه، نویسندگان زنجیره‌های مارکوف را در فصل دوم مورد بحث قرار می‌دهند و اشاره می‌کنند که فرآیندهای مارکوف را می‌توان برای مدل‌سازی سیستم‌های صف حتی زمانی که این سیستم‌ها دارای رفتاری هستند که توسط توزیع‌های غیر نمایی کنترل می‌شود، استفاده کرد. آنها این روش ها را به عنوان روش های مارکویزینگ توصیف می کنند. برخورد آنها با هر دو مدل مارکوف زمان گسسته و پیوسته کوتاه اما کافی است و تمام مفاهیم ضروری مانند ارگودیسیته و کاهش ناپذیری را پوشش می دهد. آنها سپس یک بحث کامل در مورد فرآیند مدل سازی که در عمل انجام می شود ارائه می دهند. بحث آنها در مورد اندازه مدل، روش‌های آنها را برای برخورد با مدل‌های بزرگ در ادامه کتاب تنظیم می‌کند. معیارهای عملکرد برای الزامات سیستم از نظر مدل‌های پاداش مارکوف مورد بحث قرار می‌گیرند. درمان آنها در اینجا بسیار مفصل است و آنها همچنین مجموعه بزرگی از مراجع مفید در مورد این موضوع را ارائه می دهند. شبکه های پتری نیز در زمینه تولید مدل مورد بحث قرار می گیرند. به نظر من، نویسندگان به درستی بیان می‌کنند که باید زمان بیشتری برای توسعه مدل‌ها صرف شود تا ریاضیات اساسی. نویسندگان در برخورد با شبکه‌هایی با زمان سرویس غیر نمایی و توزیع‌های زمان بین‌آور، از تقریب انتشار از طریق حل معادله فوکر-پلانک استفاده می‌کنند. در این مورد به تفصیل بحث نکنید، اما برای کسانی که می توانند آلمانی بخوانند، ارجاع دهید. با توجه به معرفی شگفت‌انگیز معادله فوکر-پلانک در تئوری صف، این مکانی برای تجزیه و تحلیل و استنتاج دقیق بود. آنها همچنین از روش‌های ماکزیمم آنتروپی برای بدست آوردن راه‌حل‌های تقریبی شبکه‌های صف باز و بسته استفاده می‌کنند. فصل بسیار کوتاهی در مورد بهینه سازی در فصل بعدی آورده شده است که با توجه به اهمیت این موضوع در پیاده سازی تجاری شبکه ها، می تواند طولانی تر باشد. فصل بعدی برخی از ابزارهای عملکردی را که برای مطالعه شبکه ها در دسترس هستند، پوشش می دهد. سیستم ارزیابی و پیش‌بینی عملکرد (PEPSY)، بسته شبکه پتری تصادفی (SPNP)، زبان CSPL، زبان توصیف مدل (MOSEL)، ارزیاب خودکار عملکرد قابلیت اطمینان سلسله مراتبی نمادین (SHARPE) با مثال‌هایی از هر کدام مورد بحث قرار گرفته‌اند. خوانندگانی که این ابزارها را ندارند البته از خواندن این فصل سود زیادی نخواهند برد، مگر اینکه شاید ایده ای از آنچه در دسترس است داشته باشند. بسته‌های OPNET و Ns-simulator که ابزارهای مدل‌سازی بسیار خوبی هستند به دلایلی اصلاً مورد بررسی قرار نمی‌گیرند.

فصل آخر برنامه‌ها را با مطالعات موردی شبکه‌های صف، زنجیره‌های مارکوف، شبکه‌های پتری تصادفی و مدل‌های سلسله مراتبی پوشش می‌دهد. اگرچه در عمل تا حدودی ارزش محدودی دارد، اما مثال‌های ارائه شده به خواننده ایده می‌دهد که چگونه می‌توان مطالب موجود در کتاب را به کار برد. و در اینجا دوباره، نویسندگان بر استفاده از بسته‌های مدل‌سازی مانند SHARPE و PEPSY برای تأیید محاسبات در مطالعات موردی تأکید می‌کنند. آنها یک مدل غیرمحصولی بسته از یک شبکه محلی با اندازه متوسط ​​را با جزئیات با پیوندهای اترنت و یک حلقه FDDI در نظر می گیرند و آن را با استفاده از روش ماری حل می کنند. همچنین مدل آنها از سیستم عامل یونیکس جالب است، که همچنین توسط یک شبکه صف بسته غیرمحصولی نشان داده می شود. آنها زمان محاسبات مورد نیاز برای حل مدل را با استفاده از تکنیک های CTMC، سایه و DES مقایسه می کنند. اگرچه بحث بسیار عجولانه است، اما مدل آنها از یک شبکه ATM نیز جالب است، زیرا آنها از مدل های پاداش مارکوف استفاده می کنند و راه حل های حالت و گذرا را به دست می آورند.

این کتاب کتابی است که به کسانی که مدل‌سازی شبکه، تجزیه و تحلیل عملکرد، و سایر فعالیت‌های مدل‌سازی زمان‌بندی زمانی را انجام می‌دهند، کمک زیادی می‌کند. این تا حدودی گران است، اما به نظر من با توجه به مراقبتی که نویسندگان در ارائه خود دارند، ارزش قیمتی دارد.


The authors give a nice overview of computer performance evaluation using queueing theory and continuous and discrete-time Markov chains. After a short review of the relevant probability and statistics, the authors discuss Markov chains in the second chapter, pointing out that Markov processes can be used to model queueing systems even when these systems have behavior governed by non-exponential distributions. They characterize these as Markovizing methods. Their treatment of both discrete and continuous time Markov models is short but adequate, covering all the necessary concepts such as ergodicity and irreducibility. They then give a thorough discussion of the modeling process as actually done in practice. Their discussion of model sizing sets up their methodologies for dealing with large models later in the book. Performance measures for system requirements are discussed in terms of Markov reward models. Their treatment here is very detailed and they also give a large collection of helpful references on the subject.Petri nets are also discussed in the context of model generation. The authors state, correctly I think, that more time should be spent of developing models rather than the underlying mathematics. In their treatment of networks with non-exponential service time and interarrival time distributions, the authors employ the diffusion approximation via the solution of the Fokker-Planck equation. The don’t discuss this in detail but give references for those who can read German. This would have been a place for a detailed analysis and derivation, given the surprising introduction of the Fokker-Planck equation in queueing theory. They also use, interestingly, maximum entropy methods to get approximate solutions of open and closed queueing networks. A very short chapter on optimization is given in the next chapter, which could stand to be more lengthy given the importance of this in implementing networks commercially. The next chapter covers some of the performance tools that are available for studying networks. The Performance Evaluation and Prediction System (PEPSY), stochastic Petri net package (SPNP), the CSPL language, the Model Description Language (MOSEL), the symbolic hierarchical automated reliability performance evaluator (SHARPE) are discussed with examples of each. Readers not having these tools will of course will not benefit too much from reading this chapter, except for maybe to get an idea of what is available. The OPNET and Ns-simulator packages,which are very nice modeling tools are not treated at all for some reason.

The last chapter covers applications, with case studies of queueing networks, Markov chains, stochastic Petri nets, and hierarchical models. Although of somewhat limited value in practice, the examples given do give the reader an idea of how the material in the book can be applied. And here again, the authors stress the use of modeling packages such as SHARPE and PEPSY, to verify the calculations in the case studies. They consider a closed non-product form queueing model of a medium-sized LAN in some detail with Ethernet links and a FDDI ring, solving it using Marie’s method. Also interesting is their model of the UNIX operating system, which is also represented by a closed non-product queueing network. They compare the computation time needed to solve the model using CTMC, shadow, and DES techniques. Although the discussion is rather hurried, their model of an ATM network is also interesting, in that they use Markov reward models, obtaining both the state and transient solutions.

The book is one that will be of great assistance to those doing network modeling, performance analysis, and other time-scheduling modeling activiites. It is somewhat expensive, but worth the price I think considering the care which the authors take in their exposition.

دانلود کتاب «شبکه های صف و زنجیره مارکوف: مدل سازی و ارزیابی عملکرد با کاربردهای علوم کامپیوتر»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.