1) compact difference
紧致差分
1.
A family of high accuracy symmetric compact difference schemes are introduced to discretize the stability equations, and then a high efficiency dual reverse .
在稳定性方程离散中引入了一类高精度对称紧致差分格式 ,在特征值搜索中发展了一个高效率复矩阵双重反迭代算法。
2.
A high order accuracy compact difference method is presented for soling unsteady convection equation with source term.
结合已发展的含源扩散方程的一类紧致差分格式,建立了含源汇项非定常对流扩散方程的无条件稳定的、具有迎风效应的指数型四阶紧致差分格式。
2) compact finite difference
紧致有限差分
1.
The evolution of three-dimensional instability T-S wave was simulated by spatial DNS(direct numerical simulation) in which third-order precision mixed explicit-implicit scheme was employed for temporal discretization while a method combining Fourier pseudo-spectral method with high precision compact finite difference was implemented for spatial discretization.
时间离散采用三阶精度混合显隐分裂格式,空间离散则结合Fourier伪谱方法及高精度紧致有限差分逼近,法向采用非等间距网格坐标变换,出口边界条件采用嵌边函数法,程序采用MPI(Message passing interface)并行方法编写。
2.
With the Fourier spectral expansion in the spanwise direction,the compact finite difference and the non-linear terms upwind compact finite difference schemes on non-uniform meshes in the x 、y direction are constructed.
该算法在x及y向构造了基于非等间距网格的紧致有限差分格式和非线性项的迎风紧致型格式,在z向采用Fourier谱方法。
3.
Aiming at the N-S disturber equation of 2D incompressible boundary layer on flat plate,a high precision compact finite difference method is proposed,which applied the spatial model.
针对二维不可压缩平板边界层N-S扰动方程,采用高精度紧致有限差分格式,应用空间模式,直接数值模拟了二维不稳定T-S波传播的过程。
3) compact difference scheme
紧致差分格式
1.
A class of high-order compact difference scheme for a convection-diffusion equation;
一维对流扩散方程的一类新型高精度紧致差分格式
2.
The two-dimensional (2D) convection-diffusion equation is solved by combining the superiority of the unequal mesh-size high-order compact difference scheme with the fast convergence of the multigrid method.
本文结合非等距网格高精度紧致差分格式的优越性与多重网格方法的快速收敛性,求解二维对流扩散方程。
3.
We try to design new compact difference schemes.
在有限差分法中,高精度紧致差分格式又尤以其涉及网格点少、边界无需特殊处理且具有较好的精度而成为研究热点。
4) symmetric compact difference
对称紧致差分
1.
The first order modified form of three dimensional compressible viscous disturbance equations is discretized numerically through using a family of high accuracy symmetric compact difference schemes.
用一类高精度对称紧致差分格式数值离散一阶改型三维可压粘性扰动方程 ,对导出的非线性离散特征值问题采用二阶修正Newton Raphson边值迭代局部解法 ,实现了超声速剪切流的线性空间稳定性分析。
5) high-order compact finite difference
高阶紧致差分
1.
The solution using a spline procedure,SADI,and a high-order compact finite difference(HOC)method is presented for the hydrodynamic(HD)model for semiconductor device simulation.
采用样条分步法SADI与高阶紧致差分相结合的方法,计算用于半导体器件模拟的流体力学模型。
2.
The application of ADI and high-order compact finite difference method to 3-D parasitic capacitance computation.
采用ADI与高阶紧致差分相结合的方法计算3-D寄生电容。
3.
In this paper,we apply ADI and high-order compact finite difference method for large-scale asymmetric sparse matrix in semiconductor device simulation.
采用AD I与高阶紧致差分相结合的方法计算大型非对称稀疏矩阵,并实现了该算法在半导体器件模拟中的应用。
6) super compact symmetric finite difference scheme
超紧致差分格式
1.
We examine the super compact symmetric finite difference scheme(SCSFD) and compare it with traditional difference methods and compact difference methods.
用分块流水线方法设计了超紧致差分格式的并行算法,进行数值实验及并行性能分析。
补充资料：紧致性定理
模型论中的一条基础性的定理。在一阶模型论中，该定理的含义是：如果一阶语言中一个命题集（形式理论）T的任何有限子集都有模型，则T自身有模型。在非一阶模型论中，紧致性定理不一定成立，但有时有较弱的结论或能起类似作用的定理。
根据紧致性定理证明T有模型，只需证明T的每一有限子集都有模型,而证明后者往往比直接证明T有模型要容易得多，这就是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如，非标准分析是数学中一个新分支，它是建立在这样的有序域垬之上的，即垬和实数域R具有十分类似的普通性质,但垬中含有很多互不相等的无限小元及无限大元，这样的垬用普通数学方法是难以构作的，但其存在性则可以用紧致性定理证明。因为，利用垬中的无限小元，可以避开通常的"ε-δ"方式，而用比较自然但又严格的方式定义R中数列的极限概念及函数的连续性概念等，进而也可以比较简便地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致性定理对于数学的一个既有数学意义又有方法论意义的重要应用。在代数中，利用紧致性定理可以得到一些逻辑性的"转移原理"。例如:设ψ是一个关于群的一阶命题,若ψ对于每个无限群都真,则ψ也对每个元数相当大的有限群为真。对其他代数结构，如环、域等，也有类似的"转移原理"。又如：设ψ是一个关于域的一阶命题。若ψ对于每个特征数零的域都真,则ψ也对每个特征数P相当大的域为真,等等。这些原理，都是难以用普通数学方法证明的。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
根据紧致性定理证明T有模型，只需证明T的每一有限子集都有模型,而证明后者往往比直接证明T有模型要容易得多，这就是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如，非标准分析是数学中一个新分支，它是建立在这样的有序域垬之上的，即垬和实数域R具有十分类似的普通性质,但垬中含有很多互不相等的无限小元及无限大元，这样的垬用普通数学方法是难以构作的，但其存在性则可以用紧致性定理证明。因为，利用垬中的无限小元，可以避开通常的"ε-δ"方式，而用比较自然但又严格的方式定义R中数列的极限概念及函数的连续性概念等，进而也可以比较简便地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致性定理对于数学的一个既有数学意义又有方法论意义的重要应用。在代数中，利用紧致性定理可以得到一些逻辑性的"转移原理"。例如:设ψ是一个关于群的一阶命题,若ψ对于每个无限群都真,则ψ也对每个元数相当大的有限群为真。对其他代数结构，如环、域等，也有类似的"转移原理"。又如：设ψ是一个关于域的一阶命题。若ψ对于每个特征数零的域都真,则ψ也对每个特征数P相当大的域为真,等等。这些原理，都是难以用普通数学方法证明的。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条