Computer-assisted proof for stationary solution existence of Navier-Stokes equation on 3D domain

3D域上Navier-Stokes方程平稳解存在性的计算机辅助证明

基本信息

批准号：
18K03411
负责人：
LIU Xuefeng
金额：
$ 2.83万
依托单位：
Niigata University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
起止时间：
2018-04-01 至 2022-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（47）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

非凸領域における境界値問題に対する局所誤差評価

非凸区域边值问题的局部误差评估

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
K. Miyoshi;A. Shiota;S. Kato;S. Yamamoto;K. Fujiwara;and Shijo Nishigori;中野泰河
通讯作者：
中野泰河

微分作用素の固有関数の誤差評価と形状最適化への応用

微分算子本征函数的误差评估及其在形状优化中的应用

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Joshi Ashish;Peters Robert;劉雪峰
通讯作者：
劉雪峰

精度保証付き数値計算の基礎

保证精度的数值计算基础

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
鈴木剛;渡邉真莉;魯楊帆;野原実;高木英典;片山尚幸;澤博;藤澤正美;金井輝人;石井順久;板谷治郎;溝川貴司;辛埴;岡﨑浩三;大石進一編著
通讯作者：
大石進一編著

Explicit Finite Element Error Estimates for Nonhomogeneous Neumann Problems

非齐次诺依曼问题的显式有限元误差估计

DOI：
10.21136/am.2018.0095-18
发表时间：
2018
期刊：
Applications of Mathematics
影响因子：
0.7
作者：
Li Qin;Liu Xuefeng
通讯作者：
Liu Xuefeng

3次元領域におけるNavier-Stokes方程式の解の検証ライブラリの開発

开发 3D 域纳维-斯托克斯方程解验证库

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
中山優吾;矢田和善;青嶋　誠;Shigetoshi Yazaki;矢島幸信平田康史薄葉季路;Joerg Brendle;Hiromi SENO and Emmanuel DANSU;劉雪峰
通讯作者：
劉雪峰

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 }}

LIU Xuefeng其他文献

From technological imitators to technological leaders: Evidence from Huawei case study

从技术模仿者到技术领导者：华为案例研究的证据

DOI：
10.1109/icmit.2012.6225771
发表时间：
2012-06
期刊：
International Journal of Technology, Policy and Management
影响因子：
0
作者：
LIU Xuefeng;ZHENG Xiang
通讯作者：
ZHENG Xiang

Innovation exploitation, exploration and supplier relationship management

创新开发、探索和供应商关系管理

DOI：
10.1504/ijtm.2014.064589
发表时间：
2014-09
期刊：
International Journal of Technology Management
影响因子：
2.8
作者：
CAI Jing;SMART AU;LIU Xuefeng
通讯作者：
LIU Xuefeng

LIU Xuefeng的其他文献

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

{{ truncateString('LIU Xuefeng', 18)}}的其他基金

High-precision eigenvalue estimation for the Biharmonic differential operator

双调和微分算子的高精度特征值估计

批准号：
26800090
财政年份：
2014
资助金额：
$ 2.83万
项目类别：
Grant-in-Aid for Young Scientists (B)

Verified eigenvalue estimation for elliptic differential operators and its application in non-linear problems

椭圆微分算子特征值估计的验证及其在非线性问题中的应用

批准号：
23740092
财政年份：
2011
资助金额：
$ 2.83万
项目类别：
Grant-in-Aid for Young Scientists (B)

相似海外基金

精度保証付き数値計算の前進---有限と無限をつなぐもの---

保证精度的数值计算进展---连接有限与无限---

批准号：
21H01000
财政年份：
2021
资助金额：
$ 2.83万
项目类别：
Grant-in-Aid for Scientific Research (B)

新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展

有限元法精度保证数值计算进展进入新阶段

批准号：
20H01820
财政年份：
2020
资助金额：
$ 2.83万
项目类别：
Grant-in-Aid for Scientific Research (B)

Expansion of numerical verification methods for functional equations

函数方程数值验证方法的扩展

批准号：
15H03637
财政年份：
2015
资助金额：
$ 2.83万
项目类别：
Grant-in-Aid for Scientific Research (B)