داستان علمی - تخیلی درباره برخی مباحث در منطق و مبانی ریاضی.

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

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

در این بررسی سینتیک آزاد شدن منگنز در شش نمونه مرکب خاک سطحی با استفاده از DTPA تحت شرایط 35% رطوبت اشباع و در دامنه زمانی 25/0 تا 960 ساعت مطالعه گردید. در تمام نمونه‌ها سرعت آزاد شدن منگنز در ابتدا زیاد بوده ( 25تا 55 درصد کل منگنز قابل استخراج در ده ساعت اول آزاد شد)، سپس سرعت آزادشدن منگنز کاهش یافته و در تمام خاکها پس از 720 ساعت به حدود صفر رسید. شش مدل ریاضی (الوویچ ساده شده، تابع توانی...

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

چکیده مبسوطسابقه و هدف اطلاع وآگاهی از سرعت معدنی شدن نیتروژن مواد آلی عامل بسیار مهمی برای مدیریت و تعیین نیاز کودی نیتروژن مورد نیاز گیاهان می-باشد. پیش‌بینی فراهمی نیتروژن برای دوره رشد گیاه از منابع مختلف کودی در ارتقاء کارایی کودها و همچنین کاهش آلودگی‌های زیست محیطی نقش مهمی دارد (24). عوامل محیطی مانند دما و رطوبت مهم‌ترین عواملی هستند که بر روی فرآیند‌های رهاسازی نیتروژن اثر می‌گذارند. ...

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

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

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