Development of analyzing tools of dynamical systems based on verified numerics
Development of analyzing tools of dynamical systems based on verified numerics
基于验证数值的动力系统分析工具的开发
批准号：
18K03410
负责人：
Yamamoto Nobito
金额：
$2.83万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(19)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
非双曲型平衡点に対する局所Lyapunov関数の精度保証による構成
非双曲平衡点精度保证的局部Lyapunov函数的构造
非双曲平衡点精度保证的局部Lyapunov函数的构造
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[中村 正男 (電気通信大学), 新田 光輝 (電気通信大学), 山本 野人 (電気通信大学)]
通讯作者：
山本 野人 (電気通信大学)
On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases
二维情况下围绕非双曲平衡构造局部李亚普诺夫函数的数值验证方法
二维情况下围绕非双曲平衡构造局部李亚普诺夫函数的数值验证方法
DOI：
--
发表时间：
2022
期刊：
JSIAM Letters
影响因子：
0.4
作者：
[Koki Nitta, Toshiki Sasaki, Nobito Yamamoto]
通讯作者：
Nobito Yamamoto
双曲型平衡点近傍の局所Lyapunov関数を用いたホモクリニック軌道の精度保証
使用双曲平衡点附近的局部 Lyapunov 函数保证同宿轨迹的精度
使用双曲平衡点附近的局部 Lyapunov 函数保证同宿轨迹的精度
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[新田 光輝, 山本 野人]
通讯作者：
山本 野人
離散力学系非双曲型不動点近傍でのLyapunov関数の精度保証による構成について
离散动力系统中非双曲不动点附近精度保证的李雅普诺夫函数的构造
离散动力系统中非双曲不动点附近精度保证的李雅普诺夫函数的构造
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[皆本 啓吾 (電気通信大学), 新田 光輝 (電気通信大学), 山本 野人 (電気通信大学)]
通讯作者：
山本 野人 (電気通信大学)
非双曲型平衡点近傍でのLyapunov関数の数式処理・精度保証による構成
通过公式处理构造Lyapunov函数在非双曲平衡点附近并保证精度
通过公式处理构造Lyapunov函数在非双曲平衡点附近并保证精度
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[新田 光輝 (電気通信大学), 笹木 俊希 (電気通信大学), 山本 野人 (電気通信大学)]
通讯作者：
山本 野人 (電気通信大学)
共 18 条
Constructing Lyapunov functions by verified numerics
-
批准号：15K04991
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.91万
-
财政年份：2015
-
负责人：Yamamoto Nobito
-
依托单位：
海外基金