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

در این پایان نامه پس از ارائه تعاریف لازم برای مطالعه در فصل اول ، در فصل دوم ، مجموعه های تعیین کننده در رنگ آمیزی راسی گرافها و مربعهای لاتین بررسی می شود.در فصل سوم ، عدد تعیین کننده ‏‎x‎‏ - رنگ آمیزی بحث و بررسی می شود. در فصل چهارم نتایج بحث ارائه شده است.

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

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

رنگ آمیزی کلی کمتر از رنگ آمیزی راسی و یالی مورد مطالعه قرار گرفته است. اما اخیرأ توجه زیادی به حدس دکتر بهزاد درباره رنگ آمیزی کلی شده است, که بیان گر این است که عدد رنگی کلی بزرگ تر از ماکزیمم درجه بعلاوه ‎2‎ نیست. در این پایان نامه درستی این حدس رادر مورد گراف های مسطحی که هیچ رأسی از درجه ‎5‎ یا بیشتر که روی بیشتر از سه دور به طول ‎3‎ قرار دارند, مورد مطالعه قرار می دهیم . عدد استق...

در این ‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‎‏مقاله‎ گراف های اشتراکی ‎‎‎‎‏ ‎$‎g(r)‎$‎ از ایده الهای ‎‎‏چپ نابدیهی از حلقه ‎‎$‎r‎$‎‎‎‎ را شرح می دهیم و چندین شرط لازم و کافی را برای این که گراف,کامل, همبند, مسطح یا دوبخشی باشد می یابیم.‎‎ سپس مشخص می کنیم که به ازای چه مقادیری از ‎$‎n‎$‎‎‏‎ ‎گراف ‎‎$‎g(z‎_{n}‎)‎$‎ ‏مسطح, دوبخشی یا دارای دور است.‏‎ ‏در ادامه نشان می دهیم که گراف های متناهی آن هایی هستند که گراف ها...

فرض کنید g‎ یک گراف متناهی، غیرجهت دار و ساده با مجموعه رئوسv(g) و مجموعه یال های‎e(g) ‎ باشد. یک ‎ -kرنگ آمیزی رأسی از گراف g ، یعنی تخصیص ‎ k رنگ به رئوس g ‎به گونه ای که رأس های مجاور هم رنگ نباشند. اگر در گراف‎ g ‎یک -‎ k ‎رنگ آمیزی وجود داشته باشد به طوری که اختلاف اندازه ی کلاس های رنگی، حداکثر یک باشد، آنگاه گراف g را -k رنگ پذیر منصفانه گویند. کوچکترین عدد صحیح k ‎که به ازای آن گرافg ،...

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

فرض کنید ‎$c$‎‏ یک ‎$k$-‎رنگ آمیزی معتبر از گراف همبند ‎$g$‎‏ با کلاس های رنگی ‏ ‎$v_1$‎‏‏، ‎$v_2$‎‏‏، ‎$ldots$‎‏‏، ‎$v_k$‎ باشد.‏ ‎$pi:=(v_1,v_2,...,v_k)$‎ را افراز مرتب حاصل از این رنگ آمیزی در نظر بگیرید.‎ کد رنگی رأس ‎$vin v(g)$‎‏‏ یک ‎$k$‎‏-تائی مرتب است که به صورت زیر تعریف می شود vspace*{3mm}‎‎ $$‎c_{{}_pi}(v)‎:=(d(v,v_1),d(v,v_2),ldots,d(v,v_k)).$$‎‏ اگر رئوس متمایز ‎$g$‎‏ کدهای رن...