به عنوان حل کننده Zloc جدید جستجوی محلی برای زبان مدلسازی zinc
محل انتشار: دومین همایش سراسری فناوری اطلاعات و ارتباطات
سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,779
متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NCICT02_024
تاریخ نمایه سازی: 17 اردیبهشت 1391
چکیده مقاله:
زبان مدلسازی Zinc تنها زبان مدلسازی ریاضی است که از تمام تکنیکهای حل پشتیبانی می کند و برای مدل کردن بسیاری ازمسائل واقعی مناسب است با این حال حل کننده جستجوی محلی ان کند است ما یک حل کننده جدید مبتنی برجستجوی محلی درزبان C++ تحت عنوان Zloc برای Zinc طراحی و پیاده سازی کرده ایم ZLoc از اکثر ساختارهای داده عملیات محدودیت ها و مفاهیم Zinc پشتیبانی می کند دراین مقاله به مقایسه حل کننده فعلی جستجوی محلی Zinc و ZLoc می پردازیم
نویسندگان
رضا رافع
گروه مهندسی کامپیوتر دانشگاه آزاد اسلامی واحد ملایر
رویا رشیدی
گروه مهندسی کامپیوتر دانشگاه آزاد اسلامی واحد اراک