[دانه کولانه]

سر فصل دروس ارشد مهندسی کامپیوتر


6. سیستم عامل:
سرفصل مطالب :
·تعریف سیستم عامل و وظایف اساسی آن به عنوان ماشین مجازی و مدیر منابع
·انواع منابع
·تاریخچه مختصر سیستم های عامل
·طبقه بندی انواع سیستمهای عامل
·سیستم عامل از دید كاربر
·مفهوم پردازه (فرآیند)
·كار
·وظیفه
·انواع كار (مقید به ورودی/خروجی و عملیات پردازشی – بررسی بافرینگ – محیط های چند برنامه ای – سیستمهای عامل اشتراك زمانی و محاوره ای – مدیریت پردازنده – زمان بندی كارها و فرآیندها – الگوریتمهای مختلف زمانبندی در محیط های تك پردازنده ای – هماهنگ سازی فرآیندها در استفاده از منابع – مدیریت حافظه (الگوریتمهای مختلف تخصیص حافظه )
·حافظه مجازی و مدیریت آن
·مدیریت دستگاههای ورودی/خروجی
·مدیریت پرونده ها
·بررسی مسأله بن بست و راههای مواجهه با آن
·امنیت و حفاظت در سیستمهای عامل
·آشنایی مقدماتی با سیستمهای عامل شبكه و توزیع شده.

7. هوش مصنوعی:
سرفصل مطالب :
· هوش مصنوعی چیست ؟
· مبانی و تاریخچه هوش مصنوعی و مرزهای دانش در هوش مصنوعی .
· عاملین Agents هوشمند
· ساختار و عملكرد عاملین هوشمند
· محیط ها
· حل مسأله
· حل مسأله از طریق جستجو
· فرموله كردن مسایل
· چند مثال جستجو برای جواب
· روشهای جستجو
· روشهای جستجوی آگاهانه (Informed)
· جستجوی Best-First
· توابع Heuristic
· جستجوی حافظه محدود
· سایر روشهای جستجوی بهبود یافته.
· عاملین مبتنی بر دانش
· عاملینی كه منطقی استدلال می كنند
· نمایش منطق
· منطق گزاره ای
· استدلال.
· منطق رتبه اول
· استنتاج در این منطق
· قوانین استنتاج
· استنتاج زنجیره ای به جلو به عقب.
· برنامه ریزی (Planning)
· از حل مسأله به برنامه ریزی
· نمایشهای ساده برای برنامه ریزی
· مهندسی دانش برای برنامه ریزی.
· عدم قطعیت (Uncertainty)
· نحوه عمل كردن در شرایط عدم قطعیت
· كاربرد و نحوه استحصال احتمالات.
· معرفی برخی كاربردها در سیستم های خبره
· پردازش زبان طبیعی
· بینائی ماشین و رباتیك

8. پایگاه داده:
سرفصل مطالب :
· مقدمه
· معرفی و مرور مباحث ذخیره و بازیابی اطلاعات
· مفاهیم و تعاریف مدیریت پایگاه داده
· (تعریف داده و اطلاعات
· تعریف پایگاه داده
· ضرورت پایگاه داده
· استقلال داده ای
· مدلهای مختلف سیستمهای پایگاه داده)
· معماری یك سیستم پایگاه داده
· (معماری سه سطحی
· سطح خارجی
· سطح مفهومی
· سطح داخلی
· مدیر پایگاه داده و مدیر داده
· مدیر ارتباطات داده ای)
· مدل های مختلف سیستمهای پایگاه داده
· (مدل سلسله مراتبی
· مدل رابطه ای
· مدل شبكه ای)
· مدل رابطه ای پایگاه داده ها
· (رابطه یا جدول
· جدول مبنا و غیر مبنا
· زبان پرس و جو)
· عناصر مدل رابطه ای
· (دامنه
· رابطه و انواع آن)
· جامعیت مدل رابطه ای
· (كلید كاندید
· كلید اولیه و كلید رقیب
· كلید خارجی و قواعد آن
· تهی بودن كلید خارجی و كلید اولیه)
· جبر رابطه ای
· حساب رابطه ای
· زبان SQL
· وابستگی تابعی
· (تعریف
· وابستگی های جزئی
· بستار مجموعه ای از وابستگیها
· مجموعه كاهش ناپذیر از وابستگیها)
· نرمال سازیBCNF,3NF,2NF,1NF
· وابستگی چند مقداری (MVD)
· ANF
· وابستگی الحاقی 5NF, JD
· مرور مطالب پیشرفته تر
· (حفاظت
· ترمیم
· همزمانی
· پایگاه های داده شیء گرا
· پایگاه های داده استنتاجی).

9. طراحی و پیاده سازی زبانهای برنامه سازی:
سرفصل مطالب :
· ویژگیهای عمومی زبانهای برنامه سازی
· پردازنده های زبانهای برنامه سازی و مقایسه انواع آن
· ویژگیهای انواع داده ها و پیاده سازی آنها در زبانهای سطح بالا
· روشهای تعیین ترتیب اجرای دستورات و پیاده سازی آنها
· كنترل داده ها (Data Control)
· روشهای تخصیص نشانوندهای (Arguments) یك تابع (برنامه فرعی) و پیاده سازی آنها
· روشهای مدیریت حافظه در زبانهای سطح بالا
· انتزاع (تجرید ) داده ها.

10. کامپایلر:
سرفصل مطالب :
· مقدمات (انواع مترجمهاشامل كامپایلرهاومفسرها)
· ساختارواجزای كامپایلر(تحلیل گر لغوی و تحلیلگر نحوی
· مدیریت جدول نمادها
· تولید كد میانی و نهایی
· بهینه سازی
· مدیریت خطاها)
· بررسی انواع گرامر هاوخواص عمومی زبانها(طبقه بندی Chomsky )
· گرامر های گنگ
· گرامر خالص (مختصر و مفید).
· تحلیل لغوی
· عبارات منظم برای نمایش الگوی توكنها
· اصلاح خطاهای لغوی
· گرامر های تفسیر حالت قطعی و غیر قطعی.
· روش های تحلیل نحوی(بالا به پایین LL(1) : شامل پیاده سازیهای Recursive Descent و جدول تجزیه پایین به بالا (SP,OP) – روش های LL(1) شامل CLR(1),LALR(1),SLR(1) – اصلاح جدول LR(1) در مورد گرامر های گنگ.
· روش های اصلاح خطاهای نحوی
· تحلیل معنایی (تستهای ایستا و پویا)
· مدیریت جدول نمادها و ساختار آنها
· روشهای تخصیص حافظه (ایستا و پویا)
· تولید كد میانی و نهایی و روشهای تولید كد مانند Tree Walking , Syntax Directed با استفاده از كنش های مفهومی و علایم كنش
· ترجمه تعدادی از ساختارهای زبانهای امری مانند عبارتها – ساختارهای كنترلی – فراخوانی روالها
· مختصری در مورد بهینه سازی كد میانی

11. آمار:
سرفصل مطالب :
· اشاره ای به تئوری مجموعه ها
· نمونه ها و نمایش جدولی آنها همراه با میانگین
· نما
· میانه
· واریانس و تبدیل و تركیب احتمالات و قضایای مربوطه
· متغیرهای تصادفی و استقلال آنها
· واسطه و میانگین و واریانس توزیعات
· توزیعات دوجمله ای پوآسن
· فرق هندسی
· توزیع نرمال
· توزیع چند متغیر تصادفی
· نمونه گیری تصادفی و اعداد تصادفی
· نمونه گیری از جامعه كوچك
· برآورد پارامترهای آماری
· فواصل اطمینان
· آزمون
· آزمون فرضی تصمیم گیری
· تجزیه واریانس
· رگرسیون
· همبستگی
· آزمون روشهای ناپارامتری
· برازندن خط مستقیم براده ها
· توابع مولد گشتاور
· قضیه اعداد بزرگ
· قضیه حد مركزی
· مجموع متغیرهای تصادفی مستقل
· احتمال شرطی
· قضیه احتمال كلی

12. محاسبات عددی:
سرفصل مطالب :
· تعریف خطاانواع خطا
· انباشتگی خطا در محاسبات
· ناپایداری در محاسبات
· فرمول تكرار برای محاسبه توابع
· روشهای حل معادلات غیر خطی شامل روشهای نصف كردن فاصله
· رسم خطوط قاطع
· رسم خطوط مماس
· تكرار نقطه ثابت
· اتیكن
· فرمول خطا و اثبات همگرایی برای هریك از روشها
· رتبه همگرائی
· معادلات چند جمله ای (جداسازی – ریشه ها – حدود ریشه ها – روشهای حل)
· روش برستو برای تعیین رشته های موهومی
· دستگاه معادلات خطی
· روش های حل مستقیم (گاوس – ماتریس وارون )
· روشهای حل تكراری (سیدل)
· روش نیوتن برای حل دستگاه معادلات غیر خطی
· مقادیر ویژه
· بردارهای ویژه
· معادله مشخصه
· روشهای فاكتورگیری
· تفاضل های متناهی
· روشهای درون یابی
· برون یابی (نیوتن – گاوس – لاگرانژ – اتیكن – بسل)
· چند جمله ای چی شف
· چند خمله ای Spline
· درون یایب وارون
· درون یابی دو متغیره
· فرمول خطا
· خمهای پوشا
· روشهای حداقل مربعات
· مشتق گیری عددی
· تعیین نقاط اكسترمم توابع جدولی
· فرمول گاوس با نقاط محدود
· انتگرال گیری عددی (ذوزنقه- سیمپسون – ابرگ – گاوس – لژاندر )
· فرمولهای خطا برای روشهای انتگرال گیری
· انتگرال گیری چند گانه عددی
· روشهای حل معادلات دیفرانسیل معمولی(تیلور – پیكارد – اویلر – هیون – اویلر بهبود یافته – رانگ (Runge) – كوتا((Kutta)
· روشهای پیشگوئی و تصحیح جواب
· فرمول خطا و حل معادلات دیفرانسیل با شرایط سرحدی
· حل دستگاه معادلات دیفرانسیل.

13. گسسته:
سرفصل مطالب :
· مقدمه:
v منطق رياضی
v جبر گزاره ها
v فرمول های خوش ساخت
v مروری بر نظريه مجموعه ها
v روش های اثبات
· روابط و توابع:
v روابط دوتايی
v روابط سازگاری و هم ارزی
v ماتريس نمايش دهنده روابط
v گراف و روابط
v توابع
v توابع پوشا
v توابع يك به يك
· روابط بازگشتي
· استقرا
· حل روابط بازگشتی
· تابع مولد.
· ساختمان های جبری:
v نيم گروه ها و منويد ها
v گرامر ها و زبان ها
v نشانه گذاري لهستانی
v گروه ها
v همومورفيسم
v ايزومورفيسم
v لاتيس ها (شبكه ها)
v جبر بول
v جدول كارنو
v زبان و دستور زبان
v دستور زبان به عنوان مثالي از منويد ها
· آناليز تركيبی:
v اصل لانه كبوتر
v آشنايی با الگوريتم های تركيبی
v توابع بازگشتی و كاربرد آن ها
· تئوری گراف:
v گراف های جعت دار
v گراف های بی جهت
v مسير های اويلری و هميلتنی
v مسيرهای بهينه اپتيمال
v الگوريتم يافتن مسيرهای بهينه اپتيمال
v گراف هاي همبند
v ماتريس ارتباط و قضايای مربوطه
v كاربرد گراف ها در تجزيه و تحليل فعاليت ها
· درخت ها:
v درخت های پوشای مينيمال
v پيمايش درخت ها
v كاربرد درخت ها
v عبارات جبری و نمايش درخت های آن ها

14. ریاضی مهندسی:
سرفصل مطالب :
· سری فوریه :
v انتگرال آن و تبدیل فوریه
v تعریف سری فوریه
v فرمول اولر
v بسط در نیم دامنه
v نوسانات واداشته انتگرال فوریه.
· معادلات با مشتقات جزئی:
v نخ مرتعش
v معادله موج یك متغیره
v روش تفكیك متغیره
v جواب دالامیر برای معادله موج
v معادله انتشار گرما
v موج
v معادله موج دو متغیره
v معادله لاپلاس در مختصات دكارتی و كروی و قطبی
v معادلات بیضوی
v پارابولیك و هیپربولیك
v موارد استعمال تبدیل لاپلاس در حل معادلات با مشتقات جزئی
v حل معادلات مشتق جزئی با استفاده از انتگرال فوریه.
· توابع تحلیلی و نگاشت كانفرمال و انتگرالهای مختلف:
v حد و پیوستگی
v مشتق توابع مختلف
v توابع نمائی و مثلثاتی
v هذلولی و لگاریتمی
v مثلثاتی معكوس و نمایی با نمای مختلف
v نگاشت كانفرمال
v نگاشت.
· انتگرال خط در صفحه مختلط
· قضیه انتگرال كوشی
· محاسبه انتگرال خط بوسیله انتگرالهای نامعین
· فرمول كوشی
· بسطهای تایلور و مك لورن
· انتگرال گیری به روش مانده ها
· قضیه مانده ها
· محاسبه برخی از انتگرالهای حقیقی.