ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Programming Constraint Services: High-Level Programming of Standard and New Constraint Services

دانلود کتاب خدمات محدودیت برنامه نویسی: برنامه نویسی سطح بالا از خدمات محدودیت استاندارد و جدید

Programming Constraint Services: High-Level Programming of Standard and New Constraint Services

مشخصات کتاب

Programming Constraint Services: High-Level Programming of Standard and New Constraint Services

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان:   
سری: Lecture Notes in Computer Science 2302 : Lecture Notes in Artificial Intelligence 
ISBN (شابک) : 3540433716, 9783540433712 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2002 
تعداد صفحات: 183 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 53,000



کلمات کلیدی مربوط به کتاب خدمات محدودیت برنامه نویسی: برنامه نویسی سطح بالا از خدمات محدودیت استاندارد و جدید: هوش مصنوعی (شامل رباتیک)، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل، ریاضیات گسسته در علوم کامپیوتر



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب Programming Constraint Services: High-Level Programming of Standard and New Constraint Services به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب خدمات محدودیت برنامه نویسی: برنامه نویسی سطح بالا از خدمات محدودیت استاندارد و جدید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب خدمات محدودیت برنامه نویسی: برنامه نویسی سطح بالا از خدمات محدودیت استاندارد و جدید



برنامه‌نویسی محدودیت رویکردی برای مدل‌سازی و حل مسائل ترکیبی است که در بسیاری از کاربردها موفق بوده است. این مبتنی بر تکنیک‌های توسعه‌یافته در هوش مصنوعی، برنامه‌نویسی منطقی، و تحقیقات دوره‌ها است. تکنیک های کلیدی عبارتند از انتشار محدودیت و جستجوی اکتشافی. برنامه نویسی محدودیت بر اساس یک انتزاع است که یک حل کننده مسئله را به یک موتور محدودیت قابل استفاده مجدد و یک برنامه اعلامی که مسئله را مدل می کند تجزیه می کند. موتور محدودیت الگوریتم‌های جستجو و پراکندگی مورد نیاز را پیاده‌سازی می‌کند. این می تواند به عنوان یک کتابخانه برای یک زبان برنامه نویسی با هدف عمومی (به عنوان مثال C++)، به عنوان یک توسعه دهنده یک زبان موجود (مانند Prolog)، یا به عنوان یک سیستم با زبان اختصاصی خود شناخته شود. کتاب حاضر به معماری و پیاده سازی موتورهای محدودیت می پردازد. این یک معماری جدید و همزمان ارائه می دهد که بسیار برتر از معماری متوالی زیر بنای Prolog است. معماری جدید بر اساس جستجوی همزمان با کپی و محاسبه مجدد است تا جستجوی متوالی با دنباله‌روی و عقب‌نشینی. یکی از مزایای رویکرد همزمان این است که هر استراتژی جستجو را در خود جای می دهد. علاوه بر این، اجرای الگوریتم‌های انتشار محدودیت را به‌طور قابل‌توجهی ساده می‌کند، زیرا نیاز به حسابرسی برای دنبال کردن و عقب‌نشینی را از بین می‌برد. این کتاب به بررسی تعمیم صریح معماری همزمان می‌پردازد که ترکیب‌کننده‌های حفظ کننده انتشار (معروف به ترکیب‌کننده‌های محافظ عمیق) را برای نفی، تفکیک، دلالت و بازگردانی انتشار دهنده‌های محدودیت در خود جای می‌دهد. چنین ترکیب‌کننده‌هایی فراتر از محدوده فناوری Prolog هستند. در رویکرد همزمان، آنها را می توان با یک کپسوله سازی اولیه واکنشی به دست آورد.


توضیحاتی درمورد کتاب به خارجی

Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti?cial Intelligence, Logic Programming, and - erations Research. Key techniques are constraint propagation and heuristic search. Constraint Programming is based on an abstraction that decomposes a problem solver into a reusable constraint engine and a declarative program modeling the problem. The constraint engine implements the required pr- agation and search algorithms. It can be realized as a library for a general purpose programming language (e.g. C++), as an extension of an existing language (e.g. Prolog), or as a system with its own dedicated language. The present book is concerned with the architecture and implementation of constraint engines. It presents a new, concurrent architecture that is far superior to the sequential architecture underlying Prolog. The new archit- ture is based on concurrent search with copying and recomputation rather than sequential search with trailing and backtracking. One advantage of the concurrent approach is that it accommodates any search strategy. Furth- more, it considerably simpli?es the implementation of constraint propagation algorithms since it eliminates the need to account for trailing and backtra- ing. The book investigates an expressive generalization of the concurrent - chitecture that accommodates propagation-preserving combinators (known as deep guard combinators) for negation, disjunction, implication, and re- cation of constraint propagators. Such combinators are beyond the scope of Prolog’s technology. In the concurrent approach they can be obtained with a re?ective encapsulation primitive.



فهرست مطالب

Introduction....Pages 1-7
Constraint Programming....Pages 9-14
Introducing Oz Light....Pages 15-27
Spaces for Search....Pages 29-44
Search Engines....Pages 45-54
Best-Solution Search....Pages 55-58
Recomputation....Pages 59-67
Oz Explorer:Visual Search....Pages 69-78
Distributed Search....Pages 79-91
Spaces for Combinators....Pages 93-104
Constraint Combinators....Pages 105-116
Implementing Oz Light....Pages 117-120
Implementing Spaces....Pages 121-141
Other Approaches to Search....Pages 143-152
Conclusion....Pages 153-156




نظرات کاربران