روشهای زیر فضای کریلوف از جمله bi - cg, cg و gmres برای حل تکراری دستگاههای معادلات خطی با ماتریس ضرائب تنک با ابعاد بزرگ مورد قبول اکثر محققین می باشد. برای بهبود بیشتر اینها روشهای پیوندی را ارائه می دهیم که این روشهایی پیوندی می توانند با ترکیب روشهای زیرفضای کریلوف استاندارد بدست آیند. در آغاز مختصر در مورد روشهای زیر فضای کریلوف استاندارد بحث خواهیم کرد و بعد بیشتر روی روشهای پیوندی از جمل...

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

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

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

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

روشهای زیرفضای کریلف انعطاف پذیر رده ای از روشهایی هستند که در آنها پیش شرط می تواند از گامی به گام دیگر تغییر کند. برای یک روش زیرفضای کریلف همانند cg، gmres، qmr و غیره، به منظور حل دستگاه خطی می توانیم به جای این که از یک پیش شرط ثابت مانند m استفاده کنیم و دستگاه معادلات خطی پیش شرط سازی شده را حل کنیم، در هر گام از یک ماتریس متفاوت مانند به عنوان پیش شرط استفاده کنیم. در این پایان نامه مور...

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

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

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