Results 201 to 210 of about 1,379 (241)

Road design problems solved by affine arithmetic

2015
In this paper we propose the use of techniques based on range numbers for solving problems of road designing. We applied the Affine Arithmetic to verify the driver's visibility in a horizontal curve, providing very interesting results and confirming its usefulness even in the most complex analytical expressions.
BOSURGI, Gaetano, PELLEGRINO, Orazio, Sollazzo, Giuseppe   +2 more
openaire   +3 more sources

Solving Uncertain Power Flow Problem by Affine Arithmetic

2018 AEIT International Annual Conference, 2018
Uncertainty management is becoming a very challenging tool in operation scheduling of networks interested by massive distributed generators' penetration. From this point of view, self-validated computing techniques are very useful tools, allowing to intrinsically track data uncertainty effects into power system operation procedures.
Coletta G., Vaccaro A., Villacci D., Zollo A.   +3 more
openaire   +2 more sources

Arithmetical affine complete varieties and inverse monoids

Studia Scientiarum Mathematicarum Hungarica, 2008
This paper gives a classification of arithmetical affine complete varieties of finite type up to categorical equivalence. It is proved that two such varieties are equivalent as categories if and only if their weakly diagonal generators have isomorphic monoids of bicongruences.
openaire   +1 more source

MiniBit

Proceedings of the 42nd annual conference on Design automation - DAC '05, 2005
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the integer and fraction parts of fixed-point signals with the aim of minimizing circuit area. Our range analysis technique identifies the number of integer bits required. For precision
null Dong-U Lee, A.A. Gaffar, O. Mencer, W. Luk   +3 more
openaire   +1 more source

Adaptive Enumeration of Implicit Surfaces with Affine Arithmetic

Computer Graphics Forum, 1996
AbstractWe discuss adaptive enumeration and rendering methods for implicit surfaces, using octrees computed with affine arithmetic, a new tool for range analysis. Affine arithmetic is similar to standard interval arithmetic, but takes into account correlations between operands and sub‐formulas, generally providing much tighter bounds for the computed ...
Luiz Henrique de Figueiredo, Jorge Stolfi   +1 more
openaire   +1 more source

Approximating Implicit Curves on Triangulations with Affine Arithmetic

2012 25th SIBGRAPI Conference on Graphics, Patterns and Images, 2012
We present an adaptive method for computing a robust polygonal approximation of an implicit curve in the plane that uses affine arithmetic to identify regions where the curve lies inside a thin strip. Unlike other interval methods, even those based on affine arithmetic, our method works on triangulations, not only on rectangular quad trees.
Afonso Paiva, Filipe de Carvalho Nascimento, Luiz Henrique de Figueiredo, Jorge Stolfi   +3 more
openaire   +1 more source

Phase stability analysis using a modified affine arithmetic

Computers & Chemical Engineering, 2013
Abstract Phase stability analysis is a crucial step in the determination of multiphase equilibrium. This analysis by the tangent plane distance (TPD) minimization is a well-known technique, as well as the difficulties in providing guarantees that the global minimum has been found. On this regard, interval methods are powerful tools since they provide
P.B. Staudt, N.S.M. Cardozo, R. de P. Soares   +2 more
openaire   +1 more source

On the Arithmetic Difference of Affine Cantor Sets

Journal of Dynamical Systems and Geometric Theories, 2006
In this paper we construct a recurrent compact set for the relative configurations set of special affine Cantor sets.
B. Honary, M. Pourbarat, M.R. Velayati
openaire   +1 more source

Floating-point error analysis based on affine arithmetic

2003 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03)., 2003
During the development of floating-point signal processing systems, an efficient error analysis method is needed to guarantee the output quality. We present a novel approach to floating-point error bound analysis based on affine arithmetic. The proposed method not only provides a tighter bound than the conventional approach, but also is applicable to ...
C.F. Fang, null Tsuhan Chen, R.A. Rutenbar   +2 more
openaire   +1 more source

Affine Arithmetic and Applications to Real-Number Proving

2015
Accuracy and correctness are central issues in numerical analysis. To address these issues, several self-validated computation methods have been proposed in the last fifty years. Their common goal is to provide rigorously correct enclosures for calculated values, sacrificing a measure of precision for correctness.
Mariano M. Moscato, César A. Muñoz, Andrew P. Smith   +2 more
openaire   +1 more source