در این پایان نامه که بر مبنای مقاله ای از آپولونیوس تیشکا نوشته شده است، یک طبقه بندی از نوع حسابی از اعضای یک میدان که در زبان مرتبه اول حلقه ها تعریف پذیر بدون پارامتر وجودی می باشند، ارایه می شود. به عنوان کاربردی از این مطلب نشان داده می شود که در میدان های شامل یک زیرمیدان بسته جبری تنها اعضای میدان اولیه 0-تعریف پذیر وجودی هستند. از سوی دیگر، توسیع هایی از q که با توسیع متناهی هستند شامل...

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

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

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

در این پایان نامه ابتدا نرم تانسوری ? را روی حاصل ضرب تانسوری دو فضای باناخ تعریف می کنیم و آن را به یک فضای باناخ تبدیل می کنیم. با استفاده از این فضای باناخ جبر عملگرهای ?_انتگرال و جبر عملگرهای ?-هسته ای را تولید می کنیم. پس از آن ضرب های آرنز و آرنز-منظمی جبر عملگرهای ?-هسته ای را مورد بررسی قرار می دهیم که بررسی شامل عملگرهای هسته ای، عملگرهای تقریب پذیر و عملگرهای 2-هسته ای ( به عنوان مثا...

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

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

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

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

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