An Accelerated Slicing Algorithm for Frep Models

E Maltsev, D Popov, S Chugunov, A Pasko, I Akhatov - Applied Sciences, 2021 - mdpi.com
… The first problem is that common adaptive criteria (interval, affine or revised affine arithmetic)
do … can be further improved by applying interval or affine arithmetic to the found unit cells. …

Range estimation of floating-point variables in simulink models

A Chapoutot, LS Didier, F Villers - Proceedings of the 2012 …, 2012 - ieeexplore.ieee.org
… Finally as a comparison, we present the estimated maximum using affine arithmetic (AA) [6] …
Our estimations are similar to affine arithmetic estimation for linear sytems and more …

Automatically adapting programs for mixed-precision floating-point computation

MO Lam, JK Hollingsworth, BR de Supinski… - Proceedings of the 27th …, 2013 - dl.acm.org
… More recently, Goubault and Martel and others [13, 16, 17, 22, 35, 38, 39] have built abstract
semantics and static analyses using affine arithmetic. These techniques, like any static …

Novel metrics for analog mixed-signal coverage

A Fürtig, G Gläser, C Grimm, L Hedrich… - 2017 IEEE 20th …, 2017 - ieeexplore.ieee.org
… • Formal methods: With affine arithmetic or other set based reachability methodologies, we
can compute a reachable set for a whole parameter set. The methods allow additionally to …

The Navier–Stokes Problem

AG Ramm - Synthesis Lectures on Mathematics and Statistics, 2021 - morganclaypool.com
The main result of this book is a proof of the contradictory nature of the Navier‒Stokes problem
(NSP). It is proved that the NSP is physically wrong, and the solution to the NSP does not …

[HTML][HTML] Optimal capacitor placement in a dominant induction motor loads power system

A Arief, MB Nappu, S Mustafa, S Thaha - Energy Reports, 2022 - Elsevier
… Modified Affine Arithmetic Division … Capacitor placement and sizing to minimize losses in
a radial distribution network considering uncertainty using modified affine arithmetic division …

[HTML][HTML] Bounds for the stationary stochastic response of truss structures with uncertain-but-bounded parameters

G Muscolino, A Sofi - Mechanical Systems and Signal Processing, 2013 - Elsevier
… According to the philosophy of the affine arithmetic, a new definition of the extra symmetric
unitary interval (NEUI) variable e ˆ i I ≜ [ − 1 , + 1 ] ( i = 1 , 2 , ⋅ ⋅ ⋅ , r ) is herein proposed as a …

On numerical error propagation with sensitivity

E Darulova, V Kuncak - 2014 - infoscience.epfl.ch
… In particular, instead of using affine arithmetic as previously to propagate existing errors, we
… This is in contrast to the local linear approximations that affine arithmetic performs at each …

Reliable algorithms for power system analysis in the presence of data uncertainties

AD Dimitrovski, K Tomsovic, A Vaccaro - 2011 - osti.gov
… such a vision, this chapter will analyze two advanced techniques for power flow analysis
in the presence of data uncertainty namely the boundary power flow and the affine arithmetic

Interval-valued reduced-order statistical interconnect modeling

JD Ma, RA Rutenbar - … on Computer-Aided Design of Integrated …, 2007 - ieeexplore.ieee.org
… This situation was not improved until a novel range arithmetic model—affine arithmetic—was …
i=1 ziεi after a sequence of affine arithmetic operations, we still assume—an approximation …