アフィン演算

数値解析・精度保証付き数値計算においてアフィン演算（アフィンえんざん、）は区間演算における区間幅の増大を抑止するために作られた演算方式である。

背景
須永照夫や R. Mooreによって開発された区間演算は現代では精度保証付き数値計算を含む様々な分野に応用されているが、計算を繰り返すと区間幅が増大してしまい、有意義な結果が得られなくなるという致命的な弱点があった (これが区間演算・精度保証付き数値計算の普及を妨げる一因となっている)。そこで多くの技術者・研究者たちがこの難点を克服すべく研究を積み重ねてきた。アフィン演算はその成果物の一つである。

応用
アフィン演算はMATLAB/GNU Octaveで作られた区間演算ライブラリINTLABに搭載されている他、

常微分方程式の数値解法
求根アルゴリズム
最適化問題
混合信号 ()
電力潮流 ()
電気回路または電子回路

にも活用されている。

改良
アフィン演算をよりよくしようという研究もおこなわれており、これらの手法は拡張アフィン演算 ()、または変形アフィン演算 ()などと総称される。

アフィン演算が使える数値計算ライブラリ

INTLAB
 (C++によるライブラリ)
Libaffa (C++によるライブラリ)

YalAA (C++によるライブラリ)

ASOL

出典

参考文献

応用に関する文献

 L. H. de Figueiredo and J. Stolfi (1996), "Adaptive enumeration of implicit surfaces with affine arithmetic". Computer Graphics Forum, 15  5,  287–296.
 W. Heidrich (1997), "A compilation of affine arithmetic versions of common math library functions". Technical Report 1997-3, Universität Erlangen-Nürnberg.
 L. Egiziano, N. Femia, and G.  Spagnuolo (1998), "New approaches to the true worst-case evaluation in circuit tolerance and sensitivity analysis — Part II: Calculation of the outer solution using affine arithmetic". Proc. COMPEL'98 — 6th Workshop on Computer in Power Electronics (Villa Erba, Italy),  19–22.
 W. Heidrich, Ph. Slusallek, and H.-P. Seidel (1998), "Sampling procedural shaders using affine arithmetic". ACM Transactions on Graphics, 17  3,  158–176.
 A. de Cusatis Jr., L. H. Figueiredo, and M. Gattass (1999), "Interval methods for ray casting surfaces with affine arithmetic". Proc. SIBGRAPI'99 — 12th Brazilian Symposium on Computer Graphics and Image Processing,  65–71. 
 I. Voiculescu, J. Berchtold, A. Bowyer, R. R. Martin, and Q. Zhang (2000), "Interval and affine arithmetic for surface location of power- and Bernstein-form polynomials". Proc. Mathematics of Surfaces IX,  410–423. Springer, .
 Q. Zhang and R. R. Martin (2000), "Polynomial evaluation using affine arithmetic for curve drawing". Proc. of Eurographics UK 2000 Conference,  49–56. .
 N. Femia and G. Spagnuolo (2000), "True worst-case circuit tolerance analysis using genetic algorithm and affine arithmetic — Part I". IEEE Transactions on Circuits and Systems, 47  9,  1285–1296.
 R. Martin, H. Shou, I. Voiculescu, and G. Wang (2001), "A comparison of Bernstein hull and affine arithmetic methods for algebraic curve drawing". Proc. Uncertainty in Geometric Computations,  143–154. Kluwer Academic Publishers, .
 A. Bowyer, R. Martin, H. Shou, and I. Voiculescu (2001), "Affine intervals in a CSG geometric modeller". Proc. Uncertainty in Geometric Computations,  1–14. Kluwer Academic Publishers, .
 L. H. de Figueiredo, J. Stolfi, and L. Velho (2003), "Approximating parametric curves with strip trees using affine arithmetic". Computer Graphics Forum, 22  2,  171–179.
 C. F. Fang, T. Chen, and R. Rutenbar (2003), "Floating-point error analysis based on affine arithmetic". Proc. 2003 International Conf. on Acoustic, Speech and Signal Processing.
 A. Paiva, L. H. de Figueiredo, and J. Stolfi (2006), "Robust visualization of strange attractors using affine arithmetic". Computers & Graphics, 30  6,  1020– 1026.

解説記事
L. H. de Figueiredo and J. Stolfi (2004) "Affine arithmetic: concepts and applications." Numerical Algorithms 37 (1–4), 147–158.
 J. L. D. Comba and J. Stolfi (1993), "Affine arithmetic and its applications to computer graphics". Proc. SIBGRAPI'93 — VI Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (Recife, BR),  9–18.
 Nedialkov, N. S., Kreinovich, V., & Starks, S. A. (2004). Interval arithmetic, affine arithmetic, Taylor series methods: why, what next?. Numerical Algorithms, 37(1-4), 325-336.

外部リンク

数値解析
計算科学
応用数学
数学に関する記事