嵌入

It is helpful to the designer of the embedded system.

对嵌入系统中断控制器的设计具有较好的指导作用。

Corresponding chaotic evolution operators and chaotic population embedding operator are designed, and the species conservation strategy based on chaotic basin of attraction is proposed to treat with asymmetric distribution of extremum and to find all or near all minima.

设计了相应的混沌进化算子以及混沌群体嵌入算子，提出了基于混沌吸引域概念的种群保护策略，适应了极值点分布不均匀的情况，达到求解全部／大部分极小点的目的。

According to the Takens embedding theorem, the nonlinear time series combined with system output is converted into discrete dynamic system.

摘要对模型未知非线性系统，将系统输出组成时间序列并通过空间嵌入的方法转化为一个离散动态系统。

In chapter 4, we state and prove Campanato type Theorem, Morrey type Theorem and some embedding Theorems for the maps.

在第四章，我们证明Campanato型和Morrey型不等式和一些嵌入定理。

According to the embedding theorem proposed by Takens, we studied several methods of choosing the proper delay time for phase space reconstruction of chaotic time series.

根据Takens提出的嵌入理论，研究了在相空间重构过程中对延迟时间选取的若干方法，提出了平均位移——互信息联合算法。

Time series prediction is a very important problem in many applications and the current prediction techniques are nearly all based on the Takens' embedding theorem. Many realistic systems are parameter-varying systems, and the embedding theorems are invalid, predicting the behavior of parameter-varying systems is more difficult.

时间序列预测是一类非常重要的问题，但基本上局限于参数不可变问题的研究，而对实际问题中经常出现的更重要的参数可变系统的预测，由于构成几乎所有已有预测技术基础的Taken嵌入定理不再成立，所以这方面的研究成果极少。

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

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

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.

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

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一向追求的证明可读性和手工可再现性。

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嵌入定理及指标理论讨论了正平衡解的多重性、唯一性及稳定性，并讨论了参数对解的影响。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。