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

دانشگاه بوعلی سینا مشخصات رساله/پایان نامه تحصیلی عنوان: ویژگی های همولوژیکی برای مدول های باناخ روی جبرهای گروهی نام نویسنده: ترلانه فامیل صابریون نام استاد/اساتید راهنما: دکتر حجت اله سامع نام استاد/اساتید مشاور: دکتر قربان خلیل زاده رنجبر دانشکده: علوم پایه گروه آموزشی: ریاضی رشته تحصیلی: ریاضی محض گرایش تحصیلی: آنالیز مقطع تحصیلی: کارشناسی ارشد تاریخ تصویب پروپوزال: 27/06/1391 تا...

‎chapter*{چکیده}‎ در این پایان نامه مسئله توسیع نگاشت های ‎$‎- ‎z$‎ خطی را مورد بررسی قرار خواهیم داد، در ابتدا توسیع عملگرهایی با برد ‎$c(k)$‎ را بررسی می کنیم و به این سوال که، آیا این نوع از عملگرها می توانند از طریق نشاننده ها توسیع یابند، پاسخ می دهیم. در این پایان نامه ما دو نوع عملگر را، که یکی از یک زیرفضای ‎$c_{0}$‎ و دیگری از یک زیرفضایی از ‎$ell_{1}$‎ در نظر می گیریم و ...

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

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

معادله لیاپانوف 0 ap+pat+bbt= و 0=atq+qa+ctc را به روش های روش آرنولدی بلوکی ، آرنولدی تعمیم یافته و لانزوس تعمیم یافته حل کرده و نتایج آن را بررسی نمودیم، که به طور خلاصه به صورت زیر می باشد. در روش آرنولدی بلوکی با افزایش تکرارها (m) ذخیره سازی و محاسبه v_m پرهزینه می گردد. زمانی که ماتریس a، بزرگ و تنک باشد، در هر تکرار زمان زیادی صرف تجزیه qr و روند گرام اشمیت اصلاح شده می شود. در واقع رو...

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

در این رساله از مفاهیم صرفا ریاضی مانند جبرهای باناخ و چند گوناها که شامل جبرهای باناخ می باشند، استفاده نموده و فضای شامل تمام گوناها از جبرهای باناخ را به یک فضای متری کامل تبدیل مینمائیم. همچنین روی فضای شامل چندگوناهای همگن متریکی را تعریف می کنیم و نشان می دهیم این زیرفضای متری ب [1و0] هومئومرف است. عضوهای اساسی جبرباناخ را تعریف کرده، نشان می دهیم هسته چند گونا بوسیله عضوهای اساسی تولید ...

در این پایان نامه، مسئله‏ ی وجود مکمل جبری ‎(مکمل)‎ مشترک بین دو زیرفضای بسته ی یک فضای باناخ مورد بررسی قرار گرفته و دو دسته بندی برای آن به دست آمده است. دسته ی اول جفت زیرفضاهایی هستند که با یک جفت گراف عملگرهای خطی و کران دار، بین دو فضای باناخ دیگر، همریخت اند. دسته ی دوم جفت زیرفضاهایی از یک فضای باناخ مانند x ‎ هستند که برای آنها یک عملگر بازگشت مانند sروی xوجود دارد به طوری که این دو ز...

در این پایان نامه فرض کنیم a یک جبر باناخ با ضرب صادق و * جبر باناخ خارج قسمتیa** با ضرب آرنز چپ باشد. یک جبر باناخ معرفی می کنیم که زیرفضای بسته از * با ضرب متفاوت از آن است. به کمک این جبر باناخ مشخصه هایی برای مرکز توپولوژیک (*) zt از * به دست می آید و یک مشخه برای (*) zt وقتی که a ?دارای تقریب همانی کراندار است و توسط لائو و اولگر به دست آمده را به تمامی جبرهای...