بهسازی پارامترهای حل کننده مساله صدق پذیری برای زمان بندی پروژه با منابع محدود چندحالته

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

کلیدواژه ها:

زمان بندی پروژه ، حل کننده مساله صدق پذیری ، درخت شمارشی ، مساله زمان بند ی پروژه با منابع محدود چندحالته