دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Scientific Computing with Automatic Result Verification
دانلود کتاب محاسبات علمی با تأیید خودکار نتیجه
مشخصات کتاب
Scientific Computing with Automatic Result Verification
ویرایش:
نویسندگان: E. Adams and U. Kulisch (Eds.)
سری: Mathematics in Science and Engineering 189
ISBN (شابک) : 9780120442102, 0120442108
ناشر: Academic Press
سال نشر: 1993
تعداد صفحات: 625
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Scientific Computing with Automatic Result Verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات علمی با تأیید خودکار نتیجه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات علمی با تأیید خودکار نتیجه
این کتاب مجموعه ای از مقالات در مورد پیشرفت های اخیر در توسعه و کاربردهای برنامه های عددی با تأیید خودکار نتایج را ارائه می دهد. کتاب در سه بخش تنظیم شده است. بخش اول پشتیبانی زبانی لازم برای محاسبات علمی تایید شده را معرفی می‌کند که با ابزارهای مبتنی بر PASCAL، FORTRAN و C سروکار دارد. بخش سوم کاربردهای مختلف روش‌های محفظه را در مسائل علوم مهندسی، مانند محاسبات جریان MHD، گسسته‌سازی مسائل تکامل، و محاسبات ساختار نواری KKR، پوشش می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book presents a collection of papers on recent progress in the development and applications of numerical applications with automatic result verification. The book is organized in three parts. The first part introduces the necessary language support for verified scientific computations, dealing with tools based on PASCAL, FORTRAN, and C. The second part presents seven contributions to the solution of basic problems of Numerical Analysis with automatic result verification (ARV). The third part covers various applications of enclosure methods to problems in the engineering sciences, such as MHD flow calculations, the discretization of evolution problems, and KKR bandstructure calculations.
فهرست مطالب
Content:
Edited by
Page iii
Copyright page
Page iv
Contributors
Page vii
Preface
Pages ix-x
Acknowledgements
Page x
Dedication
Page x
E. Adams, U. Kulisch
Introduction
Pages 1-12
E. Adams, U. Kulisch
PASCAL-XSC New Concepts for Scientific Computation and Numerical Data Processing Original Research Article
Pages 15-44
R. Hammer, M. Neaga, D. Ratz
ACRITH-XSC A Fortran—like Language for Verified Scientific Computing Original Research Article
Pages 45-70
Wolfgang V. Walter
C-XSC A Programming Environment for Verified Scientific Computing and Numerical Data Processing Original Research Article
Pages 71-86
Christian Lawo
Proposal for Accurate Floating-Point Vector Arithmetic Original Research Article
Pages 87-102
G. Bohlender, D. Cordes, A. Knöfel, U. Kulisch, R. Lohner, W.V. Walter
Automatic Differentiation and Applications Original Research Article
Pages 105-142
Hans-Christoph Fischer
Numerical Quadrature by Extrapolation with Automatic Result Verification Original Research Article
Pages 143-185
Rainer Kelch
Numerical Integration in Two Dimensions with Automatic Result Verification Original Research Article
Pages 187-224
Ulrike Storck
Verified Solution of Integral Equations with Applications Original Research Article
Pages 225-253
Hans-Jürgen Dobner
Enclosure Methods for Linear and Nonlinear Systems of Fredholm Integral Equations of the Second Kind Original Research Article
Pages 255-282
Wolfram Klein
A Step Size Control for Lohner\'s Enclosure Algorithm for Ordinary Differential Equations with Initial Conditions Original Research Article
Pages 283-299
W. Rufeger, E. Adams
Interval Arithmetic in Staggered Correction Format Original Research Article
Pages 301-321
Rudolf J. Lohner
Multiple-Precision Computations with Result Verification Original Research Article
Pages 325-356
Walter Krämer
Verification of Asymptotic Stability for Interval Matrices and Applications in Control Theory Original Research Article
Pages 357-395
Beate Gross
Numerical Reliability of MHD Flow Calculations Original Research Article
Pages 397-421
Wera U. Klein
The Reliability Question for Discretizations of Evolution Problems Original Research Article
Pages 423-526
Ernst Adams
KKR Bandstructure Calculations, A Challenge to Numerical Accuracy Original Research Article
Pages 527-547
R. Schütz, H. Winter, G. Ehret
A Hardware Kernel for Scientific/Engineering Computations Original Research Article
Pages 549-570
Andreas Knöfel
Bibliography on Enclosure Methods and Related Topics Original Research Article
Pages 571-608
Gerd Bohlender
Index
Pages 609-612
