【導(dǎo)讀】ПроектстандартаP1788:основныеидеи。Простейшаяпрограмма。Уровниспецификации:1,2,3,4. Интервальныйтип。Dom,ограничениеfнаxнепрерывно。Функцияhull–проекцияизвсехматематическихинтерваловв。ГотовыйMaven-репозиторий~/.m2. Необязательно–исходныетекстыJinterval. ВыбираемвProjectsузел。ВокнередактированияправаякнопкамышиFixImport

　　

【正文】 URE!!! Library has no Operation pown in line 7 : * pown == Report Барнаул, 28 Июня 2020 МАК 2020 65 / 60 KNIME ? KNIME— open source data mining platform Барнаул, 28 Июня 2020 МАК 2020 66 / 60 KNIME Interval Tools ? KNIME— open source data mining platform Барнаул, 28 Июня 2020 МАК 2020 67 / 60 KNIME Nodes for Interval Regression Барнаул, 28 Июня 2020 МАК 2020 68 / 60 Builds linear interval regression model Y = f(X, A) Interval Regression ( Learner) IR Outlier Detector Calculates interval prediction Y* for X* using model Y = F(X, A) Detects outliers (observations with underestimated error bound) Interval Regression ( Predictor) IR Consistency Checks consistency of input data and sets flow control variable for IF switch KNIME Nodes for ILS Solving ? In previous version of “Interval Tools”: Барнаул, 28 Июня 2020 МАК 2020 69 / 60 Computes inner/outer estimate of united/tolerable solution set and visualizes* 2D/3D united solution set *Kraemer W. Computing and visualizing solutions sets of interval linear systems, Serdica J. Computing 1(4) 2020, 455468. ILS Solver KNIME Nodes for ILS Solving Барнаул, 28 Июня 2020 МАК 2020 70 / 60 Methods for united solution set estimation: – Outer: HansenBliekRohnNingKearfott enclosure + GaussSeidel – Inner: Subdifferential Newton Computes outer and inner estimates for united solution set of ILS Ax=b ILS Solver ILS United Solution Set View Visualizes 2D or 3D united solution set Method: – I. A. Sharaya’s algorithm for visualization of AEsolution sets Under construction KNIME Workflow for Image Recognition Барнаул, 28 Июня 2020 МАК 2020 71 / 60 Prolubnikov ., Silitskiy . On solving the problem of numeric matrices recognition using estimates of solution sets of interval systems of equations // Comp. Math. Proceedings of XIV Baikal International SchoolSeminar “Methods of optimization and its applications” IrkutskBaikal, July 28 июля 2020. Vol. 3. – Irkutsk: ISEM SB RAS, 2020. – pp. 152157. (in Russian) Read reference images Read image to recognize Convert to matrices Convert to matrices Join Build interval matrices Get A1, b Get A2, b Solve A1*x=b Solve A2*x=b Solve noninterval ILS Join Join Calc metrics Metrics values Metrics histogram KNIME Workflow for Image Recognition Барнаул, 28 Июня 2020 МАК 2020 72 / 60 Prolubnikov ., Silitskiy . On solving the problem of numeric matrices recognition using estimates of solution sets of interval systems of equations // Comp. Math. Proceedings of XIV Baikal International SchoolSeminar “Methods of optimization and its applications” IrkutskBaikal, July 28 июля 2020. Vol. 3. – Irkutsk: ISEM SB RAS, 2020. – pp. 152157. (in Russian) Read reference images Read image to recognize Convert to matrices Convert to matrices Join Build interval matrices Get A1, b Get A2, b Solve A1*x=b Solve A2*x=b Solve noninterval ILS Join Join Calc metrics Metrics values Metrics histogram Mobile Application “Affiche” ? Modeling positional uncertainties for GPS+GSM navigation using circular plex arithmetic Барнаул, 28 Июня 2020 МАК 2020 73 / 60 PERSPECTIVES JInterval Library: Principles, Development, and Perspectives Барнаул, 28 Июня 2020 МАК 2020 74 / 60 Future Directions ? Holding P1788 pliance of JInterval ? Developing optional plugins for platformdependent effective implementations of inner layers through JNI – MPFR for fast multiple precision floatingpoint arithmetic – BLAS for fast linear algebra operations ? Developing API for access to JInterval from other programming languages – Scala – … ? Highlevel functionality replenishment Барнаул, 28 Июня 2020 МАК 2020 75 / 60 HighLevel Functionality Replenishment ? Enhancing MatlabOps ? ILS tolerable solution set estimators ? ILS AEsolution set visualization (I. Sharaya) ? Global Optimization Solver (N. Panov – S. Shary) – Randomized Branch amp。 Bound – Interval simulating annealing – Interval Geic algorithm – Multimethod algorithm ? ODE Solver (D. Nadezhin) Барнаул, 28 Июня 2020 МАК 2020 76 / 60 How to Get and Contribute to JInterval? ?Source codes (SVN) ?JavaDoc ?Wiki ?Tutorial ?Developers’ forum ?Mail lists Барнаул, 28 Июня 2020 МАК 2020 77 / 60 Acknowledgements ? Maksim V. Danilov ? Kirill S. Dronov ? Walter Kr228。mer ? Nikita V. Panov ? Gregor Paw ? Anton E. Sartakov ? Andrey S. Samoilov ? Sergey P. Shary ? Irina A. Sharaya ? Egor N. Tepikin ? Leo N. Tolstoy ? IEEE Interval Standard Working Group – P1788 Барнаул, 28 Июня 2020 МАК 2020 78 / 60