theorem的例句大全

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）加以证明。

互联网摘选

Approximation Theorem of Continuous Time Marker Chains

参数连续马尔科夫链的逼近定理

互联网摘选

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）的关系

互联网摘选

A Few Theorem Regarding Integral Upper Limit Function

关于积分上限函数的几个定理

互联网摘选

The proving of a class function's matrix dissolution theorem

一类函数的矩阵分解定理及其证明

互联网摘选

In the first section it is proved that Weierstrass's approximation theorem in read analysis is hold in function spaces endowed with set-open topology.

在第一节中证明了实分析中著名的Weierstrass逼近定理在赋予集开拓扑的函数空间中成立。

互联网摘选

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 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）的计算。

互联网摘选

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）的收敛域与发散域之间没有终极边界。

互联网摘选

A compactness theorem of abstract semantics

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

互联网摘选

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.

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

互联网摘选

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定理的树花容量扩展为最小复盖点，并得到了计算非偶图最小复盖点数的公式。

互联网摘选

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规则（即分离规则）

互联网摘选

In this paper, a new existence theorem of Nash equilibrium points is given.

本文给出了一个新的Nash平衡点的存在定理。

互联网摘选

A New Existence Theorem for Nash Equilibrium Point

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

互联网摘选

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

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

互联网摘选

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

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

互联网摘选

The thrust ofd'Espagnat's work was on experimental tests of Bell's theorem.

德斯帕纳特 最引人注目的工作是对贝尔定理的实验验证.

互联网摘选