زیر نظریه استقراء باز oi از حساب پئانو در زبان مرتبه اول حلقه های یکدار مرتب ، از افزودن اصل موضوعی استقراء روی فرمولهای خالی از سور به مجموعه اصول حلقه های جابجایی یکدار گسسته مرتب حاصل می شود. نظریه استقراء باز نرمال noi، گسترش oi توسط قالب اصل موضوعی بیان کننده به طور صحیح بسته بودن حلقه در میدان کسرهای خود می باشد. در سال 1991، بوگاتا در مقاله خود در j.s.l متناهیا اصل ناپذیری oi را ثابت کرد...

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

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

آنالیز فرآیندهای ایستا در قلمرو(دامنه طیفی) بر توزیع های طیفی بنا شده است . اما برای فرآیندهای غیرایستای هارمونیک ساز(harmonizable) ، زوج (f, ) که f یک اندازه برداری (vector measure) و یک اندازه بورل می باشد ، به عنوان مشخصه های طیفی ارائه می شود. در این پایان نامه یک روش طبیعی برای ساختن نمایش طیفی ارائه می شود که این روش برای فرآیندهای مرتبه دوم (second order processes) و فرآیندهای پایدار (st...

قضیه بورسوک-اولام و قضیه نقطه ثابت براوئر هر دو از قضیه های شناخته شده در توپولوژی هستند و هر دو غیر ساختاری و وجودی به شمار می آیند. بیشتر کتابهای درسی این قضیه ها را بدون ذکر رابطه آنها با یکدیگر بیان کرده اند. با وجود این ثابت می شود که قضیه بورسوک-اولام، قضیه نقطه ثابت براوئر را نتیجه می دهد. در این مقاله این نتیجه را با روشی مستقیم ثابت می کنیم.

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

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