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.

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