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…
… 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 …
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
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 …
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
… 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 …
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 …
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 …
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
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 (…
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 …
… 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 …
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 arithmetic … affine arithmetic with an …
for symbolic regression. During evolution, we use affine arithmetic … affine arithmetic with an …