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

چکیده ندارد.

همجوشی هسته ای روشی برای تولید انرژی هسته ای است که از جوش خوردن هسته های سبک بدست می آید. برای رسیدن به شرایط همجوشی لازم است که سوخت به دما و چگالی بالا برسد. برای ایجاد این شرایط بر روی زمین می توان از لیزرها یا باریکه های یونی (همجوشی محصورشدگی لختی) و یا میدان مغناطیسی (همجوشی محصورشدگی مغناطیـسی) استفاده کرد. همجــوشی راه اندازی شده با باریکه یونی را همجوشی یون سنگین می نامند. باریکه های ...

یکی از روشهایی که امروزه برای مطالعه سیاه چاله ها بسیار مورد توجه قرار گرفته است. استفاده از تناظر ads/cft است. در این تناظر، یک تئوری گرانشی یا بدون گرانش در فضای ads بعدی با یک تئوری پیمانه ای همدیس بعدی که در مرز فضای آنتی دی سیتر زندگی می کند، دوگان است. در واقع با توجه به این تناظر اگر ما یک تئوری مناسب که شناخت خوبی از آن داریم را در سمت مرز فضای ads (نمایش عمومی سیاه چاله ها) در نظر بگیر...

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

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

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

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

مقدمه: نارسایی مزمن کلیه از بیماری‌های شایع در ایران و جهان است و پیوند کلیه روش درمانی مناسب و مؤثرترین راهبرد در بین بیماران مبتلا به نارسایی مزمن کلیه است. این مطالعه جهت پیش‌بینی بقای کلیه پیوندی و شناسایی عوامل مؤثر بر آن و ارائه یک مدل به منظور صحت پیش‌بینی بالاتر انجام شد. روش: مطالعه حاضر به روش گذشته‌نگر بر روی داده‌های 423 مورد پرونده بیماران پیوند کلیه در سال‌های 90-1385 در مرکز آموز...