Library for Validated Computation of Differential Equations

用于验证微分方程计算的库

基本信息

批准号：
24540115
负责人：
YAMAMOTO Nobito
金额：
$ 3.33万
依托单位：
The University of Electro-Communications
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
起止时间：
2012-04-01 至 2015-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

A numerical verification method for a basin of a limit cycle

极限环盆地的数值验证方法

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
山本野人;松江要;Tomohirio Hiwaki and Nobito Yamamoto
通讯作者：
Tomohirio Hiwaki and Nobito Yamamoto

力学系周期軌道の精度保証法とLyapunov関数

动力系统周期轨道与李亚普诺夫函数的精度保证方法

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
山本野人;松江要;Tomohirio Hiwaki and Nobito Yamamoto;山本野人
通讯作者：
山本野人

LyapunovTracing による常微分方程式の精度保証法について

关于利用LyapunovTracing保证常微分方程精度的方法

DOI：
发表时间：
2013
期刊：
影响因子：
0
作者：
樋脇知広;渡辺真伊智;山本野人;松江要
通讯作者：
松江要

Saddle-saddle connection の精度保証付き数値検証

鞍座与鞍座连接的数值验证，保证精度

DOI：
发表时间：
2012
期刊：
影响因子：
0
作者：
樋脇知広;渡辺真伊智;山本野人;松江要;渡部善隆，木下武彦，木村拓馬，山本野人，中尾充宏;松崎雄基，松田望，山本野人;樋脇知広，山本野人;渡邊　真伊智，山本野人;松江要・山本野人
通讯作者：
松江要・山本野人

Lyapunov関数の精度保証による構成について

关于精度保证的Lyapunov函数的配置

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
山本野人;松江要
通讯作者：
松江要

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

YAMAMOTO Nobito其他文献

YAMAMOTO Nobito的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

{{ truncateString('YAMAMOTO Nobito', 18)}}的其他基金

Validate Computation Library on Time Evolution Equations

验证时间演化方程的计算库

批准号：
21540115
财政年份：
2009
资助金额：
$ 3.33万
项目类别：
Grant-in-Aid for Scientific Research (C)

Development of numerical verification methods on evolution equations

演化方程数值验证方法的发展

批准号：
19540118
财政年份：
2007
资助金额：
$ 3.33万
项目类别：
Grant-in-Aid for Scientific Research (C)

Numerical Verification Methods for Dynamical Systems described by ODEs

常微分方程描述的动力系统数值验证方法

批准号：
17540106
财政年份：
2005
资助金额：
$ 3.33万
项目类别：
Grant-in-Aid for Scientific Research (C)

Self-validated computation of singular integral and integral equations

奇异积分和积分方程的自验证计算

批准号：
15540111
财政年份：
2003
资助金额：
$ 3.33万
项目类别：
Grant-in-Aid for Scientific Research (C)

Nonlinear Analysis by Numerical Verification Methods

数值验证方法的非线性分析

批准号：
13640105
财政年份：
2001
资助金额：
$ 3.33万
项目类别：
Grant-in-Aid for Scientific Research (C)

Development of practical methods for rigorous calculation with guaranteed accuracy

开发可保证精度的严格计算的实用方法

批准号：
09640278
财政年份：
1997
资助金额：
$ 3.33万
项目类别：
Grant-in-Aid for Scientific Research (C)

相似国自然基金

受限的正倒向随机微分方程及对金融的应用

批准号：
10201018
批准年份：
2002
资助金额：
9.5 万元
项目类别：
青年科学基金项目

相似海外基金

準線形常微分方程式の漸近解析とその偏微分方程式への応用

拟线性常微分方程的渐近分析及其在偏微分方程中的应用

批准号：
24K06808
财政年份：
2024
资助金额：
$ 3.33万
项目类别：
Grant-in-Aid for Scientific Research (C)

力学系理論に基づく新しい有限時間特異性の解析

基于动力系统理论的新型有限时间奇点分析

批准号：
22KJ2844
财政年份：
2023
资助金额：
$ 3.33万
项目类别：
Grant-in-Aid for JSPS Fellows

Numerical Software for the Adaptive Error Controlled Solution of Ordinary and Partial Differential Equations

常微分方程自适应误差控制解的数值软件

批准号：
RGPIN-2017-05811
财政年份：
2022
资助金额：
$ 3.33万
项目类别：
Discovery Grants Program - Individual

Asymptotic analysis of quasilinear ordinary differential equations and its application to partial differential equations