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

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

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

امروزه استفاده از روش های کاهش تأخیر در گراف سازمان ها و استفاده از الگوهای زمان بندی گراف ها بسیار حائز اهمیت است. یکی از این روش های کاهش تأخیر، استفاده از متدولوژی finc در ساختار گراف سازمان های نظامی و ارتشی می باشد که با ارائه راهکارهای مبتنی بر زمان بندی گراف ها بر اساس گره ها و یال ها به کاهش تأخیر در این گراف ها می انجامد. با این وجود، کاربرد این روش تنها در سازمان های نظامی بوده و همچن...

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

یکی از راهکارهای کاهش تلفات در شبکه​های توزیع استفاده از تجدید آرایش فیدرهای فشار متوسط متناسب با سطوح بار مختلف سیستم است. تعداد آرایش​های ممکن یک شبکه­ی توزیع بسیار زیاد است و امکان بررسی تمام آرایش​ها (مخصوصاً در شبکه​های با مقیاس بزرگ) برای یافتن آرایش بهینه به راحتی میسر نیست. در این مقاله یک الگوریتم جدید مبتنی بر نظریه­ی گراف و الگوریتم­های توسعه یافته­ی آن برای تجدید آرایش شبکه​های توزیع...

تاکنون روش‌های سراسری متعددی برای حل مسئله طراحی مسیر پیشنهاد شده است که از آن میان روش‌های گراف پدیداری، دیاگرام ورونویی، درخت چهاروجهی و جبهه موج جایگاه ویژه‌ای دارند. در این مقاله با ترکیب این چهار روش در یک ساختار واحد، یک الگوریتم طراحی مسیر جدید به نام (HYBRID-VQVW) HYBRID-Visibility-QuadTree-Voronoi-WaveFront ارائه می‌شود. در این روش در هر فاصلة نمونه‌برداری پس از ساخت چهار مسیر سراسری ر...

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