ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

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

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

مشخصات کتاب

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 1870 
ISBN (شابک) : 9783540411376, 9783540400165 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2000 
تعداد صفحات: 374 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

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



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



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

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


در صورت تبدیل فایل کتاب Analysis and Visualization Tools for Constraint Programming: Constraint Debugging به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



هماهنگی تولید در سراسر زنجیره تامین، طراحی یک تراشه VLSI جدید، تخصیص کلاس‌های درس یا برنامه‌ریزی خدمه تعمیر و نگهداری در فرودگاه تنها چند نمونه از مشکلات پیچیده (ترکیبی) هستند که می‌توانند به‌عنوان مجموعه‌ای از متغیرهای تصمیم مدل‌سازی شوند که مقادیر آن‌ها موضوع هستند. به مجموعه ای از محدودیت ها متغیرهای تصمیم ممکن است زمانی باشد که تولید یک قطعه خاص شروع می‌شود یا هواپیمایی که خدمه تعمیر و نگهداری در یک زمان معین روی آن کار می‌کنند. محدودیت‌ها ممکن است از تعداد دانش‌آموزانی که می‌توانید در یک کلاس درس بخوانید تا زمانی که برای انتقال مقدار زیادی از یک کارخانه به کارخانه دیگر نیاز است، متغیر باشد. برنامه نویسی منطقی محدودیت (CLP) اولین بار در اواسط دهه هشتاد به عنوان یک تکنیک برنامه نویسی با پتانسیل کاهش قابل توجه زمان لازم برای توسعه راه حل های عملی برای بسیاری از این مشکلات، با ترکیب بیان زبان هایی مانند Prolog و Prolog ظاهر شد. قدرت محاسباتی جستجوی محدود. در حالی که ریشه های CLP را می توان در دانشگاه موناش استرالیا جستجو کرد، بدون هیچ شکی در اروپا است که این فناوری نرم افزاری جدید بیشترین اهمیت را به دست آورده است، از جمله از منابع مالی پایدار از برنامه های تحقیق و توسعه صنعتی و عمومی بهره می برد. در طول ده سال گذشته این سرمایه‌گذاری‌ها قبلاً پرداخت شده است، که منجر به تعدادی راه‌حل تجاری محبوب و همچنین ایجاد چندین استارت‌آپ موفق اروپایی شده است.


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

Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can ?t in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower,manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) ?rst emerged in the mid-eighties as a programming technique with the potential of signi?cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene?ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o?, resulting in a number of popular commercial solutions as well as the creation of several successful European startups.



فهرست مطالب

Front Matter....Pages -
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools....Pages 1-20
Front Matter....Pages 21-21
An Assertion Language for Constraint Logic Programs....Pages 23-61
A Generic Preprocessor for Program Validation and Debugging....Pages 63-107
Assertions with Constraints for CLP Debugging....Pages 109-120
Locating Type Errors in Untyped CLP Programs....Pages 121-150
Declarative Diagnosis in the CLP Scheme....Pages 151-174
Front Matter....Pages 175-175
Visual Tools to Debug Prolog IV Programs....Pages 177-190
Search-Tree Visualisation....Pages 191-208
Towards a Language for CLP Choice-Tree Visualisation....Pages 209-236
Tools for Search-Tree Visualisation: The APT Tool....Pages 237-252
Tools for Constraint Visualisation: The VIFID/TRIFID Tool....Pages 253-272
Debugging Constraint Programs by Store Inspection....Pages 273-297
Complex Constraint Abstraction: Global Constraint Visualisation....Pages 299-317
Front Matter....Pages 319-319
Using Constraint Visualisation Tools....Pages 321-356
Back Matter....Pages -




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