| 研究課題/領域番号 |
23500003
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 筑波大学 |
|---|
研究代表者 |
佐々木 建昭 筑波大学, 名誉教授 (80087436)
|
|---|
| 研究分担者 |
櫻井 鉄也 筑波大学, システム情報系, 教授 (60187086)
加古 富志雄 奈良女子大学, 自然科学系, 教授 (90152610)
|
|---|
| 研究協力者 |
稲葉 大樹 日本数学検定協会
|
|---|
| 研究期間 (年度) |
2011 – 2013
|
| キーワード | アルゴリズム理論 / 数式処理 / 数値数式融合算法 / 近似グレブナー基底 / 近似特異系と特異化 / 悪条件連立代数方程式 / パラメータ係数線形方程式系 / 疎な線形方程式系 |
|---|
| 研究概要 |
近似イデアルに基づいて近似グレブナー基底の理論を構築し、部分終結式様の理論を作成して厳密用算法を浮動小数で実行する場合の不安定性を解明し、ブッフバーガー算法を安定化して近似グレブナー基底の構成算法を呈示した。
微小摂動のため多変数多項式イデアルの次元が減少した系として近似特異系を定義し、次元を元に戻す操作として近似特異系の特異化の算法を考案し、近似特異型の悪条件代数方程式系の良条件化法を与えた。線形制御理論で近似無平方分解・有効浮動小数・近似因数分解の有用性を示した。モデルに基づく開発への利用を念頭に、パラメータ係数の疎な線形方程式系の誤差低減解法と系の特徴抽出法などを提案した。
|
