研究員紹介
寺本 央(てらもと ひろし)
名前 | 寺本 央(てらもと ひろし) |
---|---|
所属 | システム理工学部(数学科) |
研究室 | 計算科学研究室 |
研究の経緯 | 力学系理論の化学反応動力学への応用に端を発し、実特異点の分類の理論的枠組みの構築、計算代数と実限量化子消去法の計算アルゴリズムの開発とそれによる実特異点の自動分類および認識アルゴリズムの開発を行っている。また、それらのアルゴリズムをはじめとし、数理科学の応用にも力を入れている。 |
研究テーマ | ① 法双曲的不変多様体崩壊の機構 ② 実特異点の自動分類アルゴリズムの開発 ③ 実限量化子消去アルゴリズムの改良とその実特異点認識問題への応用 |
キーワード | 力学系理論、法双曲不変多様体、標準型理論、実特異点、計算代数、 実限量化子消去、トポロジー最適化、パーシステントホモロジー |
応用技術分野 | 化学反応動力学、多目的最適化 |
学術情報システム | 学術情報システムを見る |
Name | TERAMOTO Hiroshi |
---|---|
Faculty, Department |
Department of Mathematics, Faculty of Engineering Science |
Research Topics | ① Breakdown mechanism of normally hyperbolic invariant manifold ② Algorithms for automatic real singularity classification ③ Improvement of real quantifier elimination algorithm and its application to recognition problems of real singularities |
Key Words | Dynamical system theory, Normally hyperbolic invariant manifold, Normal form theory, Real singularity, Computational algebra, Real quantifier elimination, Topological optimization, Persistent homology |
Applications | Chemical reaction dynamics, Multi-objective optimiation |