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

روش کریزینگ‎ یک روش ‎‎‏زمین آماری برای درونیابی داده های مکانی است. مدل ریاضی کریزینگ بعد از اینکه آقای کریز ‎(d.g.krige)‎‏ به عنوان اوّلین کسی که نسخه اوّلیه این فرآیند مکانی را معرفی کرد به این نام نامگذاری شد. در این پایان نامه خلاصه ای از روش کریزینگ و برخی از فرمول های اساسی آن را ارائه می دهیم. پس از آن ایده کریزینگ جهانی را معرفی و نشان می دهیم که می توان‎ آن را برای فرموله کردن نوع جدیدی ...

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

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

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

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

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

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

        با سرعت زیاد شهرنشینی در ایران بسیاری از شهرها به ویژه کلان­شهرها با معضلات زیادی مواجهه شدند که عدم پایداری را برای آنها به ارمغان آورده است. این پژوهش بحران آلودگی شهر تبریز به عنوان یکی از هشت شهر آلوده ایران را مورد بررسی قرار داده است. سؤالات مطرح شده در تحقیق عبارت است از بهترین الگوریتم درونیابی در توزیع آلودگی هوا کدام است؟ تراکم آلاینده­ها در کدام بخش شهر تبریز بیشتر است؟ کاربر...