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 ...
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 ...
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 ...
Generated on 2022-05-21 12:15:46 by cleanup_scholar_page_pass_1.sh