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

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

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

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

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

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

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

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

فرض کنید ‎ g ‎ یک گروه متناهی باشد. در این پایان نامه نشان می دهیم اگرگراف اول ‎gباگراف اول cn(2) برای n>=3 های فردبرابرباشد، آن گاه ‎ g یک ترکیب نا آبلی منحصر به فرد یکریخت با ‎ cn(2) ‎ دارد. در نتیجه ‎cn(2)‎ با گراف اولش شبه تشخیص پذیر است و در ادامه شبه تشخیص پذیری cn(4) را برای ‎ n >=17 ‎ های فرد, با گراف اول نشان می دهیم.

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