سال انتشار: ۱۳۹۰

محل انتشار: دومین همایش سراسری فن آوری اطلاعات و ارتباطات

تعداد صفحات: ۴

نویسنده(ها):

رضا رافع – گروه مهندسی کامپیوتر دانشگاه آزاد اسلامی واحد ملایر
رویا رشیدی – گروه مهندسی کامپیوتر دانشگاه آزاد اسلامی واحد اراک

چکیده:

زبان مدلسازی Zinc تنها زبان مدلسازی ریاضی است که از تمام تکنیکهای حل پشتیبانی می کند و برای مدل کردن بسیاری ازمسائل واقعی مناسب است با این حال حل کننده جستجوی محلی ان کند است ما یک حل کننده جدید مبتنی برجستجوی محلی درزبان C++ تحت عنوان Zloc برای Zinc طراحی و پیاده سازی کرده ایم ZLoc از اکثر ساختارهای داده عملیات محدودیت ها و مفاهیم Zinc پشتیبانی می کند دراین مقاله به مقایسه حل کننده فعلی جستجوی محلی Zinc و ZLoc می پردازیم