白文
- 作品数：4 被引量：0H指数：0
- 供职机构：中航工业西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：航空宇航科学技术理学更多>>
- 程序验证的虚构解方法
- 本文给出了一种当前最严格的验证程序算法,该算法对于解决一大类科学计算程序的正确性,可靠性问题,其效果是很显著的。同时,并用它进行程序验证实践,事实证明该算法对于解决程序的正确性即验证问题很有效。
- 杨振虎白文高福安
- 关键词：网格细化
- 文献传递
- CFD可信度分析平台WiseCFD
- CFD可信度的建立需要对该软件进行严格、系统的验证和确认。以现有CFD验证确认理论为基础,以验证和确认算例库为核心,综合多种有效的验证确认方法和手段,建立了CFD可信度分析平台。本文简要介绍该平台的系统结构及主要功能,着...
- 梁益华杨永朱朝白文
- 关键词：分布式计算
- 文献传递
- 大规模计算在DLR-F6模型阻力预测仿真中的应用
- 本文详细介绍了在上海超级计算中心实现的对第二届AIAA阻力预测会议公布的标准模型及其网格进行的基于混合网格的Navier-Stokes粘流计算,将自主开发的WoF90程序的计算结果与DLR的TAU程序以及FOI的EDGE...
- 周磊杨振虎邱征白文
- 关键词：飞机设计网格并行计算
- 文献传递
- 飞机构型Euler绕流结构网格方法计算的可信度
- 2000年
- 采用三种方法验证飞机构型Euler绕流结构网格方法计算。第一 ,同一网格 ,采用不同的方法或程序进行计算 ;采用Jameson中心差分有限体积方法和Steger Warming流量分裂迎风格式有限体积方法 ,为计算提供容错手段 ;第二 ,网格细化和网格点重新分布 ,并通过网格收敛指标进行评估 ;第三 ,提出新的多块拼接网格拓扑 ,采用不同的网格拓扑进行计算。
- 白文刘国俊周天孝
- 关键词：飞机构型
