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

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

گنتزن قواعد سیستم منطقی را به دو دسته «قواعد عمل گری» و «قواعد ساختاری» تقسیم می کند. مقصود وی از قواعد عمل گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان کننده ویژگی های مبنایی یک استدلال است به  گونه ای که هر تغییری در آن ها سبب تغییر کل سیستم می شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل گری قابل حصول است این نکته زیربنای رویکرد ...

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

در این مقاله، نخست نظریة معنای دیوید‌سن و چگونگی کاربرد آن برای تعیین مصداق ثوابت منطقی را شرح خواهم داد. به این منظور به اصول موضوع واژگانی(Lexical axioms) و اصول موضوعِ مسوّرِ (Extentional attributive adjectives) را انتخاب می‌کند و نشان می‌دهد که با اتخاذ تعبیری خاص، می‌توان نظریة معنای ساخت که در آن، صفت‌های مقید مصداقی در اصول موضوعِ مسوّر ظاهر شوند؛ بنابراین، این اصول موضوع نمی‌توانند مشخص کنند...

هدف این مقاله، شبیه‌سازی رفتار حرارتی- مکانیکی بستار موتور دیزل است. این تحلیل اجزای محدود در نرم‌افزار ABAQUS انجام شد. ابتدا برای بیان رفتار ماده، از نتایج آزمون‌های خستگی کم‌بسامد در دماهای متفاوت (منحنی تنش- کرنش مکانیکی در چرخه نیمه‌عمر) استفاده شده است و ثوابت مادی در الگوی ارتجاعی- مومسان لزج دولایه استخراج شده است. آزمون‌های خستگی با پایش کرنش و به صورت کشش- فشار بر روی همبسته آلومینیوم...

در این مقاله، نخست نظریه معنای دیوید سن و چگونگی کاربرد آن برای تعیین مصداق ثوابت منطقی را شرح خواهم داد. به این منظور به اصول موضوع واژگانی(lexical axioms) و اصول موضوعِ مسوّرِ (extentional attributive adjectives) را انتخاب می کند و نشان می دهد که با اتخاذ تعبیری خاص، می توان نظریه معنای ساخت که در آن، صفت های مقید مصداقی در اصول موضوعِ مسوّر ظاهر شوند؛ بنابراین، این اصول موضوع نمی توانند مشخص کنند...

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

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