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

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

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

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

در این پایان نامه، فضای متریک جزیی و متریک هاسدورف را معرفی می کنیم که منجر به فضای متریک هاسدورف جزیی می شود. همچنین نگاشت های چندمقداری g- تقریب را در فضای متریک جزیی معرفی می کنیم. براساس تعریف g- تقریب مفاهیم نگاشتهای g – cav ,g – lcav ,g - ucav را بدست می آوریم و در آخر، نتایج نقطه ثابت مشترک برای نگاشت های چندمقداری g- تقریب که در شرایط انقباض تعمیم یافته در فضای متریک جزیی صدق می کنند را...

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

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

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

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

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