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

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

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

دانشگاه بوعلی سینا مشخصات رساله/پایان نامه تحصیلی عنوان: ویژگی های همولوژیکی برای مدول های باناخ روی جبرهای گروهی نام نویسنده: ترلانه فامیل صابریون نام استاد/اساتید راهنما: دکتر حجت اله سامع نام استاد/اساتید مشاور: دکتر قربان خلیل زاده رنجبر دانشکده: علوم پایه گروه آموزشی: ریاضی رشته تحصیلی: ریاضی محض گرایش تحصیلی: آنالیز مقطع تحصیلی: کارشناسی ارشد تاریخ تصویب پروپوزال: 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] هومئومرف است. عضوهای اساسی جبرباناخ را تعریف کرده، نشان می دهیم هسته چند گونا بوسیله عضوهای اساسی تولید ...