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

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

در چند دهه ی گذشته مسأله ی ترافیک شهری و تبعات مربوط به آن از قبیل آلودگی هوا، افزایش هزینه ها و مصرف بی رویه ی انرژی، ما را وادار به استفاده ی تا حد ممکن از سیستم های حمل و نقل عمومی کرده است. افزایش جذابیت استفاده از این سیستم ها به در دسترس بودن، کمتر شدن زمان مسافرت، وقت شناسی، قابلیت اطمینان وابسته است. بنابراین، هدف مسأله مورد بررسی، مکان یابی ایستگاه های جدید با توجه به موارد گفته شده اس...

در این پژوهش با استفاده از کنترل­ گر بازخورد خروجی پویا و مرتبه ثابت، الگوریتم توافق جمعی وابسته به تأخیر نوینی به منظور حل مسئله ­ی توافق جمعی در سامانه­ های چندعاملیِ خطی و دارای تأخیر­های ورودی و ارتباطی متغیر با زمان در قالب نامساوی­ های ماتریسی خطی ارائه گردیده است. در طرح پیشنهادی، هر عامل، خود را بر اساس اطلاعات خروجی خود و همسایه­ ها بهنگام می ­کند و لذا از این منظر، طراحی کنترل­ گر نامت...

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

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

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

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

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

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