查询词典 theorem

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.

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

The results of the research on encroaching effect in this dissertation prove the essential view of Coase theorem.

本文关于侵占效应的研究结果，印证了科斯定理的基本观点。

We give a theorem for the stable range of endomorphism rings of finitely generated projective modules over a formal triangular matrix ring T when T is an exchange ring.

2.6节对有有限exchange性质的形式三角矩阵环T给出了有限生成投射T-模的自同态环有稳定度n的一个具体关系。

Vishnu entered a dark fourth dimensional dream that did not support his field or continued life.

毗瑟挐进入了一个第四密度的黑暗梦想，那里并不支持他的能量场或继续生命。

Leaders and decision-making persons use it to collect the data, including the information of unit work, handing in fee, oweing fee, prepaying fee,changing and afterpaying and account transfering of joining-insurance employee, and account paying of all kinds of insurances from hospitalization insurance institutions.The collected data is picked up, organized, switched and showed to user.

该子系统主要面向各级领导、决策分析人员；从各个医疗保险经办机构和定点医疗机构采集数据，包括在各个医疗保险经办机构处理的单位办公信息，单位缴费、欠费、预缴费信息，参保职工变更信息，参保职工增减变动信息，参保职工补缴信息，参保职工帐户划拨信息：包括各定点医疗机构处理的各险种帐户支出信息，各险种的统筹金支付信息等；将采集的数据提取，组织和转换，然后展示给用户。