Reliability in computing : the role of interval methods in scientific computing

著者

• Moore, Ramon E.

書誌事項

Reliability in computing : the role of interval methods in scientific computing

edited by Ramon E. Moore

（Perspectives in computing, vol.19）

Academic Press, c1988

注記

Includes bibliographical references

内容説明・目次

内容説明

Perspectives in Computing, Vol. 19: Reliability in Computing: The Role of Interval Methods in Scientific Computing presents a survey of the role of interval methods in reliable scientific computing, including vector arithmetic, language description, convergence, and algorithms. The selection takes a look at arithmetic for vector processors, FORTRAN-SC, and reliable expression evaluation in PASCAL-SC. Discussions focus on interval arithmetic, optimal scalar product, matrix and vector arithmetic, transformation of arithmetic expressions, development of FORTRAN-SC, and language description with examples. The text then examines floating-point standards, algorithms for verified inclusions, applications of differentiation arithmetic, and interval acceleration of convergence. The book ponders on solving systems of linear interval equations, interval least squares, existence of solutions and iterations for nonlinear equations, and interval methods for algebraic equations. Topics include interval methods for single equations, diagnosing collinearity, interval linear equations, effects of nonlinearity, and bounding the solutions. The publication is a valuable source of data for computer science experts and researchers interested in the role of interval methods in reliable scientific computing.

目次

Contributors Preface Acknowledgments 1. Computer Arithmetic and Mathematical Software Arithmetic for Vector Processors FORTRAN-SC, A FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH: Language Description with Examples FORTRAN-SC A FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH: Demonstration of the Compiler and Sample Programs Reliable Expression Evaluation in PASCAL-SC Floating-Point Standards-Theory and Practice Algorithms for Verified Inclusions-Theory and Practice Applications of Differentiation Arithmetic 2. Linear and Nonlinear Systems Interval Acceleration of Convergence Solving Systems of Linear Interval Equations Interval Least Squares-A Diagnostic Tool Existence of Solutions and Iterations for Nonlinear Equations Interval Method for Algebraic Equations Error Questions in the Computation of Solution Manifolds of Parametrized Equations The Enclosure of Solutions of Parameter-Dependent Systems of Equations 3. Optimization An Overview of Global Optimization Using Interval Analysis Philosophy and Practicalities of Interval Arithmetic Some Recent Aspects of Interval Algorithms for Global Optimization The Use of Interval Arithmetic in Uncovering Structure of Linear Systems 4. Operator Equations The Role of Order in Computing Interval Methods for Operator Equations Boundary Implications for Stability Properties: Present Status Validating Computation in a Function Space Epilogue: A Poem about My Life, by Daniel J. Langton

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA04003591
• ISBN:
  • 0125056303
• LCCN: 88003479
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston ; Tokyo
• ページ数/冊数: xv, 428 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.9.E94
  • DC19 : 004
• 件名:
  • LCSH : Electronic data processing -- Reliability
  • LCSH : Interval analysis (Mathematics)
• 親書誌ID:
  • BA00505463