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

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

基本信息

项目摘要

暂无数据

项目成果

期刊论文数量(47)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
精度保証付き数値計算の基礎
保证精度的数值计算基础
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    鈴木剛;渡邉真莉;魯楊帆;野原実;高木英典;片山尚幸;澤博;藤澤正美;金井輝人;石井順久;板谷治郎;溝川貴司;辛埴;岡﨑浩三;大石進一編著
  • 通讯作者:
    大石進一編著
非凸領域における境界値問題に対する局所誤差評価
非凸区域边值问题的局部误差评估
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    K. Miyoshi;A. Shiota;S. Kato;S. Yamamoto;K. Fujiwara;and Shijo Nishigori;中野 泰河
  • 通讯作者:
    中野 泰河
微分作用素の固有関数の誤差評価と形状最適化への応用
微分算子本征函数的误差评估及其在形状优化中的应用
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Joshi Ashish;Peters Robert;劉 雪峰
  • 通讯作者:
    劉 雪峰
Explicit Finite Element Error Estimates for Nonhomogeneous Neumann Problems
非齐次诺依曼问题的显式有限元误差估计
  • DOI:
    10.21136/am.2018.0095-18
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0.7
  • 作者:
    Li Qin;Liu Xuefeng
  • 通讯作者:
    Liu Xuefeng
3次元領域におけるNavier-Stokes方程式の解の検証ライブラリの開発
开发 3D 域纳维-斯托克斯方程解验证库
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    中山優吾;矢田和善;青嶋 誠;Shigetoshi Yazaki;矢島幸信 平田康史 薄葉季路;Joerg Brendle;Hiromi SENO and Emmanuel DANSU;劉 雪峰
  • 通讯作者:
    劉 雪峰
共 43 条
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 9
前往

LIU Xuefeng其他文献

From technological imitators to technological leaders: Evidence from Huawei case study
从技术模仿者到技术领导者:华为案例研究的证据
Innovation exploitation, exploration and supplier relationship management
创新开发、探索和供应商关系管理
共 2 条
  • 1
前往

LIU Xuefeng的其他基金

High-precision eigenvalue estimation for the Biharmonic differential operator
双调和微分算子的高精度特征值估计
  • 批准号:
    26800090
    26800090
  • 财政年份:
    2014
  • 资助金额:
    $ 2.83万
    $ 2.83万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
    Grant-in-Aid for Young Scientists (B)
Verified eigenvalue estimation for elliptic differential operators and its application in non-linear problems
椭圆微分算子特征值估计的验证及其在非线性问题中的应用
  • 批准号:
    23740092
    23740092
  • 财政年份:
    2011
  • 资助金额:
    $ 2.83万
    $ 2.83万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
    Grant-in-Aid for Young Scientists (B)

相似海外基金

精度保証付き数値計算の前進---有限と無限をつなぐもの---
保证精度的数值计算进展---连接有限与无限---
  • 批准号:
    21H01000
    21H01000
  • 财政年份:
    2021
  • 资助金额:
    $ 2.83万
    $ 2.83万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
    Grant-in-Aid for Scientific Research (B)
新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展
有限元法精度保证数值计算进展进入新阶段
  • 批准号:
    20H01820
    20H01820
  • 财政年份:
    2020
  • 资助金额:
    $ 2.83万
    $ 2.83万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
    Grant-in-Aid for Scientific Research (B)
Expansion of numerical verification methods for functional equations
函数方程数值验证方法的扩展
  • 批准号:
    15H03637
    15H03637
  • 财政年份:
    2015
  • 资助金额:
    $ 2.83万
    $ 2.83万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
    Grant-in-Aid for Scientific Research (B)
Verified eigenvalue estimation for elliptic differential operators and its application in non-linear problems
椭圆微分算子特征值估计的验证及其在非线性问题中的应用
  • 批准号:
    23740092
    23740092
  • 财政年份:
    2011
  • 资助金额:
    $ 2.83万
    $ 2.83万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
    Grant-in-Aid for Young Scientists (B)
Researches on the high-accurate computation and numerical verification for the solution of the partial differential equation with singularity
奇异性偏微分方程解的高精度计算及数值验证研究
  • 批准号:
    22740059
    22740059
  • 财政年份:
    2010
  • 资助金额:
    $ 2.83万
    $ 2.83万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
    Grant-in-Aid for Young Scientists (B)