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

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

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

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

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

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

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

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

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

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