معرفی پوچی گراف /رابطه ی بین پوچی و ساختار گراف/ بررسی طیف ضرب کرونا/ بررسی یک ضرب جدید و طیف آن/ بررسی پوچی گرافهای دارای رأس برشی محاسبه پوچی چند دسته از دندریمرها/پوچی گراف هایی با یک درخت آویزان/ محاسبه ی پوچی یک گراف تک دور با استفاده از عدد تطابقی آن/تعیین گراف هایی با پوچی ماکزیمم

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

چکیده ندارد.

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

فرض کنیم 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 با گراف مقسوم علیه صفر و گراف هم م...

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

چکیده ندارد.

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