[HTML][HTML] Non-probabilistic interval process analysis of time-varying uncertain structures
B Xia, L Wang - Engineering Structures, 2018 - Elsevier
… The extra unitary interval e ̂ j I = [ - 1 , 1 ] is developed from the affine arithmetic, which can
overcome the main limits of affine arithmetic [43]. The more information about the property of …
overcome the main limits of affine arithmetic [43]. The more information about the property of …
How to deal with uncertainties in computing: from probabilistic and interval uncertainty to combination of different approaches, with applications to engineering and …
V Kreinovich - 2017 - scholarworks.utep.edu
… In affine arithmetic, we start with x = 0.5 − ∆x +[0,0], then compute r1 := 1 − (0.5 − ∆x) = 0.5 +
∆… In particular, affine arithmetic may lead to excess width. How to get more accurate estimates…
∆… In particular, affine arithmetic may lead to excess width. How to get more accurate estimates…
A monte-carlo floating-point unit for self-validating arithmetic
… Static analysis using affine arithmetic can also be used to estimate the propagation of …
A method for static analysis of floating point error based on affine arithmetic is proposed in …
A method for static analysis of floating point error based on affine arithmetic is proposed in …
Fast and Accurate Computation of the Round-Off Noise of LTI Systems
JA López Martín, G Caffarena Fernández… - IET Circuits Devices …, 2008 - oa.upm.es
… Abstract: From its introduction in the last decade, affine arithmetic (AA) has shown beneficial
properties to speed up the time of computation procedures in a wide variety of areas. In the …
properties to speed up the time of computation procedures in a wide variety of areas. In the …
Nubolic simulation of AMS systems with data flow and discrete event models
C Zivkovic, C Grimm - 2019 Design, Automation & Test in …, 2019 - ieeexplore.ieee.org
… For symbolic computations, we use affine arithmetic decision diagrams (AADD, [6], [12]). …
Affine arithmetic [20] is used to compute with ranges resp. convex spaces. Affine arithmetic …
Affine arithmetic [20] is used to compute with ranges resp. convex spaces. Affine arithmetic …
Exceptional polynomials and monodromy groups in positive characteristic
F Möller - 2009 - opus.bibliothek.uni-wuerzburg.de
… polynomials with primitive affine arithmetic monodromy group … polynomials with primitive
affine arithmetic monodromy group … p2 with primitive and affine arithmetic monodromy group are …
affine arithmetic monodromy group … p2 with primitive and affine arithmetic monodromy group are …
Towards a compiler for reals
E Darulova, V Kuncak - ACM Transactions on Programming Languages …, 2017 - dl.acm.org
… The function σ is instantiated with the affine arithmetic-based procedure from Section 5.1.
Since roundoff errors are generally small, we found affine arithmetic suitable for this purpose. …
Since roundoff errors are generally small, we found affine arithmetic suitable for this purpose. …
A verified certificate checker for finite-precision error bounds in Coq and HOL4
… For the in-logic evaluation in Coq we show range analysis in interval and affine arithmetic,
for all other runs we use interval arithmetic. As for the accuracy evaluation, benchmarks …
for all other runs we use interval arithmetic. As for the accuracy evaluation, benchmarks …
[PDF][PDF] Reliability Analysis of Structures with Interval Uncertainties under Stochastic Excitations
In this paper, an approach able to evaluate approximate explicit expressions of interval
response statistics and structural reliability of randomly excited linear structures with uncertain …
response statistics and structural reliability of randomly excited linear structures with uncertain …
The use of uncertainty analysis for the design of container closures
BA Yoxall, J Langley, R Janson… - … and Science: An …, 2006 - Wiley Online Library
… Affine arithmetic is actually a more flexible simplification of the proposed by Hansen (1975).The
basic idea of affine arithmetic … are necessary, affine arithmetic returns tighter bounds on …
basic idea of affine arithmetic … are necessary, affine arithmetic returns tighter bounds on …