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

هدف از این تحقیق ارزیابی برخی روش های جستجوی محلی غیرخطی حل دستگاه معادلات برای بکارگیری در بحث عیب یابی سازه ها و ارائه روشی کارآمد به منظور یافتن آسیب های سازه های کوچک و بزرگ است. دو روش گرادیان مزدوج غیرخطی و روش bfgs از جمله روش های قدرتمند حل دستگاه معادلات غیرخطی هستند که در این تحقیق مورد ارزیابی قرار گرفته اند. مشکل ناپایداری آن ها توسط روش تیخونوف غیر استاندارد اصلاح گردیده است و نها...

در این پایان نامه، مسئله جستجوی ربات ها در محیط های ناشناخته بررسی شده است. برای جستجوی هدف نیازمند یک روش کارا برای کنترل ربات ها هستیم به نحوی که محدودیت ها و خصوصیات ربات و محیط را در نظر بگیرد. در این پایان نامه به دنبال ارائه یک روش توزیع شده برای حل مسئله جستجوی ربات ها هستیم که محدودیت و قیدهای مربوط به این مسئله را ارضاء کند. الگوریتم پیشنهادی که a-rpso نام دارد، بر پایه الگوریتم بهینه ...

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

چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب به­منظور درستی یابی سیستم های نرم افزاری مطمئن است. در این سیستم ها، نمی توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی یابی، قبل از پیاده سازی و در سطح مدل انجام شود. سیستم های تبدیل گراف، از پرکاربردترین سیستم های مدل­سازی رسمی  و راهکاری مناسب به­منظور مدل­سازی و وارسی سیستم های پیچیده هستند. اما این سیستم ها در فرآی...

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

یکی از پارامترهایی که در تولید و خدمات همیشه مد نظر است کاهش هزینه تمام شده کالایی است که به دست مشتری می رسد، زیرا هر چه این هزینه کاهش پیدا کند مقدار رقابت پذیری شرکت در تولید کالا و ارایه خدمات به مشتری بیشتر می شود. بنابراین کاهش هزینه تمام شده یکی از عواملی است که می تواند باعث سود بیشتر شود. یکی از راه های کاهش هزینه تمام شده، مینیمم کردن هزینه حمل و نقل است بطوریکه بتوان با کمتری هزینه، ...

University course timetabling problem is a complicated problem and finding a computer-aided solution for it was a subject to work for many years. To solve this problem, we must assign courses to timeslots with respect to hard and soft constraints. Hard constraints are those which must be necessarily met (some of them could be neglected with high costs). Our aim is to meet as many soft constrain...

چکیده: با توجه به پیچیدگی بالای مسائل زمان‌بندی، روش‌های کلاسیک جواب‌گوی حل این مسئله نیستند، بنابراین امروزه از الگوریتم‌های فرااکتشافی در حل آن استفاده می­شود. در این مقاله الگوریتم بهینه‌سازی فاخته به‌عنوان یکی از جدیدترین و قوی‌ترین روش‌های بهینه‌سازی تکاملی برای حل مسئله زمان‌بندی کارکارگاهی انعطاف‌پذیر استفاده شده است. در الگوریتم پیشنهادی برای بهبود پاسخ‌ها، ترتیب ورود جمعیت اولیه بر اسا...