查询词典 theorem on embedding

And using the embedding theorem, we get the characterizations ofmeasurability, differentiability and integrability of fuzzy n - cell number valued mappings.

并利用此嵌入定理给出了模糊n-方体数值函数的可测性，可导性和可积性的刻划。

An embedding theorem ofL(〓,〓 which isometrically embeds L(〓,〓 into concrete Banach space〓[0,1] is obtained.

得到了一个将L(〓，〓嵌入到一个具体的Banach空间〓[0，1]的嵌入定理。

But, by semantic embedding the theorem derivations in object logic usually descends to ones in base logic, which not only requires users know the encoding quite well, but also lower the abstraction level of object logic, and readability and hand-reexecutability of proofs.

但是，语义嵌入方式下目标逻辑定理推导常常向基逻辑下降，这不但要求用户了解编码细节，而且也大大降低了目标逻辑的抽象性以及PVS一向追求的证明可读性和手工可再现性。

Therefore, this paper develops a curriculum evaluation model by embedding Fuzzy theorem into Context, Input, Process and Product, a widely used model in Taiwan.

有鉴於课程评鉴实施的方式不易，导致很少有技职学校会主动进行课程评鉴。

The model in this paper takes the form as belowThe main contents and results in this paper are as follows:In section 1, we state our main analytical results on equilibria of the above system. First, several sufficient conditions for coexistence of the steady-state are given by the standard fixed-point index theory in cone. Second, the global structure of the coexistence solutions and their local stability are established by using bifurcation theory. Third, the multiplicity, uniqueness and stability of positive steady-state solutions to this system are derived by means of perturbation theory of eigenvalues, standard regularity theory, Sobolev embedding theorem and fixed-point index theory.

本文主要有两章内容：第一章研究了该模型正平衡解的性质，可分为三部分：第一部分运用极值原理、上下解方法和锥映射不动点指标理论得到正平衡解存在的充分条件；第二部分利用分歧理论给出了平衡态系统正分歧解的结构，并讨论了局部分歧解的稳定性；第三部分利用特征值扰动理论、标准椭圆正则化理论、Sobolev嵌入定理及指标理论讨论了正平衡解的多重性、唯一性及稳定性，并讨论了参数对解的影响。

We establish several unique embedding results for 3-connected graphs on orientable surfaces which admit relatively large facial walks and representativity and hence generalize Thomassen's uniqueness theorem on LEW-embeddings.

本文给出了几个关于一般可定向曲面上嵌入图的唯一性定理。结果表明：一些具有大的面迹的可定向嵌入仍然具有唯一性。这在本质上推广了C.Thomassen在LEW-嵌入方面的工作。

Meanwhile, important random acute angle principle、theorem of random full mapping and theorem of random one-one mapping are proved.

同时我们证明了重要的随机锐角原理、随机满射定理和随机一一映射定理。

In addition also introduced the differential theorem of mean in the proof equality and the inequality, the certificate equation root existence, asks the limit, to ask the approximate value, as well as aspect and so on research function condition should thus deepen to the differential theorem of mean understanding.

此外还介绍了微分中值定理在证明等式和不等式、证明方程根的存在性、求极限、求近似值，以及研究函数性态等方面的应用，从而加深对微分中值定理的理解。

We prove the existence theorem of rationed with Borel points for meromorphic functions in the unit circle, discuss the operations of algebroid functions and the existence theorem of Nevanlinna direction of algebroid function dealing with mutiple values, and obtain some uniqueness theorems dealing with mutiple values of algebroid functions.

证明了单位圆内限定Borel点的亚纯函数的存在性定理，讨论了代数体函数的运算性质以及涉及重值的Nevanlinna方向的存在性定理，得到了一些涉及重值的代数体函数的唯一性定理； 2。

The content of this course is: analytic function (the definition of analytic function, elementary functions, etc.), conformal mapping (the definition if conformal mapping, fractional linear functions, elementary mappings, etc.), complex integration (Cauchy's integral formula, Cauchy's theorem, etc.), Series (Laurent Series, singularities, local property, etc.), residues and its applications (the Residues Theorem, integration by residues, the Argument Principle, the Maximum Principle, Schwarz's Lemma, etc.), analytic continuation and harmonic functions, etc.

本课程内容主要包括：解析函数(解析函数的定义、初等函数等)、共形映射(共形映射的定义、分式线性变换及初等映射等)、复积分(Cauchy 积分公式、 Cauchy 定理等)、级数(Laurent 级数、孤立奇点、局部映射等)、留数及其应用(留数定理、利用留数计算积分、幅角原理、最大模原理、 Schwarz 引理等)、解析开拓和调和函数等内容。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。