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

We use gauge-gravity duality to study the effect of corrections to the coupling constant on equilibration time in field theory for scalar operators with Delta=2,3. We will show that for larger correction in coupling constant the equilibration time enhances and this behavior is independent of the method we use to make the system out of equilibrium. Interestingly we observe that for fast energy i...

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

در مباحث اقتصاد بخش عمومی ارتباط میان درآمد و مخارج دولت به‌ویژه برای کشور ایران که از وجود کسری بودجه رنج می برد، یکی از موضوعات مهم و کلیدی محسوب می‌شود. به لحاظ نظری در مورد نوع این ارتباط چهار نحله فکری وجود دارد. هدف اصلی این مقاله بررسی ارتباط بلندمدت و کوتاه‌مدت میان درآمد و مخارج دولت در ایران طی دوره زمانی 1389-1357 با استفاده از تحلیل‌های شکست ساختاری است. از‌ آنجا‌ که در طول دوره برر...

چکیده ندارد.

در مباحث اقتصاد بخش عمومی ارتباط میان درآمد و مخارج دولت به ویژه برای کشور ایران که از وجود کسری بودجه رنج می برد، یکی از موضوعات مهم و کلیدی محسوب می شود. به لحاظ نظری در مورد نوع این ارتباط چهار نحله فکری وجود دارد. هدف اصلی این مقاله بررسی ارتباط بلندمدت و کوتاه مدت میان درآمد و مخارج دولت در ایران طی دوره زمانی 1389-1357 با استفاده از تحلیل های شکست ساختاری است. از آنجا که در طول دوره بررسی...

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

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

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