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

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

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

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

بهینه سازی در طراحی سوخت ها در سیستم های همجوشی به طریق محصورسازی اینرسی، icf، فرآیند بسیار مهم در سیستم های همجوشی است. در این کار تحقیقاتی، معادلات دینامیکی حاکم بر سیستم همجوشیicf برای قرص سوخت d/3he با ناخالصی6li نوشته شده است. سپس وابستگی بهره سیستم به پارامترهای دما، چگالی و شعاع قرص با حل معادلات دینامیکی به روش رانگ-کوتای مرتبه چهارم بررسی شده است. محاسبات نشان می دهد که به ازای دمای او...

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

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

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

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

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