変数間の相関を考慮した区間演算方式の計算コストの削減に関する研究

• 研究課題/領域番号: 21700020
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 金沢工業大学
• 研究代表者: 宮田 孝富 金沢工業大学, 情報学部, 講師 (30329114)
• 研究期間 (年度): 2009 – 2010
• 研究課題ステータス: 完了 (2010年度)
• 配分額: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円); 2010年度: 650千円 (直接経費: 500千円、間接経費: 150千円); 2009年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
• キーワード: 計算理論 / アフィン演算 / 区間演算

研究概要

変数間の相関性を考慮する区間演算の変種であるアフィン演算で問題となる誤差項の増大に伴う計算コストの増大の抑制を目的として,アフィン演算の減次の方法について検討し,減次の方法をいくつか考え実装した.
初期値問題の解の包み込みにアフィン演算を用いる場合に区間評価の性能に関して本質的に問題となるのは,加減算の打ち消しが起きないことではなく,むしろwrapping effectである.そのために,アフィン演算の効果的な減次の方法を考えることは役に立つ.

研究成果

• [備考] ホームペホジ等