مطالعه ساختارهای جبری با استفاده از ویژگی گراف ها

زیر مجموعه¬ d از رئوس گراف g را یک مجموعه احاطه گر دلپذیر نامیم، هرگاه d دارای همسایه¬های یکسان در d باشند. کوچکترین اندازه یک مجموعه احاطه گر دلپذیر در گراف g را یک عدد احاطه گری دلپذیر g نامیده و آن را با fd(g) نشان می دهیم. یک مجموعه احاطه گر دلپذیر از اندازه fd(g) را به اختصار با fd(g)-مجموعه نشان می دهیم. در فصل اول این پایان نامه مفاهیم و مقدمات نظریه گراف که در فصل های بعد به آنها نیازمن...

مفهوم قویترین مسیر نقش مهمی رادر نظریه گراف بازی می کند.درنظریه گرافهای معمولی همه ی مسیرها دریک گراف قوی ترین مسیر باوزن قوی یک هستند.در این رساله قضیه منجر رابرای گرافهای فازی معرفی میکنیم.دوپارامتر همبندی درگرافهای فازی به نام همبندی راسی فازی و همبندی کمانی فازی معرفی شده اند.مفاهیم مهم مجموعه های کاهش قدرت از راس ها یا کمانها را نیز بیان کرده ایم.

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

در این مقاله، با فرض وجود ارتباطات معنادار بین برچسب‌ها در مسائل چندبرچسبی، دو روش جدید برای بهبود روش پایه زنجیره رده‌بندها (CC) در رده‌بندی چندبرچسبی پیشنهاد شده است. در این مقاله، برای اولین‌بار از قوانین انجمنی برای تعیین ترتیب رده‌بندها در روش CC استفاده شده است. در روش‌های پیشنهادی این مقاله، ابتدا از قوانین انجمنی برای مدل‌سازی ارتباطات بین برچسب‌ها استفاده می‌شود و سپس با استفاده از قوا...

ضرب کرونکر دو ماتریس که با ‎$ Aotimes B $‎ نشان داده می‌شود، دارای خواص جالبی است که باعث شده در زمینه‌های مختلف اعم از پردازش سیگنال، پردازش تصویر و همچنین در محاسبات کوانتومی به‌طور گسترده‌ای مورد استفاده قرار گیرد. این ضرب خواصی هم‌چون وارون‌پذیری، تعامد، مثلثی، تقارن و بسیاری از خواص دیگر را حفظ می‌کند. اگر ‎$ A $‎ یک ماتریس صفر و یک و یا ماتریس مجاورت یک گراف باشد، توان‌های کرونکری آن منجر...

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

زمان‎بندی درس های دانشگاه یک مسئلۀ پیچیدۀ بهینه‏سازی است. عوامل زیادی مانند گروه های آموزشی، استادان، اتاق ها و دانشجویان، مسئله را بزرگ و حل آن را دشوار می‎کنند. هر عامل، مجموعه‎ای از محدودیت ها را که معمولاً با هم در تضاد هستند، بر فضای حل تحمیل می کند. اگر درس ها در اتاق های متفاوت و در بازه های زمانی معین به‎گونه ای زمان‎بندی شوند که مجموعه محدودیت ها را برآورده کنند، مسئله حل خواهد شد. در ا...

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

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