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

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

ترجمه با دو پیام « معادل » در دو « رمز» متفاوت سرو کار دارد . وقتی پیامی از «صورت» اصلی به « صورت » دیگری منتقل می شود، اگر کار ترجمه درست باشدکمترین تفاوت مسلّم بین پیام موجود در «صورت» متن اصلی و پیام عرضه شده در «صورت» متن ترجمه، همان «تغییر صورت» یا «تغییر شکل » پیام است. بنابراین، هر ترجمه ای  در صورتی که درست و دقیق باشد می تواند فقط «معادلی» برای اصل باشد و نه « مساوی» با آن، زیرا در دو «...

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

پایش زمانی و دقیق تغییر عوارض سطح زمین برای درک روابط و کنش های متقابل بین انسان و پدیده های طبیعی به منظور تصمیم گیری بهتر خیلی مهم است. داده های سنجش از دور منابع اولیه ای هستند که به طور گسترده برای پایش تغییر در دهه های اخیر مورد استفاده واقع شده اند. در این مطالعه، تصاویر لندست 4(tm) سال 1364 و لندست 7(etm+) سال 1386 با استفاده از شش تکنیک پایش تغییر در منطقۀ بیابانی دهلران استان ایلام با ...

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

پایش تغییر برای ارزیابی تأثیرات ناشی از فعالیت‏های انسانی از قبیل جنگل‏زدایی، کشاورزی، شهرسازی و غیره استفاده می شود. روش‏های مختلفی برای آشکارسازی تغییرات وجود ‏دارد. در این مطالعه از تصاویر ماهوارۀ لندست در بازۀ زمانی 1988 ـ 2007 استفاده شده و پنج تکنیک آشکارسازی تغییرات در منطقۀ سرابله استان ایلام با مساحت 45803 هکتار بررسی شده است. تکنیک‏های آشکارسازی تغییرات استفاده شده در این مطالعه شامل ...

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