به عنوان حل کننده Zloc جدید جستجوی محلی برای زبان مدلسازی zinc

سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,715

متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

NCICT02_024

تاریخ نمایه سازی: 17 اردیبهشت 1391

چکیده مقاله:

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

نویسندگان

رضا رافع

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

رویا رشیدی

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