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

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

در این رساله به مطالعه جبرهای لیپ شیتس برداری مقدار می پردازیم. در آغاز، فضای مشخصه و مرز شیلوف جبرهای لیپ شیتس با مقادیر در جبرهای باناخ را بدست می آوریم. سپس به معرفی و مطالعه جبرهای لیپ شیتس چندجمله $a$-مقدار روی زیرمجموعه فشرده $k$ در صفحه ( که توسط چندجمله ای های $a$-مقدار روی $k$) تولید شده اند می پردازیم. سپس عملگرهای ترکیبی وزن دار روی فضاهای لیپ شیتس برداری مقدار را مورد مطالعه قرار د...

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

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

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

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