查询词典 theorem

In this paper, a semilinear elliptic equation with critical Sobolev-Hardy exponents is studied, the existence of nontrival solutions for which is proved by the linking theorem in variational calculus.

该文研究了一类带有Sobolev-Hardy临界指数的半线性椭圆方程，运用变分理论中的环绕定理证明了方程非平凡解的存在性。

Double pendulum ; analytic method ; Whittaker's theorem ; elliptic function ; integrable system

双摆；解析方法；惠特克定理；椭圆函数；可积系统

In part III by using capacity theory and extension theorem of Lip-schitz functions we first discuss the uniqueness of weak solution ofnonhomogeneous quasilinear elliptic equations〓in space〓,which is bigger then〓.

第三部分首先用容量理论、Lipschitz函数延拓定理讨论了一类非齐次拟线性椭圆型方程〓在比〓更大的空间〓中弱解的唯一性。

With the method of upper and lower solutions,its associated monotone iterations and the fixed point theorem,the coexistence solutions to a strongly coupled elliptic system are studied.

采用上下解及相应的单调迭代序列的方法，结合Schauder不动点定理，研究带Dirichlet边界条件的两种群的互惠模型强耦合问题共存解。

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

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。