ارزیابی کارایی سیستم‌های کامپیوتری

Performance Evaluation of Computer Systems

مقطع: تحصیلات تکمیلی گرایش: نرم‌افزار
نوع درس: نظری تعداد واحد: ۳
پیش‌نیاز: – هم‌نیاز: –

هدف کلی

هدف این درس استفاده از مفاهیم آمار، احتمال، فرایندهای اتفاقی، نظریه صف و شبیه‌سازی به عنوان ابزارهایی برای مدل‌سازی و مطالعه کمی سیستم‌های کامپیوتری و مخابراتی می‌باشد. داشتن آشنایی با ابزارهای فوق به دانشجویان امکان می‌دهد پژوهش‌های ناب در زمینه ارزیابی و تحلیل سیستم‌های کامپیوتری و شبکه انجام دهند.

سرفصل‌ها

  1. اهمیت تحلیل سیستم‌ها و ارزیابی کارایی و روش‌های اندازه‌گیری، مروری بر مبانی و نظریه احتمال و آمار
  2. مروری بر تبدیل‌ها از جمله لاپلاس و Z، نامساوی‌ها شامل مارکوف، چبیشف، چرنوف
  3. قانون‌های حدی، دنباله متغیرهای تصادفی و همگرایی دنباله متغیرهای تصادفی، قانون اعداد بزرگ
  4. فرآیندهای اتفاقی و فرآیندهای تجدید Renewal
  5. فرایند پواسن همگن و ناهمگن، زنجیر مارکف و فرایند مارکف
  6. نظریه صف و مدل‌های آن و آشنایی با قانون لیتل
  7. سیستم صف M/M/1 و گونه‌های آن نظیر سیستم‌های با اتلاف M/M/m/m
  8. مدل‌های سرور ارلانگ، Coxian، Phase type
  9. سیستم صف M/G/1 و صف‌های با تقدم priority و تعطیلات vacation
  10. دوره مشغولیت Busy Period و توابع توزیع تعداد مشتری و زمان انتظار در صف و سیستم
  11. شبکه‌های صف به شکل حاصلضرب باز و بسته نظیر جکسون و BCMP
  12. اصول و روش‌های شبیه‌سازی، راستی‌آزمایی و درستی‌سنجی و تحلیل خروجی

ارزیابی پیشنهادی

منابع پیشنهادی

  1. D.P. Bertsekas and J. N. Tsitsiklis. Introduction to Probability. 2nd Edition, Athena Scientific, 2008.
  2. S.M. Ross. A First Course in Probability. 10th Edition, Pearson, 2019.
  3. K.S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications. 3rd Edition, John Wiley and Sons, New York, 2016.
  4. M. Harchol-Balter. Performance Modeling and Design of Computer Systems: Queueing Theory in Action. Cambridge University Press, 2013.
  5. J. F. Shortle, J. M. Thompson, and D. Gross. Fundamentals of Queueing Theory. 5th Edition, Wiley, 2018
  6. K. Kant‎. ‎Introduction to Computer System Performance Evaluation. ‎McGraw-Hill‎, ‎1992‎.