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

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

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

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

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

یک مساله رسانش گرمایی معکوس را وقتی که داده‏ ها را در ‎ x=1 داشته باشیم‏‏، در نظر می گیریم. این مساله یک مساله سهموی کناره ای نامیده می شود و به شدت بد وضع است. روش های استانداردسازی تیخونف و فوریه توسعه یافته اند، اما این روش‏ ها شامل مرز ابتدایی برای جواب ها در انتخاب پارامترهایشان هستند. یک مرز تخمینی بزرگ باعث ایجاد نتایج عددی نامناسب می شود. در اینجا رده دیگری از رو ش ‏های تکرار نیز برای ج...

چکیده ندارد.

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

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