课题基金 / 基金详情

Development of numerical verification methods on evolution equations

Development of numerical verification methods on evolution equations
演化方程数值验证方法的发展
批准号：
19540118
负责人：
YAMAMOTO Nobito
金额：
$2.5万
依托单位：
The University of Electro-Communications
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2008
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19540118/
关键词：
数値数学精度保証付き数値計算力学系微分方程式Taylor Model数値解析精度保証発展方程式数値的検証法中尾理論

项目摘要

项目成果

YAMAMOTO Nobito的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
発展方程式に対する精度保証法の基礎となる常微分方程式の精度保証のさまざまな手法を開発し、これを国際研究集会などで発表した。さらにその主要なものについて論文にまとめ、出版した。また、高精度計算のための精度保証手法である精度保証付き多倍長演算ライブラリの開発をはじめ、これについての成果も口頭発表した。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
均質化の基本的なアイデアと不均質媒体中のフロント伝播への応用
均匀化的基本思想及其在异质介质前向传播中的应用
DOI： --
发表时间： 2008
期刊： 数理解析研究所講究録 1597
影响因子： --
作者： [Sakuma Tadashi, Shinohara Hidehiro, 中村 健一]
通讯作者： 中村 健一
Validated Computation of Closed Orbits of Dynamical Systems
动力系统闭合轨道的验证计算
DOI： --
发表时间： 2009
期刊：
影响因子： --
作者： [Nobito, YAMAMTO]
通讯作者： YAMAMTO
連続した入力パタンのあいだの順序関係を認識する神経回路モデル-情報の予測・抽象化に向けて-
识别连续输入模式之间的顺序关系的神经回路模型 -走向信息预测和抽象-
DOI： --
发表时间： 2008
期刊： 日本応用数理学会論文誌 Vol. 18, No. 1
影响因子： --
作者： [Yusuke Higuchi, Atsushi Nakamoto, Kazuhiro Ota, Tadashi Sakuma, 田中一穂・矢野慎一郎・山本野人]
通讯作者： 田中一穂・矢野慎一郎・山本野人
連続した入力パタンのあいだの順序関係を認識する神経回路モデル
识别连续输入模式之间的顺序关系的神经电路模型
DOI： --
发表时间： 2008
期刊： 日本応用数理学会論文誌 18
影响因子： --
作者： [田中一穂, 矢野慎一郎, 山本野人]
通讯作者： 山本野人
共 14 条
    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
    Validate Computation Library on Time Evolution Equations
    • 批准号：
      21540115
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2009
    • 负责人：
      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
    海外基金