دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Franz Kurfeß (auth.)
سری: Artificial Intelligence / Künstliche Intelligenz 1
ISBN (شابک) : 9783528051631, 9783322849229
ناشر: Vieweg+Teubner Verlag
سال نشر: 1991
تعداد صفحات: 310
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب موازی سازی در منطق: پتانسیل آن برای عملکرد و توسعه برنامه: مهندسی، عمومی
در صورت تبدیل فایل کتاب Parallelism in Logic: Its Potential for Performance and Program Development به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب موازی سازی در منطق: پتانسیل آن برای عملکرد و توسعه برنامه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
پتانسیل موازی گرایی در منطق بسیار فراتر از بهره برداری از موازی گرایی AND- و OR- است که معمولاً در تلاش برای موازی سازی PROLOG یافت می شود. این کتاب به بحث موازی گرایی در منطق و بهره برداری از آن در معماری های موازی می پردازد. انواع دسته بندی های موازی با توجه به سطوح مختلف یک فرمول منطقی و روش های مختلف ارزیابی آن مورد بحث قرار می گیرد. به عنوان یک نتیجه از این تحقیقات نشان داده شده است که مدولار بودن اجازه می دهد تا ساختار برنامه های منطقی و فراارزیابی برای کنترل فرآیند ارزیابی در یک سیستم موازی مورد استفاده قرار گیرد. این یون ترکیبی یک چارچوب برنامه نویسی سازگار با دامنه وسیع به دست می دهد. در نهایت، مناسب بودن یک مکانیسم ارزیابی خاص برای معماریهای آرالل بررسی میشود.
The potential of parallelism in logic reaches far beyond the exploitation of AND- and OR-parallelism usually found in attempts to parallelize PROLOG. This book discusses parallelism in logic and its exploitation on parallel architectures. A variety of categories of parallelism is discussed with respect to different levels of a logical formula and different ways to evaluate it. As an outcome of these investigations it is shown that modularity allows s tructuring of logic programs and meta-evaluation can be used to c ontrol the evaluation process on a parallel system. This combinat ion yields a consistent programming framework with a wide scope. Finally, the suitability of a specific evaluation mechanism for p arallel architectures is investigated.
Front Matter....Pages i-xii
Introduction....Pages 1-16
Foundations....Pages 17-64
State of the Art....Pages 65-94
Parallelism in Logic....Pages 95-206
A Parallel Logic Language: MMLOP....Pages 207-221
Computational Model....Pages 223-230
Architecture....Pages 231-255
Conclusions....Pages 257-268
Back Matter....Pages 269-300