Bill Walster June 15, 2006 Computing with Intervals Recent Developments.

Slides:

Advertisements

Similar presentations

EECE **** Embedded System Design

Advertisements

MATHEMATICA – Computer Simulation R.C. Verma Physics Department Punjabi University Patiala – PART IX- Computer Simulation Mechanics.

MATLAB Presented By: Nathalie Tacconi Presented By: Nathalie Tacconi Originally Prepared By: Sheridan Saint-Michel Originally Prepared By: Sheridan Saint-Michel.

Total Recall Math, Part 2 Ordinary diff. equations First order ODE, one boundary/initial condition: Second order ODE.

ECE602 BME I Partial Differential Equations in Biomedical Engineering.

Numerical Methods for Engineers MECH 300 Hong Kong University of Science and Technology.

Surface to Surface Intersection N. M. Patrikalakis, T. Maekawa, K. H. Ko, H. Mukundan May 25, 2004.

MA5233: Computational Mathematics

ECIV 301 Programming & Graphics Numerical Methods for Engineers.

Overview of Modeling J.S. Gierke 28 September 2000.

PDEs: General classification

Computer Science Prof. Bill Pugh Dept. of Computer Science.

INTRODUCTION Introduction Section 0 Lecture 1 Slide 1 Lecture 1 Slide 1 INTRODUCTION TO Modern Physics PHYX 2710 Fall 2004 Intermediate 2500 Fall 2011.

CISE301: Numerical Methods Topic 9 Partial Differential Equations (PDEs) Lectures KFUPM (Term 101) Section 04 Read & CISE301_Topic9.

Numerical methods for PDEs PDEs are mathematical models for –Physical Phenomena Heat transfer Wave motion.

Page - 1 Rocketdyne Propulsion & Power Role of EASY5 in Integrated Product Development Frank Gombos Boeing Canoga Park, CA.

Introduction to Mathematical Computing © Francis J. Wright, 2010 Goldsmiths' Company Mathematics Course 2010.

1 Web Based Interface for Numerical Simulations of Nonlinear Evolution Equations Ryan N. Foster & Thiab Taha Department of Computer Science The University.

Developing Simulations and Demonstrations Using Microsoft Visual C++ Mike O’Leary Shiva Azadegan Towson University Supported by the National Science Foundation.

MapleSim and the Advantages of Physical Modeling

GPU-accelerated Evaluation Platform for High Fidelity Networking Modeling 11 December 2007 Alex Donkers Joost Schutte.

Hyperbolic PDEs Numerical Methods for PDEs Spring 2007 Jim E. Jones.

MATH 685/CSI 700 Lecture Notes Lecture 1. Intro to Scientific Computing.

Research, Development, Consulting, Training High Fidelity Modeling and Simulation Where we are going… …future plans.

CSE 541 Rick Parent ELEMENTARY NUMERICAL METHODS Winter 2012.

Overview of Formal Methods. Topics Introduction and terminology FM and Software Engineering Applications of FM Propositional and Predicate Logic Program.

Computational Physics Introduction 3/30/11. Goals  Calculate solutions to physics problems  All physics problems can be formulated mathematically. 

© 2012 Maplesoft, a division of Waterloo Maple Inc. A CYBERNET group company General Purpose Symbolic Computation Environment Equations are not simply.

Matlab for Engineers About Matlab Chapter 1. Matlab for Engineers What’s in this Chapter? What is Matlab? Student Edition of Matlab How is Matlab used.

Lecture 1 - Introduction June 3, 2002 CVEN 302. Lecture’s Goals General Introduction to CVEN Computer Applications in Engineering and Construction.

Chapter 2: First Steps in MuPAD MATLAB for Scientist and Engineers Using Symbolic Toolbox.

1 EPSII 59:006 Spring Real Engineering Problem Solving Analyzing Results of Designs is Paramount Problems are Difficult, Code Writing Exhaustive.

A Course in Scientific Simulation Mike O’Leary Shiva Azadegan Towson University Supported by the National Science Foundation under grant DUE

Algorithms & Flowchart

CFD Refinement By: Brian Cowley. Overview 1.Background on CFD 2.How it works 3.CFD research group on campus for which problem exists o Our current techniques.

Solution of a Partial Differential Equations using the Method of Lines

Solving an elliptic PDE using finite differences Numerical Methods for PDEs Spring 2007 Jim E. Jones.

Computer Science Theory & Introduction Week 1 Lecture Material – F'13 Revision Doug Hogan Penn State University CMPSC 201 – C++ Programming for Engineers.

Akram Bitar and Larry Manevitz Department of Computer Science

The Islamic University of Gaza Faculty of Engineering Civil Engineering Department Numerical Analysis ECIV 3306 Introduction Course Outline.

What is Electrical Engineering?

Introduction to PDE classification Numerical Methods for PDEs Spring 2007 Jim E. Jones References: Partial Differential Equations of Applied Mathematics,

Numerical Analysis Intro to Scientific Computing.

Introduction to GAMS, Netlib, Numerical Recipes CS 3414.

CS 127 Introduction to Computer Science. What is a computer?  “A machine that stores and manipulates information under the control of a changeable program”

Introduction to Numerical Methods for ODEs and PDEs Lectures 1 and 2: Some representative problems from engineering science and classification of equation.

Computational Science & Engineering meeting national needs Steven F. Ashby SIAG-CSE Chair March 24, 2003.

Operations Research The OR Process. What is OR? It is a Process It assists Decision Makers It has a set of Tools It is applicable in many Situations.

Numerical Analysis. Numerical Analysis or Scientific Computing Concerned with design and analysis of algorithms for solving mathematical problems that.

Lecture 6: Time Response 1.Time response determination Review of differential equation approach Introduce transfer function approach 2.MATLAB commands.

© Maplesoft, a division of Waterloo Maple Inc MapleSim and the Advantages of Physical ModelingMapleSim and the Advantages of Physical Modeling.

ES 84 Numerical Methods for Engineers, Mindanao State University- Iligan Institute of Technology Prof. Gevelyn B. Itao.

Math 445: Applied PDEs: models, problems, methods D. Gurarie.

SOLVING NONLINEAR EQUATIONS. SECANT METHOD MATH-415 Numerical Analysis 1.

EE 401 Control Systems Analysis and Design A Review of The Laplace Transform Wednesday 27 Aug 2014 EE 401: Control Systems Analysis and Design Slide 1.

Operations Research Models and Methods Advanced Operations Research Reference: Operations Research Models and Methods, Operations Research Models and Methods,

Lecture 1. source

SCIENTIFIC DISCOVERY EXPERIMENT THEORY SCIENTIFIC COMPUTING 1.

Anders Nielsen Technical University of Denmark, DTU-Aqua Mark Maunder Inter-American Tropical Tuna Commission An Introduction.

EE 401 Control Systems Analysis and Design A Review of The Laplace Transform Friday 15 Jan 2016 EE 401: Control Systems Analysis and Design Slide 1 of.

TIME 2012 Technology and its Integration in Mathematics Education 10 th Conference for CAS in Education & Research July 10-14, Tartu, Estonia.

Introduction to Performance Tuning Chia-heng Tu PAS Lab Summer Workshop 2009 June 30,

Sub-fields of computer science. Sub-fields of computer science.

Operations Research Chapter one.

Types for Programs and Proofs

Boundary Element Analysis of Systems Using Interval Methods

Big-O notation.

Math-254 Numerical Methods.

Chapter 2. Mathematical Foundation

Akram Bitar and Larry Manevitz Department of Computer Science

Presentation transcript:

Bill Walster June 15, 2006 Computing with Intervals Recent Developments

Computing with Intervals: Recent Developments Page 2 Overview Floating-point arithmetic flaws NNSA's “Predictive Science” Intervals solve critical computing problems Intervals are here and are here to stay Sun leads commercial interval development There is still lots to be done Computing with intervals is “big science”

Computing with Intervals: Recent Developments Page 3 Floating-point Problem Computational science is “stuck” > Floating-point numbers contain no accuracy information > Impossible to represent and track input data inaccuracies > Impossible to perform rigorous error and sensitivity analyses > Floating-point numbers are a finite set of real numbers > Impossible to numerically “safely” solve important problems – Single and multi-objective (linear and nonlinear) function optimization – Nonlinear systems of equations – Over- and under-determined systems of linear and nonlinear interval equations – Ordinary and partial differential equations Speed kills > The faster machines get, the more chance for silent catastrophic errors

Computing with Intervals: Recent Developments Page 4 National Nuclear Security Administration (NNSA) Predictive Science Definition: > “... the application of verified and validated computational simulations to predict reactions within complex systems where routine experimental tests are not feasible.”

Computing with Intervals: Recent Developments Page 5 Some Problems Solved with Intervals Proved stability of Tevatron – The world's largest and most powerful particle accelerator htmlhtml Avionics control system design html,html, htmlhtml Solid modeling html and graphics rendering html, htmlhtml Numerical proofs html, html, htmlhtml Robot control html, html, motion planning pdfhtml pdf Measuring physical constants html, htmlhtml

Computing with Intervals: Recent Developments Page 6 Large, High-Value Opportunities Enhance software productivity and reliability > Algorithm and code error detection > High abstraction level for application developers > Code transparency Safely reduce product liability in mission-critical applications > Input data uncertainty propagation > Sensitivity analysis Increase speed > Interval bounds minimize unnecessary computing > Important generic interval algorithms scale horizontally > Enhance IC design optimization

Computing with Intervals: Recent Developments Page 7 Interval Computing Suppliers Sun Microsystems html, htmlhtml Intel pdfpdf Maple htmlhtml Mathematica htmlhtml MuPad htmlhtml MatLab htmlhtml

Computing with Intervals: Recent Developments Page 8 Sun Leads Interval Computing World class consultants: > Ray Moore, Eldon Hansen Foundation for exception-free hardware World class interval compiler support World class interval math library

Computing with Intervals: Recent Developments Page 9 Sun Labs Interval Aplications Second order partial differential equations (PDEs) > Elliptic: Laplace's equation > Example: Robot motion planning pdfpdf > Parabolic: Heat diffusion > Hyperbolic: Nonlinear equations leading to shocks Second kind integral equations > Electrostatics and Electrodynamics > Antenna design > Radar cross section Integrated circuit design optimization

Computing with Intervals: Recent Developments Page 10 Plans Develop solutions to new problems in key areas > Partial differential and integral equations (PDEs and IEs) > Design optimization examples using PDEs and IEs >Airfoil shape >Radar cross section >Antenna Demonstrate interval benefits relative to alternatives Integrate hardware and software support into existing processors and compilers

Computing with Intervals: Recent Developments Page 11 Interval Innovation Opportunities Data-type compiler support alone is insufficient > Additional integrated compiler support > Using dependence to remove unnecessary width > Integrating symbolic and numerical mathematics Interval computing: > Speed and ease-of-use > Interval hardware, tools, solvers, and commercial applications > Successes with demonstrated benefits > Instructional textbooks and software

Computing with Intervals: Recent Developments Page 12 Big Science Interval Opportunities Applications, Applications, Applications Given applications, interval speed > Solver library algorithms > Compiler support for speed and narrow width > Hardware for basic interval arithmetic operations

Computing with Intervals Recent Developments