دانلود کتاب Semirings for Soft Constraint Solving and Programming (به فارسی: Semirings برای حل محدودیت های نرم و برنامه نویسی) نوشته شده توسط «Stefano Bistarelli (auth.)»
اطلاعات کتاب Semirings برای حل محدودیت های نرم و برنامه نویسی
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Stefano Bistarelli (auth.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 284
حجم کتاب: 2 مگابایت
کد کتاب: 3540211810 , 9783540211815 , 9783540259251
نوبت چاپ: 1
توضیحات کتاب Semirings برای حل محدودیت های نرم و برنامه نویسی
رضایت از محدودیت و برنامه نویسی محدودیت نشان داده اند که ایده های بسیار ساده اما قدرتمندی هستند که در زمینه های مختلف کاربرد دارند. با این حال، در ده سال گذشته، مفهوم ساده محدودیت‌ها برخی از کاستی‌ها را هم در مورد تئوری و هم در عمل نشان داده است، معمولاً در نحوه برخورد با مشکلات و ترجیحات بیش از حد محدود. به همین دلیل، مفهوم محدودیت‌های نرم با محدودیت‌های نرم مبتنی بر semiring و محدودیت‌های ارزشی دو چارچوب کلی اصلی معرفی شده‌اند.
این کتاب شامل تعاریف و ویژگی‌های رسمی محدودیت‌های نرم مبتنی بر semiring است. و همچنین استفاده از آنها در برنامه نویسی منطق محدودیت و برنامه نویسی محدودیت همزمان. علاوه بر این، نویسنده نشان می‌دهد که چگونه می‌توان مفاهیم و تکنیک‌های موجود مانند انتزاع و قابلیت تعویض را با چارچوب محدودیت‌های نرم تطبیق داد و نشان می‌دهد که چگونه محدودیت‌های نرم را می‌توان در برخی از حوزه‌های کاربردی، مانند امنیت استفاده کرد.
به طور کلی، این کتاب یک نقطه شروع عالی برای هر کسی است که علاقه مند به درک اصول اولیه محدودیت های نرم مبتنی بر semiring است.
Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constrained problems and preferences are treated. For this reason, the notion of soft constraints has been introduced with semiring-based soft constraints and valued constraints being the two main general frameworks.
This book includes formal definitions and properties of semiring-based soft constraints, as well as their use within constraint logic programming and concurrent constraint programming. Moreover, the author shows how to adapt existing notions and techniques such as abstraction and interchangeability to the soft constraint framework and it is demonstrated how soft constraints can be used in some application areas, such as security.
Overall, this book is a great starting point for anyone interested in understanding the basics of semiring-based soft constraints.
دانلود کتاب «Semirings برای حل محدودیت های نرم و برنامه نویسی»
