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

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

چکیده ندارد.

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

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

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

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

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

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

سینتیک آزاد سازی فلزات سنگین (روی، سرب، نیکل، مس و کادمیوم) از دو نمونه رسوب رسی گرفته شده از عمق 0 تا 10 سانتی متری پائین دست رودخانه قره چای واقع در استان همدان که با نمک نیتراته این فلزات آلوده شده بودند، با روش ستون آبشویی مطالعه شد. سرعت آزادسازی فلزات سنگین از نمونه های آلوده در ابتداء سریع و با گذشت زمان از سرعت آزادسازی آن ها کاسته شد. سرب رفتار متفاوتی نسبت به سایر فلزات از خود نشان دا...