برای حل دستگاه خطی به شکل ax=b ، که ماتریس ضرایب a ، نامنفرد، بزرگ، تنک و نامتقارن است می توان از روش های زیرفضای کریلف استفاده نمود. در اغلب موارد به منظور شتاب بخشیدن به حل دستگاه خطی فوق، دستگاه را با استفاده از یک ماتریس پیش شرط که معمولاً آن راm می نامیم، به یک دستگاه پیش شرط شده تبدیل کرده و سپس آن را با روش های زیر فضای کریلف حل می کنیم. ماتریس پیش شرط m تقریبی ازa یا تقریبی از معکوس a می...

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

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

‏در‎ این رساله دو روش مبتنی بر شکاف هرمیتی و هرمیتی اریب برای حل معادلات ماتریسی خطی به شکل ‎$‎‎‎axb=c‎$‎‏ و ‎$‎‎‎ax+xb=c‎$‎‏ ارائه می شوند. در هر یک از این روشها با به کار بردن تکرارهای تو در تو‏، ابتدا در هر تکرار داخلی یک معادله ماتریسی را حل کرده و جواب این معادله داخلی را به عنوان ‎‏تقریبی از جواب معادله اصلی در نظر گرفته و تکرارهای بیرونی را تا رسیدن به جواب معادله ادامه می دهیم. ‎روش اول...

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

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

دستگاه معادلات خطی زیر را در نظر بگیرید ‎egin{equation*}‎ ‎ax=b,qquad ain{mathbb{c}^{n imes{n}}},quad x,bin{mathbb{c}^{n}}‎ ‎end{equation*}‎ که در آن ‎$a$‎ یک ماتریس غیرهرمیتی با بعد بزرگ است. در این پایان${}$نامه یک الگوریتم هیبریدی را برای حل این دستگاه بررسی می${}$کنیم. این الگوریتم از روش ‎$ m{gmres}$‎ مبتنی بر زیرفضای کرایلوف برای تولید یک تقریب جواب استفاده می${}$کند و برای بهبود همگر...

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

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