1.I agree with the theorem that the best defence is offence.
我同意最好防御是进攻理论。
2.To establish Cantor's theorem it must be shown that f is necessarily not surjective.
进，从这个事实得出这个搜集不是集合而是真类；
3.His theorem can be translated into simple terms.
他定理可用更简单术语来解释。
4.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.
本文给出实空间形式中超曲面个刚性定理，同时也得到求面中流形刚性结果.
5.Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
介绍了二分序列概念和定理证明，给出了利用二分归并进行排序算法及实例.
6.In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
7.This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
摘要本论文提出具有绝对可加性自相关数列离散时间稳定高斯讯号编码定理。
8.The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
采用上下解方法，给出了个积分微分系统概周期解存在般性定理。
9.The nonoscillatory properties of the second order half-linear delay difference equations are studied. The comparison theorem and sufficient condition for the nonoscillation are obtained.
研究了二阶半线性时滞差分方程非振动解性质,建立了非振动解比较定理和充分条件.
10.new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
建立了类新极大极小不等式，并利用它们讨论了仿紧集上拟变分不等式。
11.Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
基于初等数论中些基本定理,本程序利用概率算法,快速判定个大数是否为素数。
12.This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
13.In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
本文给出了非线性弹性动力学两时端边值问题某些般定理及变分原理。
14.This paper generalizes some properties of coalgebra to π-coalgebra which is defined by Alexis Virelizier. The main result in the paper generalizes fundamental isomorphism theorem to π-coalgebra.
引用π-余代数概念,把些余代数性质推广到π-余代数中,最主要是把基本同构定理推广到π-余代数中
15.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.
通过半连续函数及函数项级数等有关性质证明,介绍了有限覆盖定理使用方法,说明了它在证明问题中作用。
16.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.
本文得到离散线性系统能决定性个判别定理，该定理解决了文献中尚未解决相关问题.
17.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.
18.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.
防御是进攻
义词
;
余定理
性定理；单值定理
定理
