هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی ...

دراین بررسی سینتیک آزاد شدن پتاسیم غیر تبادل از سه خاک شالیزاری با استفاده از محلول تترافنیل بران سدیم مطالعه گردید. برای اینکار ازسه منطقه استان مازندران سه نمونه مرکب از عمق cm 20-0 خاک برداشت و خصوصیات فیزیکوشیمیایی ومینرالوژیکی آنها تعیین گردید.بررسیهای سینتیکی روی نمونه های اشباع از کلسیم در دامنه زمانی از 25/0 تا 96 ساعت (ودریک نمونه تا 456 ساعت) انجام گردید. همچنین اثر تکان دادن نمونه ها...

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

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

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

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

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

دراین بررسی سینتیک آزاد شدن پتاسیم غیر تبادل از سه خاک شالیزاری با استفاده از محلول تترافنیل بران سدیم مطالعه گردید. برای اینکار ازسه منطقه استان مازندران سه نمونه مرکب از عمق cm 20-0 خاک برداشت و خصوصیات فیزیکوشیمیایی ومینرالوژیکی آنها تعیین گردید.بررسیهای سینتیکی روی نمونه های اشباع از کلسیم در دامنه زمانی از 25/0 تا 96 ساعت (ودریک نمونه تا 456 ساعت) انجام گردید. همچنین اثر تکان دادن نمونه ها...

در این پژوهش، به مدل‌سازی عددی پدیده انفجار مدفون با استفاده از روش همبسته اویلری-لاگرانژی (CEL) و بررسی پاسخ خاک و سازه مدفون به این انفجار پرداخته شده است. مدل‌سازی ماده منفجره و خاک اطراف آن با رویکرد لاگرانژی بدلیل ایجاد تغییرشکل های بزرگ و گسیختگی خاک در این ناحیه امکان پذیر نمی‌باشد. به منظور ایجاد یک مدل جامع، باید مزیت‌های روش اویلری و لاگرانژی با هم ترکیب شوند. منطقه نزدیک محل انفجار ب...

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