查询词典 gluing theorem

this article discusses the integral theorem of mean the promoted question, mainly has two aspects: On the one hand in analyzes in the teaching material under the first integral theorem of mean condition, had proven lies between the value spot to have to be possible to obtain in the open-interval, further discusses this knot promotes to the generalized Riemann integral, and further proved the conclusion also establishes to the promoted first integral theorem of mean; Promotes on the one hand in addition the integral theorem of mean to in the curve and the curved surface, and has proven the curvilinear integral theorem of mean and the surface integral theorem of mean.

本文讨论积分中值定理的推广问题，主要有二个方面：一方面在分析教材中第一积分中值定理的条件下，证明了介值点必可在开区间内取得，进一步将这个结论推广到广义Riemann积分，并进一步证明结论对推广的第一积分中值定理也成立；另一方面，将积分中值定理推广到曲线和曲面中，并证明了曲线积分中值定理和曲面积分中值定理。

The thesis will introduce, respectively, relevant concepts of residue theorem and its promotion and application in two parts In the basic concepts of chapter II, the definition, classification and relationship between function zero and pole of the isolated singular point are given to lead out relevant definition, theorem and solving method, while the core content of this paper is promotion and application of residue theorem, including calculation of integration by using residues, application in diagonal theorem and argument theorem, application in electromagnetism and theorem promotion and relevant application of extension theorems

本文将从两大部分分别引入和浅析了留数定理的相关概念及其推广和应用在第二章的基本概念部分中，给出了孤立奇点的定义和分类、函数零点与极点的关系，从而引出留数定理的相关定义与定理及其求法而本文的核心内容也就是留数定理的推广和应用，包括运用留数来计算积分、体现在对角定理与辐角定理中的应用、在电磁学中的应用及其定理的推广和推广定理的相关应用

Differential intermediate value theorem and the Taylor formula In this paper, leads to Fermat's theorem Rolle Mean Value Theorem, and then constructing auxiliary function of the Lagrange mean value theorem and Cauchy's Mean Value Theorem to prove that.

微分中值定理和泰勒公式本文通过费马定理引出罗尔中值定理，再构造辅助函数对拉格朗日中值定理和柯西中值定理进行证明。

I began by first gluing the forward piece and then continued gluing the Bulwark/Coaming to the Aft Main Deck.

我开始时首先粘合前进一块，然后继续粘合的堡垒/ coaming向尾部主甲板。

I began by first gluing the forward bracing rib, and then continued gluing the Bulwark/Coaming to the Forward Main Deck.

我开始时首先粘合前进支撑肋骨，然后继续粘合的堡垒/ coaming向前进主甲板。

Based on the load transfer method, the deformation compatibility condition for the gluing hypothesis is discussed, and the load expression for distinguishing gluing or slipping is obtained.

：较多理论分析得到锚索锚固段侧阻力的沿程分布呈下凹衰减曲线，与工程实际的单峰曲线差异很大，缘其全程粘结、共同变形假设不甚合理。

Firstly,The paper defines a fibrewise quotient mapping between different fibrewise topology spaces ,at the same time it researches the generations of the fibrewise quotient topology space that called the fibrewise gluing mapping and the fibrewise gluing topology space.

其一是，本文不仅定义了不同底的纤维拓扑空间之间的纤维商映射，同时也研究了纤维商空间的生成，文中分别称其为纤维粘合映射和纤维粘合拓扑空间。

Based on the contrast experiments of six full-scale non-seismic interior frames joints under low reversed cyclic load,consisting of two strengthened by Gluing Steels,two strengthened by CFRP and two unstrengthened,Contrast analyses were presented including the failure mode,hysteretic loop,and the stress of beam and column s bars,concrete,gluing steels and CFRP.

通过6个足尺框架中节点(2个粘钢加固，2个碳纤维布加固，2个未加固)在低周反复荷载作用下对比试验，对比分析了节点区破坏特性和滞回曲线，以及节点区梁柱纵筋、混凝土、钢板和碳纤维布的应力水平。

Next in section 2.3,usingthe finite isolated regular representations in SO(3)character varity of 〓,weobtained a computation formula of SO(3)Donaldson invariants with degree 1 of4—manifold 〓(Theorem 2.3.1).Finally in section 2.4 wediscussed the Donaldson invariants of 4—manifolds with smoothly embedded 2—torus 〓 whose selfintersection is +1,with the help of the single irreducibleSU(2)representation of the principal 〓—bundle over a 2—torus with Eulernumber—1,we got a gluing formula of the Donaldson invariant on the 2—homology represented by 2—torus 〓(Theorem 2.4.1),it is a supplement of P.

最后在§2.4我们讨论了具有自交数为+1的嵌入环面〓的4—流形的Donladson不变量，运用环面上欧拉数为-1的圆丛的单个不可约SU（2）表示给出了Donaldson不变量在环面表示的同调类上的一个粘合公式（定理2.4.1），这一结果补充了P。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

In the days of sailing vessels the crew were afraid they would be becalmed on the ocean.

在使用帆船的时代，船员们担心他们会因为无风而无法在海洋上航行。

As long as foreign donors pay the PA's salary bill, few expect a new intifada.

只要外国继续为巴权力机构的薪水买单，希望发动新暴动的人便寥寥无几。