查询词典 compactification theorem

The results of the research on encroaching effect in this dissertation prove the essential view of Coase theorem.

本文关于侵占效应的研究结果，印证了科斯定理的基本观点。

We give a theorem for the stable range of endomorphism rings of finitely generated projective modules over a formal triangular matrix ring T when T is an exchange ring.

2.6节对有有限exchange性质的形式三角矩阵环T给出了有限生成投射T-模的自同态环有稳定度n的一个具体关系。

Byapplying a general large deviation theorem of Kifer and Ruelle's Smale space tech-nique together with his unique equilibrium state result for non-Holder continuousfunctions,we obtain a level-2 LDT for the Axiom A endomorphism with respectto its equilibrium states,and for Axiom A attractors of the endomorphism withrespect to the Lebesgue measure.

利用Kifer的一个一般性的LDT，Ruelle的Smale空间方法及其关于非〓连续函数平衡态的存在唯一性结果，我们证明了公理A自映射相对平衡态的level-2 LDT，以及自映射的公理A吸引子相对Lebesgue测度的level-2LDT。

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

Besides,the virial theorem is also used to obtain thermal EOS in actual work.

此外，利用维里定理也是实际中获得压强方程的一种常见做法。

Thus the author established a unified theorem of the shaping of tooth flank, which can be applied to both Free-form and traditional cradle machine tools, unified the theories of both circular-arc and extended epicycloid bevel gears.

为此，作者建立了齿面成形的统一理论，它适合于Free-form型和传统摇台类两种机床类型，并将弧齿锥齿轮和延伸外摆线锥齿轮统一在了一起。

This article introduced Newton iteration method's related concept, Newton iteration method's correlation theorem, as well as when solves the misalignment equation root the theory basis, the astringent analysis, the starting value selection rule and so on.

本文介绍了牛顿迭代法的相关概念，牛顿迭代法的相关定理，以及在求解非线性方程根时的理论依据，收敛性分析，初始值的选取规则等。

ManTa - ManTa is an equational specification language and tools to support it: theorem prover, code generators, frontends.

ManTa是一个方程式说明语言和工具，支持它需要：理论证明，代码生成，前端。

In this paper we mainly discuss the late extending styles of basic principles such as equicontinuity principle ,uniform boundedness principle ,Banach-Steinhaus theorem and ect., and describe the new characters of these new results in Banach space.

本文主要讨论等度连续原理、一致有界原理及Banach-Steinhaus定理等基本原理的最新推广形式，刻划这些新结果在Banach空间上的新特征。

Consisting of 3 Chapters, the Paper mainly includes the following contents: Chapter 1 of Introduct on presents the significance of extending uniform boundedness principle and elso reviews one hundred years development of uniform boundedness principle iind the work done by people in this aspect; Chapter 2 mainly introduce some preparatory knowledge including definitions of dissecting operators, absorbing operators, equicontinuity and some relative examples; In Chapter 3, We discuss the new researching results of equicontinuity principle,uniform boundedness principle and Banach-Steinhaus type theorem .

本文共分三章，主要内容如下：在第一章绪论中说明了推广一致有界原理的意义；回顾了已知一致有界原理一百多年来的发展及人们在此方面所做的工作。在第二章中主要介绍了一些预备知识，其中包括：解剖算子、吸收算子、等度连续的定义并举了一些相关的例子。

He has to relate with three women in the movie, and yet remain implicitly faithful to the unseen Lucinda.

让克劳德布里亚里成功地饰演试验了一个难度很大的角色：和三个女人打交道，但还要底下对观众未曾谋面的卢馨达保持忠诚。

The experiment was conducted to study effects of inulin on the growth performance, indices of immune organs and serum immunoglobulin of laying chicklings as well as the performance of inulin which replaced the antibiotics in diets by adding 0.2%, 0.4% and 0.8% of inulin, respectively.

试验旨在通过在蛋用雏鸡日粮中添加0.2%、0.4%和0.8%的菊粉，研究菊粉对蛋雏鸡生长性能、免疫器官指数和血清免疫球蛋白的影响，以及菊粉替代抗生素对蛋雏鸡的应用效果。