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

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

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

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

با استفاده از روش تغییراتی نشان می دهیم که مجموعه همه توابع قله ای قوی در یک زیرجبر بسته a از c_b(k) چگال است اگر وتنها اگر مجموعه همه نقاط قله ای قوی یک زیرمجموعه نرم دهنده از a باشد. به عنوان نتیجه ای از قضیه بیان شده چگال بودن مجموعه توابع قله ای قوی روی فضاهای معین مانند فضای محدب یکنواخت موضعی را نشان می دهیم.همچنین اثبات می کنیم که اگر مجموعه تمامی نقاط نمایش دهنده قوی فضای باناخ x یک زیر...

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

عملگر توابع محدب دو متغیره به صورت تعمیم غیرجابجایی از نامساوی ینسن مشخص می شود.فرض کنیم f:i×j?r یک تابع دو متغیره تعریف شده بر روی ضرب از دو فاصله باشد و فرض کنیم a و b عملگر خودالحاقی خطی با طیف محدود در فضای هیلبرت است.اگر طیف a مشمول در i باشد و طیف b مشمول در j باشد و ?a=???_i p_j و ?b=???_i q_j به ترتیب تجزیه ی طیف a و b هستند ،پس f((a,b)=? f(?_i,?_j)p_i?q_j تعریف آنالیز تابعی است .این تع...

فرض کنید xوyفضاهای توپولوژیک باشند.نگاشت t:x?2y را یک چندتابعی و x?x را نقطه ثابت t گویندهرگاه x?tx. اگر e یک فضای باناخ باشدوp زیر مجموعه ای از e یک مخروط و r?? ، در این صورت a:p?p یک عملگر ?-محدب است هرگاه به ازای هر x?p و هر [0?1)t? داشته باشیم a(tx)?t?ax. در این رساله قضایا و نتایج مربوط به وجود و یکتایی نقطه ثابت توابع و چندتابعی های انقباضی، یکنوای ترکیبی، عملگرهای ?-محدب و ?-مقعر، جف...

نظریه ‎ ‎kkm‎‎ توسط ناستر، کاراتوفسکی و در سال ‎1929‎ در فضای اقلیدسی‎‎‎‎ روی سیمپلکس ‎-‎nبعدی‎‎ مطرح و در سال ‎1961‎ تعمیم آن به فضای برداری توپولوژیک هاوسدورف زمینه ساز نتایج قابل توجه زیادی در آنالیز غیر خطی نظیر نظریه نقطه ثابت، بهینه سازی، نظریه بازی ها، نامساوی های مینیماکس و مسائل اقتصاد انتزاعی شد. همچنین بررسی قضایای نقطه ثابت برای چندتابعی ها در سال ‎1941‎ توسط کاکوتانی‎‎ در فضاهای ب...