[論文レビュー] A unifying approach to software and hardware design for scientific calculations and idempotent mathematics

Grigori Litvinov, V. P. Maslov+1 more|ArXiv.org|Jan 9, 2001

Numerical Methods and Algorithms参考文献 9被引用数 10

ひとこと要約

本稿では、多様な数値問題にわたるソフトウェアおよびハードウェア設計を統一するためのフレームワークを提案する。アイデムポテンス代数を活用することで、標準算術を max や min などの演算に置き換えることで、idempotent 半環上での操作を可能にし、オブジェクト指向およびシステリックハードウェア実装を通じて、高精度、信頼性、パフォーマンスを保証する普遍的で型安全なアルゴリズムを実現する。

ABSTRACT

A unifying approach to software and hardware design generated by ideas of Idempotent Mathematics is discussed. The so-called idempotent correspondence principle for algorithms, programs and hardware units is described. A software project based on this approach is presented.

研究の動機と目的

• 従来の数値計算ツールおよび手法における標準化の欠如、信頼性、正確性の不足に対処すること。
• 統一的な数学的基盤を導入することで、数値解析と現代のプログラミング／ハードウェア技術の間の溝を埋めること。
• 任意精度と誤差制御をサポートするアイデムポテンス微積分に基づくソフトウェアおよびハードウェアシステムの開発。
• 複数の計算分野にわたる数値アルゴリズムの効率的で再利用可能かつポータブルな実装を可能にすること。
• アイデムポテンス対応原理を用いて、汎用ソフトウェアおよび専用ハードウェアユニットを体系的に設計する手法の提供。

提案手法

• 標準的な数値アルゴリズムを、$\mathbb{R}_{\max}$、$\mathbb{R}_{\min}$、$\mathbb{R}_{\max,+}$ などのアイデムポテンス半環上での同等形式に写像するために、アイデムポテンス対応原理を適用する。
• 有限コンピュータモデル（任意精度整数、有理数、$p$-進数など）を用いて、数学的対象（例：実数、区間、多項式）を表現する。
• スカラー積、行列演算、積分などの普遍的アルゴリズムを、実行時において異なる半環演算に即時にインスタンス化可能な抽象的演算を用いて実装する。
• オブジェクト指向および関数型プログラミングパラダイム（例：C++ や Java）を用いて、データ型と演算をカプセル化し、動的バインディングと拡張性を実現する。
• 各プロセッシング要素が一貫性があり、データフロー最適化された方法で基本的演算を実行する、システリックプロセッサアレイを設計する。
• 複数の半環ベース計算に対応できるように、基本演算（例：max、min、加算）を変更可能な可変基本演算を備えた、プログラマブルで再構成可能なハードウェアユニットを構築する。

実験結果

リサーチクエスチョン

• RQ1 アイデムポテンス代数を用いることで、多様な数値問題にわたる科学的計算におけるソフトウェアおよびハードウェア設計をどのように統一できるか？
• RQ2 アイデムポテンス対応原理は、非線形問題を半環上での線形問題に変換する役割を果たすか？
• RQ3 普遍的アルゴリズムは、十分なパフォーマンスと柔軟性を備えたソフトウェアとして実装可能であり、分野特化型数値ライブラリに取って代われるか？
• RQ4 システリックプロセッサおよびVLSIアーキテクチャは、アイデムポテンス半環上でのスカラー積および線形代数演算を効率的に計算するために、どの程度適合可能か？
• RQ5 オブジェクト指向および関数型プログラミング技術を活用することで、統一的数値計算システムにおける型安全、モularity、拡張性をどのように確保できるか？

主な発見

• アイデムポテンス対応原理により、標準的な数値アルゴリズムが、$\mathbb{R}_{\max}$ や $\mathbb{R}_{\min}$ を含む任意のアイデムポテンス半環上で動作する普遍的形に変換可能であり、多様な計算問題を統一する。
• $\mathbb{R}_{\max}$ におけるスカラー積は、$\max\{x_1 + y_1, \dots, x_n + y_n\}$ として定義され、システリックアレイを用いたハードウェア実装により、最適化および動的計画法の高速処理が可能となる。
• 抽象データ型と普遍的アルゴリズムに基づくソフトウェアシステムにより、任意精度と計算の安全性が保証され、コード統合によって開発およびテスト時間の短縮が実現される。
• 提案手法により、線形代数、積分、多項式の根の特定、微分方程式など、幅広いアルゴリズムが、1つの拡張可能なフレームワーク内に実装可能である。
• アイデムポテンス演算を目的としたハードウェアユニットは、再構成可能でマルチプロセッサ型のチップとして構築可能であり、一般用途ソフトウェア実装よりも高速かつ信頼性の高い実行が可能である。
• アイデムポテンスフレームワーク内での区間算術および有限精度表現の使用により、誤差推定が正確に可能となり、古典的区間解析では捉えきれない自己補正効果も含めた高精度な評価が可能となる。