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

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

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

قطعه بندی تصویر، یک مساله پایه در بینایی ماشین است. در روش مبتنی بر برش نرمالیزه گراف (ncut)، حل این مساله به انتخاب بردار ویژه متناظر با دومین کوچکترین مقدار ویژه یک ماتریس خاص می انجامد. در این پایان نامه، ضمن بیان هم ارزی رابطه ریاضی حاکم بر مساله ی بدون مربیِ ncut با معیار fisher-rao در طبقه بندیِ با مربی، از نگاهی نو به مساله ی انتخاب بردار ویژه پرداخته شده است. در این پژوهش با پیشنهاد معیار...

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

تاکنون روش های سراسری متعددی برای حل مسئله طراحی مسیر پیشنهاد شده است که از آن میان روش های گراف پدیداری، دیاگرام ورونویی، درخت چهاروجهی و جبهه موج جایگاه ویژه ای دارند. در این مقاله با ترکیب این چهار روش در یک ساختار واحد، یک الگوریتم طراحی مسیر جدید به نام (hybrid-vqvw) hybrid-visibility-quadtree-voronoi-wavefront ارائه می شود. در این روش در هر فاصله نمونه برداری پس از ساخت چهار مسیر سراسری ر...

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

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

تاکنون روش های سراسری متعددی برای حل مسئله طراحی مسیر پیشنهاد شده است که از آن میان روش های گراف پدیداری، دیاگرام ورونویی، درخت چهاروجهی و جبهه موج جایگاه ویژه ای دارند. در این مقاله با ترکیب این چهار روش در یک ساختار واحد، یک الگوریتم طراحی مسیر جدید به نام (hybrid-vqvw) hybrid-visibility-quadtree-voronoi-wavefront ارائه می شود. در این روش در هر فاصلة نمونه برداری پس از ساخت چهار مسیر سراسری ر...

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