حمید اسمعیلی

استاد

تاریخ به‌روزرسانی: 1404/08/27

حمید اسمعیلی

علوم پایه / ریاضی

رساله های دکتری

  1. معرفی الگوریتمهای جدید برای بهینه سازی ناهموار
    1403
    در این پایان نامه، ما به معرفی روش قطری گرادیان گسسته باندل برای حل مسائل بهینه سازی ناهموار نامحدب آزاد- مشتق میباشد. هدف از طراحی این روش، حل مسائل بهینه سازی ناهموار با اندازه متوسط و بزرگ از متغیرها زمانی که هیچ اطلاعاتی از زیرگرادیان در دسترس نباشد. بیشتر روشهای موجود آزاد-مشتق مانند الگوریتم ژنتیک یا روش پاول برای حل مسائل ناهموار حتی با ده متغیر ناکارآمد هستند. برای سایر روشهای آزاد-مشتق، همگرایی را فقط میتوان تحت فرضیههای دیفرانسیلپذیر یا دیفرانسیلپذیر اکید اثبات کرد. در موارد خاص، الگوریتم ناحیه اعتماد ناهموار در صورتی که تابع هدف یک تابع لیپشیتس پیوسته موضعی و منظم باشد، همگرایی را ثابت میکند. روش گرادیان گسسته و روش تقریب زیرگرادیان همگرایی را برای توابع هدف نیمه هموار شبه دیفرانسیل ثابت میکنند و روش حافظه محدود گرادیان گسسته همگرایی سراسری را برای توابع نیمه هموار ثابت میکند. ایده روش قطری گرادیان گسسته باندل، ترکیبی از روش گرادیان گسسته و روش قطری باندل میباشد. روش گرادیان گسسته یک روش آزاد-مشتق برای مسائل بهینهسازی نامحدب ناهموار با تعداد متغیرهای کم میباشد، در حالی که روش قطری باندل جایگزین روش حافظه محدود باندل که با استفاده از اطلاعات زیرگرادیانها به حل مسائل بهینهسازی نامحدب ناهموار برای اندازههای بزرگ میپردازد.
  2. معرفی روش های تکراری برای حل معادله های ماتریسی
    1403
    معادله ماتریسی یک معادله شامل ماتریس‌ها و بردارها است که انواع آن کاربردهای زیادی در زمینه‌های مختلفی مانند علوم مهندسی، آمار، مسائل کنترل بهینه، برنامه‌ریزی‌های خطی و غیر خطی، برنامه‌ریزی‌های پویا، شبکه‌های نردبانی، فیلترهای تصادفی، بهینه‌سازی، پردازش تصویر و همچنین یادگیری ماشین دارد. در این رساله روش‌های تکراری برای به دست آوردن جواب معادله‌های ماتریسی قدرمطلقی، دو نوع معادله ماتریسی غیر خطی، تقریب معکوس موره-پِنروز و تقریب معکوس موره-پِنروز وزن‌دار یک ماتریس و تقریب تجزیه قطبی یک ماتریس مورد پژوهش قرار گرفته است. از آن جایی که روش‌های تکراری برای یافتن جواب بسیار کارا هستند، با در نظر گرفتن روش‌های تکراری قبلی، روش‌های تکراری جدیدی برای هر مسئله ارائه شده است. روش تکراری برای یافتن جواب معادله قدرمطلقی با اتکا به کاهش هزینه‌های محاسباتی و اصلاح روش روهن معرفی و همگرایی آن ثابت شده است. برای حل معادله‌های ماتریسی غیر خطی در فصل دوم، روش‌های تکراری آزاد از معکوس جهت کاهش هزینه محاسبات و دوری از سختی کار با معکوس ماتریس معرفی شده و همگرایی آن تحت شرایطی روی ماتریس‌های معلوم در معادله نشان داده شده است. در فصل سوم یک روش تکراری همگرای مرتبه چهار برای یافتن تقریب معکوس موره-پِنروز در حالت ساده و وزن‌دار ارائه شده است. در فصل چهارم، مجموعه‌ای از روش‌های تکراری جدید بدون نیاز به محاسبه معکوس در مقایسه با دیگر روش‌ها، معرفی و همگرایی آن‌ها ثابت شده است. با افزایش اندازه‌ی ماتریس‌ها هزینه محاسباتی روش‌های تکراری مورد توجه قرار می‌گیرد. از این رو، روش‌های پیشنهادی که هزینه محاسباتی کمتری نسبت به دیگر روش‌های تکراری دارند، با زمان اجرای کمتری همراه هستند. در ادامه‌ی معرفی هر روش تکراری جدید، نتایج عددی مقایسه روش‌ها جهت نشان دادن کارایی روش‌های پیشنهای طی چند مثال برای مسائل مختلف گزارش می‌شود.
  3. الگوریتمهای جدید برای محاسبه جواب تنک سیستم های خطی
    1397
    در این رساله الگوریتمهای جدید با نام های شرینکیج گرادیان مزدوج تعمیم یافته و شرینکیج گرادیان مزدوج سه جمله ای تعمیم یافته برای حل مساله مینیمم سازی محدب نرم یک منظم شده ارائه می شود. همگرایی سراسری و زبر خطی الگوریتم های جدید تحت برخی فرضهای به اثبات می رسند.
  4. روش های بهینه سازی برای حل مساله مینیمم سازی L1 در سنش فشرده
    1396
    سنجش فشرده یک موضوع اساسی در پردازش سیگنال ها می باشد که قابلیت کاهش تعداد نمونه برداریها و .....
  5. برخی روشهای جدید برای حل معادله قدرمطلقی
    1394
    در این رساله به حل مستقیم معادله قدر مطلقی می پردازیم. از 5 روش ارایه شده، 2 مورد قبلا عنوان شده و موارد 3،4، و 5 را جدیدا عنوان می کنیم.

پایان‌نامه‌های کارشناسی‌ارشد

  1. یک الگوریتم افراز و کران متغیر برای برنامه ریزی خطی
    1403
    یک الگوریتم جدید افرازو کران متغیر (PBVA) برای حل مسائل برنامه ریزی خطی پیشنهاد می شود. PBVA نوعی از الگوریتم سیمپلکس است که از شکل اصلاح شده روش سیمپلکس و به دنبال آن روش سیمپلکس دوگان برای متغیرهای محدود استفاده میکند. در PBVA یک برنامه خطی کاهش یافته با حذف هر تعداد متغیر به اندازه محدودیت برابری شکل می گیرد. یک مشکل فرعی حاوی یک قید کمتر یا مساوی با اجرای روشسیمپلکس اصلاح شده به گونه ای حل می شود که یک کران بالایی روی یک متغیر ورودی نامحدود قرار می گیرد.
  2. یک روش جدید BFGS برای حل مساله بهینه سازی نامقید بر اساس جستجوی خطی آرمیژو اصلاح شده
    1402
    در این پایان نامه یک رده از مسائل بهینه سازی نامقید نامحدب درنظر می گیریم. چون جستجوی خطی آرمیژو هزینه کمی برای یافتن یک طول گام دارد، پس از یک اصلاح جستجوی خطی آرمیژو استفاده می کنیم که با ویژگی های مطلوب شرایط ولف نیز سازگاری دارد. از این اصلاح در روش BFGS‎ استفاده کرده و یک اصلاح کارا برای روش BFGS‎ ارائه می کنیم. این اصلاح به گونه ای است که معین مثبت بودن ماتریس هسیان را تضمین می کند. بدین ترتیب رده ای از اصلاحات برای روش BFGS‎ به دست می آید. نشان می دهیم که تحت شرایط مناسب، الگوریتم پیشنهادی همگرای سراسری است. با استفاده از آزمون های عددی استاندارد، کارایی روش پیشنهادی را نسبت به روش های نوع BFGS‎ مشهوری که قبلاً وجود داشته است، نشان می دهیم. این پایان نامه براساس مرجع زیر تنظیم شده است.
  3. معرفی یک الگوریتم برای بهترین تقریب گویا مبتنی بر فرم مرکز ثقلی درونیابی گویا
    1401
    در این پایان نامه یک الگوریتم جدید برای محاسبه بهترین تقریب گویا یکنواخت توابع اسکالر حقیقی ارائه می دهیم. این روش که بهترین تقریب گویا توسط تعدیل طول فواصل متوالی نامیده می شود، مبتنی بر این مشاهدات است که بهترین تقریب r به یک تابع f باید f را در تعداد مشخصی از گره های درونیابی (xj) درونیابی کند. علاوه بر این، دنباله خطاهای ماکزیمم موضعی برای هر بازه (xj-1,xj) باید هم نوسان باشد. الگوریتم مطرح شده به طور تکراری طول بازه ها را مقیاس بندی دوباره می کند تا خطاهای موضعی متوازن شوند. درون یابی های گویا مورد نیاز با استفاده از فرم مرکز ثقلی درونیابی گویا به طور پایدار محاسبه می شوند. الگوریتم بهترین تقریب گویا توسط تعدیل طول فواصل متوالی را می توان به عنوان یک تکرار نقطه ثابت برای گره های درونیابی در نظر گرفت که به صورت خطی همگرا می شود. نشان می دهیم که با تجدید آرایش مناسب گره ها و استفاده از روش شتاب اندرسون شروع مجدد، می توان نرخ همگرایی را به طور چشم گیری بهتر نمود. الگوریتم جدید دارای پایداری عددی خوبی است و بهترین تقریب گویا با بیشترین درجه را برای اکثر توابع در چند ثانیه محاسبه می کند و برای این منظور فقط از حساب دقت مضاعف IEEE استاندارد استفاده می کند. همچنین نشان می دهیم که این الگوریتم در برخی مواقع به سرعت همگرا می شود، در حالی که پیشرفته ترین روش فعلی، یعنی تابع مینی ماکس از بسته نرم افزاری چپفان که یک نسخه مرکز ثقلی الگوریتم ریمز را پیاده می کند، این چنین نیست. این پایان نامه بر اساس مرجع [17] تنظیم شده است.
  4. برنامه ریزی ریاضی کسری با توابع قدرمطلق
    1400
    در مساله برنامه ریزی کسری خطی، تابع هدف به صورت نسبت دو تابع است که این توابع می توانند توابعی خطی یا غیر خطی باشند.
  5. یک الگوریتم گرادیان مزدوج غیر خطی برای بهینه سازی نامقید
    1399
    در این پایان نامه یک الگوریتم گرادیان مزدوج غیر خطی که نسخه تصحیح شده الگوریتم گرادیان مزدوج دای و یان است و یک شرط کافی و پارامتری بندی شده ی کاهشی با یک پارامتر را محقق میکند، ارائه شده است.
  6. یک الگوریتم برا مسائل بهینه سازی غیر خطی با متغیرهای دودویی
    1399
    یکی از مشکلات اساسی بهینه سازی، تعیین حداقل کننده ی سراسری یک مساله برنامه ریزی غیر خطی است که دارای متغیرهای دودویی می باشد.
  7. یک الگوریتم محورگیری برای برنامه ریزی خطی با قیود مکملی خطی
    1399
    یک الگوریتم محورگیری برای حل مسائل خطی با قیود مکملی خطی ارائه می دهیم.
  8. مساله کمترین مربعات با قیدهای مساوی
    1399
    در این پایان نامه به بررسی نظریه و الگوریتمهای مساله کمترین مربعات نامعین با قیدهای مساوی، بر اساس مرجع [2] می پردازیم.
  9. یک روش تصویر مستقیم برای دستگاه های خطی تنک
    1397
    در این پایان نامه به بررسی یک روش تصویر متمایل برای حل دستگاه معادلات خطی بزرگ، تنک و غیر ساختاری می پردازیم. این تکنیک تصویر - سطر یک روش مستقیم م یباشد که می تواند به عنوان یک الگوریتم نوع کاچمارز در نظر گرفته شود.
  10. روش های تکراری بری محاسبه شبه معکوس ماتریس ها
    1396
    در این پایان نامه به بررسی انواع مختلفی از روش های تکراری با مرتبه همگرایی متفاوت برای محاسبه معکوس یا......
  11. یک روش گرادیان مزدوج با کاهش تضمین شده
    1396
    در این پایان نامه یک روش گرادیان مزدوج برای مساله های بهینه سازی نامقید مقیاس بزرگ ....
  12. جستجوی خطی غیر یکنوای اصلاح شده آرمیژو ببرای روش کاهشی
    1396
    در این پایان نامه یک اصلاح جدید از جستجوی خطی غیر یکنوای آزاد از ماتریس آرمیژو را .....
  13. یک الگوریتم گرادیان مزدوج غیرخطی مقیاس شده برای بهینه سازی نامقید
    1395
    در این پایان نامه یک روش گرادیان مزدوج طیفی برای مساله های بهینه سازی نامقید مقیاس بزرگ معرفی می کنیم. این روش که بهترین الگوریتم گرادیان مزدوج طیفی است نسخه مقیاس بندی شده پری می باشد. این روش طوری اصلاح شده است که نیازی به معین مثبت بودن ماتریس تعریف کنند جهت جستجو ندارد. این اصلاح مبتنی بر فرمول بهنگام سازی شبه نیوتن BFGS است. این روش از تکنیک شروع مجدد بیل - پاول بهره می برد.
  14. یک رهیافت توانمند در حل مسائل بهینه سازی نامقید درجه دوم
    1394
    در این پایان نامه به مساله های بهینه سازی نامقید درجه دوم محدب با یک پارامتر آشفتگی می پردازیم.
  15. روش پشتیبانی دوگان برای حل برنامه های درجه دوم محدب
    1394
    در این پایان نامه یک روش جدید دوگان برای حل برنامه های درجه دوم محدب (اما نه اکیدا محدب) ارائه می شود. این روش تعمیمی از روش پشتیبان دوگان است ....
  16. روش موثر شبه نیوتن برای حل مسائل مینیمم سازی مقید کراندار
    1394
    در این پایان نامه یک روش مجموعه موثر شبه نیوتن برای حل مسائل بهینه سازی مقید کراندار با اندازه بزرگ ارائه می کنیم.
  17. بهینه سازی روش چبیشف
    1394
    حل دستگاه های غیر خطی از دیر باز مد نظر بوده است و ارائه روش هایی که بتوانند جواب را خیلی سریع بدست آورند از اهمیت ویژه ای برخوردار می باشد.
  18. روش های دقیق مرتبه چهارده برای حل معدلات غیر خی
    1394
    حل معادلات غیر خطی یک متغیره یکی از قدیمی ترین مسائل آنالیز عددی است. بنابراین روشی که دارای سرعت بالاتر و هزینه محاسباتی بهینه باشد همیشه مورد توجه قرار گرفته است.
  19. الگوریتم مینیمم سازی سراسری برای مسائل برنامه ریزی درجه دوم مقعر
    1393
    در این پایان نامه در نظر داریم مسائل برنامه ریزی درجه دوم مقعری ...
  20. یک الگوریتم جدید برای برنامه ریزی درجه دو با کاربردهای آن در آمار
    1393
    مساله هایی که شامل برآورد و نتیجه گیری تحت قیدهای نامعادله خطی می باشند اغلب ....
  21. یک جهت اصلاح شده نیوتن برای بهینه سازی نامقید
    1393
    در این پایان نامه یک اصلاح روی جهت نیوتن برای ....
  22. یک روش نیوتن نادقیق برای بهینه سازی مقید با قیدهای مساوی غیر محدب
    1393
    در این پایان نامه یک الگوریتم جستجوی خطی ماتریس - آزاد برای بهینه سازی مقید با ...
  23. یک الگوریتم کارآمد جدید از روش سیمپلکس اولیه - دوگان
    1393
    در این پایان نامه روش حلی برای مساله های برنامه ریزی خطی ارائه می شود. ...
  24. مسئله نزدیک ترین نقطه در یک مجموعه چندوجهی و تعمیم آن
    1392
  25. مسئله نزدیکترین نقطه در یک مجموعه چندوجهی و تعمیم آن
    1392
  26. مسئله جریان در شبکه کمترین هزینه کسری خطی
    1392
  27. چند روش جدید مرتبه سوم برای حل معادلات غیرخطی
    1392
  28. دو روش مستقیم در برنامه ریزی خطی
    1392
  29. یک روش تعمیم یافته نیوتن برای معادلات قدرمطلقی
    1392
  30. چند روش جدید مرتبه سوم برای حل معدلات غیرخطی
    1392
  31. دو روش مستقیم در برنامه ریزی خطی
    1392
  32. یک روش تعمیم یافته نیوتن برای معادلات قدرمطلقی
    1392
  33. دو روش جدید گرادیان مزدوج بر اساس معادلات سکانت اصلاح شده
    1391
  34. الگوریتم های القایی سیمپلکس برای حل رده ای از مسائل برنامه ریزی محدب
    1391
  35. روش های شبه نیوتن جدید برای بهینه سازی مسائل نامقید
    1391
  36. دو روش جدید گرادیان مزدوج بر اساس معادلات سکانت اصلاح شده
    1391
  37. الگوریتم های القایی برای حل رده ای از مسائل برنامه ریزی محدب
    1391
  38. روش های شبه نیوتن جدید برای بهینه سازی مسائل نامقید
    1391