查询词典 imbedding theorem

The research of this paper includes: 1. We corrected an incomplete expression of a known theorem on singular eigenvalues of matrix.

由这两种方法得到两种线性系统，一种是稳定化的线性系统，另一种是稳定的线性系统。

The quaternion matrix singular value perturbation theorem is generalized and these results are also new one for complex matrix.

本文对四元数体上矩阵奇异值摄动定理给出了推广，且这些结果对复矩阵也是新的。

Through studying the singular points of the plane differential systems, the sufficient conditions of the nonexistence of limit cycle for the system are obtained by means of comparing theorem, analyzing divergence and change of variable.

通过对微分系统的奇点进行研究，借助比较定理，将该方程与其对称的方程进行比较，并通过分析散度和变量代换的定性分析，得到了其极限环不存在的充分条件。

It indicates that singular solution exists in solving problems of elasticity, which is inconsistent to the theorem of uniqueness of solution.

结果表明，在弹性力学问题中存在奇异解的情况，这与弹性力学解的唯一性定理是不一致的。

It's probably worth keeping the Smallness Theorem up on the board, so we don't forget where we're going.

最好把辅助多项式有界性定理挂在黑板上，这样我们就不会忘了我们的目的。

In addition, for any f ∈ H〓 or H〓, the Sobolev space, the approximations of f , f′ and f are disscussed by means of the obtained sampling theorem.

另外，也给出Sobolev空间H〓和H〓中的函数、一阶导函数及二阶导函数的逼近表示。

As the first step, the usage of the important theorem of the Sobolev space supplies some exciting conclusions by discussion of the method of protruding analysis and the function of energy with the positive and negative cases being considered.

采用能量函数方法和改进的凸性分析方法，从Sobolev空间的重要定理——嵌入定理入手，分初始能量为正或者为负两种情况，对所述问题进行讨论，得到了令人满意的结果。

In this paper,we introduce the concepts of efficient solution for vector variational inequalities and f-quasimonotone operator,and give an existence theorem for vector variational inequalities in Banach spases.

引进了向量变分不等式有效解以及f－拟单调算子的概念，并给出了Banach空间中拟单调向量变分不等式的有效解的存在性定理

Theorem 3.2 Let G be a solvable finite group.

定理3.2 设G为有限可解群。

The spectral transfer function of the imaging spectrometer is defined on the basis of the linear system theorem.

根据光学传递函数理论，定义了光谱成像仪的光谱传递函数。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。