Analog circuit sizing based on formal methods using affine arithmetic

A Lemke, L Hedrich, E Barke - Proceedings of the 2002 IEEE/ACM …, 2002 - dl.acm.org
… Using formal methods based on affine arithmetic, we calculate guaranteed bounds on the
… variations, we define a novel affine-arithmetic Newton operator that gives a significant im…

[HTML][HTML] Bridge influence line identification based on big data and interval analysis with affine arithmetic

Y Zhou, S Zhou, G Hao, J Zhang - Measurement, 2021 - Elsevier
On-site bridge influence line (IL) calibration traditionally relies upon attached sensors and
the pre-weighing of trucks, which limits its popularity for engineering applications. This paper …

Investigating effects of weather parameter uncertainty on transmission line power handling capabilities using affine arithmetic

M Rahman, M Kiesau, V Cecchi… - 2017 IEEE Power & …, 2017 - ieeexplore.ieee.org
This paper presents an approach to deal with uncertainty in weather parameters when
determining transmission line power handling capabilities, in terms of both line thermal rating and …

[HTML][HTML] Fast and reliable uncertain power flow analysis by affine arithmetic

G Coletta, A Vaccaro, D Villacci - Electric Power Systems Research, 2019 - Elsevier
… In this domain affine arithmetic-based power flow analysis has been recognized as one
of the most promising research directions, since it allows to address many important power …

Affine arithmetic and applications to real-number proving

MM Moscato, CA Muñoz, AP Smith - International Conference on …, 2015 - Springer
… Among them, affine arithmetic provides tighter estimations by taking into account linear
correlations between operands. This paper presents a formalization of affine arithmetic, written in …

An affine arithmetic-based model of interval power flow with the correlated uncertainties in distribution system

S Leng, K Liu, X Ran, S Chen, X Zhang - IEEE Access, 2020 - ieeexplore.ieee.org
AFFINE ARITHMETIC AA is proposed to overcome the shortcomings of IA. In terms of AA,
an interval variable x = [x, x] is expressed as the combination of a central value x0 and noises …

[HTML][HTML] Iterative harmonic load flow by using the point-estimate method and complex affine arithmetic for radial distribution systems with photovoltaic uncertainties

FJ Ruiz-Rodriguez, JC Hernandez, F Jurado - International Journal of …, 2020 - Elsevier
Load and generation variations and the random nature of harmonics in non-linear devices (NLDs)
are the source of multiple uncertainties that can be handled in harmonic load flows (…

Adaptive enumeration of implicit surfaces with affine arithmetic

LH De Figueiredo, J Stolfi - Computer Graphics Forum, 1996 - Wiley Online Library
… tion 4, we describe affine arithmetic, a computation technique that generally provides much
… In Section 5, we describe some experiments that exploit the properties of affine arithmetic to …

Polar affine arithmetic: Optimal affine approximation and operation development for computation in polar form under uncertainty

S Wang, K Wang, L Wu, C Wang - ACM Transactions on Mathematical …, 2019 - dl.acm.org
… a polar affine arithmetic (PAA) that extends affine arithmetic to … based on the complex
affine arithmetic. The Chebyshev … Meanwhile, a comparison of affine arithmetic in polar and …

Robust symbolic regression with affine arithmetic

CL Pennachin, M Looks… - Proceedings of the 12th …, 2010 - dl.acm.org
affine arithmetic to improve both the performance and the robustness of genetic programming
for symbolic regression. During evolution, we use affine arithmeticaffine arithmetic with an …