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