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

چکیده ندارد.

تحقیق حاضر با هدف مقابله با تاکتیک عملیات روانی ایجاد تفرقه مذهبی و الزامات سیاستگذاری رسانه‌ای با مراجعه به صفحات خبرگزاری تقریب، تسنیم و ایکنا انجام گرفت که برای این منظور تاکتیک عملیات روانی در قالب 6 مولفه ترساندن و تهدید کردن، تحقیر، یأس و ناامیدی، جوسازی، استهزاء و پراکنده‌گویی و شایعه با مراجعه به صفحات خبرگزاری‌های ذکر شده مورد بررسی قرار گرفت. روش پژوهش: روش پژوهش، روش تحلیل محتو...

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

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

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

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

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