ارزیابی کارایی سیستم‌های کامپیوتری
Performance Evaluation of Computer Systems
| مقطع: تحصیلات تکمیلی | گرایش: نرم‌افزار |
| نوع درس: نظری | تعداد واحد: ۳ |
| پیش‌نیاز: – | هم‌نیاز: – |
هدف کلی
هدف این درس استفاده از مفاهیم آمار، احتمال، فرایندهای اتفاقی، نظریه صف و شبیه‌سازی به عنوان ابزارهایی برای مدل‌سازی و مطالعه کمی سیستم‌های کامپیوتری و مخابراتی می‌باشد. داشتن آشنایی با ابزارهای فوق به دانشجویان امکان می‌دهد پژوهش‌های ناب در زمینه ارزیابی و تحلیل سیستم‌های کامپیوتری و شبکه انجام دهند.
سرفصل‌ها
- اهمیت تحلیل سیستم‌ها و ارزیابی کارایی و روش‌های اندازه‌گیری، مروری بر مبانی و نظریه احتمال و آمار
- مروری بر تبدیل‌ها از جمله لاپلاس و Z، نامساوی‌ها شامل مارکوف، چبیشف، چرنوف
- قانون‌های حدی، دنباله متغیرهای تصادفی و همگرایی دنباله متغیرهای تصادفی، قانون اعداد بزرگ
- فرآیندهای اتفاقی و فرآیندهای تجدید Renewal
- فرایند پواسن همگن و ناهمگن، زنجیر مارکف و فرایند مارکف
- نظریه صف و مدل‌های آن و آشنایی با قانون لیتل
- سیستم صف M/M/1 و گونه‌های آن نظیر سیستم‌های با اتلاف M/M/m/m
- مدل‌های سرور ارلانگ، Coxian، Phase type
- سیستم صف M/G/1 و صف‌های با تقدم priority و تعطیلات vacation
- دوره مشغولیت Busy Period و توابع توزیع تعداد مشتری و زمان انتظار در صف و سیستم
- شبکه‌های صف به شکل حاصلضرب باز و بسته نظیر جکسون و BCMP
- اصول و روش‌های شبیه‌سازی، راستی‌آزمایی و درستی‌سنجی و تحلیل خروجی
ارزیابی پیشنهادی
- فعالیت‌های کلاسی در طول نیم‌سال: ۷۰ درصد نمره
- آزمون پایان نیم‌سال: ۳۰ درصد نمره
منابع پیشنهادی
- D.P. Bertsekas and J. N. Tsitsiklis. Introduction to Probability. 2nd Edition, Athena Scientific, 2008.
- S.M. Ross. A First Course in Probability. 10th Edition, Pearson, 2019.
- K.S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications. 3rd Edition, John Wiley and Sons, New York, 2016.
- M. Harchol-Balter. Performance Modeling and Design of Computer Systems: Queueing Theory in Action. Cambridge University Press, 2013.
- J. F. Shortle, J. M. Thompson, and D. Gross. Fundamentals of Queueing Theory. 5th Edition, Wiley, 2018
- K. Kant. Introduction to Computer System Performance Evaluation. McGraw-Hill, 1992.