WEKO3
アイテム
On necessary and sufficient conditions for numerical verification of double turning points
http://hdl.handle.net/10445/6296
http://hdl.handle.net/10445/629617cba89d-efe0-4911-a008-7f4b23c3119d
Item type | 会議発表論文 / Conference Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2011-06-29 | |||||
タイトル | ||||||
タイトル | On necessary and sufficient conditions for numerical verification of double turning points | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
資源タイプ | conference paper | |||||
アクセス権 | ||||||
アクセス権 | metadata only access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
著者 |
田中, 健一郎
× 田中, 健一郎× 村重, 淳× Oishi, Shin'ichi |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 本論文では、分岐現象の発生する点の存在証明を数値的検証により行う方法を提案した。分岐現象とは、パラメータpを含む方程式f(x,p)=0の解x(p)の定性性質(局所的一意性など)がpのある値p’を境に不連続に変化する現象である。またこのとき(x(p’),p’)を分岐点と呼ぶ。例えば構造物の破壊現象は分岐現象の一種と言える。本論文で対象としたのは、分岐点の中でも二重折り返し点と呼ばれるやや複雑な分岐点の存在検証である。 | |||||
書誌情報 |
Workshop on Nonlinear Analysis via Verified Numerical Computation, Waseda University 21st COE Productive ICT Academia Program 発行日 2003 |
|||||
査読有無 | ||||||
値 | なし/no | |||||
研究業績種別 | ||||||
値 | 国際会議/International Conference | |||||
単著共著 | ||||||
値 | 共著/joint |