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

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

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

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

یک مسئلۀ مهم در نظریۀ گراف، علوم کامپیوتر و شبکه های اجتماعی، مشخص کردن اهمیت رأس های یک گراف (یا گره های یک شبکه) است. بدین منظور، معیارها و روش های گوناگونی پیشنهاد شده است. یکی از این روش ها، رتبه بندی است که بر پایۀ گا م برداریِ تصادفی بنا شده است. هدف ما در این مقاله، توضیح الگوریتم رتبه بندی به دو شکل متمرکز و توزیع شده است. به این منظور، نخست مفهوم رتبه بندی و الگوریتم محاسبۀ آن را به صور...

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

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

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

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

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