SCAN/2012 Book of Abstracts
Total Page:16
File Type:pdf, Size:1020Kb
′ September 23–29 SCAN 2012 Novosibirsk, Russia 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics Book of Abstracts 15th GAMM–IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics SCAN’2012 Novosibirsk, Russia September 23–29, 2012 Book of Abstracts Institute of Computational Technologies Novosibirsk, 2012 SCIENTIFIC COMMITTEE G¨otz Alefeld (Karlsruhe, Germany) • Jean-Marie Chesneaux (Paris, France) • George F. Corliss (Milwaukee, USA) • Tibor Csendes (Szeged, Hungary) • Andreas Frommer (Wuppertal, Germany) • R. Baker Kearfott (Lafayette, USA) • Walter Kr¨amer (Wuppertal, Germany) • Vladik Kreinovich (El Paso, USA) • Ulrich Kulisch (Karlsruhe, Germany) • Wolfram Luther (Duisburg, Germany) • Svetoslav Markov (Sofia, Bulgaria) • G¨unter Mayer (Rostok, Germany) • Jean-Michel Muller (Lyon, France) • Mitsuhiro Nakao (Fukuoka, Japan) • Michael Plum (Karlsruhe, Germany) • Nathalie Revol (Lyon, France) • Jiˇr´ıRohn (Prague, Czech Republic) • Siegfried Rump (Hamburg, Germany) • Sergey P. Shary (Novosibirsk, Russia) • Yuri I. Shokin (Novosibirsk, Russia) • Wolfgang V. Walter (Dresden, Germany) • J¨urgen Wolff von Gudenberg (W¨urzburg, Germany) • Nobito Yamamoto (Tokyo, Japan) • WEB-SITE http://conf.nsc.ru/scan2012 ORGANIZERS Institute of Computational Technologies SD RAS, • http://www.ict.nsc.ru Novosibirsk State University, • http://www.nsu.ru Novosibirsk State Technical University, • http://www.nstu.ru “Scientific Service” Ltd. • SPONSOR Russian Foundation for Basic Research (RFBR) http://www.rfbr.ru ORGANIZING COMMITTEE Sergey P. Shary [email protected] • Irene A. Sharaya [email protected] • Yuri I. Molorodov [email protected] • Svetlana V. Zubova [email protected] • Andrei V. Yurchenko • Vladimir A. Detushev • Dmitri Yu. Lyudvin • E-MAIL [email protected] Preface This volume contains peer refereed abstracts of the 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Novosibirsk, September 23–29, 2012. This conference continues the series of international SCAN symposia initi ated by University of Karlsruhe, Germany, and held under the joint auspices of GAMM and IMACS. SCAN symposia have been held in many cities across the world: Karlsruhe, Germany (1988) Basel, Switzerland (1989) Albena-Varna, Bulgaria (1990) Oldenburg, Germany (1991) Vienna, Austria (1993) Wuppertal, Germany (1995) Lyon, France (1997) Budapest, Hungary (1998) Karlsruhe, Germany (2000) Paris, France (2002) Fukuoka, Japan (2004) Duisburg, Germany (2006) El Paso, Texas, USA (2008) Lyon, France (2010) SCAN’2012 strives to advance the frontiers in verified numerical computations, interval methods, as well as their application to computational engineering and science. Topics of interest include, but are not limited to: theory, algorithms, and arithmetics for verified numerical computations • hardware and software support, programming tools for verification • symbolic and algebraic methods for numerical verification • verification in operations research, optimization, and simulation • verified solution of ordinary differential equations • computer-assisted proofs and verification for partial differential equations • interval analysis and its applications • supercomputing and reliability • industrial and scientific applications of verified numerical computations • We want to thank all contributors and participants of symposium SCAN’2012. Without their active participation, we would not have succeeded. Local Organizers Contents Todor Angelov Solvability of systems of interval linear equations via the codifferential descent method ...................................... ................. 13 Ekaterina Auer and Stefan Kiel Uses of verified methods for solving non-smooth initial value problems. 15 Fayruza Badrtdinova Interval of uncertainty in the solution of inverse problems of chemical kinetics ............................................. .................. 17 Mamurjon Bazarov, Laziz Otakulov, Kadir Aslonov Software package for investigation of dynamic properties of control sys- tems under interval uncertainty......................... ............... 19 Burova Irina On constructing nonpolynomial spline formulas . ........ 21 Michal Cern´yandˇ Miroslav Rada On the OLS set in linear regression with interval data . ..... 23 Alexandre Chapoutot, Laurent-St´ephane Didier and Fanny Villers A statistical inference model for the dynamic range of LTI systems.... 25 Alexandre Chapoutot and Thibault Hilaire and Philippe Chevrel Intervalbased robustness of linear parameterized filters . ........... 27 Chin-Yun Chen Acceleration of the computational convergence of extended interval New- ton method for a special class of functions.................. ........... 29 Chin-Yun Chen Numerical comparison of some verified approaches for approximate inte- gration............................................. ................... 31 Boris S. Dobronets and Olga A. Popova Numerical probabilistic analysis under aleatory and epistemic uncer- tainty.............................................. ................... 33 5 Vladimir V. Dombrovskii and Elena V. Chausova Model predictive control of discrete linear systems with interval and stochastic uncertainties............................... ................. 35 Thomas D¨otschel, Andreas Rauh, Ekaterina Auer, and Harald Aschemann Numerical verification and experimental validation of sliding mode con- trol design for uncertain thermal SOFC models............... ......... 37 Vadim S. Dronov Limitations of complex interval Gauss-Seidel iterations . ....... 39 Tom´aˇsDzetkuliˇc Endpoint and midpoint interval representations – theoretical and com- putational comparison................................. ................ 41 Tom´aˇsDzetkuliˇc Rigorous computation with function enclosures in Chebyshev basis . ... 43 Pierre Fortin and Mourad Gouicem and Stef Graillat Solving the Table Maker’s Dilemma by reducing divergence on GPU . 45 Stepan Gatilov Efficient angle summation algorithm for point inclusion test and its ro- bustness........................................... .................... 47 Alexander Harin Subinterval analysis. First results. .............. 49 Alexander Harin Theorem on interval character of incomplete knowledge. Subinterval analysis of incomplete information . ........... 51 Jennifer Harlow, Raazesh Sainudiin and Warwick Tucker Arithmetic and algebra of mapped regular pavings. ....... 53 Behnam Hashemi Verified computation of symmetric solutions to continuous-time algebraic Riccati matrix equations ................................ .............. 54 Oliver Heimlich and Marco Nehmeier and J¨urgen Wolff von Gudenberg Computing interval power functions ....................... ............ 57 6 Oliver Heimlich and Marco Nehmeier and J¨urgen Wolff von Gudenberg Computing reverse interval power functions................ ............ 58 Milan Hlad´ık New directions in interval linear programming . ....... 60 Jaroslav Hor´aˇcek and Milan Hlad´ık Computing enclosures of overdetermined interval linear systems. ....... 62 Arnault Ioualalen, Matthieu Martel Sardana: an automatic tool for numerical accuracy optimization . ...... 64 Luc Jaulin Interval analysis and robotics........................... ............... 66 Maksim Karpov Using interval branch-and-prune algorithm for lightning protection sys- tems design.......................................... ................. 68 Masahide Kashiwagi An algorithm to reduce the number of dummy variables in affine arith- metic............................................... ................... 70 Akitoshi Kawamura, Norbert M¨uller, Carsten R¨osnick, Martin Ziegler Uniform second-order polynomialtime computable operators and data structures for real analytic functions.................... ............... 72 Ralph Baker Kearfott On rigorous upper bounds to a global optimum................. ....... 74 Oleg V. Khamisov Bounding optimal value function in linear programming under interval uncertainty......................................... ................... 76 Stefan Kiel, Ekaterina Auer, and Andreas Rauh An environment for verified modeling and simulation of solid oxide fuel cells................................................ ................... 77 Olga Kosheleva and Vladik Kreinovich Use of Grothendieck’s inequality in interval computations: quadratic terms are estimated accurately modulo a constant factor...... ......... 79 7 Elena K. Kostousova On boundedness and unboundedness of polyhedral estimates for reach- able sets of linear systems............................... .............. 81 Walter Kr¨amer Arbitrary precision real interval and complex interval computations.... 83 Vladik Kreinovich Decision making under interval uncertainty . .......... 84 Bartlomiej Jacek Kubica Excluding regions using Sobol sequences in an interval branch-and-bound method............................................. .................. 86 Bartlomiej Jacek Kubica and Adam Wo´zniak Interval methods for computing various refinements of Nash equilibria . 88 Sergey I. Kumkov and Yuliya V. Mikushina Interval approach to identification of parameters of experimental process model.............................................. ................... 90 Olga Kupriianova and Christoph Lauter The libieee754 compliance library for the IEEE 754-2008 standard... 93 Boris I. Kvasov Monotone and convex interpolation by weighted quadratic splines. .... 95 Anatoly V. Lakeyev On unboundedness of generalized solution sets