1) finite volume compact scheme
有限容积紧致格式
1.
Numeric test shows that finite volume compact scheme can achieve more accurate resolution than finite difference noncompact scheme.
对非齐次热传导方程提出了一种数值求解的有限容积紧致格式,该格式具有空间上的四阶精度,且与有限差分紧致格式相比,更好地保持了问题的物理守恒性。
2) compact scheme
紧致格式
1.
Fourth-order compact scheme finite volume method for large eddy simulations of turbulent flows;
四阶紧致格式有限体积法湍流大涡模拟
2.
High-order compact scheme and its stability analysis for the pollutant diffusion equation;
污染扩散方程高精度紧致格式及其稳定性分析
3.
The filtered Navier-Stokes equation is solved numerically on non-staggered grids,with a finite volume fourth-order-accurate compact scheme for spatial discretization and fourth-order Runge-Kutta integration for time advancement.
该方法空间离散采用有限体四阶紧致格式,时间推进采用四阶Runge-Kutta法,压力-速度耦合应用四阶紧致格式的动量插值。
4) finite volume TVD scheme
有限体积TVD格式
1.
To study high-speed spinning and lateral jet flow field, implicit finite volume TVD scheme and high Reynolds number two-equations κ-ε turbulence models were applied.
为了研究高速旋转侧喷流动特性,以旋成体弹丸为模型,采用隐式有限体积TVD格式,结合高雷诺数两方程κ-ε湍流模型,对高速旋转侧喷三维流动进行了数值模拟。
2.
In order to realize ballistic s consistence of projectiles with different head shape, the high precision and h igh resolution finite volume TVD scheme are applied to numerically simulate air flowfield.
弹道一致性是制式弹丸在改进过程中经常遇到的工程问题 ,为实现不同头部外形弹丸的弹道一致性 ,采用高精度高分辨率的有限体积TVD格式 ,应用流场数值模拟的方法 ,寻求阻力特性相接近的弹丸外形 ,流场数值模拟和弹道计算结果表明 ,该方法具有一定的可行性 ,对弹道一致性研究具有重要的参考价值 。
3.
The three dimensional Reynolds averaged Navier Stokes equations and implicit finite volume TVD scheme were applied.
为了研究弹丸侧喷复杂干扰湍流场的特性 ,从雷诺平均的Navier Stokes方程出发 ,应用三维隐式有限体积TVD格式 ,在超声速和零迎角条件下 ,对侧喷增程无翼弹三维干扰湍流场进行了数值模拟 ,采用代数方法生成了包含弹底的弹体绕流场O型网格而避免分区计算 ,为精确模拟侧喷口成功生成了侧喷口贴体网格 ,湍流模型采用高雷诺数两方程κ ε湍流模型。
5) finite volume scheme
有限体积格式
1.
In this paper,a new kind of finite volume scheme is developed for Lagrangian equations of hydrodynamics.
本文首先从积分形式的二维Lagrange流体力学方程组出发,使用ENO高阶插值多项式,推广了四边形结构网格下的一阶有限体积格式,构造得到了一类结构网格下的高精度有限体积格式。
2.
A finite volume scheme is developed for Lagrangian equations in hydrodynamics.
从积分形式的二维Lagrange流体力学方程组出发,使用ENO高阶插值多项式,推广了四边形结构网格下的一阶有限体积格式,构造一类结构网格下的高精度有限体积格式。
3.
Jameson s finite volume scheme and the dual time stepping procedure were used.
控制方程为非定常Navier Stokes方程 ,采用Jameson的有限体积格式 ,以双时间步长方法进行时间推进。
6) finite volume TVD schemes
有限体积TVD格式
1.
High precision and high resolution implicit finite volume TVD schemes and zonal method are applied to numerically simulate air flowfield of hollow projectiles with different convergence ratio.
应用高精度高分辨率的隐式有限体积TVD格式,结合分区算法,数值模拟了不同收敛面积比的空心弹丸内外流场,系统研究了空心弹丸内外流场的波系结构和阻力特性的有关规律,证实存在使得空心弹丸阻力最小的收敛面积比,表明该方法是空心弹丸阻力特性优化的有效方法。
补充资料：紧致性定理
模型论中的一条基础性的定理。在一阶模型论中，该定理的含义是：如果一阶语言中一个命题集（形式理论）T的任何有限子集都有模型，则T自身有模型。在非一阶模型论中，紧致性定理不一定成立，但有时有较弱的结论或能起类似作用的定理。
根据紧致性定理证明T有模型，只需证明T的每一有限子集都有模型,而证明后者往往比直接证明T有模型要容易得多，这就是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如，非标准分析是数学中一个新分支，它是建立在这样的有序域垬之上的，即垬和实数域R具有十分类似的普通性质,但垬中含有很多互不相等的无限小元及无限大元，这样的垬用普通数学方法是难以构作的，但其存在性则可以用紧致性定理证明。因为，利用垬中的无限小元，可以避开通常的"ε-δ"方式，而用比较自然但又严格的方式定义R中数列的极限概念及函数的连续性概念等，进而也可以比较简便地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致性定理对于数学的一个既有数学意义又有方法论意义的重要应用。在代数中，利用紧致性定理可以得到一些逻辑性的"转移原理"。例如:设ψ是一个关于群的一阶命题,若ψ对于每个无限群都真,则ψ也对每个元数相当大的有限群为真。对其他代数结构，如环、域等，也有类似的"转移原理"。又如：设ψ是一个关于域的一阶命题。若ψ对于每个特征数零的域都真,则ψ也对每个特征数P相当大的域为真,等等。这些原理，都是难以用普通数学方法证明的。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
根据紧致性定理证明T有模型，只需证明T的每一有限子集都有模型,而证明后者往往比直接证明T有模型要容易得多，这就是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如，非标准分析是数学中一个新分支，它是建立在这样的有序域垬之上的，即垬和实数域R具有十分类似的普通性质,但垬中含有很多互不相等的无限小元及无限大元，这样的垬用普通数学方法是难以构作的，但其存在性则可以用紧致性定理证明。因为，利用垬中的无限小元，可以避开通常的"ε-δ"方式，而用比较自然但又严格的方式定义R中数列的极限概念及函数的连续性概念等，进而也可以比较简便地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致性定理对于数学的一个既有数学意义又有方法论意义的重要应用。在代数中，利用紧致性定理可以得到一些逻辑性的"转移原理"。例如:设ψ是一个关于群的一阶命题,若ψ对于每个无限群都真,则ψ也对每个元数相当大的有限群为真。对其他代数结构，如环、域等，也有类似的"转移原理"。又如：设ψ是一个关于域的一阶命题。若ψ对于每个特征数零的域都真,则ψ也对每个特征数P相当大的域为真,等等。这些原理，都是难以用普通数学方法证明的。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条