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

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

رهاسازی آهن از فازهای مختلف به درون محلول خاک یک فرآیند دینامیکی تنظیم‌کننده تأمین مداوم و پیوسته آهن برای گیاهان در حال رشد می‌باشد. به منظور تعیین الگوی آزاد شدن آهن، سینتیک آزادشدن آهن از 6 نمونه خاک برداشت‌شده از استان‌های خوزستان و گلستان با استفاده از محلول دی اتیلن تری آمین پنتا استیک اسید (DTPA) مطالعه گردید. تمامی خاکهای مورد بررسی آهکی بوده و مقدار کربنات کلسیم معادل آنها بین 26/2 تا ...

هدف: تحقیق حاضر با هدف واکاوی محیط­های یادگیری شخصی مبتنی بر وب 2 و راهبردهای پشتیبان اجرای برنامه درسی در این‌گونه محیط­های یادگیری انجام گرفت. روش: در این تحقیق رویکرد آمیخته اکتشافی، ابتدا روش کیفی از نوع پدیدارشناسی و سپس روش کمی از نوع پیمایشی استفاده شد. جامعة آماری پژوهش در بخش کیفی مدیران مراکز آموزش الکترونیکی، مدرسان و خبرگان یادگیری الکترونیکی و متخصصان برنامه درسی بودند که تعداد 11...

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

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

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

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