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

فرض کنید r حلقه ی جابجایی و یکدار، و مجموعه ی مقسوم علیه های صفر r باشد.گراف مقسوم علیه صفر حلقه?ی r، که با(r) نشان داده می شود، گرافی است ساده با رأس های x و y. دو رأس و مجاورند هرگاه xy=0. فرض می کنیم که r، حداقل 2،مقسوم علیه صفر غیر بدیهی دارد. در این پایان نامه به بررسی ویژگی های حلقه هایی می پردازیم که قُطر گراف مقسوم علیه صفر آن ها حداکثر 2، یا بُعد آن ها 4، است. در دو قضیه ی آخر حلقه هایی...

چکیده ندارد.

امروزه مبحث کلاس بندی اهداف هوایی اهمیت روزافزونی یافته است و روش های مختلفی برای رسیدن به این هدف مورد استفاده قرار می-گیرد. ماشین بردار پشتیبان از جمله جدیدترین روش های مورد استفاده در این حوزه می باشد. در این مقاله برای کلاس بندی سه هدف جنگنده، هواپیمای مسافربری و هلی کوپتر از سه روش کلاس بندی چند کلاسه ماشین بردار پشتیبان شامل روش یکی در برابر یکی، یکی در برابر همه و گراف غیرچرخشی جهت دار پ...

فرض کنیم x یک گراف باشد. گراف x را رأس انتقالی ویال انتقالی یا کمان انتقالی (متقارن)گوییم هرگاه گروه خودریختی های گراف x یعنی (aut(x روی مجموعه رئوس و یال هاوکمان هاانتقالی باشد. فرض کنیم x یک گراف رأس انتقالی و(aut(x دارای دو مدار با طول برابر بر روی مجموعه کمان های گراف x باشد. در این صورت گراف x را نیم کمان انتقالی یا نیم یال انتقالی گوییم هرگاه (aut(x به ترتیب یک یا دو مدار روی مجموعه یال ه...

فرض کنید r یک حلقه جابه جایی با همانی ناصفر باشد. دوگان گراف مقسوم علیه صفر r، که با نماد(??(r نشان داده می شود، گرافی است ساده با مجموعه راس های (w*(r که (w*(r مجموعه عناصر ناصفر و نایکال r می باشد و دو راس متمایز x و y مجاورند اگر و تنها اگر x عضو ry نباشد و y عضو rx نباشد. در این پایان نامه، ارتباط بین r و (??(r را بررسی می کنیم. همچنین ارتباط بین (??(r با گراف مقسوم علیه صفر و گراف هم م...

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

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

فرض کنید مجموعه یال_های e(g) باشد. یک k-رنگ_آمیزی رأسی مجاز از گراف g، یعنی تخصیص k رنگ به رئوس g به گونه_ای که رأس_های مجاور هم رنگ نباشند. یک رنگ_آمیزی لیستی تعمیمی از مفهوم رنگ_آمیزی معمولی است، به این ترتیب که به هر یک از اجزای گراف، مجموعه_ی دلخواه از رنگ_ها نسبت داده می_شود و برای رنگ_آمیزی هر جزء باید از رنگ لیست متناظر آن استفاده شود و یک رنگ_آمیزی مجاز برای گراف به_دست آید. لیست ت...

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