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

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

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

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

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

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

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

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

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