查询词典 compactification theorem

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

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

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-方体数值函数的可测性，可导性和可积性的刻划。

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

Technical analysis; AR-ARCH model; covariance inequality; Strong law of large numbers; Glivenko-Cantelli Lemma ; empirical distribution function; central limit theorem; dependence coefficients

基础科学，数学，概率论、数理统计技术分析； AR-ARCH模型；协方差不等式；强大数定律； Glivenko-Cantelli引理；经验分布函数；中心极限定理；相依系数

Based: on the analysis of the theorem and constitute of emulsin deaerator, this article illustrate that emulsion deaerator in papermaking could deaerat entrained foam in papermaking and improve the result of retention and sizing, and improve paper machine runnability.

本文通过对乳液型脱泡剂的工作机理和组成特点的分析，说明了乳液型脱泡剂应用在造纸生产中可以脱除浆料中的携带泡沫，提高助留效果和纸张的施胶度，并且可以改善纸机的运行性等。

We were cousins—his grandfather was King of Scots,and his great-grandfather was Henry VII of England.

我们是堂姐弟——他的祖父曾是苏格兰国王，他的曾祖父是英格兰的亨利二世。

I do want to help you, but I am in a quandary now!

我是想帮你，但是我现在左右为难啊！