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

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

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

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

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

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

محاسبه‌ی جریان سیال در محیط‌های سنگی درزه‌دار یکی از موضوعات بسیار مهم در مباحث تراوایی در مهندسی سنگ است. توده‌سنگ شامل شبکه‌ی درهم‌تنیده‌ای از ماده‌سنگ و شکستگی‌ها است. تعداد و الگوی اتصال‌پذیری شکستگی‌ها دو عامل کلیدی کنترل‌کننده‌ی جریان سیال در توده‌سنگ هستند. یکی از روش‌هایی که می‌تواند ساختار هندسی توده‌سنگ را به دقیق‌ترین شکل ممکن نشان دهد، روش شبکه‌ی شکستگی‌های مجزا (DFN) است. با توجه ب...

مساله زیر فضای پایا یکی از مشهورترین و سخت ترین فرضیه حل نشده در نظریه های عملگرهای خطی کراندار است. این مقاله در رابطه با مساله زیر فضای پایا است و در این رابطه چند نتیجه برای عملگرهای مثبت روی شبکه های باناخ است. یک زیر فضای ‏‎v‎‏ از یک فضای برداری ‏‎x‎‏ را ‏‎-t‎‏پایا گویند اگر ‏‎t‎‏ عملگری روی فضای ‏‎x‎‏ باشد به طوری که ‏‎t(v) v‎‏ مساله زیر فضای پایا این است که: آیا یک عملگر خطی پیوسته ‏‎t‎‏...

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

- روشهای مختلفی برای حذف جمینگ وجود دارد که با توجه به شرایط عملکرد و نوع جمر، یکی از آنها انتخاب می شود. یکی از انواع جمرها، جمرهای fm2 باند باریک هستند که برای حذف این نوع جمرها از روش زیرفضا استفاده می کنیم. در روش زیرفضا مقدار if3 سیگنال تخمین زده می شود و بردار زیرفضای متعامد بر جمر ایجاد می شود. اگر تعداد آنتن های آرایه ای افزایش یابد، عملکرد سیستم بهبود می یابد. در محاسبه زیرفضای آرایه د...