SONIC A Solver and Optimizer for Nonlinear Problems based on Interval Computation
|
|
- Joshua George Wilcox
- 5 years ago
- Views:
Transcription
1 SONIC A Solver and Optimizer for Nonlinear Problems based on Interval Computation Elke Just University of Wuppertal June 14, 2011
2 Contents About SONIC Miranda Borsuk Topological Degree Implementation Branch and bound and partitioning strategies Expanded systems Heuristics SONIC, Elke Just 2/30
3 Basic Facts Main contributors: Thomas Beelitz, Bruno Lang, Elke Just, Paul Willems (Applied Computer Science, University of Wuppertal) Peer Ueberholz (Hochschule Niederrhein, University of Applied Sciences) initial goal: efficient and robust design of dynamic systems SONIC, Elke Just 3/30
4 Basic Facts based on branch-and-bound contains rigorous nonlinear solver and (constrained) optimizer SONIC, Elke Just 4/30
5 Basic Facts based on branch-and-bound contains rigorous nonlinear solver and (constrained) optimizer written in C++ generic interval code provides performance and portability supported interval libraries C-XSC SUN C++ filib++ parallization with OpenMP and MPI SONIC, Elke Just 4/30
6 Key features of SONIC Several preconditioners inverse midpoint preconditioner optimal linear programming preconditioners (width-optimal contraction, mignitude-optimal splitting) SONIC, Elke Just 5/30
7 Key features of SONIC Several preconditioners inverse midpoint preconditioner optimal linear programming preconditioners (width-optimal contraction, mignitude-optimal splitting) Constraint Propagation (CP) on finite unions of real intervals SONIC, Elke Just 5/30
8 Key features of SONIC Several preconditioners inverse midpoint preconditioner optimal linear programming preconditioners (width-optimal contraction, mignitude-optimal splitting) Constraint Propagation (CP) on finite unions of real intervals Taylor refinement order-1 and order-2 optionally integrated into CP SONIC, Elke Just 5/30
9 Key features of SONIC Several preconditioners inverse midpoint preconditioner optimal linear programming preconditioners (width-optimal contraction, mignitude-optimal splitting) Constraint Propagation (CP) on finite unions of real intervals Taylor refinement order-1 and order-2 optionally integrated into CP Hybrid subdivision strategy apply subdivision scheme that seems most promising for current box SONIC, Elke Just 5/30
10 Key features of SONIC Several preconditioners inverse midpoint preconditioner optimal linear programming preconditioners (width-optimal contraction, mignitude-optimal splitting) Constraint Propagation (CP) on finite unions of real intervals Taylor refinement order-1 and order-2 optionally integrated into CP Hybrid subdivision strategy apply subdivision scheme that seems most promising for current box Interval method on a hierarchy of expanded systems SONIC, Elke Just 5/30
11 Verfication of solutions Miranda Borsuk Topological Degree Implementation aim: prove existence (and uniqueness) of solutions for a system f(x) = 0 0 [f(x)] is no verification overestimation different solutions for equations each possible solution box has to be verified separately the following methods need square systems SONIC, Elke Just 6/30
12 Miranda Borsuk Topological Degree Implementation simply apply an interval operator uniqueness provable SONIC, Elke Just 7/30
13 Miranda Borsuk Topological Degree Implementation simply apply an interval operator uniqueness provable diameter too small: epsilon-inflation epsilon inflation SONIC, Elke Just 7/30
14 Miranda Borsuk Topological Degree Implementation Facets For x IR n we define n pairs of opposite facets as: x i,+ := (x 1,..., x i 1, x i, x i+1,..., x n ) T x i, := (x 1,..., x i 1, x i, x i+1,..., x n ) T for 1 i n. Topological boundary n x = x i,s (1) i=1 s {+, } SONIC, Elke Just 8/30
15 Miranda Borsuk Topological Degree Implementation Subfacets To avoid overestimation we use partions of the facets, subfacets x i,+,j and x i,,k. x i,+ x i,+ x i,+,k x i,+,k x i,,l x i,,l x i, (a) unsymmetric x i, (b) symmetric w.r.t. the midpoint of the box SONIC, Elke Just 9/30
16 Theorem of Miranda About SONIC Miranda Borsuk Topological Degree Implementation Generalization of the intermediate value theorem. Theorem Let f : R n R n be a continuous function and x IR n a box. If or f i (x ) 0 f i (x + ) f i (x + ) 0 f i (x ) for all x + x i,+, x x i, and i = 1,..., n holds, f has a zero in x. SONIC, Elke Just 10/30
17 Miranda Borsuk Topological Degree Implementation Implementation nonsingular matrix as preconditioner alternative test for disjoint subfacets and preconditioned function g { sup([gi ](x i,,l )) 0 inf([g i ](x i,+,k )) 0 or { sup([gi ](x i,+,l )) 0 inf([g i ](x i,,k )) 0 for all i = 1,..., n and l resp. k. SONIC, Elke Just 11/30
18 Theorem of Borsuk About SONIC Miranda Borsuk Topological Degree Implementation Theorem Let f : R n R n be a continuous function and x IR n. If f(mid (x) + y) λf(mid (x) y) holds for all y, where mid (x) + y is element of a facet x i,+ and λ > 0, then f has a zero in x. f (mid (x) + y) f (mid (x) y) mid (x) SONIC, Elke Just 12/30
19 Miranda Borsuk Topological Degree Implementation Implementation subfacets to avoid overestimation have to be symmetrical preconditioner nonsingular matrix can be chosen separately for each facet special preconditioner for Borsuk [FL04] alternative test for disjoint subfacets and preconditioned function g n [g j ](x i,+,k ) [g j ](x i,,k (0, ) = ) j=1 for all i = 1,..., n and k and symmetric subfacets SONIC, Elke Just 13/30
20 Topological degree About SONIC Miranda Borsuk Topological Degree Implementation For Ω R n open, bounded f : Ω R n continuous function f(x) 0 for all x Ω the topological degree d(f, Ω, 0) is the number of solutions of f(x) = 0 with x Ω. SONIC, Elke Just 14/30
21 Miranda Borsuk Topological Degree Implementation Test Homotopy h(t, x) = t g(x) + (1 t) (x mid (x)) with t [0, 1], x x and the preconditioned function g(x) = C f (x) Theorem The function f has a zero in x if h has no zero in the 2n boxes [0, 1] x = n i=1 s {+, } [0, 1] x i,s. See: [FHL07] SONIC, Elke Just 15/30
22 Miranda Borsuk Topological Degree Implementation A sufficient condition ([BFLW09]) Theorem Let ˇx int x and let t [0, 1], y x. For j 1,..., n let [g j (y)] be an enclosure of the range of the preconditioned function g j over y. Then, if we have n j=1 ( [g j (y)] 1 1 ) = (y ˇx) j t the homotopy h has no zero in t x. less costly for chosen testset SONIC, Elke Just 16/30
23 Miranda Borsuk Topological Degree Implementation Modifications other homotopies tried t subdivided equidistantly (good choice for us: 4 parts) or by same heuristic as used for x epsilon inflation bigger box more successful SONIC, Elke Just 17/30
24 Further implemented About SONIC Miranda Borsuk Topological Degree Implementation verification separated from finding solutions hierarchy of verification tests (using epsilon inflation) verification for non-square systems (using QR) SONIC, Elke Just 18/30
25 Branch and bound and partitioning strategies Expanded systems Heuristics Branch and bound x SONIC, Elke Just 19/30
26 Branch and bound and partitioning strategies Expanded systems Heuristics Numerical results 7erSys. Brent7 Eco9 Trig. min original MinNew= MinNew= MinNew= MinNew= MinNew= parts parts+MinNew= Table: box numbers for different settings SONIC, Elke Just 20/30
27 Branch and bound and partitioning strategies Expanded systems Heuristics Numerical results 7erSys. Brent7 Eco9 Trig. min original MinNew= MinNew= MinNew= MinNew= MinNew= parts parts+MinNew= Table: time for different settings (in s) SONIC, Elke Just 21/30
28 Branch and bound and partitioning strategies Expanded systems Heuristics Expanded systems (Split level) decomposition of arithmetic expressions using intermediate variables results in another termnet SONIC, Elke Just 22/30
29 Branch and bound and partitioning strategies Expanded systems Heuristics Expanded systems - An example System: f 1 (x 1, x 2, x 3 ) = x 2 1 ex 2, f 2 (x 1, x 2, x 3 ) = x x 2 x 3 f 1 = 0 f 2 = 0 f 1 = 0 f 2 = x 4 x 5 x 6 sqr exp sqr exp x 1 x 2 x 3 x 1 x 2 x 3 (a) original (b) expanded (full split) SONIC, Elke Just 23/30
30 Branch and bound and partitioning strategies Expanded systems Heuristics Expanded systems can be used for CP, extended method default in SONIC original CST (common subterms) full split more splits [Wil04] more effective = more costly SONIC, Elke Just 24/30
31 Branch and bound and partitioning strategies Expanded systems Heuristics Old Heuristic Use original, CST, full split in this order restart with original when contracted by certain percentage stop when box is small enough or a certain number of tests have been applied SONIC, Elke Just 25/30
32 Branch and bound and partitioning strategies Expanded systems Heuristics New heuristic also original, CST, full split no restarts splits used depending on their success success= time * ratio of contraction averaged success over previous runs use all split levels in the beginning stored in box for each level SONIC, Elke Just 26/30
33 Branch and bound and partitioning strategies Expanded systems Heuristics restart hierarchy when contracted by a certain rate managment of splits by success Original CP, Taylor Original CP, Taylor CST CP, Taylor CST CP, Taylor Full split CP, Taylor Full split CP, Taylor box small enough box small enough maximum number of newton tests is reached Figure: old heuristic Figure: new heuristic SONIC, Elke Just 27/30
34 Branch and bound and partitioning strategies Expanded systems Heuristics Comparison (selection): old and new heuristic old boxes new boxes old time (in s) new time (in s) Arithmetic mean of ratios of boxes: 1.12 (over 16 problems) Arithmetic mean of ratios of times: 0.58 SONIC, Elke Just 28/30
35 new test with different bisection methods using Taylor models for better enclosures acceleration of SONIC for more automatic proofs of spherical designs GUI SONIC, Elke Just 29/30
36 Contact For further questions or giving suggestions even after the workshop write to SONIC, Elke Just 30/30
37 Thomas Beelitz, Andreas Frommer, Bruno Lang, and Paul Willems. A framework for existence tests based on the topological degree and homotopy. Numer. Math., 111(4): , A. Frommer, F. Hoxha, and B. Lang. Proving the existence of zeros using the topological degree and interval arithmetic. J. Comput. Appl. Math., 199(2): , Andreas Frommer and Bruno Lang. On Preconditioners for the Borsuk Existence Test. PAMM, 4(1): , Paul Willems. Symbolisch-numerische Techniken zur verifizierten Lösung nichtlinearer Gleichungssysteme, Mai Diplomarbeit, RWTH Aachen. SONIC, Elke Just 30/30
Existence Verification for Singular Zeros of Nonlinear Systems
Existence Verification for Singular Zeros of Nonlinear Systems by R. Baker Kearfott, rbk@usl.edu Department of Mathematics, University of Southwestern Louisiana and Jianwei Dian, dian@usl.edu Department
More informationRevisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm Alexandre Goldsztejn 1, Yahia Lebbah 2,3, Claude Michel 3, and Michel Rueher 3 1 CNRS / Université de Nantes 2, rue de la Houssinière,
More informationCapabilities and limits of CP in Global Optimization
Capabilities and limits of CP in RUEHER Université de Nice Sophia-Antipolis / CNRS - I3S, France CPAIOR Workshop on Hybrid Methods for NLP 15/06/10 A 1 Outline A A 2 The Problem We consider the continuous
More informationB553 Lecture 12: Global Optimization
B553 Lecture 12: Global Optimization Kris Hauser February 20, 2012 Most of the techniques we have examined in prior lectures only deal with local optimization, so that we can only guarantee convergence
More informationEnclosures of Roundoff Errors using SDP
Enclosures of Roundoff Errors using SDP Victor Magron, CNRS Jointly Certified Upper Bounds with G. Constantinides and A. Donaldson Metalibm workshop: Elementary functions, digital filters and beyond 12-13
More informationComparison of Packages for Interval Arithmetic
INFORMATICA, 2005, Vol. 16, No. 1, 145 154 145 2005 Institute of Mathematics and Informatics, Vilnius Comparison of Packages for Interval Arithmetic Julius ŽILINSKAS Institute of Mathematics and Informatics
More informationThe Borsuk-Ulam theorem- A Combinatorial Proof
The Borsuk-Ulam theorem- A Combinatorial Proof Shreejit Bandyopadhyay April 14, 2015 1 Introduction The Borsuk-Ulam theorem is perhaps among the results in algebraic topology having the greatest number
More informationA Box-Consistency Contraction Operator Based on extremal Functions
A Box-Consistency Contraction Operator Based on extremal Functions Gilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier INRIA, Université de Nice-Sophia, France October 2008, El Paso, Texas
More informationGeneralized subinterval selection criteria for interval global optimization
Generalized subinterval selection criteria for interval global optimization Tibor Csendes University of Szeged, Institute of Informatics, Szeged, Hungary Abstract The convergence properties of interval
More informationMath 205B - Topology. Dr. Baez. January 19, Christopher Walker. p(x) = (cos(2πx), sin(2πx))
Math 205B - Topology Dr. Baez January 19, 2007 Christopher Walker Theorem 53.1. The map p : R S 1 given by the equation is a covering map p(x) = (cos(2πx), sin(2πx)) Proof. First p is continuous since
More informationDetermination of Inner and Outer Bounds of Reachable Sets
Determination of Inner and Outer Bounds of Reachable Sets Francisco Rego (francisco.rego@aero.ist.utl.pt) Abstract - To verify the safety of a dynamic system, one important procedure is to compute its
More informationShared-Memory Parallelization of an Interval Equations Systems Solver Comparison of Tools
Shared-Memory Parallelization of an Interval Equations Systems Solver Comparison of Tools Bart lomiej Jacek Kubica 1 1 Warsaw University of Technology, Institute of Control and Computation Engineering,
More information751 Problem Set I JWR. Due Sep 28, 2004
751 Problem Set I JWR Due Sep 28, 2004 Exercise 1. For any space X define an equivalence relation by x y iff here is a path γ : I X with γ(0) = x and γ(1) = y. The equivalence classes are called the path
More informationGlobal Optimization based on Contractor Programming: an Overview of the IBEX library
Global Optimization based on Contractor Programming: an Overview of the IBEX library Jordan Ninin ENSTA-Bretagne, LabSTIC, IHSEV team, 2 rue Francois Verny, 29806 Brest, France, jordan.ninin@ensta-bretagne.fr
More informationINTCP GloptLab
INTCP 2009 University of Vienna 2009.09.20 Lisbon, Portugal Basics Problem Specification Algebraic optimization problems min s.t. f(x) G(x) v, x x, G(x) G(x) with uncertain constraint coefficients can
More informationParametric Interval Linear Solver
Parametric Interval Linear Solver Evgenija D. Popova Institute of Mathematics and Informatics Bulgarian Academy of Sciences bl. 8, Acad. G.Bonchev str., 1113 Sofia, Bulgaria e-mail: epopova@bio.bas.bg
More informationAn Intuitive Framework for Real-Time Freeform Modeling
An Intuitive Framework for Real-Time Freeform Modeling Leif Kobbelt Shape Deformation Complex shapes Complex deformations User Interaction Very limited user interface 2D screen & mouse Intuitive metaphor
More informationProjection of a Smooth Space Curve:
Projection of a Smooth Space Curve: Numeric and Certified Topology Computation Marc Pouget Joint work with Rémi Imbach Guillaume Moroz 1 Projection and apparent contour 3D curve = intersection of 2 implicit
More informationOn a nested refinement of anisotropic tetrahedral grids under Hessian metrics
On a nested refinement of anisotropic tetrahedral grids under Hessian metrics Shangyou Zhang Abstract Anisotropic grids, having drastically different grid sizes in different directions, are efficient and
More informationMotivation ffl In process modeling, chemical engineers frequently need to solve nonlinear equation systems in which the variables are constrained phys
New Interval Methodologies for Reliable Process Modeling Chao-Yang Gau, Robert W. Maier and Mark A. Stadtherr 1 Department of Chemical Engineering University of Notre Dame Notre Dame, IN 46556 USA AIChE
More informationInterval-Based Projection Method for Under-Constrained Numerical Systems
Noname manuscript No. (will be inserted by the editor) Interval-Based Projection Method for Under-Constrained Numerical Systems Daisuke Ishii Alexandre Goldsztejn Christophe Jermann Received: date / Accepted:
More informationApplied Interval Analysis
Luc Jaulin, Michel Kieffer, Olivier Didrit and Eric Walter Applied Interval Analysis With Examples in Parameter and State Estimation, Robust Control and Robotics With 125 Figures Contents Preface Notation
More informationA multi-threaded interval algorithm for the Pareto-front computation in a multi-core environment
A multi-threaded interval algorithm for the Pareto-front computation in a multi-core environment Bart lomiej Jacek Kubica and Adam Woźniak Institute of Control and Computation Engineering, Warsaw University
More informationConvex Optimization CMU-10725
Convex Optimization CMU-10725 Conjugate Direction Methods Barnabás Póczos & Ryan Tibshirani Conjugate Direction Methods 2 Books to Read David G. Luenberger, Yinyu Ye: Linear and Nonlinear Programming Nesterov:
More information3 No-Wait Job Shops with Variable Processing Times
3 No-Wait Job Shops with Variable Processing Times In this chapter we assume that, on top of the classical no-wait job shop setting, we are given a set of processing times for each operation. We may select
More informationConsistency Techniques over Real Numbers
Consistency Techniques over Real Numbers Laurent Granvilliers granvilliers@irin.univ-nantes.fr University of Nantes Laurent Granvilliers, Dagstuhl Seminar 2003 p. 1/20 Reduction and Propagation Compute
More informationAssignment 1 Introduction to Graph Theory CO342
Assignment 1 Introduction to Graph Theory CO342 This assignment will be marked out of a total of thirty points, and is due on Thursday 18th May at 10am in class. Throughout the assignment, the graphs are
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationCOMPUTER-ASSISTED PROOFS AND SYMBOLIC COMPUTATIONS * Walter Krämer
Serdica J. Computing 4 (2010), 73 84 COMPUTER-ASSISTED PROOFS AND SYMBOLIC COMPUTATIONS * Walter Krämer Abstract. We discuss some main points of computer-assisted proofs based on reliable numerical computations.
More informationToday. Golden section, discussion of error Newton s method. Newton s method, steepest descent, conjugate gradient
Optimization Last time Root finding: definition, motivation Algorithms: Bisection, false position, secant, Newton-Raphson Convergence & tradeoffs Example applications of Newton s method Root finding in
More information= f (a, b) + (hf x + kf y ) (a,b) +
Chapter 14 Multiple Integrals 1 Double Integrals, Iterated Integrals, Cross-sections 2 Double Integrals over more general regions, Definition, Evaluation of Double Integrals, Properties of Double Integrals
More informationReliable Location with Respect to the Projection of a Smooth Space Curve
Reliable Location with Respect to the Projection of a Smooth Space Curve Rémi Imbach Marc Pouget INRIA Nancy Grand Est, LORIA laboratory, Nancy, France. firstname.name@inria.fr Guillaume Moroz Abstract
More information2. Convex sets. x 1. x 2. affine set: contains the line through any two distinct points in the set
2. Convex sets Convex Optimization Boyd & Vandenberghe affine and convex sets some important examples operations that preserve convexity generalized inequalities separating and supporting hyperplanes dual
More informationConvex Optimization. Convex Sets. ENSAE: Optimisation 1/24
Convex Optimization Convex Sets ENSAE: Optimisation 1/24 Today affine and convex sets some important examples operations that preserve convexity generalized inequalities separating and supporting hyperplanes
More informationNotes on point set topology, Fall 2010
Notes on point set topology, Fall 2010 Stephan Stolz September 3, 2010 Contents 1 Pointset Topology 1 1.1 Metric spaces and topological spaces...................... 1 1.2 Constructions with topological
More informationReal-Time Shape Editing using Radial Basis Functions
Real-Time Shape Editing using Radial Basis Functions, Leif Kobbelt RWTH Aachen Boundary Constraint Modeling Prescribe irregular constraints Vertex positions Constrained energy minimization Optimal fairness
More informationTOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.
TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. 301. Definition. Let m be a positive integer, and let X be a set. An m-tuple of elements of X is a function x : {1,..., m} X. We sometimes use x i instead
More informationHybrid CSP & Global Optimization. Michel RUEHER
Hybrid Michel RUEHER University of Nice Sophia-Antipolis / I3S CNRS, France Courtesy to Alexandre Goldsztejn, Yahia Lebbah, Claude Michel June, 2011 ACP Summer School Hybrid Methods for Constraint Programming
More informationFinite difference methods
Finite difference methods Siltanen/Railo/Kaarnioja Spring 8 Applications of matrix computations Applications of matrix computations Finite difference methods Spring 8 / Introduction Finite difference methods
More informationREINER HORST. License or copyright restrictions may apply to redistribution; see
MATHEMATICS OF COMPUTATION Volume 66, Number 218, April 1997, Pages 691 698 S 0025-5718(97)00809-0 ON GENERALIZED BISECTION OF n SIMPLICES REINER HORST Abstract. A generalized procedure of bisection of
More informationTHREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.
THREE LECTURES ON BASIC TOPOLOGY PHILIP FOTH 1. Basic notions. Let X be a set. To make a topological space out of X, one must specify a collection T of subsets of X, which are said to be open subsets of
More informationMesh Generation through Delaunay Refinement
Mesh Generation through Delaunay Refinement 3D Meshes Mariette Yvinec MPRI 2009-2010, C2-14-1, Lecture 4b ENSL Winter School, january 2010 Input : C : a 2D PLC in R 3 (piecewise linear complex) Ω : a bounded
More informationAutomated Precision Tuning using Semidefinite Programming
Automated Precision Tuning using Semidefinite Programming Victor Magron, RA Imperial College joint work with G. Constantinides and A. Donaldson British-French-German Conference on Optimization 15 June
More informationConstraint solving on modular integers
Constraint solving on modular integers Arnaud Gotlieb*, Michel Leconte**, Bruno Marre*** * INRIA Research center of Bretagne Rennes Atlantique ** ILOG Lab, IBM France *** CEA List ModRef 10 Workshop, 6/09/10
More informationIntroduction to optimization
Introduction to optimization G. Ferrari Trecate Dipartimento di Ingegneria Industriale e dell Informazione Università degli Studi di Pavia Industrial Automation Ferrari Trecate (DIS) Optimization Industrial
More informationReliable Nonlinear Parameter Estimation Using Interval Analysis: Error-in-Variable Approach
Reliable Nonlinear Parameter Estimation Using Interval Analysis: Error-in-Variable Approach Chao-Yang Gau and Mark A. Stadtherr Λ Department of Chemical Engineering University of Notre Dame Notre Dame,
More informationConstraint Satisfaction Problems
Constraint Satisfaction Problems Frank C. Langbein F.C.Langbein@cs.cf.ac.uk Department of Computer Science Cardiff University 13th February 2001 Constraint Satisfaction Problems (CSPs) A CSP is a high
More informationAQA GCSE Further Maths Topic Areas
AQA GCSE Further Maths Topic Areas This document covers all the specific areas of the AQA GCSE Further Maths course, your job is to review all the topic areas, answering the questions if you feel you need
More information4.2 and 4.6 filled in notes.notebook. December 08, Integration. Copyright Cengage Learning. All rights reserved.
4 Integration Copyright Cengage Learning. All rights reserved. 1 4.2 Area Copyright Cengage Learning. All rights reserved. 2 Objectives Use sigma notation to write and evaluate a sum. Understand the concept
More informationContents. I Basics 1. Copyright by SIAM. Unauthorized reproduction of this article is prohibited.
page v Preface xiii I Basics 1 1 Optimization Models 3 1.1 Introduction... 3 1.2 Optimization: An Informal Introduction... 4 1.3 Linear Equations... 7 1.4 Linear Optimization... 10 Exercises... 12 1.5
More informationAdvanced Operations Research Techniques IE316. Quiz 1 Review. Dr. Ted Ralphs
Advanced Operations Research Techniques IE316 Quiz 1 Review Dr. Ted Ralphs IE316 Quiz 1 Review 1 Reading for The Quiz Material covered in detail in lecture. 1.1, 1.4, 2.1-2.6, 3.1-3.3, 3.5 Background material
More informationUsing interval unions to solve linear systems of equations with uncertainties
BIT Numer Math (2017) 57:901 926 DOI 10.1007/s10543-017-0657-x Using interval unions to solve linear systems of equations with uncertainties Tiago Montanher 1 Ferenc Domes 1 Hermann Schichl 1 Arnold Neumaier
More information2. Convex sets. affine and convex sets. some important examples. operations that preserve convexity. generalized inequalities
2. Convex sets Convex Optimization Boyd & Vandenberghe affine and convex sets some important examples operations that preserve convexity generalized inequalities separating and supporting hyperplanes dual
More informationEstimation d arrondis, analyse de stabilité des grands codes de calcul numérique
Estimation d arrondis, analyse de stabilité des grands codes de calcul numérique Jean-Marie Chesneaux, Fabienne Jézéquel, Jean-Luc Lamotte, Jean Vignes Laboratoire d Informatique de Paris 6, P. and M.
More informationffl Interval Analysis Outline Interval Newton/Generalized Bisection (IN/GB). Reliability in finding (enclosing) all solutions and in solving global op
Reliable High erformance Computing Strategies for Chemical rocess Modeling Chao-Yang Gau and Mark A. Stadtherr 1 Department of Chemical Engineering University of Notre Dame Notre Dame, IN 46556 USA AIChE
More informationOn numerical regularity of the longest-edge bisection algorithm
1 4 On numerical regularity of the longest-edge bisection algorithm Antti Hannukainen 1, Sergey Korotov,, Michal Křížek 4 October 1, 01 5 6 7 8 9 10 11 1 1 14 15 16 17 18 19 0 1 4 5 6 7 8 9 0 1 1 Department
More informationExtending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments
Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments Markus Grimmer 1 CETEQ GmbH & Co. KG 42119 Wuppertal, Lise-Meitner-Str. 5-9, Germany markus.grimmer@math.uni-wuppertal.de
More informationVerification of Numerical Results, using Posits, Valids, and Quires
Verification of Numerical Results, using Posits, Valids, and Quires Gerd Bohlender, Karlsruhe Institute of Technology CoNGA Singapore, March 28, 2018 Outline Floating-Point Arithmetic Pure vs. Applied
More informationOn Evasiveness, Kneser Graphs, and Restricted Intersections: Lecture Notes
Guest Lecturer on Evasiveness topics: Sasha Razborov (U. Chicago) Instructor for the other material: Andrew Drucker Scribe notes: Daniel Freed May 2018 [note: this document aims to be a helpful resource,
More informationLecture 15: The subspace topology, Closed sets
Lecture 15: The subspace topology, Closed sets 1 The Subspace Topology Definition 1.1. Let (X, T) be a topological space with topology T. subset of X, the collection If Y is a T Y = {Y U U T} is a topology
More informationCertification of Roundoff Errors with SDP Relaxations and Formal Interval Methods
Certification of Roundoff Errors with SDP Relaxations and Formal Interval Methods Victor Magron, CNRS VERIMAG Jointly Certified Upper Bounds with G. Constantinides and A. Donaldson Jointly Certified Lower
More informationOptimizing INTBIS on the CRAY Y-MP
Optimizing INTBIS on the CRAY Y-MP Chenyi Hu, Joe Sheldon, R. Baker Kearfott, and Qing Yang Abstract INTBIS is a well-tested software package which uses an interval Newton/generalized bisection method
More informationReconstruction of Filament Structure
Reconstruction of Filament Structure Ruqi HUANG INRIA-Geometrica Joint work with Frédéric CHAZAL and Jian SUN 27/10/2014 Outline 1 Problem Statement Characterization of Dataset Formulation 2 Our Approaches
More informationLecture 11: Randomized Least-squares Approximation in Practice. 11 Randomized Least-squares Approximation in Practice
Stat60/CS94: Randomized Algorithms for Matrices and Data Lecture 11-10/09/013 Lecture 11: Randomized Least-squares Approximation in Practice Lecturer: Michael Mahoney Scribe: Michael Mahoney Warning: these
More informationLaGO - A solver for mixed integer nonlinear programming
LaGO - A solver for mixed integer nonlinear programming Ivo Nowak June 1 2005 Problem formulation MINLP: min f(x, y) s.t. g(x, y) 0 h(x, y) = 0 x [x, x] y [y, y] integer MINLP: - n
More informationAs a consequence of the operation, there are new incidences between edges and triangles that did not exist in K; see Figure II.9.
II.4 Surface Simplification 37 II.4 Surface Simplification In applications it is often necessary to simplify the data or its representation. One reason is measurement noise, which we would like to eliminate,
More informationComputation with No Memory, and Rearrangeable Multicast Networks
Discrete Mathematics and Theoretical Computer Science DMTCS vol. 16:1, 2014, 121 142 Computation with No Memory, and Rearrangeable Multicast Networks Serge Burckel 1 Emeric Gioan 2 Emmanuel Thomé 3 1 ERMIT,
More informationPoint-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS
Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Definition 1.1. Let X be a set and T a subset of the power set P(X) of X. Then T is a topology on X if and only if all of the following
More informationSection 13. Basis for a Topology
13. Basis for a Topology 1 Section 13. Basis for a Topology Note. In this section, we consider a basis for a topology on a set which is, in a sense, analogous to the basis for a vector space. Whereas a
More informationThe Branch-and-Sandwich Algorithm for Mixed-Integer Nonlinear Bilevel Problems
The Branch-and-Sandwich Algorithm for Mixed-Integer Nonlinear Bilevel Problems Polyxeni-M. Kleniati and Claire S. Adjiman MINLP Workshop June 2, 204, CMU Funding Bodies EPSRC & LEVERHULME TRUST OUTLINE
More informationConvex Optimization - Chapter 1-2. Xiangru Lian August 28, 2015
Convex Optimization - Chapter 1-2 Xiangru Lian August 28, 2015 1 Mathematical optimization minimize f 0 (x) s.t. f j (x) 0, j=1,,m, (1) x S x. (x 1,,x n ). optimization variable. f 0. R n R. objective
More informationLecture notes for Topology MMA100
Lecture notes for Topology MMA100 J A S, S-11 1 Simplicial Complexes 1.1 Affine independence A collection of points v 0, v 1,..., v n in some Euclidean space R N are affinely independent if the (affine
More informationMulti Layer Perceptron trained by Quasi Newton learning rule
Multi Layer Perceptron trained by Quasi Newton learning rule Feed-forward neural networks provide a general framework for representing nonlinear functional mappings between a set of input variables and
More informationOn Rainbow Cycles in Edge Colored Complete Graphs. S. Akbari, O. Etesami, H. Mahini, M. Mahmoody. Abstract
On Rainbow Cycles in Edge Colored Complete Graphs S. Akbari, O. Etesami, H. Mahini, M. Mahmoody Abstract In this paper we consider optimal edge colored complete graphs. We show that in any optimal edge
More informationImages of Julia sets that you can trust
Images of Julia sets that you can trust Luiz Henrique de Figueiredo with Diego Nehab (IMPA) Jorge Stolfi (UNICAMP) João Batista Oliveira (PUCRS) Can we trust this beautiful image? Curtis McMullen Julia
More informationMSBVH: An Efficient Acceleration Data Structure for Ray Traced Motion Blur
MSBVH: An Efficient Acceleration Data Structure for Ray Traced Motion Blur Leonhard Grünschloß Martin Stich Sehera Nawaz Alexander Keller August 6, 2011 Principles of Accelerated Ray Tracing Hierarchical
More informationIntroduction to optimization methods and line search
Introduction to optimization methods and line search Jussi Hakanen Post-doctoral researcher jussi.hakanen@jyu.fi How to find optimal solutions? Trial and error widely used in practice, not efficient and
More informationAdaptive boundary element methods in industrial applications
Adaptive boundary element methods in industrial applications Günther Of, Olaf Steinbach, Wolfgang Wendland Adaptive Fast Boundary Element Methods in Industrial Applications, Hirschegg, September 30th,
More informationInterval Arithmetic Support In The Fortran Compiler
1 Interval Arithmetic Support In The Fortran Compiler P.Sambath Narayanan Sun Microsystems Computing School January 11, 2005 Chennai 2 This Is Not A Scientific Talk Global Estimate Of Delta Taken From
More informationHFSS Ansys ANSYS, Inc. All rights reserved. 1 ANSYS, Inc. Proprietary
HFSS 12.0 Ansys 2009 ANSYS, Inc. All rights reserved. 1 ANSYS, Inc. Proprietary Comparison of HFSS 11 and HFSS 12 for JSF Antenna Model UHF blade antenna on Joint Strike Fighter Inherent improvements in
More informationConstrained and Unconstrained Optimization
Constrained and Unconstrained Optimization Carlos Hurtado Department of Economics University of Illinois at Urbana-Champaign hrtdmrt2@illinois.edu Oct 10th, 2017 C. Hurtado (UIUC - Economics) Numerical
More informationGuaranteed Quality Parallel Delaunay Refinement for Restricted Polyhedral Domains
Guaranteed Quality Parallel Delaunay Refinement for Restricted Polyhedral Domains Démian Nave a,,1, Nikos Chrisochoides b,,2 L. Paul Chew c,3 a Pittsburgh Supercomputing Center, Carnegie Mellon University,
More informationCircular Flows of Graphs
Circular Flows of Graphs Hong-Jian Lai and Cunquan Zhang West Virginia University Rui Xu University of West Georgia Circular Flows of Graphs p. 1/16 Notation: G: = a graph, with vertex set V = V (G) =
More informationNATCOR Convex Optimization Linear Programming 1
NATCOR Convex Optimization Linear Programming 1 Julian Hall School of Mathematics University of Edinburgh jajhall@ed.ac.uk 5 June 2018 What is linear programming (LP)? The most important model used in
More informationNotes on metric spaces and topology. Math 309: Topics in geometry. Dale Rolfsen. University of British Columbia
Notes on metric spaces and topology Math 309: Topics in geometry Dale Rolfsen University of British Columbia Let X be a set; we ll generally refer to its elements as points. A distance function, or metric
More informationIntegrating Mixed-Integer Optimisation & Satisfiability Modulo Theories
Integrating Mixed-Integer Optimisation & Satisfiability Modulo Theories Application to Scheduling Miten Mistry and Ruth Misener Wednesday 11 th January, 2017 Mistry & Misener MIP & SMT Wednesday 11 th
More informationComputer Science 102 Lab 13. Suppose an online telephone book is comprised of structures of the following form:
Efficient methods of searching - Computer Science 102 Lab 13 Suppose an online telephone book is comprised of structures of the following form: struct entry_type char name[60]; // e.g. Westall, James M.
More informationCombinatorial problems in a Parallel Hybrid Linear Solver
Combinatorial problems in a Parallel Hybrid Linear Solver Ichitaro Yamazaki and Xiaoye Li Lawrence Berkeley National Laboratory François-Henry Rouet and Bora Uçar ENSEEIHT-IRIT and LIP, ENS-Lyon SIAM workshop
More informationAcute Triangulations of Polygons
Europ. J. Combinatorics (2002) 23, 45 55 doi:10.1006/eujc.2001.0531 Available online at http://www.idealibrary.com on Acute Triangulations of Polygons H. MAEHARA We prove that every n-gon can be triangulated
More informationComputing the Pessimism of Inclusion Functions
Reliable Computing (2007) 13:489 504 DOI: 10.1007/s11155-007-9044-7 Springer 2008 Computing the Pessimism of Inclusion Functions GILLES CHABERT and LUC JAULIN ENSIETA, 2 rue François Verny 29806 Brest
More informationA Parallel Implementation of the BDDC Method for Linear Elasticity
A Parallel Implementation of the BDDC Method for Linear Elasticity Jakub Šístek joint work with P. Burda, M. Čertíková, J. Mandel, J. Novotný, B. Sousedík Institute of Mathematics of the AS CR, Prague
More informationT. Background material: Topology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material
More informationBasics of Combinatorial Topology
Chapter 7 Basics of Combinatorial Topology 7.1 Simplicial and Polyhedral Complexes In order to study and manipulate complex shapes it is convenient to discretize these shapes and to view them as the union
More informationSUMS OF SETS OF CONTINUED FRACTIONS
proceedings of the american mathematical society Volume 30, Number 2. October 1971 SUMS OF SETS OF NTINUED FRACTIONS T. W. CUSICK AND R. A. LEE Abstract. For each integer k jjj 2, let S(k) denote the set
More informationOptimizing Parallel Sparse Matrix-Vector Multiplication by Corner Partitioning
Optimizing Parallel Sparse Matrix-Vector Multiplication by Corner Partitioning Michael M. Wolf 1,2, Erik G. Boman 2, and Bruce A. Hendrickson 3 1 Dept. of Computer Science, University of Illinois at Urbana-Champaign,
More informationImplicit schemes for wave models
Implicit schemes for wave models Mathieu Dutour Sikirić Rudjer Bo sković Institute, Croatia and Universität Rostock April 17, 2013 I. Wave models Stochastic wave modelling Oceanic models are using grids
More informationSpace Filling Curves and Hierarchical Basis. Klaus Speer
Space Filling Curves and Hierarchical Basis Klaus Speer Abstract Real world phenomena can be best described using differential equations. After linearisation we have to deal with huge linear systems of
More informationGeometric and Solid Modeling. Problems
Geometric and Solid Modeling Problems Define a Solid Define Representation Schemes Devise Data Structures Construct Solids Page 1 Mathematical Models Points Curves Surfaces Solids A shape is a set of Points
More informationarxiv: v1 [math.na] 20 Jun 2014
Iterative methods for the inclusion of the inverse matrix Marko D Petković University of Niš, Faculty of Science and Mathematics Višegradska 33, 18000 Niš, Serbia arxiv:14065343v1 [mathna 20 Jun 2014 Miodrag
More informationWhat is linear programming (LP)? NATCOR Convex Optimization Linear Programming 1. Solving LP problems: The standard simplex method
NATCOR Convex Optimization Linear Programming 1 Julian Hall School of Mathematics University of Edinburgh jajhall@ed.ac.uk 14 June 2016 What is linear programming (LP)? The most important model used in
More information