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

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

در این پایان نامه وجود نقاط ثابت را در فضاهای متریک ژئودزیک به طور یکنواخت محدب (با توجه ویژه به فضاهای r-tree و cat(0 )) ، فضاهای ابرمحدب و فضاهای باناخ برای نگاشت های تک مقداری و چند مقداری واجد شرایطی که تعمیم مفهوم غیرانبساطی هستند، مطالعه می کنیم.همچنین قضیه های نقطه ثابت را برای ارائه نتایج نقطه ثابت مشترک برای نگاشت های جابجایی و به طور ضعیف جابجایی به کار می بریم.

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

کلاس جدیدی از نگاشتهای پیوسته، به نام نگاشت های R - s - پیوسته ، معرفی میشود. ارتباط میان R - s - پیوستگی با پیوستگی و انواع دیگری ازپیوستگیهای قوی که تاکنون معرفی شده اند، بررسی میشود. سپس ویژگیهای نگاشتهای R - s - پیوسته مورد مطالعه قرار میگیرد.

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

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

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