fa بهسازی پارامترهای حل‌کننده مساله صدق‌پذیری برای زمان‌بندی پروژه با منابع محدود چندحالته مدل های زمان بندی پروژه Material Management كاربردي Applicable مساله‌ زمان‌بندی پروژه با منابع محدود چندحالته تعمیم مساله‌ زمان‌بندی پروژه با منابع محدود تک حالته (RCPSP) است. هدف آن، انتخاب یک حالت اجرایی برای هر فعالیت به‌منظور زمان‌بندی پروژه با حداقل زمان اجرا است به‌طوری‌که محدودیت‌های پیش‌نیازی، منابع تجدیدپذیر و تجدیدناپذیر رعایت شوند. در روشی که اخیرا معرفی شده، این مساله در دو گام مجزا حل می‌ شود. در گام نخست، با استفاده از مفاهیم جبر بول، درخت شمارشی و همچنین حل‌کننده‌ مساله‌ی صدق‌پذیری، مساله زمان‌بندی پروژه با منابع محدود چند حالته‌ به یک RCPSP تبدیل شده و در گام دوم با کمک یکی از الگوریتم‌های زمان‌بندی، RCPSP حل می‌شود. مشکل اساسی این روش، کم آوردن حافظه و زمان اجرای طولانی در برخی موارد است. در این مقاله سه راهکارجدید یعنی مرتب‌سازی و دو قاعده هرس برای رفع این مشکلات ارایه شده است.نتایج آزمون‌ها نشان می دهند که اعمال پیشنهادات در تعدیل مشکلات روش حل به میزان قابل توجهی موثر بوده و براساس معیارهای تعیین شده توانسته است در مواردی بیش از 88 درصد روند را بهبود بخشد. از این طریق نه تنها سرعت پردازش ارتقا یافته بلکه در میزان حافظه مورد نیاز نیز صرفه‌جویی شده است. زمان‌بندی پروژه, حل‌کننده SAT, درخت شمارشی, مساله‌ MRCPSP 375 390 http://ijiepm.iust.ac.ir/browse.php?a_code=A-10-1873-1&slc_lang=fa&sid=1 راضیه چشمی ra.cheshomi@yahoo.com 180031947532846008054 180031947532846008054 Yes دانشگاه فردوسی مشهد حامدرضا طارقیان taregian@um.ac.ir 180031947532846008055 180031947532846008055 No دانشگاه فردوسی مشهد حمیدرضا یوسف زاده usefzadeh.math@pnu.ac.ir 180031947532846008056 180031947532846008056 No دانشگاه پیام نور مرکز فریمان