دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Michela Milano, Pascal van Hentenryck (auth.), Pascal van Hentenryck, Michela Milano (eds.) سری: Springer Optimization and Its Applications 45 ISBN (شابک) : 9781441916433, 9781441916440 ناشر: Springer-Verlag New York سال نشر: 2011 تعداد صفحات: 561 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب بهینه سازی ترکیبی: ده سال CPAIOR: بهینه سازی، هوش مصنوعی (شامل رباتیک)، تحقیق در عملیات، برنامه ریزی ریاضی، هوش محاسباتی
در صورت تبدیل فایل کتاب Hybrid Optimization: The Ten Years of CPAIOR به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بهینه سازی ترکیبی: ده سال CPAIOR نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد بر ادغام هوش مصنوعی و برنامه نویسی محدودیت برای حل مشکلات در تحقیقات عملیات و بهینه سازی ترکیبی تمرکز دارد. این جلد مشارکتهای کارشناسان حوزههای تحقیقاتی مختلف از جمله نظریه تصمیمگیری، مهندسی سیستمها، رضایتپذیری گزارهها، بهینهسازی ریاضی و هوش مصنوعی را جمعآوری میکند. این محققین دعوت شده برخی از مهمترین موضوعات و نتایج حاصل از تحقیقات ده سال اخیر مرتبط با بهینه سازی ترکیبی را تشریح و نشان می دهند. ویژگی های کلیدی: - شامل هر دو نتایج تحقیقات به خوبی تثبیت شده، و جهت برای تحقیقات آینده است. - چندین روش حل برای بهینه سازی ترکیبی رایج و مسائل تصمیم گیری ارائه می دهد. - هم تکنیک های نظری و هم کاربردهای دنیای واقعی را در تحقیقات هوش مصنوعی و عملیات ارائه می دهد. بهینه سازی ترکیبی می تواند به عنوان یک منبع ارزشمند برای دانشجویان فارغ التحصیل، محققان و پزشکانی که در زمینه هوش مصنوعی یا تحقیقات عملیاتی مطالعه می کنند و علاقه مند به بررسی یا استفاده از تکنیک های برنامه نویسی محدودیت هستند، باشد.
This volume focuses on the integration of artificial intelligence and constraint programming to solve problems in operations research and combinatorial optimization. This volume collects the contributions of experts from various research areas including decision theory, systems engineering, propositional satisfiability, mathematical optimization, and artificial intelligence. These invited scholars describe and demonstrate some of the most important topics and results from the last ten years of research related to hybrid optimization. Key Features: - Includes both well established research results, and directions for future research. - Provides several solution methods for common combinatorial optimization and decision problems. - Presents both theoretical techniques and real-world applications in artificial intelligence and operations research. Hybrid Optimization can serve as a valuable resource for graduate students, researchers and practitioners studying artificial intelligence or operations research who are interested in investigating or applying constraint programming techniques.
Front Matter....Pages i-xi
The Ten Years of CPAIOR: A Success Story....Pages 1-9
Hybrid Modeling....Pages 11-62
Global Constraints: A Survey....Pages 63-134
Decomposition Techniques for Hybrid MILP/CP Models applied to Scheduling and Routing Problems....Pages 135-167
Hybrid Solving Techniques....Pages 169-190
Over-Constrained Problems....Pages 191-225
A Survey on CP-AI-OR Hybrids for Decision Making Under Uncertainty....Pages 227-270
Constraint Programming and Local Search Hybrids....Pages 271-303
Hybrid Metaheuristics....Pages 305-335
Learning in Search....Pages 337-356
What Is Autonomous Search?....Pages 357-391
Software Tools Supporting Integration....Pages 393-423
Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology....Pages 425-461
Bioinformatics: A Challenge to Constraint Programming....Pages 463-487
Sports Scheduling....Pages 489-508
Stimuli Generation for Functional Hardware Verification with Constraint Programming....Pages 509-558