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

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

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

در این پایان نامه، انژکتیوی منظم و انژکتیوی منظم ضعیف ‎‎s‎-‎مجموعه های مرتب از رسته ‎‎‎‎-‎s ‎pos‎ ‎‎برای تکواره مرتب ‎‎‎‎s‎‎ مورد مطالعه قرار می گیرد. همچنین توصیف ویژگی های انژکتیوی منظم ضعیف، با استفاده از دستگاه معادلات روی آنها بررسی می شود، و با استفاده از این ویژگیها نتایج به صورت‎‎ ‎همولوژیکی دسته بندی می شوند. ویکتوریا گلد نتایج مشابهی برای ‎s-‎مجموعه ها که ‎‎‎s‎ یک تکواره است، اثبات ...

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

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

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

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