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

افضل‌الدین خونجی، برای نخستین بار در تاریخ منطق، در میان گزاره‌های حقیقیه و خارجیه، گزاره‌های همیشه‌صادق و گزاره‌های همیشه‌کاذب را یافته است. این گزاره‌ها پیش از این در منطق مرتبۀ اول صورت‌بندی شده و مورد بررسی قرار گرفته‌اند و نشان داده شده است که صدق همیشگی این گزاره‌ها نیازمند پیش‌فرض «وجود فرضی معدومات» است. در این مقاله، این گزاره‌ها را در منطق مرتبۀ دوم بررسی کرده و نشان داده‌ایم که در ای...

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...

 الف-تولد مجدد یک عقیده  گارتون‏اَش مسلما یکی از زیرک‏ترین و باهوش‏ترین افرادی است که موفق به درک منطق حوادث در اروپای شرقی در طول سالهای دهه 1980گردیده است.همچنین او در مقام مفسر و شارح وقایعی که معمولا در تاریخ بشریت، مشاهده و ادارک آنها مشکل است، قادر گردید به‏طور دقیق به تصویر محوری ظریفی، اشاره کند که از طرق پیچیده و چند وجهی هم برای برانگیختن و هم برای معقول و قانونی جلوه دادن مبارزه جهت ...

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

چکیده ندارد.

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

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

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