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

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

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

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

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

گراف ‎n‎ رأسی ‎g=(v,e)‎ در نظر گرفته شده است، منظور از طیف لاپلاسین ‎g‎، مجموعه ی مقادیرویژه ماتریس لاپلاسین ‎l=d-a‎، می باشد که ‎d‎ و ‎a‎ به ترتیب ماتریس قطری و ماتریس مجاورت ‎g‎ را نشان می دهند. ‎‎در این پایان نامه، به مطالعه ی درخت ها و طیف لاپلاسین آن ها می پردازیم و با دقتی بالاتر، کران بالای جدیدی برای مجموع ‎k‎ مقدارویژه ی بزرگ ماتریس لاپلاسین هر درخت ‎n‎ رأسی می یابیم. هم چنین در این پ...

در این پایان نامه نتایج بدست آمده درباره کلاس سیستم های لاگرانژینی که متریک های انرژی جنبشی تناوبی وابسته به زمان را می پذیرند بسط داده می شود. نتیجه اصلی این است که متریک انرژی جنبشی مقادیر ویژه ثابت دارند. هم چنین تبدیل مختصاتی وابسته به زمان که سیستم را به سیستم های کوچکتری تجزیه می کند به دست خواهد امد.

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

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

از مفاصل انتقال قدرت سرعت ثابت، به طور وسیعی در صنعت خودرو استفاده می شود. قطعه گردویی یکی از قطعات مفصل انتقال قدرت است. تولید این قطعه به روشهای سنتی، مستلزم صرف زمان و هزینه تولید بالایی است. هدف اصلی این مقاله، بررسی جریان مواد در فرایند فورج دقیق قطعه گردویی و بهینه سازی فرایند با استفاده از روشهای جدید قالب سازی است. برای تعیین و بهبود شرایط فرایند، شبیه سازی عددی با نرم افزار super forge...