تعریف حقیقی از منظر جمهور فلاسفه، ارائة ذاتیات ماهوی شیء است. ارائة ذاتیات، متوقف بر شناخت فاعل شناسا نسبت به آن شیء است. لذا در هر شناختی لازم است که متعلَق شناخت و فاعل شناسا تبیین شوند. براساس مبانی نهایی ملاصدرا، متعلَق شناخت، یک وجود ظلی منبسط است که واجد سه مرتبة مادی، مثالی و عقلی می باشد به گونه­ای که مرتبة مادی و مثالی از اعراض و شئون مرتبة عقلی هستند. فاعل شناسا نیز به تناظر با عالم عین...

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

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

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

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

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

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

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

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