دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Perspectives on Enclosure Methods
دانلود کتاب دیدگاه‌های روش‌های محفظه
مشخصات کتاب
Perspectives on Enclosure Methods
ویرایش: 1 نویسندگان: Andreas Frommer (auth.), Prof. Dr. Ulrich Kulisch, Priv.-Doz. Dr. Rudolf Lohner, Dr. Axel Facius (eds.) سری: ISBN (شابک) : 9783211835906, 9783709162828 ناشر: Springer-Verlag Wien سال نشر: 2001 تعداد صفحات: 328 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب دیدگاه‌های روش‌های محفظه: تحلیل عددی، شبیه‌سازی و مدل‌سازی، آنالیز، زبان‌های برنامه‌نویسی، کامپایلرها، مفسران، حساب تغییرات و کنترل بهینه، بهینه‌سازی، الگوریتم‌ها
در صورت تبدیل فایل کتاب Perspectives on Enclosure Methods به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دیدگاه‌های روش‌های محفظه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب دیدگاه‌های روش‌های محفظه
روش‌های محفظه و کاربردهای آن در طول دهه‌های گذشته با استانداردهای بالایی توسعه یافته‌اند. این روش ها اعتبار نتایج محاسبه شده را تضمین می کنند. این به این معنی است که آنها از همان استانداردهای بقیه ریاضیات هستند. این کتاب با طیف گسترده ای از جنبه های روش های محفظه سروکار دارد. همه مشارکت‌ها از هدف مشترک پیروی می‌کنند تا محدودیت‌های روش‌های محفظه را به جلو ببرند. موضوعاتی که مورد بررسی قرار می‌گیرند شامل سؤالات اساسی حساب، اثبات حدس‌ها، کرانه‌های حل‌کننده‌های سیستم خطی نوع Krylow، کران مقادیر ویژه، اثر بسته‌بندی، تفاضل الگوریتمی، معادلات دیفرانسیل، روش‌های اجزا محدود، کاربرد در روباتیک، و بهینه‌سازی جهانی غیرهموار است. p>
توضیحاتی درمورد کتاب به خارجی
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the same standard as the rest of mathematics. The book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization.
فهرست مطالب
Front Matter....Pages I-XII
Proving Conjectures by Use of Interval Arithmetic....Pages 1-12
Advanced Arithmetic for the Digital Computer — Interval Arithmetic Revisited....Pages 15-70
Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers....Pages 77-97
Elements of Scientific Computing....Pages 99-103
The Mainstreaming of Interval Arithmetic....Pages 105-117
Bounds for Eigenvalues with the Use of Finite Elements....Pages 119-131
Algorithmic Differencing....Pages 133-146
A Comparison of Techniques for Evaluating Centered Forms....Pages 149-155
On the Limit of the Total Step Method in Interval Analysis....Pages 157-171
How Fast can Moore’s Interval Integration Method Really be?....Pages 173-179
Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments....Pages 181-198
On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds....Pages 201-216
A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations....Pages 219-263
A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements....Pages 265-275
Nonsmooth Global Optimization....Pages 277-337
Back Matter....Pages 341-345
