این مطالعه به منظور بررسی اثر پستی و بلندی و وضعیت زهکشی بر پیدایش خاک، شکل های شیمیایی آهن و منگنز و کانی شناسی رس در خاک‏های دشت غربی یاسوج انجام گرفت. این دشت در جنوب شرقی استان و در مجاورت شهر یاسوج واقع شده است. میانگین بارندگی و دمای هوای آن به ترتیب 834 میلی متر و 1/15 درجه ی سانتیگراد می باشند. میانگین ارتفاع این دشت 1775 متر از سطح دریا می باشد. رژیم رطوبتی و حرارتی خاک های این دشت به ...

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

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

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

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

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

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

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

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...