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

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

در این پایان نامه به بررسی قطری پذیری حلقه ماتریس ها روی حلقه های منظم (فون نیومن) می پردازیم. در واقع نشان می دهیم که خاصیت قطری پذیری معادل خاصیت حذفی برای مدول های تصویری متناهیا تولید شده است که روی همه ی حلقه های منظم برقرار است. این نتایج در حالت کلی تر یعنی برای حلقه ها و مدول ها روی حلقه های تبادلی نیز برقرار است که در این مورد توجهمان را به ماتریس های منظم معطوف می کنیم.

دراین پایان نامه هدف مطالعه قطری سازی قابی است. به این منظور ابتدا طرح های قطری سازی شامل، قطری سازی یکانی،تجزیه مقدار تکین راتوصیف وقضایایی برای شناخت بهتر آنها بیان می شود. درادامه قاب وقطری سازی قابی برای ماتریس ها با بعد متناهی وبعضی خواص پایه ارائه خواهد شد. سپس وجود یک قاب کلی ودوگان آن با n2 عنصر برای قطری سازی قابی هر ماتریس در mn(c) اثبات می شود. ودر پایان نشان داده خواهد شد که می تو...

چکیده : حل مسئله ی مقدار ویژه ی درجه دوم در کاربردهای گوناگون در کنترل و نظریه ی سیستم یک مسئله ی مهم و حیاتی است. یک راهکار برای حل این مسئله، کاهش ماتریس به شکل قطری است به گونه ای که ساختار مقادیر ویژه ی آن بر روی قطر اصلی ماتریس هم ارزش، شناخته و دیده شود. دو رسته اصلی از سیستم های قطری شدنی وجود دارد. اولین رسته به سیستم هائی که اکیدا هم ارزند مربوط می شود. دومین رسته بسیار وسیع تر بوده و...

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

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

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