论文部分内容阅读
本文给出了一种当前最严格的验证程序算法,该算法对于解决一大类科学计算程序的正确性,可靠性问题,其效果是很显著的.同时,并用它进行程序验证实践,事实证明该算法对于解决程序的正确性即验证问题很有效.
程序验证的虚构解方法
【摘 要】
：
本文给出了一种当前最严格的验证程序算法,该算法对于解决一大类科学计算程序的正确性,可靠性问题,其效果是很显著的.同时,并用它进行程序验证实践,事实证明该算法对于解决程序的正确性即验证问题很有效.
【机 构】
：
中国航空计算技术研究所
【出 处】
：
第十二届全国计算流体力学会议
【发表日期】
：
2004年5期
其他文献
阐明万亿次高性能计算机的体系结构特点和并行计算技术在CFD领域的应用情况,给出航空气动力计算软件WiseMan的并行算法、并行实现以及适应于高性能计算机发展而即将开展的相关技术改进.
建立了一个城市小区尺度模式.该模式为三维非静力高分辨,取k-ε湍流闭合方案.除考虑空气动力学作用外,引入了作为城市特征的街区建筑物布局及其高度、朝向和对短波辐射的遮蔽以及不同地表利用类型等特征影响,用强迫—恢复法计算地面温度,同时加入了污染物平流扩散方程.模式经专门布置的实测资料验证并用其模拟了北京一个小区中的气象条件和污染物扩散特征.结果表明:模式能够较合理的反映由于建筑物遮蔽造成的温度差异以及
发展了预处理时间导数项的双时间推进的非定常N-S方程解算器.在有限体积法的框架下对N-S方程进行积分并采用显式的Runge-Kutta方法以主隐式的LU-SGS方法进行时间推进.计算了低马赫数、低雷诺数下翼型以及机翼的定常和非定常空气动力特性.数值模拟了低马赫数、低雷诺数下做俯仰、沉浮运动的翼型绕流流场.数值结果显示,预处理可压缩N-S方程的方法可以模拟不可压缩的定常以及非定常流动以及雷诺数对低速
本文将加速收敛技术—预处理方法应用到双时间步法的框架之下,通过内层时间的预处理提高低速流动条件下解的精度和求解效率;同时,利用外层时间来逼近真实的物理非定常过程.在本文中,详细介绍了双时间步、预处理方法的实现过程.并用这种方法计算了无粘Bump流动和绕二维圆柱的非定常流动,数值结果表明该算法显著提高了低速时流场求解的效率及求解精度,对所模拟低速的非定常流动而言,所需代价只是传统时间推进方法的几分之
本文通过粘性布点离散,研究求解N-S方程的隐式无网格算法,并应用于翼型的流场计算.采用无网格算法,计算区域用点云离散代替通常的网格划分;计算点上的空间导数,用当地点云上引入的二次极小曲面逼近.求解的N-S方程用隐式时间后差离散,结合用Roe的近似Riemann解确定无粘通量,并用LU-SGS算法分布计算,数值模拟了翼型亚、跨、超层流绕流.
本文利用FLUENT6.0流体动力学计算软件对轴对称回转体的自然空化现象进行了数值模拟,得到了不同头型和不同空化数下的回转体周围空泡绕流流场和体积分数分布.计算结果与其他研究人员的计算与试验结果比较吻合,说明FLUENT6.0软件可以较好地模拟空泡绕流现象,能够正确反映空泡外形随空化数变化的规律,并且能够较准确地捕捉到空泡尾端的回射流现象.
采用计算奇异摄动法构造典型燃烧反应系统的简化化学动力模型.基于燃烧反应控制方程寻找理想基向量,借助所得理想基向量实现快慢反应模态间的解耦,并给出参与性指数、原子团指针和重要性指数等关键参数,进而构造快模态状态方程和简化化学动力模型.典型CO-CH-Air混合燃烧反应系统的计算结果表明,由计算奇异摄动法得到的简化燃烧反应系统是原燃烧反应系统很好的近似.
综合分析国内外资料,论述了横向喷流与超声速流动干扰问题研究对航天航空领域高新技术的促进作用;从已有的研究成果看,横向喷流干扰的特点是以激波、膨胀波、涡旋及其相互干扰为基本特征,涉及非平衡流、两相流、湍流、非定常流动理论,即是一项应用技术,也是需要长期投入的基础性研究课题;分析国内外空气动力学基本研究手段在横向喷流干扰研究中的作用,着重介绍数值模拟的研究现状;最后提出数值模拟开展着项研究的关键问题,
引入Liu的加权(weight)思想,在NND格式模板基础上,构造了空间三阶精度的WNND格式.通过对单行波方程、一维Euler方程和三维全Navier-Stokes方程的数值模拟表明:WNND格式在不增加模板插值点的前提下,在各种流动现象的模拟和收敛特性等方面均优于NND格式.最后,采用WNND格式研究了升力体外形高超声速粘性流场的拓扑结构,发现背风面对称子午线上存在不同的奇点组合,验证了理论分
绕复杂几何体的网格生成仍然是CFD的一个主要"瓶颈".本文把自适应笛卡尔网格/自适应棱柱网格生成方法(简称ACAP)推广应用于包含动边界的复杂几何体的网格生成,采用嵌套重迭思想处理笛卡尔/棱柱网格外边界面相交的过渡层,提出了一些具体处理笛卡尔/棱柱网格生成的方法和措施,实现和完成了若干网格生成实例,效果较好.