The proceedings contain 22 papers. The topics discussed include: a modified staggered correction arithmetic with enhanced accuracy and very wide exponent range;a note on some applications of interval arithmetic in hie...
The proceedings contain 22 papers. The topics discussed include: a modified staggered correction arithmetic with enhanced accuracy and very wide exponent range;a note on some applications of interval arithmetic in hierarchical solid modeling;a software library for reliable online-arithmetic with rational numbers;complete interval arithmetic and its implementation;distributed parameter and state estimation in a network of sensors;fast (parallel) dense linear interval systems solvers in C-XSC using error free transformations and BLAS;extending the range of C-XSC: some tools and applications for the use in parallel and other environments;improving the performance of a verified linear system solver using optimized libraries and parallel computation;interval arithmetic and standardization;numerical verification assessment in computational biomechanics;and robustness of Boolean operations on subdivision-surface models.
From 06.01. to 11.01.2008, the Dagstuhl Seminar 08021 "numericalvalidation in currenthardwarearchitectures" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During th...
详细信息
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on numericalvalidation in currenthardwarearchitectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised ...
详细信息
ISBN:
(数字)9783642015915
ISBN:
(纸本)9783642015908
This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on numericalvalidation in currenthardwarearchitectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.
The proceedings contain 15 papers. The topics discussed include: discussions on an interval arithmetic standard at Dagstuhl seminar;continued fractions for special functions: handbook and software;a modified staggered...
ISBN:
(纸本)9783642015908
The proceedings contain 15 papers. The topics discussed include: discussions on an interval arithmetic standard at Dagstuhl seminar;continued fractions for special functions: handbook and software;a modified staggered correction arithmetic with enhanced accuracy and very wide exponent range;C-XSC and closely related software packages;extending the range of C-XSC: some tools and applications for the use in parallel and other environments;some applications of interval arithmetic in hierarchical solid modeling;numerical verification assessment in computational biomechanics;robustness of Boolean operations on subdivision-surface models;distributed bounded-error parameter and state estimation in networks of sensors;error bounds for Lanczos approximations of rational functions of matrices;error-free transformation in rounding mode toward zero;and fast (parallel) dense linear system solvers in C-XSC using error free transformations and BLAS.
This paper describes an algorithm to perform Boolean operations, based on the use of limit meshes, in the case when input objects are defined in terms of triangular meshes and Loop subdivision. The focus of the paper ...
详细信息
ISBN:
(纸本)9783642015908
This paper describes an algorithm to perform Boolean operations, based on the use of limit meshes, in the case when input objects are defined in terms of triangular meshes and Loop subdivision. The focus of the paper is on robustness, including error bounds and numerical methods for the a posteriori validation of topological form.
In this paper, we present several aspects of the recent project PROREOP developing a new prognosis system for optimizing patient-specific preoperative surgical planning for the human skeletal system. We address verifi...
详细信息
ISBN:
(纸本)9783642015908
In this paper, we present several aspects of the recent project PROREOP developing a new prognosis system for optimizing patient-specific preoperative surgical planning for the human skeletal system. We address verification and validation assessment in PROREOP with special emphasis oil numerical accuracy and performance. To assess numerical accuracy, we propose to employ graded instruments, including accuracy tests and error analysis. The use of such instruments is exemplified for the process of accurate femur reconstruction. Moreover, we show how to verify the simulation results and take into account measurement uncertainties for a part of this process using tools and techniques developed in the project TEllHIM&S.
A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double format) and fast floating point operations as w...
详细信息
ISBN:
(纸本)9783642015908
A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double format) and fast floating point operations as well as exact dot product computations. Due to floating point limitations it is not an arbitrary precision arithmetic. However, it typically allows computations using several hundred mantissa digits. A set of new modified staggered arithmetics for real and complex data as well as for real interval and complex interval data with very wide exponent range is presented. Some applications will show the increased accuracy of computed results compared to ordinary staggered interval computations. The very wide exponent range of the new arithmetic operations allows computations far beyond the IEEE data formats. The new modified staggered arithmetics would be extremely fast if an exact dot product was available in hardware (the fused accumulate and add instruction is only one step in this direction). This paper describes work in progress. Updates of the software as well as additional documentation may be downloaded from our web site http://www. ***/(similar to)xsc
This article proposes modular hybrid transformer architectures to improve grid resilience. The conventional line-frequency transformer is augmented with a partially rated power electronics converter to realize a hybri...
详细信息
This article proposes modular hybrid transformer architectures to improve grid resilience. The conventional line-frequency transformer is augmented with a partially rated power electronics converter to realize a hybrid transformer system. The proposed modular approach is envisioned to replace a single large power low-frequency transformer with multiple smaller rated hybrid transformer systems during disasters and emergencies. A hybrid transformer system enables controlled current sharing between the modular system. The efficiency analysis and operational aspects of a modular hybrid transformer architecture are thoroughly discussed in this article. The proposed efficiency analysis combines empirical data and numerical analysis of the overall modular hybrid transformer system. The optimum current sharing ratio to achieve maximum efficiency operation is presented for the proposed architectures. One of the proposed architectures (Configuration B) also offers load voltage regulation in case of grid voltage sag/swell occurrence. The proposed concept and analyses are experimentally validated through a scaled-down hardware prototype. The total ownership cost of the proposed system is also presented to emphasize the potential cost-benefits. Supplementary video files accompany this article to showcase the extensive experimental validation cases.
暂无评论