查询词典 compactification theorem

First the theorem is verified for the smallest admissible value of the integer.

归纳法：证明涉及到正整数变量的定理所运用的两部法。

This paper first analyses the stress acting on the cable by means of tiny segment analytical methods, establishes cable's stress equation, and finds out the relation between the tethered aerostat's position and its stress acting by cable; then, based on the momentum and moment of momentum theorem, the longitudinal nonlinear dynamic equation is established; Finally a numerical simulation of dynamic responses of the balloon and cable to gust are carried out.

本文首先通过微段分析法对缆绳进行受力分析，建立缆绳的受力方程，找出了系留气球在空中的位置同系留气球所受缆绳拉力的关系；然后根据动量和动量矩定理建立了球体的纵向非线性运动方程；最后通过数值仿真计算，对系留气球的纵向动态响应特性进行了分析。

We found that our proposed theorem is far better than the affine map in dealing the transformation problems of coordinate systems.

本研究发现用座标系统整合理论比Affine Map理论更能准确的处理座标的转换问题。

We also get a representation theorem for Bi-difference sets.2. Ideal and filter are two important concepts in quantum logic. From the order structure and algebraic structures of effect algebra, there are many definitions of ideals and filters.

理想和滤子是量子逻辑中的两个重要概念，由于量子逻辑有自身的代数结构和序结构，因此有多种意义下的理想和滤子概念。

Applying multivariate spline theory which was established by Wang RenHong in ( [1] , [2] ), the Nother theorem of algebraic curve [71] is generalized to the piecewise algebraic curve.

1：利用王仁宏在文献（[1]，[2]）中关于多元样条函数的基本理论，本文将代数曲线的Nother定理（[71]）推广到分片代数曲线上，给出了剖分为〓，和星形剖分上的C〓分片Nother型定理。

Lagrange Interpolation; Osculatory Interpolation; Dimension Of Interpolation; Algebraic Curve And Surface; Bezout's theorem

Lagrange插值；切触插值；插值空间维数；代数曲线曲面； Bezout定理

By reviewing carefully original literature,it is pointed out that pursing a more general reciprocity law maby the most motive of the development of algebraic number theory, usual material mainly emphasizes the function of Fermats last theorem.

通过原始文献的深入分析，研究表明：一般互反定律的寻求可能是代数数论发展的最主要动力，而通常文献中主要强调了费马大定理的作用。

From the famous Gabriel's theorem ,a basic connected finite dimensional associative algebra A over an algebraically closed field can be looked as a quotient of a path algebra decided by a connected finite quiver Q.

由Gabriel 定理，代数闭域上基的，连通的有限维结合代数A 同构于一个由连通有限箭图Q 确定的路代数的商代数。

algebroidal function ; uniqueness theorem ; characteristic function

最后，我们应用新定义的加法，将杨乐的联系重值的唯一性定理推广到多值的代数体函数。设A，，…，A。是定义在复平面C上的一组没有

It not only an acceptable method in practice, but also a very alluring bait in theorem.

在高速发展的城市化进程中，城市住宅建设的矛盾凸现。

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。