حوزه آبخیز آق امام(2) با وسعت 2595 هکتار از جمله حوزه­های آبخیزی از استان گلستان می­باشد که از نظر فرسایش خاک و به ویژه فرسایش خندقی دارای مشکلات و معضلات قابل توجهی است. به منظور انجام این تحقیق در ابتدا تمامی خندق­های خطی موجود در منطقه (به تعداد 11 خندق) مورد شناسایی قرار گرفتند. سپس با اخذ نمونه­های خاک (به تعداد 11نمونه) از مناطق داخل خندق ها و مناطق حوزه آبخیز بالا دست آن­ها در دو عمق سطح...

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

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

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

هدف از این پایان نامه، معرفی یک چهارچوب ریاضی جهت استدلال در مورد خواص سیستم های تحمل پذیر خطا می باشد. در همین راستا یک منطق عملی تکلیف (dpl ) و یک اصل گذاری برای آن معرفی می گردد. این منطق خواص مفیدی مثل سلامت، تمامیت، فشردگی و تصمیم پذیری دارد. اگر چه منطق معرفی شده، ارزشمند و مهم است ولی از آنجا که منطق های زمانی در مشخص کردن سیستم های محاسبه نقش مهمی دارند، این منطق توسط عملگر های زمانی (c...

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

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