References in raw/Page_96.html

-
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
O Bouissou, E Goubault, S Putot, A Chakarov... - ... Conference on Tools ..., 2016 - Springer
We consider the problem of reasoning about the probability of assertion violations in straight-line,
nonlinear computations involving uncertain quantities modeled as random variables. ...
A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty
L Wang, Z Chen, G Yang - Nonlinear Dynamics, 2020 - Springer
... , the affine arithmetic [49,50,51] was introduced as an important remedy to the overestimation
problem. The affine arithmetic can ... This is due to the fact that the nonlinear affine arithmetic ...
Stochastic voltage estimation for islanded DC grids
CD Zuluaga-Ríos, C Guarnizo-Lemus - Electric Power Systems Research, 2022 - Elsevier
... Furthermore, Schmidt and Schegner propose to use an affine arithmetic method for low
voltage grid state estimation by modeling pseudo-measurements as principal source of some ...
Efficient floating point precision tuning for approximate computing
NM Ho, E Manogaran, WF Wong... - 2017 22nd Asia and ..., 2017 - ieeexplore.ieee.org
... Techniques and tools such as [21] use interval arithmetic and affine arithmetic to calculate
the range and precision of floating point variables. The most recent work in high level synthe...
Improving the interval ray tracing of implicit surfaces
J Flórez, M Sbert, MA Sainz, J Vehí - Computer Graphics International ..., 2006 - Springer
... De Cusatis [8] suggest the use of affine arithmetic instead of interval arithmetic to solve the
intersection test. The algorithms previously mentioned consider only one interval variable (the ...
A framework for semi-automatic precision and accuracy analysis for fast and rigorous deep learning
C Lauter, A Volkova - 2020 IEEE 27th Symposium on ..., 2020 - ieeexplore.ieee.org
... A workable approach is found with Affine Arithmetic (AA), as developed eg by Putot [23].
Every FP quantity ˆq is annotated with a bound ε that expresses the quantity’s error with respect ...
Lightweight arithmetic units for VLSI digital signal processors
SH Ou, TJ Lin, HY Lin, CM Chao... - 2005 IEEE VLSI-TSA ..., 2005 - ieeexplore.ieee.org
This paper presents a lightweight arithmetic for embedded signal processing, whose hardware
complexity is similar to that of the integer one. In our simulations, its 16-bit version has ...
What order Taylor model is sufficient for subdivision based implicit curve plotting
H Shou, J Shen, D Yoon - Ninth International Conference on ..., 2005 - ieeexplore.ieee.org
... Then, the modified affine arithmetic method [11, 10] is used to get the bound of nth Taylor
polynomial over the region [x, x] × [y, y]. Next we use natural interval extension method to ...
Reactive power optimization under interval uncertainty of renewable power generation based on a security limits method
C Zhang, Q Liu, S Huang, B Zhou, L Cheng... - International Journal of ..., 2021 - Elsevier
... For example, a standard approach employs a genetic algorithm (GA) [20] in conjunction
with the affine arithmetic - based interval power flow computation method (IPFCM) [21]. And a ...
Interval arithmetic in current injection power flow analysis
LES Pereira, VM Da Costa, ALS Rosa - International Journal of Electrical ..., 2012 - Elsevier
This paper incorporates interval arithmetic into current injection method to solve power flow
problem under both load and line data uncertainty. In this new methodology, the resulting ...