查询词典 theorem

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 .

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

From the principle of equilibrium, a theorem of necessary and sufficient condition without loss of any working parts in the transfer lines is given, which can help us to solve the problem and obtain the accurate result.

但这样组成的大系统存在生产线的畅通、生产率的协调等问题，给系统可靠性与优化设计造成了很大的困难，长期以来没有得到很好地解决。

From the principle of equilibrium, a theorem of necessary and sufficient condition without loss of any working parts in the transfer lines is given, which can help us' to solve the problem and obtain the accurate result.

但这样组成的大系统存在生产线的畅通、生产率的协调等问题，给系统可靠性与优化设计造成了很大的困难，长期以来没有得到很好的解决。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。