物理质团法关于可压流计算的程序验证

论文摘要

为了评估无网格物理质团法(PECM)对可压流计算的可信性,结合物理认识对该方法的设计思想和数值格式进行了先验分析,基于9个一维模型数值解与参照解的对比信息,通过后验分析方法对PECM进行了程序验证,参照解包括无网格再生核粒子法(RKPM)的数值解以及精确解。验证结果表明:各种物理参数以及状态方程的强烈间断会导致RKPM严重的失稳或失真,而PECM在包括极大密度比在内的各种强间断条件下仍保持稳定和收敛并具有较高的准确度。

论文目录

文章来源

类型: 期刊论文

作者: 马智博,石磊,于明,郑欢

关键词: 无网格方法,物理质团法,光滑粒子法,再生核粒子法,程序验证

来源: 航空动力学报 2019年06期

年度: 2019

分类: 工程科技Ⅱ辑,基础科学

专业: 数学,工业通用技术及设备

单位: 北京应用物理与计算数学研究所,浙江陆特能源科技股份有限公司

基金: 中国工程物理研究院创新发展基金(CX2019026)

分类号: TB114.3

DOI: 10.13224/j.cnki.jasp.2019.06.009

页码: 1253-1272

总页数: 20

文件大小: 867K

下载量: 32

相关论文文献

• [1].安全分析程序验证和确认法规标准综述[J]. 原子能科学技术 2013(S2)
• [2].量子程序验证[J]. 软件学报 2018(04)
• [3].基于瞬态基准实验的CAACS程序验证[J]. 核科学与工程 2017(06)
• [4].并行程序验证的调度策略[J]. 计算机工程与应用 2009(11)
• [5].非线性循环不变式的自动生成[J]. 计算机应用 2008(07)
• [6].安全协议实施安全性分析综述[J]. 山东大学学报(理学版) 2018(01)
• [7].面向多核处理器的低级并行程序验证[J]. 电子学报 2009(S1)
• [8].VASR-CBMC:基于变量子图的多线程程序验证[J]. 计算机应用研究 2018(08)
• [9].多区间上非线性程序的终止性判定[J]. 四川大学学报(工程科学版) 2011(03)
• [10].基于KeY的程序分析和验证[J]. 软件 2016(03)
• [11].采用CPAChecker的动态程序验证[J]. 西安电子科技大学学报 2019(01)
• [12].面向方面的模块化推理框架研究[J]. 山东大学学报(理学版) 2011(09)
• [13].渐进式标记-清扫垃圾收集机制验证[J]. 小型微型计算机系统 2009(09)
• [14].《C程序设计》在汉字编码教学中的应用[J]. 吕梁教育学院学报 2020(02)
• [15].一个基于Mathematica平台的程序安全性自动验证工具[J]. 计算机与现代化 2011(07)
• [16].一个关于程序时间性质的验证框架[J]. 计算机应用与软件 2010(05)
• [17].区间上非线性程序的终止性判定[J]. 软件学报 2010(12)
• [18].广义归纳法对程序性质的证明能力探究[J]. 软件导刊 2014(11)
• [19].人为解与人为解方法[J]. 聊城大学学报(自然科学版) 2010(01)
• [20].基于k近邻最弱前置条件的程序多路径验证方法[J]. 计算机学报 2015(11)
• [21].人为解方法及其在流体力学程序验证中的应用[J]. 计算机应用与软件 2012(11)
• [22].SPRING发布NCSIMUL 8.6[J]. 现代制造 2009(38)
• [23].基于分离逻辑的程序验证技术[J]. 软件学报 2009(08)
• [24].压水堆蒸汽发生器三维两相热工水力分析程序开发与验证[J]. 压力容器 2020(01)
• [25].二维拉氏辐射流体力学人为解构造方法[J]. 爆炸与冲击 2019(01)
• [26].μC/GUI在STM32F103上的移植[J]. 工业控制计算机 2017(03)
• [27].云计算环境中服务器能耗管理机制的应用研究[J]. 计算机技术与发展 2013(11)
• [28].程序模型检查器综述[J]. 计算机科学 2009(04)
• [29].分离逻辑的技术基础与研究现状[J]. 广州大学学报(自然科学版) 2019(02)
• [30].栈指针程序的形式验证[J]. 小型微型计算机系统 2017(05)

标签：无网格方法论文;  物理质团法论文;  光滑粒子法论文;  再生核粒子法论文;  程序验证论文;