Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.

介绍了二序列的概念和定证明，给出了利用二归并进行排序的算法及实例.

I agree with the theorem that the best defence is offence.

我同意最好的防御是进攻的论。

This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.

摘要论文提出具有绝对可加性自相关数列的离散时间稳定高斯讯号的编码定。

The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.

采用上下解方法，给出了一个积微概周期解存在的一般性定。

As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.

The first and second variation formulas of the energy functional for a nondegenerate map between Finsler manifolds is derived.

Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.

于初等数论中的一些定,序利用概率算法,快速判定一个大数是否为素数。

Boundary layer theorem, isothermal and isoflux vertical plates, asymmetric isoflux vertical parallel plates of free convection, optimum and maximum channel space will be discussed.

边界层论，等温、等热流垂直板，等热流非对称之垂直两平行板自由对流以及最佳及最大气渠板距将被讨论。

Imagine that you are a nonsmoker sharing a room with a smoker.According to the Coase theorem, what determines whether your roommate smokes in the room?

假设不吸烟的你和一个烟民同住一室，根据科斯定，什么决定了你的室友是否在室内吸烟？

The uniqueness theorem of generalized quasi-analyticity of the infinitely differentiable functions in some closed angular domain is extehded to the functions of several complex variables.

摘要把无穷可微函数类在角形闭区域上的唯一性结果推广到了多维情形。

By proving properties of demicontinuous function and series with function terms, use methods of finite coveting theorem and its application in proving problems are introduced.

通过半连续函数及函数项级数等有关性质的证明,介绍了有限覆盖定的使用方法,说明了它在证明问题中的作用。

In the practical applications of highly nonnormal matrices, these theorems may be more useful than their generalized eigenvalue special cases and may provide more descriptive information.

在对高度非正规矩阵的研究应用中，这些定将比它们的特例-广义特征值定更可靠，能提供更多的信息。

This paper presents and proves a discriminant theorem which is suited to examine the determinability of the discrete linear system,which shows that an outstanding issue of this field has been solved.

文得到离散线性能决定性的一个判别定，该定解决了文献中尚未解决的相关问题.

In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .

文章提出具有中性域X(X≠{x})X的上的双枝模糊决策的概念和决策优化析模型、决策判定定、决策识别定、决策去余定和决策因素域X上的挖洞原。

In this paper , a rigidity theorem of hypersurface in real space form will begiven.In addition, we obtain rigidity theorems of submanifold in sphere which improvethe result of Hou and Xu.

文给出实空间形式中超曲面的一个刚性定，同时也得到求面中子流形的刚性结果.