Development of numerical verification methods on evolution equations
演化方程数值验证方法的发展
基本信息
- 批准号:19540118
- 负责人:
- 金额:$ 2.5万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2007
- 资助国家:日本
- 起止时间:2007 至 2008
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
発展方程式に対する精度保証法の基礎となる常微分方程式の精度保証のさまざまな手法を開発し、これを国際研究集会などで発表した。さらにその主要なものについて論文にまとめ、出版した。また、高精度計算のための精度保証手法である精度保証付き多倍長演算ライブラリの開発をはじめ、これについての成果も口頭発表した。
発 exhibition equation に す seaborne る precision guarantee law based と の な る ordinary differential equation is の precision guarantee の さ ま ざ ま な gimmick を open 発 し, こ れ を international research rally な ど で 発 table し た. Youdaoplaceholder0 さらにそ has published a number of major papers and published a number of published papers and published a number of published papers and articles. ま た, high-precision calculation の た め の precision guarantee technique で あ る precision guarantee pay き much times as long as calculus ラ イ ブ ラ リ の open 発 を は じ め, こ れ に つ い て の results も oral 発 table し た.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
均質化の基本的なアイデアと不均質媒体中のフロント伝播への応用
均匀化的基本思想及其在异质介质前向传播中的应用
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:Sakuma Tadashi;Shinohara Hidehiro;中村 健一
- 通讯作者:中村 健一
Validated Computation of Closed Orbits of Dynamical Systems
动力系统闭合轨道的验证计算
- DOI:
- 发表时间:2009
- 期刊:
- 影响因子:0
- 作者:Nobito;YAMAMTO
- 通讯作者:YAMAMTO
連続した入力パタンのあいだの順序関係を認識する神経回路モデル-情報の予測・抽象化に向けて-
识别连续输入模式之间的顺序关系的神经回路模型 -走向信息预测和抽象-
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:Yusuke Higuchi;Atsushi Nakamoto;Kazuhiro Ota;Tadashi Sakuma;田中一穂・矢野慎一郎・山本野人
- 通讯作者:田中一穂・矢野慎一郎・山本野人
連続した入力パタンのあいだの順序関係を認識する神経回路モデル
识别连续输入模式之间的顺序关系的神经电路模型
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:田中一穂;矢野慎一郎;山本野人
- 通讯作者:山本野人
On error estimation of finite element approximations to the elliptic equations in nonconvex domains
非凸域椭圆方程有限元逼近的误差估计
- DOI:
- 发表时间:2007
- 期刊:
- 影响因子:0
- 作者:N. Yamamoto;K. Genma
- 通讯作者:K. Genma
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
YAMAMOTO Nobito其他文献
YAMAMOTO Nobito的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('YAMAMOTO Nobito', 18)}}的其他基金
Library for Validated Computation of Differential Equations
用于验证微分方程计算的库
- 批准号:
24540115 - 财政年份:2012
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Validate Computation Library on Time Evolution Equations
验证时间演化方程的计算库
- 批准号:
21540115 - 财政年份:2009
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Numerical Verification Methods for Dynamical Systems described by ODEs
常微分方程描述的动力系统数值验证方法
- 批准号:
17540106 - 财政年份:2005
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Self-validated computation of singular integral and integral equations
奇异积分和积分方程的自验证计算
- 批准号:
15540111 - 财政年份:2003
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Nonlinear Analysis by Numerical Verification Methods
数值验证方法的非线性分析
- 批准号:
13640105 - 财政年份:2001
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of practical methods for rigorous calculation with guaranteed accuracy
开发可保证精度的严格计算的实用方法
- 批准号:
09640278 - 财政年份:1997
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
相似海外基金
精度保証付き数値計算の前進---有限と無限をつなぐもの---
保证精度的数值计算进展---连接有限与无限---
- 批准号:
23K20812 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
固有値に関するアダマール変分の精度保証付き数値計算とスペクトル幾何学への応用
保证精度的哈达玛变分关于特征值的数值计算及其在谱几何中的应用
- 批准号:
24KJ1170 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for JSPS Fellows
補間誤差解析を超えて切り拓く有限要素法と精度保証付き数値計算の新たなる地平
有限元方法和数值计算的新视野,保证精度超越插值误差分析
- 批准号:
24K00538 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---
计算机辅助“超”同伦法——精度保证的数值计算新维度——
- 批准号:
24H00694 - 财政年份:2024
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
不連続拡散係数を持つ反応拡散モデルに対する精度保証付き数値計算法
具有不连续扩散系数的反应扩散模型的精度保证数值计算方法
- 批准号:
23K13020 - 财政年份:2023
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
精度保証付き数値計算の前進---有限と無限をつなぐもの---
保证精度的数值计算进展---连接有限与无限---
- 批准号:
21H01000 - 财政年份:2021
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
非整数階微分方程式系の解に対する精度保証付き数値計算法の研究
非整数阶微分方程组解精度保证的数值计算方法研究
- 批准号:
21K03363 - 财政年份:2021
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展
有限元法精度保证数值计算进展进入新阶段
- 批准号:
20H01820 - 财政年份:2020
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
疎行列を係数とする線形方程式の反復解法と精度保証付き数値計算法の融合
以稀疏矩阵为系数的线性方程迭代求解与精度保证的数值计算方法相结合
- 批准号:
20H04195 - 财政年份:2020
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
偏微分方程式と有限要素近似に関する精度保証付き数値計算法の発展とその自動化の研究
偏微分方程和有限元近似精度保证的数值计算方法开发及自动化研究
- 批准号:
20K03752 - 财政年份:2020
- 资助金额:
$ 2.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)