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

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

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

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

سینتیک آزاد سازی فلزات سنگین (روی، سرب، نیکل، مس و کادمیوم) از دو نمونه رسوب رسی گرفته شده از عمق 0 تا 10 سانتی متری پائین دست رودخانه قره چای واقع در استان همدان که با نمک نیتراته این فلزات آلوده شده بودند، با روش ستون آبشویی مطالعه شد. سرعت آزادسازی فلزات سنگین از نمونه های آلوده در ابتداء سریع و با گذشت زمان از سرعت آزادسازی آن ها کاسته شد. سرب رفتار متفاوتی نسبت به سایر فلزات از خود نشان دا...

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

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