An Accelerated Slicing Algorithm for Frep Models
… 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. …
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 …
Our estimations are similar to affine arithmetic estimation for linear sytems and more …
Automatically adapting programs for mixed-precision floating-point computation
… 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 …
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 …
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 …
(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
… Modified Affine Arithmetic Division … Capacitor placement and sizing to minimize losses in
a radial distribution network considering uncertainty using modified affine arithmetic division …
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 …
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 …
… 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
… 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 …
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 …
i=1 ziεi after a sequence of affine arithmetic operations, we still assume—an approximation …