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

موضوع اصلی این پایان نامه بررسی مانیفلدهای سه بعدی پارا ساساکی نوع (?) است. در این پایان نامه مانیفلدهای تقریباً پاراسایا و (?)-تقریباً پارا سایا متریک را تعریف می کنیم و با اضافه کردن یک شرط، ساختار (?)-پارا ساساکی روی آن تعریف می کنیم و در یک قضیه خاصیت های تانسور انحنا و تانسور ریچی را برای آن بیان و اثبات می کنیم. مانیفلدهای سه بعدی (?)-پارا ساساکی شبه متقارن ریچی را معرفی می کنیم و ثابت می ...

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

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

اطلاع از پراکنش مکانی و زمانی نیاز آبی موجبات ارتباط بین کاربری اراضی، تخصیص و استفاده از آب را فراهم نموده است که می‌تواند منجر به مدیریت بهتر منابع آب گردد. در این پژوهش، با هدف تولید نقشه­های زمانی و مکانی نیاز آبی، به بررسی کارآیی الگوریتم متریک در تخمین تبخیروتعرّق روزانه و نیاز آبی فصلی دشت مرتفع قزوین پرداخته شد. بدین­منظور از پنج تصویر باقابلیت تفکیک مکانی بالای 30×30 متر ماهواره لندست 7...

در این پایان نامه با فرض این که (x,d) یک فضای متریک فشرده باشد ابتدا به معرفی و بیان برخی از ویژگی های جبرهای لیپشیتس می پردازیم. سپس با این فرض که x یک مجموعه ی صفحه ای فشرده باشد زیرجبرهای مشخصی از جبرهای لیپشیتس را معرفی می کنیم. در ادامه همریختی های فشرده یکانی بین زیرجبرهای یکنواخت طبیعی جبرهای تحلیلی توسیع یافته و همچنین همریختی های فشرده یکانی بین زیرجبرهای تایعی باناخ طبیعی جبرهای لیپشی...

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

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

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