作者:
原文服务方: 航空计算技术       
摘要:
采用网格收敛分析和虚构解理论对程序验证进行了理论探索与数值实验研究,并发展完善了该方法.给出了虚构解程序验证中一种比较简单的源项处理方案;给出了虚构解程序验证中气动方程组一种通用的虚构解系数选取方法,最后用虚构解方法对二维结构网格Euler流动计算程序ARC2D进行了验证,并发现了该程序边界条件实现精度与流场内部精度不相匹配问题,并给予了修正,数值实践证明虚构解方法是一种严格稳健有效的程序验证方法,用它完成的程序验证具有较高的可信度.
推荐文章
虚构解方法程序验证
程序验证
虚构解方法
Euler方程
基于Coq的微内核操作系统程序验证方法研究
程序验证
霍尔逻辑
推理系统
定理证明
结构-运动特性矩阵的NC程序验证及效果
加工中心
结构-运动特性矩阵
NC程序验证
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 CFD程序验证的虚构解方法及其边界精度匹配问题
来源期刊 航空计算技术 学科
关键词 虚构解方法 网格收敛分析 计算流体力学
年,卷(期) 2007,(6) 所属期刊栏目 计算方法
研究方向 页码范围 5-9
页数 5页 分类号 O242
字数 语种 中文
DOI 10.3969/j.issn.1671-654X.2007.06.002
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 杨振虎 7 35 4.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (2)
节点文献
引证文献  (4)
同被引文献  (14)
二级引证文献  (13)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(2)
  • 引证文献(1)
  • 二级引证文献(1)
2014(5)
  • 引证文献(0)
  • 二级引证文献(5)
2015(3)
  • 引证文献(1)
  • 二级引证文献(2)
2017(2)
  • 引证文献(0)
  • 二级引证文献(2)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
2019(3)
  • 引证文献(1)
  • 二级引证文献(2)
研究主题发展历程
节点文献
虚构解方法
网格收敛分析
计算流体力学
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
航空计算技术
双月刊
1671-654X
61-1276/TP
大16开
西安市太白北路156号
1971-01-01
中文
出版文献量(篇)
3986
总下载数(次)
0
总被引数(次)
18592
论文1v1指导