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.

我同意最好是进攻理论。

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

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

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

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

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.

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