CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

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

عنوان مقاله: به عنوان حل کننده Zloc جدید جستجوی محلی برای زبان مدلسازی zinc
شناسه (COI) مقاله: NCICT02_024
منتشر شده در دومین همایش سراسری فن آوری اطلاعات و ارتباطات در سال ۱۳۹۰
مشخصات نویسندگان مقاله:

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

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

کلمات کلیدی:


صفحه اختصاصی مقاله و دریافت فایل کامل: http://www.civilica.com/Paper-NCICT02-NCICT02_024.html