نتایج جستجو برای: لم قطری سازی

تعداد نتایج: 103867  

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز - دانشکده ریاضی و کامپیوتر 1395

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

2014

هصلاخلا ودلا ريدقتل هديدج هيفيط هقيرط ريوطت هساردلا هذه يف مت ملا يف نيماب ح تسملا و هيئاملا ليلا ح تارض هينلاديصلا . هدسكؤم ةدامك مويساتوبلا تادويرب اتيم دوجوب نيمرياتلا عم نيمابودلا لعافت ىلع هقيرطلا تدنتسا . تسيق يجوملا لوطلا دنع صاصتما ىصقا تطعاو ءاملا يف هبئاذلا هجتانلا هيوضعلا هغبصلا هيصاصتما 274 رتيمونان . تتاك هيطخلا نيبام 5.0 ىلا 45 مارغوركيام / لم , ناكف فشكلا دح اما 5.40 مارغو...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس 1389

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه سمنان - دانشکده ریاضی و کامپیوتر 1391

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - پژوهشکده ریاضی ماهان 1392

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

Journal: : 2023

به کمک شبیه ­سازی دینامیک مولکولی می ­توان تحلیل کوتاه مدت در مقیاس زمانی چند ده پیکوثانیه ­ای را برای مواد آسیب دیده­ی تابشی مورد مطالعه قرار داد. بر همین مبنا این ­سازی، تعداد تعادلی عیوب نقطه بین ­نشین و تهی ­جای مختصات مکانی آن­ها آهن- آلفا دست آورده شد. سپس با استفاده از نتایج حاصل شده، مونت کارلوی جنبشی شیء منظور بررسی تأثیر بازپخت آلفای انجام نشان دادند که یکنواخت دیده­ ی تنها خوشه جای ب...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر 1391

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

ژورنال: :پژوهش فیزیک ایران 0
سیداکبر جعفری s. akbar jafari department of physics, isfahan university of technology, isfahan 84156-83111, iranدانشکده فیزیک، دانشگاه صنعتی اصفهان، اصفهان ۸۴۱۵۶، ایران

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

ژورنال: :مکانیک هوافضا 0
مهیار قمری mahyar ghamari aerospace research instituteپژوهشگاه هوافضا محمد طاهای ابدی m. tahaye abadi aerospace research instituteپژوهشگاه هوافضا

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

ژورنال: :پژوهش فیزیک ایران 0
عبدالله لنگری a. langari department of physics, sharif university of technology, tehran 11155-9161, iranدانشکده فیزیک، دانشگاه صنعتی شریف، تهران 9161- 11155، ایران

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید