课题基金 / 基金详情

Validate Computation Library on Time Evolution Equations

Validate Computation Library on Time Evolution Equations
验证时间演化方程的计算库
批准号：
21540115
负责人：
YAMAMOTO Nobito
金额：
$2.91万
依托单位：
The University of Electro-Communications
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2009
资助国家：
日本
项目状态：
已结题
起止时间：
2009 至 2011
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21540115/
关键词：
精度保証発展方程式多倍長演算プログラム自動生成常微分方程式微分方程式力学系自動プログラミング区間解析計算ライブラリ

项目摘要

项目成果

YAMAMOTO Nobito的其他基金

相似基金

相关文献

中文摘要
翻译
我们研究了包含验证计算技术的计算机程序库，这些技术为时间演化方程的验证计算提供了基础，并推导出了一些新的时间演化方程的数值验证方法，这些方法表现为半离散的时间演化方程。研究结果发表在学术期刊上。
英文摘要
We have investigated in computer program library including validated computation techniques which give the basis of validated computation of time evolution equations, and derived a number of new approaches to numerical verification of ODEs which appear as semi-discretized equations of PDEs. The results were published in academic journals.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
On Validated Computation with Multipleprecision Arithmetic
多精度算法的验证计算
DOI： --
发表时间： 2009
期刊：
影响因子： --
作者： [ALICE Collaboration (B.Abelev, et al.), Nobito Yamamoto]
通讯作者： Nobito Yamamoto
力学系における閉軌道の存在領域の精度保証法による同定
精度保证法识别动力系统闭轨道存在区域
DOI： --
发表时间： 2012
期刊： 日本応用数理学会論文誌
影响因子： --
作者： [Masato Harikae, Nobito Yamamoto, 樋脇知広・山本野人]
通讯作者： 樋脇知広・山本野人
Validated Computation of Global Solutions to ODEs
ODE 全局解的验证计算
DOI： --
发表时间： 2013
期刊： Nonlinear Theory and Its Applications , IEICE
影响因子： --
作者： [M.Harikae, N.Yamamoto]
通讯作者： N.Yamamoto
「精度保証付き数値計算と多倍長演算」(招待)
“保证精度和多精度运算的数值计算”（邀请函）
DOI： --
发表时间： 2009
期刊：
影响因子： --
作者： [K. Aoyama, 堀口正之, 山本野人]
通讯作者： 山本野人
共 21 条
    Library for Validated Computation of Differential Equations
    • 批准号：
      24540115
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.33万
    • 财政年份：
      2012
    • 负责人：
      YAMAMOTO Nobito
    • 依托单位：
      The University of Electro-Communications
    Development of numerical verification methods on evolution equations
    • 批准号：
      19540118
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.5万
    • 财政年份：
      2007
    • 负责人：
      YAMAMOTO Nobito
    • 依托单位：
      The University of Electro-Communications
    Numerical Verification Methods for Dynamical Systems described by ODEs
    • 批准号：
      17540106
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.73万
    • 财政年份：
      2005
    • 负责人：
      YAMAMOTO Nobito
    • 依托单位：
      The University of Electro-Communications
    Self-validated computation of singular integral and integral equations
    • 批准号：
      15540111
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.66万
    • 财政年份：
      2003
    • 负责人：
      YAMAMOTO Nobito
    • 依托单位：
      The University of Electro-Ccmmunications
    海外基金