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

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

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

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

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

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

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

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

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

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