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

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

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

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

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

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

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

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

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