حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

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

هدف: بررسی، بازخوانی و ساختارشناسی پنج ورق حساب نوشته‌شده در سال‌های 507، 509 [2برگ]، 514 و 565 هجری قمری می‌پردازد. روش/ رویکرد پژوهش: نخست همۀ اسناد بازخوانی شده و سپس با روش توصیفی-تحلیلی بررسی شده‌است. یافته‌ها و نتیجه‌گیری: این پژوهش با رمزگشایی از خطوط و علامت‌های ثبت‌شده بر کهن‌ترین نمونه‌های شناخته‌شده از ورَق (فَرد) و تنها نم...

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

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

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

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

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