定理

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.

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