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

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

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

تاکنون روش های متنوعی برای کاهش مرتبه مدل یک سیستم خطی و غیر خطی ارایه شده است. در این پایان نامه ابتدا بطور اجمالی روشهای ارایه شده برای کاهش مرتبه مدل معرفی و سپس روشهای کاهش مرتبه مدل غیر خطی به تفصیل مورد بررسی و مقایسه قرار گرفته است. هدف عمده بررسی اثر کاهش مرتبه مدل غیر خطی بر ناحیه همگرایی سیستم می باشد یا به عبارت دیگر می خواهیم با توجه به ناحیه همگرایی مدل غیر خطی اصلی ناحیه همگرایی...

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

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

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

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

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

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