[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 …

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…

A monte-carlo floating-point unit for self-validating arithmetic

JHC Yeung, EFY Young, PHW Leong - Proceedings of the 19th ACM …, 2011 - dl.acm.org
… 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 …

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 …

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

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 …

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. …

A verified certificate checker for finite-precision error bounds in Coq and HOL4

H Becker, N Zyuzin, R Monat… - … Formal Methods in …, 2018 - ieeexplore.ieee.org
… 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 …

[PDF][PDF] Reliability Analysis of Structures with Interval Uncertainties under Stochastic Excitations

G Muscolino, R Santoro, A Sofi - 2014 - rec2014.iit.edu
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 …

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 …