System refinement design flow based on semi-symbolic simulations
F Schupfer, C Radojicic, J Wenninger… - IEEE Africon'11, 2011 - ieeexplore.ieee.org
… Affine Arithmetic [11] is used to describe and compute the system model and to simulate the
system behavior. Affine Arithmetic … Affine Arithmetic is a methodology to define ranges as …
system behavior. Affine Arithmetic … Affine Arithmetic is a methodology to define ranges as …
Fast and accurate computation of the round-off noise of linear time-invariant systems
JA López, G Caffarena, C Carreras… - IET Circuits, Devices & …, 2008 - IET
… Abstract: From its introduction in the last decade, affine arithmetic (AA) has shown beneficial
properties to speed up the time of computation procedures in a wide variety of areas. In the …
properties to speed up the time of computation procedures in a wide variety of areas. In the …
[PDF][PDF] Analysis of Overhead Transmission Line Parameters with Uncertainty
YM Abebea, PM Rao, MG Naik - International Journal of …, 2017 - mecs-press.org
… In this paper, the uncertainty model for calculating OTL loading, sag, tension, cable length
and worst case resistance value that use Standard Affine Arithmetic (SAA) has been proposed…
and worst case resistance value that use Standard Affine Arithmetic (SAA) has been proposed…
[PDF][PDF] Real-time Shading: Sampling Procedural Shaders
W Heidrich - 2004 - redirect.cs.umbc.edu
… In our description we uses affine arithmetic to obtain … interval arithmetic to affine arithmetic
for the specific application … than the bounds produced by affine arithmetic. Figure 2 shows the …
for the specific application … than the bounds produced by affine arithmetic. Figure 2 shows the …
Range analysis in electroquasistatic field linear problems
M Vitelli - IEEE transactions on dielectrics and electrical …, 2003 - ieeexplore.ieee.org
… By applying (16) we get - X = [O,O]; that is, in affine arithmetic each time an interval X appears,
it is always recognized as itself and not as an interval ^Y representing a different quantity …
it is always recognized as itself and not as an interval ^Y representing a different quantity …
[PDF][PDF] Automatic Bitwidth Customization for Image Processing Pipelines on FPGAs through a DSL Compiler
V BENARA, Z CHOUDHURY, S PURINI… - arXiv preprint arXiv …, 2018 - drive.google.com
… easily deploying any kind of interval/affine arithmetic based range analyses in the DSL
compiler. Thirdly, we show that interval/affine arithmetic based techniques fail to take into account …
compiler. Thirdly, we show that interval/affine arithmetic based techniques fail to take into account …
[PDF][PDF] Analytic spectrum of rig categories
F Paugam - Theory and Applications of Categories, 2014 - core.ac.uk
… to define analytic versions of Arakelov compactifications of affine arithmetic varieties. … This
construction also allows us to define analytic Arakelov compactifications of affine arithmetic …
construction also allows us to define analytic Arakelov compactifications of affine arithmetic …
Enclosing temporal evolution of dynamical systems using numerical methods
O Bouissou, A Chapoutot, A Djoudi - NASA Formal Methods Symposium, 2013 - Springer
… To avoid this problem we use an improvement over interval arithmetic named affine arithmetic
[12] … We will denote by Aff(e) the evaluation of the expression e using affine arithmetic. …
[12] … We will denote by Aff(e) the evaluation of the expression e using affine arithmetic. …
A Guaranteed Two-stage State Estimation Framework for Unbalanced Three-phase Distribution Systems by Considering Multi-source Measurement Uncertainty
D Liang, K Li, S Wang, L Ge… - 2018 IEEE Power & …, 2018 - ieeexplore.ieee.org
… Affine arithmetic (AA) is used to model the measurement uncertainty. The calculated voltage
intervals are then used as inputs for the second stage, where real-time measurements with …
intervals are then used as inputs for the second stage, where real-time measurements with …
METHODS FOR ALGEBRAIC CURVE DRAWING
G Wang, A Bowyer - Uncertainty in Geometric Computations, 2012 - books.google.com
… than using the power basis, and that affine arithmetic in the power basis is better than using …
using affine arithmetic with the Bernstein basis gives no advantage over affine arithmetic …
using affine arithmetic with the Bernstein basis gives no advantage over affine arithmetic …