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

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

این پایان نامه با معرفی ویژگیl_p‎ سایه زدن به بررسی ویژگی‎c^1-پایداری ‎l_p‎ سایه پذیری روی هموکلینیک کلاس ها می پردازد. همچنین نشان می دهد اگر وابرسانی f‎ روی هموکلینیک کلاس وابسته به نقطه هذلولوی p، c^1-پایدار سایه پذیر باشد آنگاه h(p,f) یک تجزیه گر مغلوب دارد. در پایان ضمن معرفی مولفه زنجیری c_p (f) و خاصیت انبساطی نشان می دهد اگر c_p (f)، c^1-پایدار سایه پذیر باشد وc_p (f)-جرم از وابرسانیf‎ ...

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

یکی از راهکارهای کاهش تلفات در شبکه​های توزیع استفاده از تجدید آرایش فیدرهای فشار متوسط متناسب با سطوح بار مختلف سیستم است. تعداد آرایش​های ممکن یک شبکه­ی توزیع بسیار زیاد است و امکان بررسی تمام آرایش​ها (مخصوصاً در شبکه​های با مقیاس بزرگ) برای یافتن آرایش بهینه به راحتی میسر نیست. در این مقاله یک الگوریتم جدید مبتنی بر نظریه­ی گراف و الگوریتم­های توسعه یافته­ی آن برای تجدید آرایش شبکه​های توزیع...

تاکنون روش‌های سراسری متعددی برای حل مسئله طراحی مسیر پیشنهاد شده است که از آن میان روش‌های گراف پدیداری، دیاگرام ورونویی، درخت چهاروجهی و جبهه موج جایگاه ویژه‌ای دارند. در این مقاله با ترکیب این چهار روش در یک ساختار واحد، یک الگوریتم طراحی مسیر جدید به نام (HYBRID-VQVW) HYBRID-Visibility-QuadTree-Voronoi-WaveFront ارائه می‌شود. در این روش در هر فاصلة نمونه‌برداری پس از ساخت چهار مسیر سراسری ر...

در این تحقیق، اثر جیره­های گلوژنیک و لیپوژنیک همزمان با یک برنامه همزمانی فحلی در جهت کاهش فاصله زایش و بهبود عملکرد شاخص­های تولید­مثلی با استفاده از 90 رأس میش نژاد بلوچی (در سه گروه ) مطالعه شد. میش­های هر گروه به ترتیب از سه جیره با نسبت­های متفاوت از منابع نشاسته و چربی تغذیه شدند. جهت همزمانی فحلی، میش­ها روز 30 آزمایش سیدرگذاری شدند. 14 روز بعد از سیدرگذاری، همزمان با برداشتن سیدر، 400 و...

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

گراف کنسر گرافی است که راس هایش تمام زیر مجموعه های k عضوی از مجموعه 1 تا n است. که b-رنگ آمیزی گراف کنسر را بحث کرده ایم. همچنین b-رنگ آمیزی گراف منتظم از درجه d را بررسی می کنیم. بزرگترین افراز را برای چنین گرافی با درجه کمتر از شش به دست آورده ایم. ازطرفی گراف به دست آمده از حاصل ضرب دکارتی دو گراف را b-رنگ آمیزی کرده ایم . برای چنین رنگ آمیزی از مستطیل لاتین استفاده می کنیم.

‏زیر مجموعه‎‎s‎$‎ از مجموعه رئوس گراف‎$g$‎ ‏، یک مجموعه ی غالب است‏، هر گاه هر رأس‎$v$‎ در ‎‎$v‎setminus s ‎‎$ با حداقل یک رأس از ‎$s$‎ مجاور باشد. عدد غالب‎‎gamma ‎(g)‎$‎ از گراف‎g$‎ ‏، اندازه ی کوچکترین مجموعه ی غالب از گراف است.‎‏فرض کنید‎$‎r‎$‎ یک حلقه ی ناجابجایی باشد. گراف جابجایی روی‎$r$‎ که با نماد‎$‎gamma(r)‎$‎ نشان داده می شود‏، یک گراف با مجموعه ی رئوس‎$r‎setminus z(r)‎‎$‎ ...