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

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

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

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

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

چکیده ندارد.

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

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

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

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