Interval analysis and verification of mathematical models

被引：0
|
作者：
Csendes, Tibor [1 ]
机构：
[1] Univ Szeged, Inst Informat, Szeged, Hungary
来源：
UNCERTAINTIES IN ENVIRONMENTAL MODELLING AND CONSEQUENCES FOR POLICY MAKING | 2009年
关键词：
model verification; interval methods; reliable numerical algorithm; VERIFIED OPTIMIZATION TECHNIQUE; DAMPED PENDULUM EQUATION; COMPUTER-ASSISTED PROOF; BOUNDING LEVEL SETS; UNIT SQUARE; CHAOS; COMPUTATION; CIRCLES; PACKING; SYSTEMS;
D O I：
10.1007/978-90-481-2636-1_4
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This chapter provides an introduction to interval arithmetic-based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circle packing, chaotic behaviour dynamical systems, and process network synthesis.
引用
收藏
页码：79 / 100
页数：22
相关论文
共 50 条
  • [1] Stochastic arithmetic and verification of mathematical models
    Chesneaux, Jean-Marie
    Jezequel, Fabienne
    Lamotte, Jean-Luc
    [J]. UNCERTAINTIES IN ENVIRONMENTAL MODELLING AND CONSEQUENCES FOR POLICY MAKING, 2009, : 101 - 125
  • [2] Principles For Verification Of Mathematical Fire Models
    Blahova, Marta
    Hromada, Martin
    [J]. 25TH INTERNATIONAL CONFERENCE ON CIRCUITS, SYSTEMS, COMMUNICATIONS AND COMPUTERS (CSCC 2021), 2021, : 111 - 115
  • [3] Mathematical models of IP traceback methods and their verification
    Ohmori, K
    Suzuki, A
    Ohmuro, M
    Kai, T
    Kawabata, M
    Matushima, R
    Nishiyama, S
    [J]. SECURITY AND PRIVACY IN THE AGE OF UBIQUITOUS COMPUTING, 2005, 181 : 155 - 169
  • [4] INTERVAL MATHEMATICAL EVALUATION OF COMPLEX PROCESS ENGINEERING MODELS
    COLDITZ, S
    GRUHN, G
    [J]. CHEMIE INGENIEUR TECHNIK, 1994, 66 (12) : 1651 - 1654
  • [5] Interval-Based Verification Techniques for the Analysis of Uncertain Fractional-Order System Models
    Rauh, Andreas
    Kersten, Julia
    Aschemann, Harald
    [J]. 2020 EUROPEAN CONTROL CONFERENCE (ECC 2020), 2020, : 1853 - 1858
  • [6] Verification of embedded systems based on interval analysis
    Ugarte, I
    Sanchez, P
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2005, 33 (06) : 697 - 720
  • [7] Verification of Embedded Systems Based on Interval Analysis
    Iñigo Ugarte
    Pablo Sanchez
    [J]. International Journal of Parallel Programming, 2005, 33 : 697 - 720
  • [8] EXPERIMENTAL VERIFICATION OF MATHEMATICAL MODELS FOR TIRE-SOIL INTERACTION
    Phakdee, Siwakorn
    Phromjan, Juthanee
    Rugsaj, Ravivat
    Suvanjumrat, Chakrit
    [J]. INTERNATIONAL JOURNAL OF GEOMATE, 2024, 26 (113): : 58 - 65
  • [9] Experimental Verification of Mathematical Models for Failure Estimation of Electronic Systems
    Sokol, K.
    Ptak, P.
    [J]. ACTA PHYSICA POLONICA A, 2020, 138 (02) : 291 - 294
  • [10] A general tool for a better use of design or verification of mathematical models
    Ghiazza, E
    Giovani, F
    [J]. DESALINATION, 1996, 105 (1-2) : 51 - 56
12345