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

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

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

تعمیم گراف های جهت دار را با مفاهیمی از رنگ آمیزی هارمونیک و رنگ آمیزی کامل در نظر می گیریم. کران بالایی برای عدد رنگی هارمونیک گراف جهت دار ایجاد کرده و نشان می دهیم که تعیین مقدار دقیق عدد رنگی هارمونیک، برای گراف های جهت دار از درجه کراندار (در حقیقت گراف ها با ماکزیمم درجه ورودی و خروجی 2); np-hard است. پیچیدگی در مورد گراف های غیر جهت دار متناظر ناشناخته است. با در نظر گرفتن رنگ آمیزی کا...

امروزه با پیشرفت علوم الکترونیک و کامپیوتر و همچنین پیچیده تر شدن این علوم نیاز بیش از پیش به استفاده از نرم افزار ها و ابزارهای کمک طراحی که در اصطلاح cad گفته میشوند، احساس می شود. گراف های تصمیم باینری(bdd)، ساختار داده ای برای توابع منطقی سویچینگ می باشند که برای پیاده سازی بسیاری از توابع منطقی، مورد استفاده قرار می گیرند. مهمترین مسئله در این نوع از گراف ها و نوع خاصی از آنها که بیشترین...

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

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

مجموعه s از رئوس گراف g را یک مجموعه احاطه گر نامند هرگاه هر رأس v ? v(g) – s با حداقل یک رأس از s مجاور باشد. در گراف جهت دار d مجموعه s از رئوس را یک مجموعه احاطه گر نامند هرگاه هر رأس v ? v(g) – s در همسایگی خروجی حداقل یکی از رئوس s قرار داشته باشد. مینیمم تعداد اعضای یک مجموعه احاطه گر را عدد احاطه ای نامیده و با ?(g) نشان میدهند. مقدار عدد احاطه ای یک گراف و گراف جهت دار می تواند با اضافه...

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