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

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

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

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

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

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

اخیرًا عملگرهای جدیدی به نام کنترلرهای مومنتوم سیالی برای کنترل وضعیت ماهواره پیشنهاد شده است. این عملگرها نسبت به دیگر عملگرهای ذخیره ساز مومنتوم مثل چرخ های عکس العملی و cmg ها، دارای نسبت گشتاور اعمالی به وزن بالاتری، جانمایی و مونتاژ راحت تر، ارتعاش انتقالی کمتر و... هستند. اما یکی از مشکلات پیاده سازی چنین سیستم هایی در عمل، پیچیدگی در مدل سازی ریاضی این عملگرها می باشد. این امر باعث شده اس...

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

فرض کنید s_r نیم گروه تحدید شده از یک نیم گروه وارون s باشد. در این پایان نامه، نشان می دهیم که میانگین پذیری جبرهای باناخ l_r^1 (s) (جبر نیم گروهی تحدیدشده)، l^1 (s_r) و l^1 (s) معادلند. همچنین میانگین پذیری تقریبی جبر نیم گروهی تحدید شده ی l_r^1 (s) و رابطه ی آن با میانگین پذیری تقریبی l_r^1 (e(s)) را بررسی می کنیم.

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