theorem的例句大全

This paper makes studies of researched proposition on Pythagorean theorem an Projection theorem.

本文对勾股定理、射影定理的研究性论题进行了研究.

网络文摘精选

OK a division this theorem differentiates for 3 administrative levels, or weigh 3 theorem.

可以把科斯定理划分为三个层次, 或称三个定理.

网络文摘精选

In this paper, the Rayleigh Ritz ′ s theorem is generalized from complex field to quaternion field, and some estimations of the inequality on the sum of eigenvalues of self conjugate quaternion matrices are obtained.

文章将复数域上的Rayleigh-Ritz定理推广到四元数体上，并给出了自共轭四元数矩阵的特征值和不等式估计。

互联网摘选

In this paper the JORDAN-HOLDER Theorem of transposition hyperlattice is introduced on the base of the closed set and regular of hyperlattice, and some related properties of them are also studied.

在超格的闭集合和超格的正则性的基础上，给出了对换超格上的约当定理，并研究了一些相关的性质。

互联网摘选

G ( f4 ′) condition and strengthen form of stopping theorem

G（F4′）条件与加强形式的停止定理

互联网摘选

A New Existence Theorem for Nash Equilibrium Point

一个新的判定Nash平衡点存在的判定定理

互联网摘选

Theorem 1 and are equivalent infinitesimals if and only if.

定理1与是等阶无穷小的充分必要条件为.

互联网摘选

This paper presents the stability theorem of cellular neural networks ( CNN ) with a multi-step output function.

本文给出了带阶梯输出函数的细胞神经网络 ( CNN ) 的稳定性定理.

互联网摘选

The paper introduced the principle of dimensional homogeneity and π theorem and put forward the mean of dimensional analyses method in the physics teaching. Some examples were discussed by dimensional analyses method in the mechanics teaching.

简述了量纲分析方法中的量纲齐次原则和π定理，指出了量纲分析方法在物理教学中的意义，通过几个实例探讨了量纲分析法在力学教学中的应用。

互联网摘选

The inertia theorem of the quadratic form was conventionally proved by applying the theory of a set of linear equations ( see ( 1) p.214), or by using the dimensional formula of subspace ( see ( 2) p.335).

二次型的惯性定理通常用线性方程组理论（参见（1）P.214）或用子空间维数公式（参见（2）P.335）加以证明。

互联网摘选

The separating axis theorem is simplified to accelerate the OBB tree's continuous overlap . "

通过对分离轴定理的简化,加快了 OBB 包围体树的连续求交测试.

互联网摘选

In this paper the capacity of tree-flower in Edmonds theorem of graph theory is extended to minimum covering points and a computing formula of minimum covering points for non-dual graph is introduced.

文中把图论里Edmonds定理的树花容量扩展为最小复盖点，并得到了计算非偶图最小复盖点数的公式。

互联网摘选

Through a theorem and numerical experiments, we discuss what customer bid if he decides to participate in the auction, and customer join in the auction or purchase the item at the posted price when he arrives at the auction with a posted price.

通过一个引理及数值算例分析，讨论当顾客决定参与拍卖时，他应如何出价，当顾客抵达含有固定价格选项的拍卖网站时，他是选择参与拍卖还是以固定价格立即购得商品。

互联网摘选

A compactness theorem of abstract semantics

关于抽象逻辑紧致性的一个定理

互联网摘选

The basic logical law of the argumentation of thinking is the law of sufficient reason. The law of sufficient reason is the first basic law of the logical thinking, and it's formal theorem is MP rule ( i.e.the rule of detachment).

反映思维论证性的逻辑基本规律是充足理由律，而且充足理由律是逻辑思维的第一位的基本规律，其形式语言表达式（形式定理）是MP规则（即分离规则）

互联网摘选

The extended Abel Theorem 1 assert that between the convergence domain and di-vergence domain of the pover series ( 1.1) there is no ultimate boundary.

扩充后的Abel第一定理又指出了幂级数（1.1）的收敛域与发散域之间没有终极边界。

互联网摘选

The Bayes Risk Theorem is also deduced, the genuine application value is pointed out. In addition, the calculation of the real mean risk value, the mean test number and prior probability P_H_0 are discussed.

另外还讨论了Bayes截尾SPRT方案的平均风险实际值、平均试验数及验前概率P（H0）的计算。

互联网摘选

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

互联网摘选

The capacity-cost function of discrete memoryless channel, and channel coding theorem.

离散无记忆信道的容量价值函数和信道编码定理.

互联网摘选

Relation between Mittag-Leffler Theorem and Driving Point Function Z ( s) of Single Port Networks

Mittag-Leffler定理和二端网络策动点函数Z（s）的关系

互联网摘选