助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   定理 的翻译结果: 查询用时:0.733秒
图标索引 在分类学科中查询
所有学科
数学
逻辑学
中等教育
物理学
电信技术
力学
自动化技术
电力工业
机械工业
更多类别查询

图标索引 历史查询
 

定理     
相关语句
  theorem
     The Bergman Kernel Function on the Hua Domain, the Comparison Theorem and Einstein-K(?)hler Metric on Super-Cartan Domain of the First Type
     华罗庚域上的Bergman核函数、比较定理和Einstein-k(?)hler度量
短句来源
     Riemann-Roch Theorem
     Riemann-Roch定理
短句来源
     The Research on the Extension Rule Based Theorem Proving
     基于扩展规则的定理证明的研究
短句来源
     iGeo: A Theorem Prover of the Intelligent Geometry Software
     iGeo:智能几何软件的定理证明器
短句来源
     Applications of Weil's Theorem in Combinatorial Designs
     Weil定理在组合设计中的应用
短句来源
更多       
  theorems
     Some Precise Limit Theorems of Random Variables
     随机序列的一些精确强极限定理
短句来源
     Positive Solutions for Nonlinear Boundary Value Problems and Random Fixed Points Theorems
     非线性边值问题的正解及随机不动点定理
短句来源
     Limit Theorems for Dependent Sequences of Random Variables
     相依随机变量序列的极限定理
短句来源
     Strong Limit Theorems for Some Dependent Random Variables
     几类相依随机变量的强极限定理
短句来源
     DISTORSION THEOREMS AND COEFFICIENTS OF SCHLICHT FUNCTIONS
     单叶函数之偏差定理及系数
短句来源
更多       
  theorm
     This question was raised in[2](see problm 105 in [7]),we get: Theorm let M be a closed oriented minimally immersed hypersurface in a unit sphere S~(n+1),if s=constant>n, then s>n+((5-17~(1/2))/(3+17~(1/2)n>n+(n/9)
     此问题收集到[7],我们得到定理设 M 是 S~(n+1)中的闭定向极小浸入超曲面,若 s 为大于 n 的常数,则s>n+(5-17~(1/2))/(3+17~(1/2))n>n+(n/9)
短句来源
     simpla proof for the theorm that a continnous tridegreed graph is edge re-construetible when δ(G)≥8 is given,and it is also proved that a continuous tridegreed graph1s edge reconstructible when δ(G)=7,γ(G)≤82 or δ(G)= 6,γ(G)≤17.
     对δ(G)≥8的连续三次图G是边可重构的定理给出了一个简单证明。 此外还证明了,当δ(G)=7,γ(G)≤82以及δ(G)=6,γ(G)≤17时,连续三次图G是边可重构的
短句来源
     The main theorm was as follows. Let T(t) be a C_0-semigroup with its generator A on a Banach space X,ω_0=(inf)t>0(1tln‖T(t)‖).
     主要定理如下:设{T(t)t≥0}是B anach空间X上的C0半群,A是其无穷小生成元,ω0=in ft>0(1tln‖T(t)‖).
短句来源
     The Counting Formula of Fubini Theorm' s Formula Number and The Formula Convolutions of φ(n,k)
     Fubini定理公式数计数和φ(n,k)卷积公式
短句来源
     The Counting Formula of Fubini Theorm’s Formula Numberand the Convolutions of 齘(n,k)
     Fubini定理公式数计数和齘(n,k)卷积公式
短句来源
更多       
  theorem a
     we obtain the following main results:Theorem A In category C,if the elements of Aut(X + Y) are all reduced and if Aut~X (X + Y) and Aut~Y(X + Y) are subgroups of Aut(X + Y),thenAut(X + Y) = Aut~Y(X + Y)Aut~X(X + Y).
     定理B 在范畴HNCWA中,如果Aut(X/A∨Y/A)中元素可对角化,则Aut(s+At)=Aut(iX)Aut(iY).
短句来源
     In the present paper a class of non-linear boundary value problem (y′+h(t))′+μw(t)f(t,y)=0, 0
     对一类非线性边界值问题      (y′+h(t))′+μw(t)f(t,y)=0,0定理建立了问题正解的一个存在性原则.
短句来源
     In their article, the main results as follows:Theorem A There exists a constant δ_(odd) ∈ (0, 1/4) such that any odd dimensional, compact, simply connected Riemannian manifold M~n with δ_(odd) -pinched sectional curvature is homeomorphic to the sphere S~n.
     定理A 存在常数δ_(odd)∈(0,1/4)使得任意奇数维,紧,单连通,有Ω_(odd)-pinched截面曲率的黎曼流形M~n和球S~n同胚。
短句来源
     Using antipodal grasp theorem, a way to build up singularity-free CRPMs in 1R2T class with 2-2 type and 2R3T class with 3-3 type is proposed.
     提出用对心抓取定理构造无奇异性的2-2型的CRPMs(1R2T)和3-3型的CRPM(2R3T)的方法;
短句来源
     Theorem A (see (1.1.4)and(1.1.5)) For (?)
     定理A (见(1.1.4)和(1.1.5))在流形I×S~3上,对于(?) t>0,gt都不是Schouten泛函的非平凡的临界度量。
短句来源
更多       

 

查询“定理”译词为其他词的双语例句

 

查询“定理”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  theorem
In the case of 3-dimensional commutative algebras a new proof of a recent theorem of Katsylo and Mikhailov about the 28 bitangents to the associated plane quartic is given.
      
If the additive group of complex numbers acts algebraically on a normal affine variety, then the associated ring of invariants need not be finitely generated, but is an ideal transform of some normal affine algebra (Theorem 1).
      
If the variety is a complex affine space and the ring of invariants is isomorphic to a polynomial ring, then the action is conjugate to a translation (Theorem 3).
      
On the other hand, there is a locally trivialGa-action on a normal affine variety with nonfinitely generated ring of invariants (Theorem 2).
      
As an application of the results we prove a generalization of Chevalley's restriction theorem for the classical Lie algebras.
      
更多          
  theorems
Along the way, we recover theorems of Steinberg [17] and E.
      
Strong multiplicity one theorems for affine Hecke algebras of type A
      
As the first application, we present the first and second fundamental theorems for ${\rm SO}_n(K)$-actions.
      
The Hausdorff-Young Theorems of Fourier Analysis and Their Impact
      
This paper is devoted to a study of the Hausdorff-Young theorems from a historical perspective, beginning with the F.
      
更多          
  theorm
The existence conditions and orbits' nature of modes are given by using the geometry theory of invariant manifolds that include stable manifold theorem, center maifold theorm and sub-center manifold theorem.
      
Formulas about the stability of bifurcating periodic solution and the direction of Hopf bifurcation were exhibited by applying the normal form theory and the center manifold theorm.
      
The well known sampling theorm (7 § 1) is obtained simply by application of a Parseval equality, under the assumption that the Fourier transformF(ω) off(t) is zero ontside a finite interval and is bounded and integrable.
      
The basic theorm of (linear) complementarity was stated in a 1971 paper [6] by B.C.
      
There is a suggestion that present day wide polymorphism at theORM1 locus may be influenced by selection.
      
更多          
  theorem a
In the present note a theorem about strong suitability of the space of algebraic polynomials of degree ≤n in C[a,b] (Theorem A in [1]) is generalized to the space of spline polynomials ?[a, b]n, k (n?2, κ?0) in C[a, b].
      
In [1], a basic theorem (Theorem A below) concerning the weak consistency of is established.
      
The main results are as follows:Theorem A.If p≥7, then
      
A 21, 11 (2004)) we revisit the contribution of the Σ(1750) resonance, which does not saturate the low-energy theorem a00 +3a10 = 0, and replace it by the baryon background with properties of an SU(3) octet.
      
According to Harnak theorem a number of connected components of satisfies by the inequality , where g is the genus of Y.
      
更多          
  其他


Until now there is no universally accepted formulation of the third law of thermodynamics. In this paper, a formulation appeared more general to the author is presented, viz. the derivation of Nernst's heat theorem from the principle of the unattainability of the absolute zero of temperature. Some controversal points, like the absolute value of entropy and the proof of the unattainability of absolute zero by means of Carnot cycle, are discussed.

热力学第三定律的说法至今还没有一致。本文提出一种作者认为较普遍的说法:以绝对零度不能达到为基础导出能氏定理。本文还讨论了一般所争论的问题,如熵的绝对值问题,利用卡诺循环证明绝对零度不能达到问题。

The parametric methods of significance test commonly used in textile industries are based on the assumption that the parent population were distributed normally or in some other definite form. Yet in textile industries exact informations about the population distribution are hardly accessible to us. Hence a test independent of the nature of the population distribution is needed in these industries. In this paper we first discuss a non-parametric method of testing whether two samples of machine parts are from...

The parametric methods of significance test commonly used in textile industries are based on the assumption that the parent population were distributed normally or in some other definite form. Yet in textile industries exact informations about the population distribution are hardly accessible to us. Hence a test independent of the nature of the population distribution is needed in these industries. In this paper we first discuss a non-parametric method of testing whether two samples of machine parts are from populations with the same fraction defective. A table has been constructed giving the critical values of the defectives in a second sample after a first sample, both random, has been drawn in which the number of defectives is known. If the number of defectives in the second sample does not exceed the critical value corresponding to that of the first sample at prescribed significance level a, then we may conclude that in 1—a of the cases the fraction defective of the population from which the second sample is drawn is not greater than that of the first. Further, an extension of this method may be established for testing whether two samples are from populations with the same distribution function, for which the only assumption is the continuity of the distribution. A table has also been constructed giving the lower and upper critical values at preassigned confidence level a. If the number of observed values in the second sample, which are smaller than (or larger than) the median of the first, lies between the corresponding critical limits, then we may conclude that in l—a of the cases the two samples are from populations with the same distribution function. Power function of the test has been calculated and examples for testing rayon filament strength and lea strength have been given for illustrative purposes.

紡織工業常用的各種參數性檢定法都需要假定母體成為常態分佈或他種確定的分佈。但母體實在成為何種分佈往往並不能準確斷定。因此需要一種不論母體成为何種分佈都能適用的方法。本文討論一种检定兩子樣是否來自同一母體的方法,祇需要假定母體分佈為連續函數而可不問它是什麼樣的分佈。這種方法適合紡織工業之用,因其不仅適用範圍極為廣泛,且用法之简便還超過常用的參數性检定法。首先我们推導了拉潑拉斯的廣義貝斯定理。然後在這定理的基礎上建立了一種適合紡織机件製造工業用的檢定兩子樣來自的母體的次品率是否相同的方法。編製了一種表格以備工廠撿查,並計算了這種检定法的功效函數。然後闡明檢定兩子樣來自的母體的頻率分佈是否相同的非參數性檢定法可以看作上述方法的一種擴展。對於這種方法也編製了一張表格,並舉了縷紗强力試驗及人造絲單纖維强力試驗的兩個例題。

The present paper continues an earlier investigation of the application of Meyer's theory of a gas mixture of two components to a solid solution AB inhabiting a lattice of the type AB by considering the A. atoms inhabiting the two different sublattices as forming two different components. It is proved that the different irreducible cluster integrals are linear functions (and hence the free energy of the solid solution) of coordination numbers of the type

这篇论文是作者之一的某一篇论文的继续。论文分四节。在第一节中我们讨论的对象是应用二元混合气体的买厄理论至一个在AB型晶体上的二元固溶体而获得的不可约集团积分B(v_1,v_2)。我们严格地证明了它们是某一些晶体常数z_1,z_2,…的线性函数。这些常数的定义为 1/((1/2)N)∑λ_(ab)λ_(a′b′)… ,式中N代表晶点阵的点的总数,λ_(ab)为邻矩阵,定义为 λ_(ab)=1 如果ab为近邻, =0,如果ab不是近邻,a,a′,…互不相等,b,b′,…也互不相等,而乘积λ_(ab)…为全部下标的一个不可约乘积。证明共用了三个定理,同时也援用了一个所谓基本不可约集团的定义。 在第二节中,我们应用了第一节的讨论对B(2,3)作了计算。 在第三节中,我们应用第一节的结果,简化了求固溶体自由能的Kirkwood方法,同时也利用了简化的方法求得了自由能对(kT)~(-1)展开的幂级数中(kT)~(-7)的系数。比(kT)~(-7)更早的项的系数早已在作者之一的一篇论文中求得。 在第四节中,我们利用第一节的结果,证明了严格理论在忽略z_2,z_3,…时即成了Bethe理论的第一级近似。如果将自由...

这篇论文是作者之一的某一篇论文的继续。论文分四节。在第一节中我们讨论的对象是应用二元混合气体的买厄理论至一个在AB型晶体上的二元固溶体而获得的不可约集团积分B(v_1,v_2)。我们严格地证明了它们是某一些晶体常数z_1,z_2,…的线性函数。这些常数的定义为 1/((1/2)N)∑λ_(ab)λ_(a′b′)… ,式中N代表晶点阵的点的总数,λ_(ab)为邻矩阵,定义为 λ_(ab)=1 如果ab为近邻, =0,如果ab不是近邻,a,a′,…互不相等,b,b′,…也互不相等,而乘积λ_(ab)…为全部下标的一个不可约乘积。证明共用了三个定理,同时也援用了一个所谓基本不可约集团的定义。 在第二节中,我们应用了第一节的讨论对B(2,3)作了计算。 在第三节中,我们应用第一节的结果,简化了求固溶体自由能的Kirkwood方法,同时也利用了简化的方法求得了自由能对(kT)~(-1)展开的幂级数中(kT)~(-7)的系数。比(kT)~(-7)更早的项的系数早已在作者之一的一篇论文中求得。 在第四节中,我们利用第一节的结果,证明了严格理论在忽略z_2,z_3,…时即成了Bethe理论的第一级近似。如果将自由能表为z_1,z_2,…的函数而称它们的系数为f_1,f_2,…,那末我们指出:只消研究在某些赝点阵上的固溶体的配分函数,便可以求出f_1,f_2,…,同时我们也指出:在这些赝点阵上的固溶?

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关定理的内容
在知识搜索中查有关定理的内容
在数字搜索中查有关定理的内容
在概念知识元中查有关定理的内容
在学术趋势中查有关定理的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社