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

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

در این رساله ، برای محاسبه ی p کوچکترین مقادیرویژه و بردارهای ویژه ی متناظر آنها از مسائل ویژه ی تعمیم یافته ی متقارن، کویلن و یه روش زیرفضای کریلف بلوکی با پیش شرط معکوس آزاد را ابداع کردند. برای افزایش سرعت همگرایی و محاسبه ی زوج ویژه ی داخلی، در این قسمت از روش زیرفضای کریلف معکوس آزاد بلوکی تغییرمکان یافته ی اصلاحی مبتنی بر فرآیند آرنولدی بلوکی که تعمیم یافته ی یک پایه ی b-متعامد ماتریس زی...

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

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

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

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

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

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