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

هدف اصلی این پایان نامه بررسی مجموعه ای از اصول است که نوعی تمامیت برای منطق مرتبه اول پیوسته را نتیجه دهد. مخصوصاً نشان داده می شود که در منطق مرتبه اول پیوسته مجموعه ای از فرمول ها (تماماً) قابل ارضا است اگر (و تنها اگر) سازگار باشد. از این مطلب نتیجه می شود که منطق مرتبه اول پیوسته نوعی تقریب از تمامیت قوی را ارضا می کند، که بنابر آن σι=φ اگر و تنها اگرn-2--σι-φ برای تمام n<ω. این صورت تقریبی ...

قواعد پذیرفتنی می توانند در هر اشتقا‏ق از هر سیستم اصل بندی استفاده شوند. در این پایان نامه ابتدا قواعد به شکل نرمال کاهشی تبدیل می شوند سپس براساس الگوریتم معرفی شده پذیرفتنی بودن قواعد مورد بررسی قرار می گیرد. سپس، منطق وجهی s4 با استفاده از خاصیت هم-پوشایی توسیع داده می شود. به طور خاص‏، قواعد پذیرفتنی در ‎s4‎ به یک فرمول قابل ارضا در توسیعی از منطق ‎‎‎s4 کاهش داده می شوند. منطق توسیع داده ش...

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

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

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

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

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