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

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

The definition ,basic nature, important rule and histerieal significancy of continued fraction are introduced.

介绍了连数含义、基本性质以及连数重要定理和作用。

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.

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

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

基于初等数论些基本定理,本程序利用概率算法,快速判定个大数是否为素数。

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上挖洞原理。

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?

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

Using the Relativity Theory, Ampere s law can be derived from the Colulmb s law, and the induced-electromotance and dynamic-electromotance may be alternated each other.

应用相对论理论,安培定律可通过库仑定理推出,感生电动势和动生电动势可以相互转化,在此意义上磁学基本定律可进步统到静电学定律之。

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.

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

Investigators noted that the results were identical whether the reference diuretic was chlorthalidone or hydrochlorothiazide and that the overall network findings were confirmed by Bayesian analysis.

研究者指出，结果不受参照药是氯噻酮还是氢氯噻嗪影响，统计方法为贝叶斯定理。

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.

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

Be in division this in a lot of serious thoughts, cite to produce different meanings the most easily to be misunderstood even again however at most when several divisions this theorematic.

在科斯许多重要思想,引用最多却又最易产生歧义甚至误解当数科斯定理。

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 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.

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