Scientific Computing, Validated Numerics, Interval Methods
Editat de Walter Krämer, Jürgen Wolff von Gudenbergen Limba Engleză Hardback – 31 dec 2001
Preț: 970.70 lei
Preț vechi: 1213.36 lei
-20%
Puncte Express: 1456
Carte tipărită la comandă
Livrare economică 28 iulie-11 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9780306467066
ISBN-10: 0306467062
Pagini: 398
Ilustrații: X, 398 p.
Dimensiuni: 178 x 254 x 36 mm
Greutate: 1.05 kg
Ediția:2001
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 0306467062
Pagini: 398
Ilustrații: X, 398 p.
Dimensiuni: 178 x 254 x 36 mm
Greutate: 1.05 kg
Ediția:2001
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
SCAN 2000 Keynote Address The Future of Intervals.- I Software- and Hardware-Tools.- Variable-Precision Exponential Evaluation.- Fast computation of some special integrals of mathematical physics.- Interval Input and Output.- A Case for Interval Hardware on Superscalar Processors.- Evaluating the Impact of Accurate Branch Prediction on Interval Software.- Automatic Test Case Generation using Interval Arithmetic.- II Linear Algebra.- On the Hull of the Solution Sets of Interval Linear Equations.- Computation of Algebraic Solutions to Interval Systems via Systems of Coordinates.- Towards Diagrammatic Analysis of Systems of Interval “Linear Equations”.- On the Solution of Parametrised Linear Systems.- III Polynomials.- Verified solutions of systems of nonlinear polynomial equations.- Euler-like method with Weierstrass’ correction.- IV Set Enclosures.- Guaranteed Set Computation with Subpavings.- A New Intersection Algorithm for Parametric Surfaces Based on LIEs.- State estimation using interval constraint propagation.- V Global Optimization.- Interval Methods for Global Optimization Using the Boxing Method.- A Branch-and-Prune Method for Global Optimization.- Simulation of a Controlled Aircraft Elevator under Sensor Uncertainties.- VI Control.- Traditional parameter estimation versus estimation of guaranteed parameter sets.- Stabilizing Control Design of Nonlinear Process Involving Uncertainties.- Set Estimation, Computation of Volumes and Data Safety.- VII ODE and DAE and Applications.- Verified High-Order Integration of DAEs and Higher-order ODEs.- About a Finite Dimensional Reduction Method for Conservative Dynamical Systems and its Applications.- Verified Determination of Singularities in Chemical Processes.- Modeling of Multibody Systems with IntervalArithmetic.- VIII Stochastics and Probability.- On the Algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic.- Global Random Walk Simulations of Diffusion.- Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions.- For reliable and powerful scientific computations.- Reliable representations of strange attractors.- Appendix: The Referees.