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

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

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

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

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

در این پایان نامه با استفاده از روش های احتمالاتی درجه یک رأس بدست می آید.

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

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

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

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