Discovery Sagaサイレントキーワード俯瞰

行列束のKronecker標準形は,微分代数方程式で記述される動的システムの解析において本質的な役割を果たしている.しかし,標準形の摂動に対する感度が非常に高く,計算誤差の発生しうる数値計算によって正確な標準形を得ることには困難を伴う.
本研究課題では,計算誤差が発生し得ない組合せ的計算を利用することによって数値計算の負担を減らして,できるだけ正確な標準形を安定に計算する手法を確立することを目的としている.従来の研究の結果,Kronecker標準形の構造指数のうち,冪零指数に関して,2部グラフ上の最大重みマッチングを利用した組合せ緩和法が確立されている.本研究課題は,組合せ緩和法に基づいて行指数・列指数を計算するアルゴリズムの設計と計算機上での実現を目的としている.
昨年度までの研究成果より,周期的な構造を有する2部グラフ上の最大マッチングを計算することによって,行指数・列指数の推定値が得られることが明らかとなった.
本年度は,引き続き,組合せ緩和法の設計に取り組み,世界標準的なソフトであるGUPTRIで採用されているアルゴリズムよりも効率的な新たなアルゴリズムを得た.しかし,計算精度に関しては,GUPTRIの方が優れているため,現時点では,組合せ的な推定値とGUPTRIとを併用するのが,最も適切な計算法であるとの結論に達した.
また,微分代数方程式の指数減少法への応用研究を行い,電気回路の数値解析手法として知られる混合解析の枠組みにおいて,最小指数を達成する微分代数方程式を導出する効率的なアルゴリズムを開発した.

【研究分担者】
加藤直樹	京都大学	工学研究科	教授	(Kakenデータベース)
伊藤大雄	京都大学	情報学研究科	准教授	(Kakenデータベース)
宮崎修一	京都大学	学術情報メディアセンター	准教授	(Kakenデータベース)
玉置卓	京都大学	情報学研究科	助教	(Kakenデータベース)
杉原厚吉	東京大学	情報理工学系研究科	教授	(Kakenデータベース)
徳山豪	東北大学	情報科学研究科	教授	(Kakenデータベース)
山下雅史	九州大学	システム情報科学研究院	教授	(Kakenデータベース)
渡辺治	東京工業大学	情報理工学研究科	教授	(Kakenデータベース)

【研究連携者】
杉原厚吉	明治大学	研究・知財戦略機構	特任教授	(Kakenデータベース)
徳山豪	東北大学	情報科学研究科	教授	(Kakenデータベース)
山下雅史	九州大学	システム情報科学研究院	教授	(Kakenデータベース)
渡辺治	東京工業大学	情報理工学研究科	教授	(Kakenデータベース)
堀山貴史	埼玉大学	理工学研究科	准教授	(Kakenデータベース)