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

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

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

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

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