СеминарпоинтервальнымвычислениямнаJava.pptVIP

Physically JInterval is a maven aggregator project for a number of maven-subprojects (modules) On this slide the graph of modules dependencies is shown. Modules ‘rational’ and ‘interval’ are core of the library. They depend on rounding class from Fortress (fortress-rounding) and constructive reals of H.Bohem (boehm-creals). High-level solvers (ILS and interval regression) besides the core modules use external libraries for some standard methods like linear algebra and linear programming. Mpfr-adapter is JNA-interface for native code of MPFR. library. Tests for JInterval functionalities are placed in the subproject ‘large-test’. * Now let us see what and how we can do with JInterval. * At the moment JInterval provides a user with the following functionality. The bottom functional layer is formed by Rational and extended rational arithmetic with flexible inner representation. A user can choose exact or directed rounding mode of calculations. Only two types of IA have been transferred from the previous edition of JInterval so far: real set interval arithmetic and Kauher arithmetic. A list of elementary functions available in JInterval meets P1788 standard. Dense vectors and matrices and can be used for extended rational numbers and intervals. The layer of high-level interval methods is presented by two ILS Solvers and Interval regression solver. * The first example is a fragment of code that illustrates how to start interval calculations. Initially, we must construct appropriate interval context of necessary flavor which defines inner representation of intervals and associated operations and functions. Then we can construct intervals, do some computations and output results. * Precision of results of course is determined by value set choosen for constructed context. * * According the Motion 27a of P1788 decorations are properties that carry information on the history of the interval. They are a measure of confidence of intervals. A decoration is dete