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

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

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

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

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

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

فرض کنیم x یک فضای باناخ و k یک فضای هاسدورف فشرده است. در این پایان نامه به معرفی اندازه های طیفی، شبکه های باناخ، نمایشهای پیوسته c(k) و r-کرانداری می پردازیم. هدف یافتن شرایطی است که تحت آن بتوان نمایش ?:c(k)?l(x) را به صورت انتگرال نسبت به یک اندازه ی طیفی منظم نوشت.به این منظور نخست یک شرط لازم و کافی برای وجود اندازه ی طیفی متناظر با ? ارائه می دهیم و سپس نشان می دهیم r-کرانداری نمایش ?...

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

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

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