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

در این پایان نامه، انواع خاصیت های یکدست (یکدست، یکدست مرتب، شرط (p و ...) را در رسته ی pos-s، مورد مطالعه قرار می دهیم و تکواره های مرتب s را توسط s-مجموعه های مرتب دسته بندی می کنیم و در حالت های خاص، خاصیت های یکدست بودن برای s-مجموعه های مرتب دوری و خارج@قسمتی ریس راست، بررسی خواهد شد.هم چنین قضیه ی استنستروم-گوورف-لازارد، که برای s-مجموعه ها وجود دارد، را برای s-مجموعه های مرتب بیان خواهیم...

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

گراف تسلط کلمات دودویی، گرافی است جهت‌دار با مجموعه رئوس تمام کلمات دودویی به طول n که با نماد (Γ_n ) ⃗ نشان داده می‌شود، برای هر رأس دلخواه w=w_1 w_2⋯w_n از آن قرار می‌دهیم B_1 (w)={1≤i≤n|w_i=1} و دو رأس v و w را با پیکان جهت‌دار v→w به هم وصل می‌کنیم هرگاه داشته باشیم B_1 (w)⊆B_1 (v). در این مقاله، به مطالعه و محاسبه برخی پارامترهای این گراف می‌پردازیم؛ به عنوان مثال، پس از محاسبه فاصله هر دو ...

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

در این مقاله شیوه جدیدی بر مبنای گراف سیگنال جریان برای مدلسازی مبدل Cuk ارائه شده و در کنار آن روش اولیه مبتنی بر گراف سیگنال جریان پیشنهاد شده در مراجع نیز بر روی مبدل Cuk پیاده شده است. روش پیشنهادی فرآیند بسیار ساده­تری در مقایسه با سایر روش­های مدلسازی و هم چنین روش قدیمی­تر مبتنی بر گراف سیگنال جریان داشته و از گراف به دست آمده می­توان سه مدل سیگنال کوچک، سیگنال بزرگ و حالت ماندگار مبدل ر...

در این مقاله ابتدا گراف های بازه ای را تعریف و سپس مسأله ی پیداکردن هسته روی گراف های بازه ای و درخت های بازه ای را بررسی می کنیم. یک هسته در یک گراف بازه ای، مسیری از بازه های متصل به هم است که مجموع فاصله های تمام بازه ها تا این مسیر کمینه شود. نشان می دهیم بازه هایی که روی  هسته ی یک درخت  قرار دارند نمی توانند بازه ای غیر ماکسیمال باشند. سپس الگوریتمی با پیچیدگی زمانی o(n) برای پیداکردن هست...

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

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