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

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

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

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

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

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

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

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

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

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