1) compact
[英][kəm'pækt] [美][kəm'pækt]
紧致
1.
Compact hypersurfaces in E￣(n+1) with Constant Scalar Curvature;
E~（n＋1）中具常数量曲率的紧致超曲面
2.
This paper obtains the classification of the compact hypersurface M~nwith constant mean curvature H in sphere S~(n+1).
讨论了球面Sn+1中具有常平均曲率H的紧致超曲面Mn的分类。
3.
Intrinsic integral inequality of compact minimal submanifolds by scalar curvature are set up.
利用数量曲率 ,建立了紧致极小子流形的内蕴积分不等式 ,并依此对第二基本形式长度的平方满足某些条件的紧致极小子流形 ,刻划了它们的性
2) compactness
[英][kəm'pæktnis] [美][kəm'pæktnɪs]
紧致性
1.
Equal curvature of compactness and countable compactness;
紧致性与可数紧致性的一种刻画
2.
The compactness of a new function space;
一个新的函数空间的紧致性
3.
A compactness theorem of abstract semantics;
关于抽象逻辑紧致性的一个定理
3) 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法,压力-速度耦合应用四阶紧致格式的动量插值。
5) 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.
结合已发展的含源扩散方程的一类紧致差分格式,建立了含源汇项非定常对流扩散方程的无条件稳定的、具有迎风效应的指数型四阶紧致差分格式。
6) compact convex set
紧致凸集
补充资料：紧致性定理
模型论中的一条基础性的定理。在一阶模型论中，该定理的含义是：如果一阶语言中一个命题集（形式理论）T的任何有限子集都有模型，则T自身有模型。在非一阶模型论中，紧致性定理不一定成立，但有时有较弱的结论或能起类似作用的定理。
根据紧致性定理证明T有模型，只需证明T的每一有限子集都有模型,而证明后者往往比直接证明T有模型要容易得多，这就是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如，非标准分析是数学中一个新分支，它是建立在这样的有序域垬之上的，即垬和实数域R具有十分类似的普通性质,但垬中含有很多互不相等的无限小元及无限大元，这样的垬用普通数学方法是难以构作的，但其存在性则可以用紧致性定理证明。因为，利用垬中的无限小元，可以避开通常的"ε-δ"方式，而用比较自然但又严格的方式定义R中数列的极限概念及函数的连续性概念等，进而也可以比较简便地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致性定理对于数学的一个既有数学意义又有方法论意义的重要应用。在代数中，利用紧致性定理可以得到一些逻辑性的"转移原理"。例如:设ψ是一个关于群的一阶命题,若ψ对于每个无限群都真,则ψ也对每个元数相当大的有限群为真。对其他代数结构，如环、域等，也有类似的"转移原理"。又如：设ψ是一个关于域的一阶命题。若ψ对于每个特征数零的域都真,则ψ也对每个特征数P相当大的域为真,等等。这些原理，都是难以用普通数学方法证明的。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
根据紧致性定理证明T有模型，只需证明T的每一有限子集都有模型,而证明后者往往比直接证明T有模型要容易得多，这就是该定理之所以能在模型论以及其他一些数学分支中起重要作用的主要原因。例如，非标准分析是数学中一个新分支，它是建立在这样的有序域垬之上的，即垬和实数域R具有十分类似的普通性质,但垬中含有很多互不相等的无限小元及无限大元，这样的垬用普通数学方法是难以构作的，但其存在性则可以用紧致性定理证明。因为，利用垬中的无限小元，可以避开通常的"ε-δ"方式，而用比较自然但又严格的方式定义R中数列的极限概念及函数的连续性概念等，进而也可以比较简便地讨论各种分析数学问题，这就是非标准分析。它是模型论、特别是其中的紧致性定理对于数学的一个既有数学意义又有方法论意义的重要应用。在代数中，利用紧致性定理可以得到一些逻辑性的"转移原理"。例如:设ψ是一个关于群的一阶命题,若ψ对于每个无限群都真,则ψ也对每个元数相当大的有限群为真。对其他代数结构，如环、域等，也有类似的"转移原理"。又如：设ψ是一个关于域的一阶命题。若ψ对于每个特征数零的域都真,则ψ也对每个特征数P相当大的域为真,等等。这些原理，都是难以用普通数学方法证明的。
紧致性定理也可用于探讨一些数学命题间的和谐性、独立性问题，例如可以用它证明数论中一些待解问题相对于自然数一阶理论的一些较弱子理论的和谐性或独立性。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条