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

حساب جاری ایران فراز و نشیب‌های متعددی را پشت سر گذاشته است که همواره متاثر از تحولات مثبت و منفی بازارهای جهانی از جمله نفت‌ خام، طلا، ارز و تحولات در عرصه تجارت ‌خارجی بوده است. لذا در این مطالعه به بررسی منابع نوسانات حساب جاری در ایران و مکزیک با استفاده از الگوی خودتوضیح برداری ساختاری (SVAR) مبتنی بر داده‌های فصلی طی دوره زمانی 2009-1981 پرداخته شده است. مطالعه حاضر از لحاظ نظری بسیار نزد...

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

در این مقاله با در نظر گرفتن اثر حرکت فرمی و انرژی بستگی هسته ای، تابع ساختار و نتایج emc را برای هسته های 40 ca و 56 fe با استفاده از مدل نوسانگر هارمونیک و با در نظر گرفتن پارامتر ħω مختلف برای پوسته های مختلف داخل هسته که مرتبط با میانگین مربع شعاع هسته بوده و با استفاده از توابع ساختار نوکلئون های آزاد grv ، محاسبه می کنیم. سپس سطح مقطع دیفرانسیلی پراکندگی لپتونها از این هسته ها را نیز در ا...

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