1.I agree with the theorem that the best defence is offence.
我同意最好的防御是进攻的。
2.This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
本文提出具有绝可加性自相关数列的离散时间稳高斯讯号的编码。
3.Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
介绍了二分序列的概念和证明，给出了利用二分归并进行排序的算法及实例.
4.The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
采用上下解方法，给出了一个积分微分系统概周期解存在的一般性。
5.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.
6.Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
基于初等数中的一些基本,本程序利用概率算法,快速判一个大数是否为素数。
7.Boundary layer theorem, isothermal and isoflux vertical plates, asymmetric isoflux vertical parallel plates of free convection, optimum and maximum channel space will be discussed.
边界层，等温、等热流垂直板，等热流非称之垂直两平行板自由流以及最佳及最大气渠板距将被讨。
8.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.
通过半连续函数及函数项级数等有关性质的证明,介绍了有限覆盖的使用方法,说明了它在证明问题中的作用。
9.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.
把无穷可微函数类在角形闭区域上的唯一性结果推广到了多维情形。
10.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?
假设不吸烟的你和一个烟民同住一室，根据科斯，什么决了你的室友是否在室内吸烟？
11.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.
在高度非正规矩阵的研究应用中，这些将比它们的特例-广义特征值更可靠，能提供更多的信息。
12.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.
本文得到离散线性系统能决性的一个判别，该解决了文献中尚未解决的相关问题.
13.In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
14.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.
。
；命题
;
;
偶
本
