查询词典 embedding

For the homoclinics taking on values in the unbounded domain, in order to apply the usual "Mountain Pass " theorem, A compact embedding theorem is proved.

为克服同宿解取值于无界域而缺乏自然紧性，证明了一个紧嵌入定理，从而可以利用通常的山路引理与对称山路引理获得同宿解的存在性与多重性条件。

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 discussed the coupled generalized BBM equations with pseudodifferential operator in Chapter three.In this chapter we get the global existence for the Cauchy problem by Banach-fixed point theorem ,a priori estimates and Sobolev embedding theorem.

第三章讨论了具拟微分算子的广义BBM方程组，通过Banach不动点定理、解的先验估计和Sobolev嵌入定理得到了解的整体存在性。

I've been working on manifold embedding.

我已经开始了"符合嵌入"的工作。

ABSTRACT The embedding problem is one of the fundamental problems in design theory.

嵌入问题是组合设计理论中的基本问题之一。

But it is not enough to solve just by embedding some system.

这个渐进的过程不是被动的。

You can see an example of such a situation in my article entitled, Embedding .

你可以看到我的文章是这种情况的一个例子，题目是嵌入的。

Go to your desktop and right click in a blank space.

请到您的桌面，然后右击一个空白。

Tara appears in Buddhism, Jainism, and particularly, Tibetan Lamaism, as a complex array of manifestations: goddess of ascetism and mysticism, mother creator, protectress of all humans as they cross the sea of life.

度母出现在佛教，耆那教里面，尤其是西藏的喇嘛教，作为一系列的陈列阵容；神秘的女神，创世之母，人类横过生命之海洋的女性保护者。