Robustness analysis of finite precision implementations
|
|
- Harold Allison
- 5 years ago
- Views:
Transcription
1 Eric Goubault and Sylvie Putot Cosynus, LIX, Ecole Polytechnique
2 Motivations (see Eric s talk) Context: automatic validation o numerical programs Iner invariant properties both in loating-point and real number semantics Abstract interpretation based static analysis (aine arithmetic/zonotopes) Bound the implementation errors Implemented in the abstract interpreter FLUCTUAT A diiculty in error analysis: unstable tests When inite precision and real control lows are potentially dierent I discontinuity o treatment between branches, joining error analyses rom each branch is unsound When considering sets o executions, most tests are potentially unstable (just issuing a warning is not practical) We propose here to compute discontinuity errors in unstable tests Bound the dierence between the computation in two branches under conditions o unstable tests (mix constraint solving / aine arithmetic) Makes our error analysis sound in presence o unstable tests Provides a robustness analysis o the implementation
3 A typical example o unstable tests: aine interpolators All tests are unstable, but the implementation is robust, the conditional block does not introduce a discontinuity
4 But discontinuities also actually occur (sqrt approx.)
5 Test interpretation Fluctuat: computes rounding errors and propagates errors and uncertainties Relying on aine orms both or real value and error terms; With two sets o constraints on the noise symbols, resp. corresponding to real and inite control lows Main idea to interpret test, inormally Aine orms are unchanged, translate the test condition as a condition on the noise symbols ε i The test condition is interpreted as a restriction o the set o inputs, that lead to an execution satisying the condition: unctional interpretation Example r e a l x = [ 0, 0 ] ; r e a l y = x ; i ( y >= 0) y = x ; Aine orms beore tests: x = 5 + 5ε, y = 0 + 0ε In the i branch ε 0: condition acts on both x and y
6 Test interpretation and set operations - inormally Example x =[,] + u ; // [ ] i ( x <= ) // [ ] y = x +; // [ ] e l s e // [ ] y = x ; // [ ] // [ ] } start x y = x + x > y = x (x, y ) = ( + ε + u, ); ε Φ X = [, ] (x, y ) = (x, y ) (x ); ε Φ X = [0, ] (x, y ) = (x, x + ); ε Φ X (x, y ) = (x, y ) (x > ); ε Φ X = [, 0] (x, y ) = (x, x ); ε Φ X (x, y ) = (x, y ) (x, y ); ε Φ X = [, ]
7 Abstract domain in Fluctuat Abstract value at each control point c For each variable, aine orms or real value and error: x = (α x 0 + α x i ε r i ) i }{{} real value + mi x ε r i i +( e0 x }{{} + center o the error }{{} propag o uncertainty on value at pt i el x ε e l l }{{} uncertainty on error due to point l Constraints on noise symbols coming rom interpretation o test condition ε r Φ X r or real control low (test on the r x : constraints on the ε r i ) (ε r, ε e ) Φ X or inite precision control low (test on the x = r x + e x : constraints on the ε r i and ε e l ) Unstable test condition = intersection o constraints ε r Φ X r Φ Y : unstable test: or a same execution (same values o the noise symbols ε i ) the control low is dierent restricts the range o the ε i : allows us to bound accurately the discontinuity error )
8 Formally, sound abstraction (with discontinuity errors) Abstract value An abstract value X, or a program with p variables x,..., x p, is a tuple X = (R X, E X, D X, Φ X r, Φ X ) composed o the ollowing aine sets and constraints, or all k =,..., p: R X : ˆr k X = r0,k X + n i= r i,k X ε r i where ε r Φ X r E X : êk X = e0,k X + n i= ex i,k ε r i + m j= ex n+j,k ε e j where (ε r, ε e ) Φ X D X : ˆd X k = d X 0,k + o i= d i,k X ε d i ˆ X k = ˆr X k + ê X k where (ε r, ε e ) Φ X E X is the propagated rounding error, D X the propagated discontinuity error New discontinuity errors computed when joining branches o a possibly unstable test Z = X Y is Z = (R Z, E Z, D Z, Φ X r Φ Y r, Φ X Φ Y ) such that (R Z, Φ Z r Φ Z ) = (R X, Φ X r Φ X ) (R Y, Φ Y r Φ Y ) (E Z, Φ Z ) = (E X, Φ X ) (E Y, Φ Y ) D Z = D X D Y (R X R Y, Φ X Φ Y (R Y R X, Φ Y Φ X
9 Example: sound unstable test analysis x := [,] + u; // [] i (x ) y = x+; // [] else y = x; // [] // [] At cpt : ˆr x [] = + ε r ; ê x [] = u x 5 ˆ x [] ˆr x [] 0-0 ε r
10 Example: sound unstable test analysis x := [,] + u; // [] i (x ) y = x+; // [] else y = x; // [] // [] ˆr x [] = + ε r ; ê x [] = u y Φ [] r : ε r 0 Φ [] r : ε r > 0 ε r Test x, real low: Φ [] r : ˆr x [] = + ε r
11 Example: sound unstable test analysis x := [,] + u; // [] i (x ) y = x+; // [] else y = x; // [] // [] ˆr x [] = + ε r ; ê x [] = u Real at []: ( [] = + εr, Φ [] Real at []: ( [] = + εr, Φ [] y Φ [] r : ε r 0 Φ [] r : ε r > 0 ε r
12 Example: sound unstable test analysis x := [,] + u; // [] i (x ) y = x+; // [] else y = x; // [] // [] ˆr x [] = + ε r ; ê x [] = u Real at []: ( [] = + εr, Φ [] Real at []: ( [] = + εr, Φ [] Test x, loat low: : ˆr x [] + ê x [] = + ε r + u Φ [] y 5 [] [] 0 - u 0 Φ [] r : ε r 0 Φ [] r : ε r > 0 Φ [] : ε r u Φ [] : ε r > u ε r
13 Example: sound unstable test analysis x := [,] + u; // [] i (x ) y = x+; // [] else y = x; // [] // [] Real at []: ( [] = + εr, Φ [] Real at []: ( [] = + εr, Φ [] y 5 ˆ y [] ˆ y [] [] 0 - u 0 [] Φ [] r : ε r 0 Φ [] r : ε r > 0 Φ [] : ε r u Φ [] : ε r > u ε r Error at []: ê y [] = êx [] + δε e Error at []: ê y [] = êx []
14 Example: sound unstable test analysis x := [,] + u; // [] i (x ) y = x+; // [] else y = x; // [] // [] Real at []: ( [] = + εr, Φ [] Real at []: ( [] = + εr, Φ [] y 5 ˆ y [] ˆ y [] [] 0 - u 0 [] Φ [] r : ε r 0 Φ [] r : ε r > 0 Φ [] : ε r u Φ [] : ε r > u ε r Error at []: ê y [] = u + δεe Error at []: ê y [] = u Φ [] r Φ [] : u < ε r 0 Unstable test, irst possibility: Φ [] r Φ [] : u < ε r 0
15 Example: sound unstable test analysis x := [,] + u; // [] i (x ) y = x+; // [] else y = x; // [] // [] Real at []: ( [] = + εr, Φ [] Real at []: ( [] = + εr, Φ [] y 5 ˆ y [] ˆ y [] [] 0 - u 0 [] Φ [] r : ε r 0 Φ [] r : ε r > 0 Φ [] : ε r u Φ [] : ε r > u ε r Error at []: ê y [] = u + δεe Error at []: ê y [] = u Unstable test, second possibility: Φ [] r Φ [] =
16 Example: sound unstable test analysis x := [,] + u; // [] i (x ) y = x+; // [] else y = x; // [] // [] Real at []: ( [] = + εr, Φ [] Real at []: ( [] = + εr, Φ [] y 5 ˆ y [] ˆ y [] 0 - u 0 [] [] Φ [] r : ε r 0 Φ [] r : ε r > 0 Φ [] : ε r u Φ [] : ε r > u ε r Error at []: ê y [] = u + δεe Error at []: ê y [] = u Φ [] r Φ [] : u < ε r 0 Error at [] :ê y [] êy [] ( ˆ y [] [], Φ [] Φ [] = ê y [] }{{} êy [] + ( [] [] +êy [] [] [], Φ[] Φ []
17 Example: sound unstable test analysis x := [,] + u; // [] i (x ) y = x+; // [] else y = x; // [] // [] Real at []: ( [] = + εr, Φ [] Real at []: ( [] = + εr, Φ [] y 5 ˆ y [] ˆ y [] [] 0 - u 0 [] Φ [] r : ε r 0 Φ [] r : ε r > 0 Φ [] : ε r u Φ [] : ε r > u ε r Error at []: ê y [] = u + δεe Error at []: ê y [] = u Φ [] r Φ [] : u < ε r 0 Error at [] :ê y [] êy [] + ( [] }{{} [], Φ[] Φ [] = u + δε e χ [ u,0] (ε }{{} ê y [] ˆd y []
18 Example: sound unstable test analysis x := [,] + u; // [] i (x ) y = x+; // [] else y = x; // [] // [] y 5 ˆ y [] ˆ y [] 0 - u 0 [] [] ε r Error at [] :ê y [] êy [] + ( [] }{{} [], Φ[] Φ [] = u + δε e + χ }{{}}{{} [ u,0] (ε }{{} ê y [] ˆd y ê y [] ˆd y [] [] Real value [] = + εr [, ] Float value ˆ y [] = [] + êy [] = + εr + u + δε e [ + u δ, + u + δ]
19 Householder algorithm or square root
20 Conclusion Error bounds now sound even with unstable tests Candidate input values or unstable tests given by Φ X Φ Y r Robustness analysis and discontinuity error bounds applicable to general uncertainties (not only inite precision) A.I. techniques allow to extend error analyses compared to more classical interval-like techniques Natural potential on these robustness aspects or more interaction with constraint-based approaches to the veriication o inite-precision implementations such as, e. g. O. Ponsini, C. Michel, M. Rueher: Reining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. CP 0
Semantics and Validation Lecture 5. Numerical program analysis.
Semantics and Validation Lecture 5. Numerical program analysis. Laboratoire Modélisation et Analyse de Systèmes en Interaction, CEA-LIST and Ecole Polytechnique Eric Goubault and Sylvie Putot January 14,
More informationAutomatic determination of numerical properties of software and systems
Automatic determination of numerical properties of software and systems Eric Goubault and Sylvie Putot Modelling and Analysis of Interacting Systems, CEA LIST MASCOT-NUM 2012 Meeting, March 21-23, 2012
More information( x) f = where P and Q are polynomials.
9.8 Graphing Rational Functions Lets begin with a deinition. Deinition: Rational Function A rational unction is a unction o the orm ( ) ( ) ( ) P where P and Q are polynomials. Q An eample o a simple rational
More informationDiscrete Choice in the Presence of Numerical Uncertainties
Discrete Choice in the Presence of Numerical Uncertainties How often does your program make a wrong decision? Debasmita Lohar, Eva Darulova, Sylvie Putot, Eric Goubault EMSOFT 2018 1 Programming with Numerical
More informationNumerical Methods - Lecture 2. Numerical Methods. Lecture 2. Analysis of errors in numerical methods
Numerical Methods - Lecture 1 Numerical Methods Lecture. Analysis o errors in numerical methods Numerical Methods - Lecture Why represent numbers in loating point ormat? Eample 1. How a number 56.78 can
More informationIntroduction to Simulation - Lecture 2. Equation Formulation Methods. Jacob White. Thanks to Deepak Ramaswamy, Michal Rewienski, and Karen Veroy
Introduction to Simulation - Lecture Equation Formulation Methods Jacob White Thanks to Deepak Ramaswamy, Michal Rewienski, and Karen Veroy Outline Formulating Equations rom Schematics Struts and Joints
More informationObjectives. By the time the student is finished with this section of the workbook, he/she should be able
FUNCTIONS Quadratic Functions......8 Absolute Value Functions.....48 Translations o Functions..57 Radical Functions...61 Eponential Functions...7 Logarithmic Functions......8 Cubic Functions......91 Piece-Wise
More information9.3 Graphing Functions by Plotting Points, The Domain and Range of Functions
9. Graphing Functions by Plotting Points, The Domain and Range o Functions Now that we have a basic idea o what unctions are and how to deal with them, we would like to start talking about the graph o
More informationQuadratic Functions. The graph of the function shifts right 3. The graph of the function shifts left 3.
Quadratic Functions The translation o a unction is simpl the shiting o a unction. In this section, or the most part, we will be graphing various unctions b means o shiting the parent unction. We will go
More informationFIXED POINTS OF RENORMALIZATION.
FIXED POINTS OF RENORMALIZATION. XAVIER BUFF Abstract. To study the geometry o a Fibonacci map o even degree l 4, Lyubich [Ly2] deined a notion o generalized renormalization, so that is renormalizable
More informationLeast-Squares Spectral Analysis Theory Summary
Least-Squares Spectral Analysis Theory Summary Reerence: Mtamakaya, J. D. (2012). Assessment o Atmospheric Pressure Loading on the International GNSS REPRO1 Solutions Periodic Signatures. Ph.D. dissertation,
More informationFlip-Flop Functions KEY
For each rational unction, list the zeros o the polynomials in the numerator and denominator. Then, using a calculator, sketch the graph in a window o [-5.75, 6] by [-5, 5], and provide an end behavior
More informationTransformation of a PID Controller for Numerical Accuracy
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Transformation of a PID Controller for Numerical Accuracy
More informationSupplementary material for Continuous-action planning for discounted infinite-horizon nonlinear optimal control with Lipschitz values
Supplementary material or Continuous-action planning or discounted ininite-horizon nonlinear optimal control with Lipschitz values List o main notations x, X, u, U state, state space, action, action space,
More informationCHAPTER 1: INTRODUCTION. 1.1 Inverse Theory: What It Is and What It Does
Geosciences 567: CHAPTER (RR/GZ) CHAPTER : INTRODUCTION Inverse Theory: What It Is and What It Does Inverse theory, at least as I choose to deine it, is the ine art o estimating model parameters rom data
More informationCISE-301: Numerical Methods Topic 1:
CISE-3: Numerical Methods Topic : Introduction to Numerical Methods and Taylor Series Lectures -4: KFUPM Term 9 Section 8 CISE3_Topic KFUPM - T9 - Section 8 Lecture Introduction to Numerical Methods What
More informationMEASUREMENT UNCERTAINTIES
MEASUREMENT UNCERTAINTIES What distinguishes science rom philosophy is that it is grounded in experimental observations. These observations are most striking when they take the orm o a quantitative measurement.
More information2.6 Two-dimensional continuous interpolation 3: Kriging - introduction to geostatistics. References - geostatistics. References geostatistics (cntd.
.6 Two-dimensional continuous interpolation 3: Kriging - introduction to geostatistics Spline interpolation was originally developed or image processing. In GIS, it is mainly used in visualization o spatial
More informationProblem Set. Problems on Unordered Summation. Math 5323, Fall Februray 15, 2001 ANSWERS
Problem Set Problems on Unordered Summation Math 5323, Fall 2001 Februray 15, 2001 ANSWERS i 1 Unordered Sums o Real Terms In calculus and real analysis, one deines the convergence o an ininite series
More informationComplete Instantiation-Based Interpolation
Complete Instantiation-Based Interpolation Nishant Totla Indian Institute o Technology Bombay nishant.totla@gmail.com Thomas Wies New York University wies@cs.nyu.edu Abstract Craig interpolation has been
More informationWork in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark François Bidet LIX, École polytechnique, CNRS Université Paris-Saclay 91128 Palaiseau, France francois.bidet@polytechnique.edu
More information3. Several Random Variables
. Several Random Variables. Two Random Variables. Conditional Probabilit--Revisited. Statistical Independence.4 Correlation between Random Variables. Densit unction o the Sum o Two Random Variables. Probabilit
More informationCategorical Background (Lecture 2)
Cateorical Backround (Lecture 2) February 2, 2011 In the last lecture, we stated the main theorem o simply-connected surery (at least or maniolds o dimension 4m), which hihlihts the importance o the sinature
More informationEngineering Decisions
GSOE9 vicj@cse.unsw.edu.au www.cse.unsw.edu.au/~gs9 Outline Decision problem classes Decision problems can be classiied based on an agent s epistemic state: Decisions under certainty: the agent knows the
More informationDefinition: Let f(x) be a function of one variable with continuous derivatives of all orders at a the point x 0, then the series.
2.4 Local properties o unctions o several variables In this section we will learn how to address three kinds o problems which are o great importance in the ield o applied mathematics: how to obtain the
More informationCurve Sketching. The process of curve sketching can be performed in the following steps:
Curve Sketching So ar you have learned how to ind st and nd derivatives o unctions and use these derivatives to determine where a unction is:. Increasing/decreasing. Relative extrema 3. Concavity 4. Points
More informationThe Deutsch-Jozsa Problem: De-quantization and entanglement
The Deutsch-Jozsa Problem: De-quantization and entanglement Alastair A. Abbott Department o Computer Science University o Auckland, New Zealand May 31, 009 Abstract The Deustch-Jozsa problem is one o the
More informationA Generalization of P-boxes to Affine Arithmetic, and Applications to Static Analysis of Programs
A Generalization of P-boxes to Affine Arithmetic, and Applications to Static Analysis of Programs O. Bouissou, E. Goubault, J. Goubault-Larrecq and S. Putot CEA-LIST, MEASI (ModElisation and Analysis of
More information( ) ( ) ( ) Invariance Principles & Conservation Laws. = P δx. Summary of key point of argument
Invariance Principles & Conservation Laws Without invariance principles, there would be no laws of physics! We rely on the results of experiments remaining the same from day to day and place to place.
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More informationEstimation and detection of a periodic signal
Estimation and detection o a periodic signal Daniel Aronsson, Erik Björnemo, Mathias Johansson Signals and Systems Group, Uppsala University, Sweden, e-mail: Daniel.Aronsson,Erik.Bjornemo,Mathias.Johansson}@Angstrom.uu.se
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationExample: When describing where a function is increasing, decreasing or constant we use the x- axis values.
Business Calculus Lecture Notes (also Calculus With Applications or Business Math II) Chapter 3 Applications o Derivatives 31 Increasing and Decreasing Functions Inormal Deinition: A unction is increasing
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationThe achievable limits of operational modal analysis. * Siu-Kui Au 1)
The achievable limits o operational modal analysis * Siu-Kui Au 1) 1) Center or Engineering Dynamics and Institute or Risk and Uncertainty, University o Liverpool, Liverpool L69 3GH, United Kingdom 1)
More informationThe First-Order Theory of Ordering Constraints over Feature Trees
Discrete Mathematics and Theoretical Computer Science 4, 2001, 193 234 The First-Order Theory o Ordering Constraints over Feature Trees Martin Müller 1 and Joachim Niehren 1 and Ral Treinen 2 1 Programming
More informationFigure 1: Bayesian network for problem 1. P (A = t) = 0.3 (1) P (C = t) = 0.6 (2) Table 1: CPTs for problem 1. (c) P (E B) C P (D = t) f 0.9 t 0.
Probabilistic Artiicial Intelligence Problem Set 3 Oct 27, 2017 1. Variable elimination In this exercise you will use variable elimination to perorm inerence on a bayesian network. Consider the network
More informationLecture : Feedback Linearization
ecture : Feedbac inearization Niola Misovic, dipl ing and Pro Zoran Vuic June 29 Summary: This document ollows the lectures on eedbac linearization tought at the University o Zagreb, Faculty o Electrical
More information(One Dimension) Problem: for a function f(x), find x 0 such that f(x 0 ) = 0. f(x)
Solving Nonlinear Equations & Optimization One Dimension Problem: or a unction, ind 0 such that 0 = 0. 0 One Root: The Bisection Method This one s guaranteed to converge at least to a singularity, i not
More information8.4 Inverse Functions
Section 8. Inverse Functions 803 8. Inverse Functions As we saw in the last section, in order to solve application problems involving eponential unctions, we will need to be able to solve eponential equations
More informationarxiv: v2 [cs.it] 26 Sep 2011
Sequences o Inequalities Among New Divergence Measures arxiv:1010.041v [cs.it] 6 Sep 011 Inder Jeet Taneja Departamento de Matemática Universidade Federal de Santa Catarina 88.040-900 Florianópolis SC
More informationCATEGORIES. 1.1 Introduction
1 CATEGORIES 1.1 Introduction What is category theory? As a irst approximation, one could say that category theory is the mathematical study o (abstract) algebras o unctions. Just as group theory is the
More informationExponential and Logarithmic. Functions CHAPTER The Algebra of Functions; Composite
CHAPTER 9 Exponential and Logarithmic Functions 9. The Algebra o Functions; Composite Functions 9.2 Inverse Functions 9.3 Exponential Functions 9.4 Exponential Growth and Decay Functions 9.5 Logarithmic
More informationTowards a Flowchart Diagrammatic Language for Monad-based Semantics
Towards a Flowchart Diagrammatic Language or Monad-based Semantics Julian Jakob Friedrich-Alexander-Universität Erlangen-Nürnberg julian.jakob@au.de 21.06.2016 Introductory Examples 1 2 + 3 3 9 36 4 while
More informationTLT-5200/5206 COMMUNICATION THEORY, Exercise 3, Fall TLT-5200/5206 COMMUNICATION THEORY, Exercise 3, Fall Problem 1.
TLT-5/56 COMMUNICATION THEORY, Exercise 3, Fall Problem. The "random walk" was modelled as a random sequence [ n] where W[i] are binary i.i.d. random variables with P[W[i] = s] = p (orward step with probability
More informationHYDROGEN SPECTRUM = 2
MP6 OBJECT 3 HYDROGEN SPECTRUM MP6. The object o this experiment is to observe some o the lines in the emission spectrum o hydrogen, and to compare their experimentally determined wavelengths with those
More informationSpatial Transformer. Ref: Max Jaderberg, Karen Simonyan, Andrew Zisserman, Koray Kavukcuoglu, Spatial Transformer Networks, NIPS, 2015
Spatial Transormer Re: Max Jaderberg, Karen Simonyan, Andrew Zisserman, Koray Kavukcuoglu, Spatial Transormer Networks, NIPS, 2015 Spatial Transormer Layer CNN is not invariant to scaling and rotation
More informationComputing (the smallest) fixed points of monotone maps arising in static analysis by AI
Computing (the smallest fixed points of monotone maps arising in static analysis by AI Joint work, over the last 4 years: Stéphane Gaubert 1, Assalé Adjé, Eric Goubault 3, Sylvie Putot, Alexandru Costan,
More informationAPPENDIX 1 ERROR ESTIMATION
1 APPENDIX 1 ERROR ESTIMATION Measurements are always subject to some uncertainties no matter how modern and expensive equipment is used or how careully the measurements are perormed These uncertainties
More informationCHAPTER 6 : LITERATURE REVIEW
CHAPTER 6 : LITERATURE REVIEW Chapter : LITERATURE REVIEW 77 M E A S U R I N G T H E E F F I C I E N C Y O F D E C I S I O N M A K I N G U N I T S A B S T R A C T A n o n l i n e a r ( n o n c o n v e
More informationP E R E N C O - C H R I S T M A S P A R T Y
L E T T I C E L E T T I C E I S A F A M I L Y R U N C O M P A N Y S P A N N I N G T W O G E N E R A T I O N S A N D T H R E E D E C A D E S. B A S E D I N L O N D O N, W E H A V E T H E P E R F E C T R
More informationLocal Heat Transfer Coefficient Measurements, Using a Transient Imaging Method With an Inverse Scheme
Local Heat Transer Coeicient Measurements, Using a Transient Imaging Method With an Inverse Scheme A. EL ABBADI, D. BOUGEARD, B.BAUDOIN Ecole des Mines de Douai, Département Energétique Industrielle, 941,
More informationToday. Introduction to optimization Definition and motivation 1-dimensional methods. Multi-dimensional methods. General strategies, value-only methods
Optimization Last time Root inding: deinition, motivation Algorithms: Bisection, alse position, secant, Newton-Raphson Convergence & tradeos Eample applications o Newton s method Root inding in > 1 dimension
More informationPropagation of Roundoff Errors in Finite Precision Computations: a Semantics Approach 1
Propagation of Roundoff Errors in Finite Precision Computations: a Semantics Approach 1 Matthieu Martel CEA - Recherche Technologique LIST-DTSI-SLA CEA F91191 Gif-Sur-Yvette Cedex, France e-mail : mmartel@cea.fr
More informationINTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY
INTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY RAVI VAKIL CONTENTS 1. What we re doin this week 1 2. Precise statements 2 2.1. Basic operations and properties 4 3. Provin thins 6
More informationSpatial Vector Algebra
A Short Course on The Easy Way to do Rigid Body Dynamics Roy Featherstone Dept. Inormation Engineering, RSISE The Australian National University Spatial vector algebra is a concise vector notation or describing
More informationA generalization of p-boxes to affine arithmetic
Computing DOI 10.1007/s00607-011-0182-8 A generalization of p-boxes to affine arithmetic Olivier Bouissou Eric Goubault Jean Goubault-Larrecq Sylvie Putot Received: 18 March 2011 / Accepted: 2 December
More informationRATIONAL FUNCTIONS. Finding Asymptotes..347 The Domain Finding Intercepts Graphing Rational Functions
RATIONAL FUNCTIONS Finding Asymptotes..347 The Domain....350 Finding Intercepts.....35 Graphing Rational Functions... 35 345 Objectives The ollowing is a list o objectives or this section o the workbook.
More informationTESTING TIMED FINITE STATE MACHINES WITH GUARANTEED FAULT COVERAGE
TESTING TIMED FINITE STATE MACHINES WITH GUARANTEED FAULT COVERAGE Khaled El-Fakih 1, Nina Yevtushenko 2 *, Hacene Fouchal 3 1 American University o Sharjah, PO Box 26666, UAE kelakih@aus.edu 2 Tomsk State
More informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationPoS(CKM2016)100. Measurement of γ from time-dependent analysis of. Agnieszka Dziurda. CERN
Measurement o γ rom time-dependent analysis o B s D s K ± CERN E-mail: agnieszka.dziurda@cern.ch We report the measurement o the time-dependent CP violating observables in B s D s K ± decays. The study
More informationMATHEMATICS: PAPER I TRIAL EXAMINATION 28 AUGUST 2015
MATHEMATICS: PAPER I TRIAL EXAMINATION 8 AUGUST 015 TIME: 3 HOURS TOTAL: 150 MARKS EXAMINATION NUMBER: PLEASE READ THE FOLLOWING INSTRUCTIONS CAREFULLY 1. Write your examination number on the paper.. This
More informationECE 546 Lecture 03 Waveguides
ECE 546 Lecture 03 Waveguides Spring 018 Jose E. Schutt-Aine Electrical & Computer Engineering Universit o Illinois jesa@illinois.edu ECE 546 Jose Schutt Aine 1 Parallel-Plate Waveguide Maxwell s Equations
More informationRobust Residual Selection for Fault Detection
Robust Residual Selection or Fault Detection Hamed Khorasgani*, Daniel E Jung**, Gautam Biswas*, Erik Frisk**, and Mattias Krysander** Abstract A number o residual generation methods have been developed
More informationComplete Instantiation-Based Interpolation
Complete Instantiation-Based Interpolation Nishant Totla Indian Institute o Technology Bombay nishant.totla@gmail.com Thomas Wies New York University wies@cs.nyu.edu Abstract Craig interpolation has been
More informationSemideterministic Finite Automata in Operational Research
Applied Mathematical Sciences, Vol. 0, 206, no. 6, 747-759 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/0.2988/ams.206.62 Semideterministic Finite Automata in Operational Research V. N. Dumachev and
More information(C) The rationals and the reals as linearly ordered sets. Contents. 1 The characterizing results
(C) The rationals and the reals as linearly ordered sets We know that both Q and R are something special. When we think about about either o these we usually view it as a ield, or at least some kind o
More informationFEEDFORWARD CONTROLLER DESIGN BASED ON H ANALYSIS
271 FEEDFORWARD CONTROLLER DESIGN BASED ON H ANALYSIS Eduardo J. Adam * and Jacinto L. Marchetti Instituto de Desarrollo Tecnológico para la Industria Química (Universidad Nacional del Litoral - CONICET)
More informationProbabilistic Model of Error in Fixed-Point Arithmetic Gaussian Pyramid
Probabilistic Model o Error in Fixed-Point Arithmetic Gaussian Pyramid Antoine Méler John A. Ruiz-Hernandez James L. Crowley INRIA Grenoble - Rhône-Alpes 655 avenue de l Europe 38 334 Saint Ismier Cedex
More informationIntroduction and mathematical preliminaries
Chapter Introduction and mathematical preliminaries Contents. Motivation..................................2 Finite-digit arithmetic.......................... 2.3 Errors in numerical calculations.....................
More information3.5 Analysis of Members under Flexure (Part IV)
3.5 Analysis o Members under Flexure (Part IV) This section covers the ollowing topics. Analysis o a Flanged Section 3.5.1 Analysis o a Flanged Section Introduction A beam can have langes or lexural eiciency.
More informationFinger Search in the Implicit Model
Finger Search in the Implicit Model Gerth Stølting Brodal, Jesper Sindahl Nielsen, Jakob Truelsen MADALGO, Department o Computer Science, Aarhus University, Denmark. {gerth,jasn,jakobt}@madalgo.au.dk Abstract.
More informationLogarithm of a Function, a Well-Posed Inverse Problem
American Journal o Computational Mathematics, 4, 4, -5 Published Online February 4 (http://www.scirp.org/journal/ajcm http://dx.doi.org/.436/ajcm.4.4 Logarithm o a Function, a Well-Posed Inverse Problem
More informationPhysics 5153 Classical Mechanics. Solution by Quadrature-1
October 14, 003 11:47:49 1 Introduction Physics 5153 Classical Mechanics Solution by Quadrature In the previous lectures, we have reduced the number o eective degrees o reedom that are needed to solve
More informationStochastic Game Approach for Replay Attack Detection
Stochastic Game Approach or Replay Attack Detection Fei Miao Miroslav Pajic George J. Pappas. Abstract The existing tradeo between control system perormance and the detection rate or replay attacks highlights
More informationAsymptote. 2 Problems 2 Methods
Asymptote Problems Methods Problems Assume we have the ollowing transer unction which has a zero at =, a pole at = and a pole at =. We are going to look at two problems: problem is where >> and problem
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationChapter 6 Reliability-based design and code developments
Chapter 6 Reliability-based design and code developments 6. General Reliability technology has become a powerul tool or the design engineer and is widely employed in practice. Structural reliability analysis
More informationROBUSTNESS OF MODEL- BASED SIMULATIONS
ROBUSTNESS OF MODEL- BASED SIMULATIONS Georgios Fainekos, Arizona State University Sriram Sankaranarayanan, University of Colorado Franjo Ivancic, NEC Labs Aarti Gupta, NEC Labs Work performed at NEC Labs
More informationPHY 335 Data Analysis for Physicists
PHY 335 Data Analysis or Physicists Instructor: Kok Wai Ng Oice CP 171 Telephone 7 1782 e mail: kng@uky.edu Oice hour: Thursday 11:00 12:00 a.m. or by appointment Time: Tuesday and Thursday 9:30 10:45
More informationSolving Continuous Linear Least-Squares Problems by Iterated Projection
Solving Continuous Linear Least-Squares Problems by Iterated Projection by Ral Juengling Department o Computer Science, Portland State University PO Box 75 Portland, OR 977 USA Email: juenglin@cs.pdx.edu
More informationFinite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science 270 (1) (2011) 113 119 www.elsevier.com/locate/entcs Finite Dimensional Hilbert Spaces are Complete or Dagger Compact Closed Categories (Extended bstract)
More informationReview D: Potential Energy and the Conservation of Mechanical Energy
MSSCHUSETTS INSTITUTE OF TECHNOLOGY Department o Physics 8. Spring 4 Review D: Potential Energy and the Conservation o Mechanical Energy D.1 Conservative and Non-conservative Force... D.1.1 Introduction...
More informationEx x xf xdx. Ex+ a = x+ a f x dx= xf x dx+ a f xdx= xˆ. E H x H x H x f x dx ˆ ( ) ( ) ( ) μ is actually the first moment of the random ( )
Fall 03 Analysis o Eperimental Measurements B Eisenstein/rev S Errede The Epectation Value o a Random Variable: The epectation value E[ ] o a random variable is the mean value o, ie ˆ (aa μ ) For discrete
More informationAlgebra II Notes Inverse Functions Unit 1.2. Inverse of a Linear Function. Math Background
Algebra II Notes Inverse Functions Unit 1. Inverse o a Linear Function Math Background Previously, you Perormed operations with linear unctions Identiied the domain and range o linear unctions In this
More informationJ. M. Almira A MONTEL-TYPE THEOREM FOR MIXED DIFFERENCES
Rendiconti Sem. Mat. Univ. Pol. Torino Vol. 75, 2 (2017), 5 10 J. M. Almira A MONTEL-TYPE THEOREM FOR MIXED DIFFERENCES Abstract. We prove a generalization o classical Montel s theorem or the mixed dierences
More informationPresenters. Time Domain and Statistical Model Development, Simulation and Correlation Methods for High Speed SerDes
JANUARY 28-31, 2013 SANTA CLARA CONVENTION CENTER Time Domain and Statistical Model Development, Simulation and Correlation Methods or High Speed SerDes Presenters Xingdong Dai Fangyi Rao Shiva Prasad
More informationCHAPTER (i) No. For each coefficient, the usual standard errors and the heteroskedasticity-robust ones are practically very similar.
SOLUTIONS TO PROBLEMS CHAPTER 8 8.1 Parts (ii) and (iii). The homoskedasticity assumption played no role in Chapter 5 in showing that OLS is consistent. But we know that heteroskedasticity causes statistical
More informationProgram Analysis Part I : Sequential Programs
Program Analysis Part I : Sequential Programs IN5170/IN9170 Models of concurrency Program Analysis, lecture 5 Fall 2018 26. 9. 2018 2 / 44 Program correctness Is my program correct? Central question for
More informationRolle s Theorem and the Mean Value Theorem. Rolle s Theorem
0_00qd //0 0:50 AM Page 7 7 CHAPTER Applications o Dierentiation Section ROLLE S THEOREM French mathematician Michel Rolle irst published the theorem that bears his name in 9 Beore this time, however,
More informationROBUST STABILITY AND PERFORMANCE ANALYSIS OF UNSTABLE PROCESS WITH DEAD TIME USING Mu SYNTHESIS
ROBUST STABILITY AND PERFORMANCE ANALYSIS OF UNSTABLE PROCESS WITH DEAD TIME USING Mu SYNTHESIS I. Thirunavukkarasu 1, V. I. George 1, G. Saravana Kumar 1 and A. Ramakalyan 2 1 Department o Instrumentation
More informationFeedback Linearization
Feedback Linearization Peter Al Hokayem and Eduardo Gallestey May 14, 2015 1 Introduction Consider a class o single-input-single-output (SISO) nonlinear systems o the orm ẋ = (x) + g(x)u (1) y = h(x) (2)
More information10. Joint Moments and Joint Characteristic Functions
10. Joint Moments and Joint Characteristic Functions Following section 6, in this section we shall introduce various parameters to compactly represent the inormation contained in the joint p.d. o two r.vs.
More informationLecture 8 Optimization
4/9/015 Lecture 8 Optimization EE 4386/5301 Computational Methods in EE Spring 015 Optimization 1 Outline Introduction 1D Optimization Parabolic interpolation Golden section search Newton s method Multidimensional
More informationAnalysis Scheme in the Ensemble Kalman Filter
JUNE 1998 BURGERS ET AL. 1719 Analysis Scheme in the Ensemble Kalman Filter GERRIT BURGERS Royal Netherlands Meteorological Institute, De Bilt, the Netherlands PETER JAN VAN LEEUWEN Institute or Marine
More information9.1 The Square Root Function
Section 9.1 The Square Root Function 869 9.1 The Square Root Function In this section we turn our attention to the square root unction, the unction deined b the equation () =. (1) We begin the section
More informationDigital Image Processing. Lecture 6 (Enhancement) Bu-Ali Sina University Computer Engineering Dep. Fall 2009
Digital Image Processing Lecture 6 (Enhancement) Bu-Ali Sina University Computer Engineering Dep. Fall 009 Outline Image Enhancement in Spatial Domain Spatial Filtering Smoothing Filters Median Filter
More informationIn many diverse fields physical data is collected or analysed as Fourier components.
1. Fourier Methods In many diverse ields physical data is collected or analysed as Fourier components. In this section we briely discuss the mathematics o Fourier series and Fourier transorms. 1. Fourier
More informationEDGES AND CONTOURS(1)
KOM31 Image Processing in Industrial Sstems Dr Muharrem Mercimek 1 EDGES AND CONTOURS1) KOM31 Image Processing in Industrial Sstems Some o the contents are adopted rom R. C. Gonzalez, R. E. Woods, Digital
More informationOn High-Rate Cryptographic Compression Functions
On High-Rate Cryptographic Compression Functions Richard Ostertág and Martin Stanek Department o Computer Science Faculty o Mathematics, Physics and Inormatics Comenius University Mlynská dolina, 842 48
More information