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

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

ثابتهای گرافی، خاصیتهای مربوط به یک گراف می باشند که تحت ایزومرفیسم گرافها ثابتند. ثابت گرافی ممکن است یک چندجمله ای یا یک دنباله از اعداد یا یک عدد تنها باشد. ثابت گرافی که یک عدد حقیقی باشد اندیس توپولوژیکی نامیده میشود. فرض کنیم که g یک گراف همبند ساده با مجموعه رئوس v(g) و مجموعه یالهایe(g) باشد. فاصله دو رأس u وv که با نماد d(u,v) نمایش می دهیم عبارتست از طول کوتاهترین مسیر بین u وv. درج...

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

این پایان نامه، مشتمل بر 3 فصل است. در فصل اول تعاریف مقدماتی و قضایای پایه ای را بیان می کنیم. سپس در فصل دوم عدد احاطه ای ضعیفاً همبند و در فصل سوم عدد زیرتقسیم احاطه ای ضعیفاً همبند را بررسی نموده و کران هایی برای آن ها ارائه می کنیم. همچنین مقدار دقیق این پارامتر ها را برای برخی از گراف ها بدست می آوریم. فرض کنید g یک گراف با مجموعه رأس های (v(g و مجموعه یال های (e(g باشد. زیر مجموعه s از رأ...

یکی از مسائل مهم راه آهنها برنامه ریزی حرکت قطارها بخصوص قطارهای مسافری است که بوسیله ترسیم یک گراف مادر انجام میشود. در این گراف, که در واقع یک نمودار زمان – فاصله است و معمولاً توسط افراد باتجربه ترسیم می شود, زمان شروع حرکت و رسیدن قطارها به ایستگاههای بین راه و توقفهای لازم در ایستگاهها بعلاوه محل تلاقی با سایر قطارها که از روبرو در حال حرکت هستند نشان داده میشود. در این مقاله ابتدا یک مدل ...

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

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

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