|
本研究では、申請者が開発してきた多倍長精度演算や精度保証付き数値計算に基づく高品質数値計算ライブラリのプロトタイプを改善し、高精度計算を必要とする複雑なシステムの制御系開発を支援できるシステムを構築することを目的とする。具体的に以下の内容を実施した。
1.高品質数値計算ライブラリの開発
(1)高品質数値計算ライブラリの改善
開発したライブラリを公開・配布することで得られた評価や提案等のフィードバックに基づいてライブラリの問題解決や機能拡張等の改善を行った。
(2)精度指定可能な計算手法の提案と実装
多倍長精度演算と精度保証付き数値計算を組み合わせて指定された精度で計算結果を得る計算手法を提案した。そして、高品質数値計算ライブラリにその機能を追加した。
(3)精度保証付き数値計算ライブラリの拡張
無誤差変換に基づく精度保証付き数値計算の機能を実装することで、プラットフォームに依存しない精度保証付き数値計算を実現した。
2.オープンなモデリング・シミュレーションツールの開発
(1)モデリング・シミュレーションツールの改善
開発したツールを他大学等の教員に演習や実験で使用して頂くことで得られた評価や提案等のフィードバックに基づいてモデリング・シミュレーションツールを改善した。
(2)オブジェクト指向数値計算ライブラリの拡張
開発したオブジェクト指向数値計算ライブラリを用い、微分代数方程式のソルバーを実装した。
(3)利用可能なプラットフォームの拡大
これまでに対応したデスクトップPCとノートPCに加え、新たにタブレットPCへの対応を検討した。
|
